runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4244460-1500683421/watcher-4244460-1500683421 -o /tmp/evaluation-result-4244460-1500683421/solver-4244460-1500683421 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500682809-15227 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 485744537 HOME/instance-4244460-1500683421.xml
pid=15907
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 15.46 14.06 8.72 11/271 15910
/proc/meminfo: memFree=31802160/32770624 swapFree=5808/47120
[pid=15910] ppid=15907 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15910/stat : 15910 (xcsp3-exec) S 15907 15910 15196 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3607206 9740288 346 33554432000 4194304 5098028 140729871436080 140729871434184 140259901477500 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 9412608 140729871443087 140729871443296 140729871443296 140729871445995 0
/proc/15910/statm: 2378 346 289 221 0 87 0
[startup+0.1001 s]
/proc/loadavg: 15.46 14.06 8.72 11/271 15910
/proc/meminfo: memFree=31802160/32770624 swapFree=5808/47120
[pid=15910] ppid=15907 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15910/stat : 15910 (xcsp3-exec) S 15907 15910 15196 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3607206 9740288 346 33554432000 4194304 5098028 140729871436080 140729871434184 140259901477500 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 9412608 140729871443087 140729871443296 140729871443296 140729871445995 0
/proc/15910/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200297 s]
/proc/loadavg: 15.46 14.06 8.72 11/271 15910
/proc/meminfo: memFree=31802160/32770624 swapFree=5808/47120
[pid=15910] ppid=15907 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15910/stat : 15910 (xcsp3-exec) S 15907 15910 15196 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3607206 9740288 346 33554432000 4194304 5098028 140729871436080 140729871434184 140259901477500 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 9412608 140729871443087 140729871443296 140729871443296 140729871445995 0
/proc/15910/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300264 s]
/proc/loadavg: 15.46 14.06 8.72 11/271 15910
/proc/meminfo: memFree=31802160/32770624 swapFree=5808/47120
[pid=15910] ppid=15907 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15910/stat : 15910 (xcsp3-exec) S 15907 15910 15196 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3607206 9740288 346 33554432000 4194304 5098028 140729871436080 140729871434184 140259901477500 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 9412608 140729871443087 140729871443296 140729871443296 140729871445995 0
/proc/15910/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700194 s]
/proc/loadavg: 15.46 14.06 8.72 11/271 15910
/proc/meminfo: memFree=31802160/32770624 swapFree=5808/47120
[pid=15910] ppid=15907 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15910/stat : 15910 (xcsp3-exec) S 15907 15910 15196 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3607206 9740288 346 33554432000 4194304 5098028 140729871436080 140729871434184 140259901477500 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 9412608 140729871443087 140729871443296 140729871443296 140729871445995 0
/proc/15910/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50154 s]
/proc/loadavg: 15.10 14.01 8.73 14/267 15995
/proc/meminfo: memFree=31808632/32770624 swapFree=5808/52364
[pid=15910] ppid=15907 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15910/stat : 15910 (xcsp3-exec) S 15907 15910 15196 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3607206 9740288 346 33554432000 4194304 5098028 140729871436080 140729871434184 140259901477500 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 9412608 140729871443087 140729871443296 140729871443296 140729871445995 0
/proc/15910/statm: 2378 346 289 221 0 87 0
[pid=15911] ppid=15910 vsize=13801768 CPUtime=7.24 cores=0,2,4,6,8,10,12,14
/proc/15911/stat : 15911 (java) S 15910 15910 15196 0 -1 1077944320 22173 0 0 0 662 62 0 0 20 0 28 0 3607206 14133010432 78784 33554432000 4194304 4196468 140727936787088 140727936769632 139673533849335 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 11550720 140727936791740 140727936791916 140727936791916 140727936794575 0
/proc/15911/statm: 3450442 78784 3231 1 0 3437675 0
[pid=15911/tid=15912] ppid=15910 vsize=13801768 CPUtime=0.85 cores=0,2,4,6,8,10,12,14
/proc/15911/task/15912/stat : 15912 (java) S 15910 15910 15196 0 -1 1077944384 6941 0 0 0 80 5 0 0 20 0 28 0 3607207 14133010432 78784 33554432000 4194304 4196468 140727936787088 139673538090112 139673533859541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11550720 140727936791740 140727936791916 140727936791916 140727936794575 0
[pid=15911/tid=15914] ppid=15910 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/15911/task/15914/stat : 15914 (java) S 15910 15910 15196 0 -1 1077944384 54 0 0 0 5 7 0 0 20 0 28 0 3607207 14133010432 78784 33554432000 4194304 4196468 140727936787088 139673486469392 139673533859541 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11550720 140727936791740 140727936791916 140727936791916 140727936794575 0
[pid=15911/tid=15915] ppid=15910 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/15911/task/15915/stat : 15915 (java) S 15910 15910 15196 0 -1 1077944384 50 0 0 0 5 7 0 0 20 0 28 0 3607207 14133010432 78784 33554432000 4194304 4196468 140727936787088 139673485416848 139673533859541 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11550720 140727936791740 140727936791916 140727936791916 140727936794575 0
[pid=15911/tid=15916] ppid=15910 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/15911/task/15916/stat : 15916 (java) S 15910 15910 15196 0 -1 1077944384 45 0 0 0 5 5 0 0 20 0 28 0 3607207 14133010432 78784 33554432000 4194304 4196468 140727936787088 139673484364304 139673533859541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11550720 140727936791740 140727936791916 140727936791916 140727936794575 0
[pid=15911/tid=15917] ppid=15910 vsize=13801768 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/15911/task/15917/stat : 15917 (java) S 15910 15910 15196 0 -1 1077944384 40 0 0 0 4 4 0 0 20 0 28 0 3607207 14133010432 78784 33554432000 4194304 4196468 140727936787088 139673483311760 139673533859541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11550720 140727936791740 140727936791916 140727936791916 140727936794575 0
[pid=15911/tid=15918] ppid=15910 vsize=13801768 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/15911/task/15918/stat : 15918 (java) S 15910 15910 15196 0 -1 1077944384 49 0 0 0 6 5 0 0 20 0 28 0 3607207 14133010432 78784 33554432000 4194304 4196468 140727936787088 139673482259216 139673533859541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11550720 140727936791740 140727936791916 140727936791916 140727936794575 0
[pid=15911/tid=15919] ppid=15910 vsize=13801768 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/15911/task/15919/stat : 15919 (java) S 15910 15910 15196 0 -1 1077944384 53 0 0 0 5 6 0 0 20 0 28 0 3607208 14133010432 78784 33554432000 4194304 4196468 140727936787088 139673481206672 139673533859541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11550720 140727936791740 140727936791916 140727936791916 140727936794575 0
[pid=15911/tid=15920] ppid=15910 vsize=13801768 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/15911/task/15920/stat : 15920 (java) S 15910 15910 15196 0 -1 1077944384 56 0 0 0 5 6 0 0 20 0 28 0 3607208 14133010432 78784 33554432000 4194304 4196468 140727936787088 139673480154128 139673533859541 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11550720 140727936791740 140727936791916 140727936791916 140727936794575 0
[pid=15911/tid=15921] ppid=15910 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/15911/task/15921/stat : 15921 (java) S 15910 15910 15196 0 -1 1077944384 49 0 0 0 5 5 0 0 20 0 28 0 3607208 14133010432 78784 33554432000 4194304 4196468 140727936787088 139673479101584 139673533859541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11550720 140727936791740 140727936791916 140727936791916 140727936794575 0
[pid=15911/tid=15922] ppid=15910 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15911/task/15922/stat : 15922 (java) S 15910 15910 15196 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 3607210 14133010432 78784 33554432000 4194304 4196468 140727936787088 139672861751280 139673533860482 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11550720 140727936791740 140727936791916 140727936791916 140727936794575 0
[pid=15911/tid=15923] ppid=15910 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15911/task/15923/stat : 15923 (java) S 15910 15910 15196 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3607211 14133010432 78784 33554432000 4194304 4196468 140727936787088 139672860697504 139673533859541 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11550720 140727936791740 140727936791916 140727936791916 140727936794575 0
[pid=15911/tid=15924] ppid=15910 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15911/task/15924/stat : 15924 (java) S 15910 15910 15196 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 3607211 14133010432 78784 33554432000 4194304 4196468 140727936787088 139672859644912 139673533859541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11550720 140727936791740 140727936791916 140727936791916 140727936794575 0
[pid=15911/tid=15925] ppid=15910 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15911/task/15925/stat : 15925 (java) S 15910 15910 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3607215 14133010432 78784 33554432000 4194304 4196468 140727936787088 139672858593488 139673533867931 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11550720 140727936791740 140727936791916 140727936791916 140727936794575 0
[pid=15911/tid=15926] ppid=15910 vsize=13801768 CPUtime=0.8 cores=0,2,4,6,8,10,12,14
/proc/15911/task/15926/stat : 15926 (java) R 15910 15910 15196 0 -1 4202560 3800 0 0 0 79 1 0 0 20 0 28 0 3607215 14133010432 78784 33554432000 4194304 4196468 140727936787088 139672857527128 139673515370417 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11550720 140727936791740 140727936791916 140727936791916 140727936794575 0
[pid=15911/tid=15927] ppid=15910 vsize=13801768 CPUtime=0.73 cores=0,2,4,6,8,10,12,14
/proc/15911/task/15927/stat : 15927 (java) R 15910 15910 15196 0 -1 4202560 2510 0 0 0 73 0 0 0 20 0 28 0 3607215 14133010432 78784 33554432000 4194304 4196468 140727936787088 139672856474440 139673513542435 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11550720 140727936791740 140727936791916 140727936791916 140727936794575 0
[pid=15911/tid=15928] ppid=15910 vsize=13801768 CPUtime=0.57 cores=0,2,4,6,8,10,12,14
/proc/15911/task/15928/stat : 15928 (java) R 15910 15910 15196 0 -1 4202560 1971 0 0 0 57 0 0 0 20 0 28 0 3607215 14133010432 78784 33554432000 4194304 4196468 140727936787088 139672855429208 139673515047264 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 11550720 140727936791740 140727936791916 140727936791916 140727936794575 0
[pid=15911/tid=15929] ppid=15910 vsize=13801768 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/15911/task/15929/stat : 15929 (java) S 15910 15910 15196 0 -1 1077944384 4807 0 0 0 76 2 0 0 20 0 28 0 3607215 14133010432 78784 33554432000 4194304 4196468 140727936787088 139672854383472 139673533860482 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11550720 140727936791740 140727936791916 140727936791916 140727936794575 0
[pid=15911/tid=15930] ppid=15910 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15911/task/15930/stat : 15930 (java) S 15910 15910 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3607215 14133010432 78784 33554432000 4194304 4196468 140727936787088 139672853330144 139673533859541 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11550720 140727936791740 140727936791916 140727936791916 140727936794575 0
[pid=15911/tid=15931] ppid=15910 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15911/task/15931/stat : 15931 (java) S 15910 15910 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3607216 14133010432 78784 33554432000 4194304 4196468 140727936787088 139672852277680 139673533860482 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11550720 140727936791740 140727936791916 140727936791916 140727936794575 0
[pid=15911/tid=15978] ppid=15910 vsize=13801768 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/15911/task/15978/stat : 15978 (java) R 15910 15910 15196 0 -1 4202560 67 0 0 0 38 0 0 0 20 0 28 0 3607307 14133010432 78784 33554432000 4194304 4196468 140727936787088 139672844262192 139673164497175 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11550720 140727936791740 140727936791916 140727936791916 140727936794575 0
[pid=15911/tid=15979] ppid=15910 vsize=13801768 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/15911/task/15979/stat : 15979 (java) R 15910 15910 15196 0 -1 1077944384 36 0 0 0 26 0 0 0 20 0 28 0 3607307 14133010432 78784 33554432000 4194304 4196468 140727936787088 139672843210080 139673533859541 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 11550720 140727936791740 140727936791916 140727936791916 140727936794575 0
[pid=15911/tid=15980] ppid=15910 vsize=13801768 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/15911/task/15980/stat : 15980 (java) R 15910 15910 15196 0 -1 4202560 60 0 0 0 32 0 0 0 20 0 28 0 3607307 14133010432 78784 33554432000 4194304 4196468 140727936787088 139672842156544 139673165145950 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11550720 140727936791740 140727936791916 140727936791916 140727936794575 0
[pid=15911/tid=15981] ppid=15910 vsize=13801768 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/15911/task/15981/stat : 15981 (java) R 15910 15910 15196 0 -1 4202560 85 0 0 0 27 0 0 0 20 0 28 0 3607307 14133010432 78784 33554432000 4194304 4196468 140727936787088 139672841105280 139673164570913 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 11550720 140727936791740 140727936791916 140727936791916 140727936794575 0
[pid=15911/tid=15982] ppid=15910 vsize=13801768 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/15911/task/15982/stat : 15982 (java) R 15910 15910 15196 0 -1 4202560 30 0 0 0 26 0 0 0 20 0 28 0 3607307 14133010432 78784 33554432000 4194304 4196468 140727936787088 139672840054568 139673164497318 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 11550720 140727936791740 140727936791916 140727936791916 140727936794575 0
[pid=15911/tid=15983] ppid=15910 vsize=13801768 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/15911/task/15983/stat : 15983 (java) R 15910 15910 15196 0 -1 4202560 23 0 0 0 37 0 0 0 20 0 28 0 3607307 14133010432 78784 33554432000 4194304 4196468 140727936787088 139672839000072 139673164392192 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 11550720 140727936791740 140727936791916 140727936791916 140727936794575 0
[pid=15911/tid=15984] ppid=15910 vsize=13801768 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/15911/task/15984/stat : 15984 (java) R 15910 15910 15196 0 -1 4202560 31 0 0 0 24 0 0 0 20 0 28 0 3607307 14133010432 78784 33554432000 4194304 4196468 140727936787088 139672837947368 139673164612700 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11550720 140727936791740 140727936791916 140727936791916 140727936794575 0
[pid=15911/tid=15985] ppid=15910 vsize=13801768 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/15911/task/15985/stat : 15985 (java) R 15910 15910 15196 0 -1 4202560 36 0 0 0 37 0 0 0 20 0 28 0 3607307 14133010432 78784 33554432000 4194304 4196468 140727936787088 139672836895608 139673164612472 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 11550720 140727936791740 140727936791916 140727936791916 140727936794575 0
Current children cumulated CPU time (s) 7.24
Current children cumulated vsize (KiB) 13811280
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 15911 sig 9
??? kill 15910 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60208 s]
/proc/loadavg: 15.10 14.01 8.73 14/267 15995
/proc/meminfo: memFree=31808632/32770624 swapFree=5808/52364
[pid=15910] ppid=15907 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15910/stat : 15910 (xcsp3-exec) S 15907 15910 15196 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3607206 9740288 346 33554432000 4194304 5098028 140729871436080 140729871434184 140259901477500 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 9412608 140729871443087 140729871443296 140729871443296 140729871445995 0
/proc/15910/statm: 2378 346 289 221 0 87 0
[pid=15911] ppid=15910 vsize=13801768 CPUtime=7.85 cores=0,2,4,6,8,10,12,14
/proc/15911/stat : 15911 (java) S 15910 15910 15196 0 -1 1077944320 23526 0 0 0 723 62 0 0 20 0 28 0 3607206 14133010432 79763 33554432000 4194304 4196468 140727936787088 140727936769632 139673533849335 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 11550720 140727936791740 140727936791916 140727936791916 140727936794575 0
/proc/15911/statm: 3450442 79763 3232 1 0 3437675 0
[pid=15911/tid=15912] ppid=15910 vsize=13801768 CPUtime=0.85 cores=0,2,4,6,8,10,12,14
/proc/15911/task/15912/stat : 15912 (java) S 15910 15910 15196 0 -1 1077944384 6941 0 0 0 80 5 0 0 20 0 28 0 3607207 14133010432 79763 33554432000 4194304 4196468 140727936787088 139673538090112 139673533859541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11550720 140727936791740 140727936791916 140727936791916 140727936794575 0
[pid=15911/tid=15914] ppid=15910 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/15911/task/15914/stat : 15914 (java) S 15910 15910 15196 0 -1 1077944384 54 0 0 0 5 7 0 0 20 0 28 0 3607207 14133010432 79763 33554432000 4194304 4196468 140727936787088 139673486469392 139673533859541 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11550720 140727936791740 140727936791916 140727936791916 140727936794575 0
[pid=15911/tid=15915] ppid=15910 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/15911/task/15915/stat : 15915 (java) S 15910 15910 15196 0 -1 1077944384 50 0 0 0 5 7 0 0 20 0 28 0 3607207 14133010432 79763 33554432000 4194304 4196468 140727936787088 139673485416848 139673533859541 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11550720 140727936791740 140727936791916 140727936791916 140727936794575 0
[pid=15911/tid=15916] ppid=15910 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/15911/task/15916/stat : 15916 (java) S 15910 15910 15196 0 -1 1077944384 45 0 0 0 5 5 0 0 20 0 28 0 3607207 14133010432 79763 33554432000 4194304 4196468 140727936787088 139673484364304 139673533859541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11550720 140727936791740 140727936791916 140727936791916 140727936794575 0
[pid=15911/tid=15917] ppid=15910 vsize=13801768 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/15911/task/15917/stat : 15917 (java) S 15910 15910 15196 0 -1 1077944384 40 0 0 0 4 4 0 0 20 0 28 0 3607207 14133010432 79763 33554432000 4194304 4196468 140727936787088 139673483311760 139673533859541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11550720 140727936791740 140727936791916 140727936791916 140727936794575 0
[pid=15911/tid=15918] ppid=15910 vsize=13801768 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/15911/task/15918/stat : 15918 (java) S 15910 15910 15196 0 -1 1077944384 49 0 0 0 6 5 0 0 20 0 28 0 3607207 14133010432 79763 33554432000 4194304 4196468 140727936787088 139673482259216 139673533859541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11550720 140727936791740 140727936791916 140727936791916 140727936794575 0
[pid=15911/tid=15919] ppid=15910 vsize=13801768 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/15911/task/15919/stat : 15919 (java) S 15910 15910 15196 0 -1 1077944384 53 0 0 0 5 6 0 0 20 0 28 0 3607208 14133010432 79763 33554432000 4194304 4196468 140727936787088 139673481206672 139673533859541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11550720 140727936791740 140727936791916 140727936791916 140727936794575 0
[pid=15911/tid=15920] ppid=15910 vsize=13801768 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/15911/task/15920/stat : 15920 (java) S 15910 15910 15196 0 -1 1077944384 56 0 0 0 5 6 0 0 20 0 28 0 3607208 14133010432 79763 33554432000 4194304 4196468 140727936787088 139673480154128 139673533859541 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11550720 140727936791740 140727936791916 140727936791916 140727936794575 0
[pid=15911/tid=15921] ppid=15910 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/15911/task/15921/stat : 15921 (java) S 15910 15910 15196 0 -1 1077944384 49 0 0 0 5 5 0 0 20 0 28 0 3607208 14133010432 79763 33554432000 4194304 4196468 140727936787088 139673479101584 139673533859541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11550720 140727936791740 140727936791916 140727936791916 140727936794575 0
[pid=15911/tid=15922] ppid=15910 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15911/task/15922/stat : 15922 (java) S 15910 15910 15196 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 3607210 14133010432 79763 33554432000 4194304 4196468 140727936787088 139672861751280 139673533860482 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11550720 140727936791740 140727936791916 140727936791916 140727936794575 0
[pid=15911/tid=15923] ppid=15910 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15911/task/15923/stat : 15923 (java) S 15910 15910 15196 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3607211 14133010432 79763 33554432000 4194304 4196468 140727936787088 139672860697504 139673533859541 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11550720 140727936791740 140727936791916 140727936791916 140727936794575 0
[pid=15911/tid=15924] ppid=15910 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15911/task/15924/stat : 15924 (java) S 15910 15910 15196 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 3607211 14133010432 79763 33554432000 4194304 4196468 140727936787088 139672859644912 139673533859541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11550720 140727936791740 140727936791916 140727936791916 140727936794575 0
[pid=15911/tid=15925] ppid=15910 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15911/task/15925/stat : 15925 (java) S 15910 15910 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3607215 14133010432 79763 33554432000 4194304 4196468 140727936787088 139672858593488 139673533867931 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11550720 140727936791740 140727936791916 140727936791916 140727936794575 0
[pid=15911/tid=15926] ppid=15910 vsize=13801768 CPUtime=0.9 cores=0,2,4,6,8,10,12,14
/proc/15911/task/15926/stat : 15926 (java) R 15910 15910 15196 0 -1 4202560 4693 0 0 0 89 1 0 0 20 0 28 0 3607215 14133010432 79763 33554432000 4194304 4196468 140727936787088 139672857526448 139673515372413 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11550720 140727936791740 140727936791916 140727936791916 140727936794575 0
[pid=15911/tid=15927] ppid=15910 vsize=13801768 CPUtime=0.81 cores=0,2,4,6,8,10,12,14
/proc/15911/task/15927/stat : 15927 (java) R 15910 15910 15196 0 -1 4202560 2931 0 0 0 81 0 0 0 20 0 28 0 3607215 14133010432 79763 33554432000 4194304 4196468 140727936787088 139672856474440 139673515370735 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 11550720 140727936791740 140727936791916 140727936791916 140727936794575 0
[pid=15911/tid=15928] ppid=15910 vsize=13801768 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/15911/task/15928/stat : 15928 (java) R 15910 15910 15196 0 -1 4202560 2003 0 0 0 66 0 0 0 20 0 28 0 3607215 14133010432 79763 33554432000 4194304 4196468 140727936787088 139672855428976 139673533863222 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11550720 140727936791740 140727936791916 140727936791916 140727936794575 0
[pid=15911/tid=15929] ppid=15910 vsize=13801768 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/15911/task/15929/stat : 15929 (java) S 15910 15910 15196 0 -1 1077944384 4814 0 0 0 76 2 0 0 20 0 28 0 3607215 14133010432 79763 33554432000 4194304 4196468 140727936787088 139672854383472 139673533860482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11550720 140727936791740 140727936791916 140727936791916 140727936794575 0
[pid=15911/tid=15930] ppid=15910 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15911/task/15930/stat : 15930 (java) S 15910 15910 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3607215 14133010432 79763 33554432000 4194304 4196468 140727936787088 139672853330144 139673533859541 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11550720 140727936791740 140727936791916 140727936791916 140727936794575 0
[pid=15911/tid=15931] ppid=15910 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/15911/task/15931/stat : 15931 (java) S 15910 15910 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3607216 14133010432 79763 33554432000 4194304 4196468 140727936787088 139672852277680 139673533860482 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11550720 140727936791740 140727936791916 140727936791916 140727936794575 0
[pid=15911/tid=15978] ppid=15910 vsize=13801768 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/15911/task/15978/stat : 15978 (java) S 15910 15910 15196 0 -1 1077944384 67 0 0 0 43 0 0 0 20 0 28 0 3607307 14133010432 79763 33554432000 4194304 4196468 140727936787088 139672844267168 139673533859541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11550720 140727936791740 140727936791916 140727936791916 140727936794575 0
[pid=15911/tid=15979] ppid=15910 vsize=13801768 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/15911/task/15979/stat : 15979 (java) S 15910 15910 15196 0 -1 1077944384 36 0 0 0 29 0 0 0 20 0 28 0 3607307 14133010432 79763 33554432000 4194304 4196468 140727936787088 139672843215952 139673533859541 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11550720 140727936791740 140727936791916 140727936791916 140727936794575 0
[pid=15911/tid=15980] ppid=15910 vsize=13801768 CPUtime=0.41 cores=0,2,4,6,8,10,12,14
/proc/15911/task/15980/stat : 15980 (java) R 15910 15910 15196 0 -1 4202560 60 0 0 0 41 0 0 0 20 0 28 0 3607307 14133010432 79763 33554432000 4194304 4196468 140727936787088 139672842160056 139673165145522 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11550720 140727936791740 140727936791916 140727936791916 140727936794575 0
[pid=15911/tid=15981] ppid=15910 vsize=13801768 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/15911/task/15981/stat : 15981 (java) S 15910 15910 15196 0 -1 1077944384 85 0 0 0 30 0 0 0 20 0 28 0 3607307 14133010432 79763 33554432000 4194304 4196468 140727936787088 139672841110864 139673533859541 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11550720 140727936791740 140727936791916 140727936791916 140727936794575 0
[pid=15911/tid=15982] ppid=15910 vsize=13801768 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/15911/task/15982/stat : 15982 (java) S 15910 15910 15196 0 -1 1077944384 30 0 0 0 29 0 0 0 20 0 28 0 3607307 14133010432 79763 33554432000 4194304 4196468 140727936787088 139672840058320 139673533859541 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11550720 140727936791740 140727936791916 140727936791916 140727936794575 0
[pid=15911/tid=15983] ppid=15910 vsize=13801768 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/15911/task/15983/stat : 15983 (java) S 15910 15910 15196 0 -1 1077944384 23 0 0 0 42 0 0 0 20 0 28 0 3607307 14133010432 79763 33554432000 4194304 4196468 140727936787088 139672839005776 139673533859541 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11550720 140727936791740 140727936791916 140727936791916 140727936794575 0
[pid=15911/tid=15984] ppid=15910 vsize=13801768 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/15911/task/15984/stat : 15984 (java) S 15910 15910 15196 0 -1 1077944384 31 0 0 0 26 0 0 0 20 0 28 0 3607307 14133010432 79763 33554432000 4194304 4196468 140727936787088 139672837952208 139673533859541 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11550720 140727936791740 140727936791916 140727936791916 140727936794575 0
[pid=15911/tid=15985] ppid=15910 vsize=13801768 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/15911/task/15985/stat : 15985 (java) S 15910 15910 15196 0 -1 1077944384 36 0 0 0 40 0 0 0 20 0 28 0 3607307 14133010432 79763 33554432000 4194304 4196468 140727936787088 139672836899664 139673533859541 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11550720 140727936791740 140727936791916 140727936791916 140727936794575 0
Current children cumulated CPU time (s) 7.85
Current children cumulated vsize (KiB) 13811280
Child status: 0
Real time (s): 1.66324
CPU time (s): 7.98782
CPU user time (s): 7.35156
CPU system time (s): 0.636256
CPU usage (%): 480.256
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.35156
system time used= 0.636256
maximum resident set size= 321176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24189
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3105
involuntary context switches= 659
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.015016 second user time and 0.026029 second system time
The end