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-4244455-1500683420/watcher-4244455-1500683420 -o /tmp/evaluation-result-4244455-1500683420/solver-4244455-1500683420 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500682809-15228 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1471862247 HOME/instance-4244455-1500683420.xml
pid=15811
running on 8 cores: 1,3,5,7,9,11,13,15
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 10/271 15814
/proc/meminfo: memFree=31711528/32770624 swapFree=5808/47104
[pid=15814] ppid=15811 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15814/stat : 15814 (xcsp3-exec) S 15811 15814 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3607091 9740288 346 33554432000 4194304 5098028 140728719330496 140728719328600 139928726852220 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 10223616 140728719336590 140728719336800 140728719336800 140728719339499 0
/proc/15814/statm: 2378 346 289 221 0 87 0
[startup+0.100081 s]
/proc/loadavg: 15.46 14.06 8.72 10/271 15814
/proc/meminfo: memFree=31711528/32770624 swapFree=5808/47104
[pid=15814] ppid=15811 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15814/stat : 15814 (xcsp3-exec) S 15811 15814 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3607091 9740288 346 33554432000 4194304 5098028 140728719330496 140728719328600 139928726852220 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 10223616 140728719336590 140728719336800 140728719336800 140728719339499 0
/proc/15814/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200305 s]
/proc/loadavg: 15.46 14.06 8.72 10/271 15814
/proc/meminfo: memFree=31711528/32770624 swapFree=5808/47104
[pid=15814] ppid=15811 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15814/stat : 15814 (xcsp3-exec) S 15811 15814 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3607091 9740288 346 33554432000 4194304 5098028 140728719330496 140728719328600 139928726852220 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 10223616 140728719336590 140728719336800 140728719336800 140728719339499 0
/proc/15814/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300226 s]
/proc/loadavg: 15.46 14.06 8.72 10/271 15814
/proc/meminfo: memFree=31711528/32770624 swapFree=5808/47104
[pid=15814] ppid=15811 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15814/stat : 15814 (xcsp3-exec) S 15811 15814 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3607091 9740288 346 33554432000 4194304 5098028 140728719330496 140728719328600 139928726852220 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 10223616 140728719336590 140728719336800 140728719336800 140728719339499 0
/proc/15814/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700209 s]
/proc/loadavg: 15.46 14.06 8.72 10/271 15814
/proc/meminfo: memFree=31711528/32770624 swapFree=5808/47104
[pid=15814] ppid=15811 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15814/stat : 15814 (xcsp3-exec) S 15811 15814 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3607091 9740288 346 33554432000 4194304 5098028 140728719330496 140728719328600 139928726852220 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 10223616 140728719336590 140728719336800 140728719336800 140728719339499 0
/proc/15814/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50149 s]
/proc/loadavg: 15.46 14.06 8.72 12/266 15901
/proc/meminfo: memFree=31802920/32770624 swapFree=5808/52960
[pid=15814] ppid=15811 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15814/stat : 15814 (xcsp3-exec) S 15811 15814 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3607091 9740288 346 33554432000 4194304 5098028 140728719330496 140728719328600 139928726852220 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 10223616 140728719336590 140728719336800 140728719336800 140728719339499 0
/proc/15814/statm: 2378 346 289 221 0 87 0
[pid=15815] ppid=15814 vsize=13801768 CPUtime=7.13 cores=1,3,5,7,9,11,13,15
/proc/15815/stat : 15815 (java) S 15814 15814 15196 0 -1 1077944320 19999 0 0 0 651 62 0 0 20 0 28 0 3607091 14133010432 76730 33554432000 4194304 4196468 140729749462320 140729749444864 139926129532663 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
/proc/15815/statm: 3450442 76730 3231 1 0 3437675 0
[pid=15815/tid=15816] ppid=15814 vsize=13801768 CPUtime=0.87 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15816/stat : 15816 (java) S 15814 15814 15196 0 -1 1077944384 6923 0 0 0 83 4 0 0 20 0 28 0 3607091 14133010432 76730 33554432000 4194304 4196468 140729749462320 139926133773440 139926129542869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15818] ppid=15814 vsize=13801768 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15818/stat : 15818 (java) S 15814 15814 15196 0 -1 1077944384 54 0 0 0 5 7 0 0 20 0 28 0 3607092 14133010432 76730 33554432000 4194304 4196468 140729749462320 139926082152720 139926129542869 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15819] ppid=15814 vsize=13801768 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15819/stat : 15819 (java) S 15814 15814 15196 0 -1 1077944384 57 0 0 0 5 7 0 0 20 0 28 0 3607092 14133010432 76730 33554432000 4194304 4196468 140729749462320 139926081100176 139926129542869 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15820] ppid=15814 vsize=13801768 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15820/stat : 15820 (java) S 15814 15814 15196 0 -1 1077944384 34 0 0 0 4 4 0 0 20 0 28 0 3607092 14133010432 76730 33554432000 4194304 4196468 140729749462320 139926080047632 139926129542869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15821] ppid=15814 vsize=13801768 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15821/stat : 15821 (java) S 15814 15814 15196 0 -1 1077944384 53 0 0 0 5 7 0 0 20 0 28 0 3607092 14133010432 76730 33554432000 4194304 4196468 140729749462320 139926078995088 139926129542869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15822] ppid=15814 vsize=13801768 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15822/stat : 15822 (java) S 15814 15814 15196 0 -1 1077944384 48 0 0 0 5 6 0 0 20 0 28 0 3607092 14133010432 76730 33554432000 4194304 4196468 140729749462320 139926077942544 139926129542869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15823] ppid=15814 vsize=13801768 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15823/stat : 15823 (java) S 15814 15814 15196 0 -1 1077944384 57 0 0 0 5 7 0 0 20 0 28 0 3607092 14133010432 76730 33554432000 4194304 4196468 140729749462320 139926076890000 139926129542869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15824] ppid=15814 vsize=13801768 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15824/stat : 15824 (java) S 15814 15814 15196 0 -1 1077944384 47 0 0 0 6 4 0 0 20 0 28 0 3607092 14133010432 76730 33554432000 4194304 4196468 140729749462320 139925722168336 139926129542869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15825] ppid=15814 vsize=13801768 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15825/stat : 15825 (java) S 15814 15814 15196 0 -1 1077944384 48 0 0 0 5 6 0 0 20 0 28 0 3607092 14133010432 76730 33554432000 4194304 4196468 140729749462320 139925721115792 139926129542869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15826] ppid=15814 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15826/stat : 15826 (java) S 15814 15814 15196 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 3607094 14133010432 76730 33554432000 4194304 4196468 140729749462320 139925256083440 139926129543810 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15827] ppid=15814 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15827/stat : 15827 (java) S 15814 15814 15196 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 3607095 14133010432 76730 33554432000 4194304 4196468 140729749462320 139925255029664 139926129542869 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15828] ppid=15814 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15828/stat : 15828 (java) S 15814 15814 15196 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 3607095 14133010432 76730 33554432000 4194304 4196468 140729749462320 139925253977072 139926129542869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15829] ppid=15814 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15829/stat : 15829 (java) S 15814 15814 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3607099 14133010432 76730 33554432000 4194304 4196468 140729749462320 139925252925648 139926129551259 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15830] ppid=15814 vsize=13801768 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15830/stat : 15830 (java) R 15814 15814 15196 0 -1 4202560 2821 0 0 0 65 0 0 0 20 0 28 0 3607099 14133010432 76730 33554432000 4194304 4196468 140729749462320 139925251859288 139926111053826 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15831] ppid=15814 vsize=13801768 CPUtime=0.66 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15831/stat : 15831 (java) R 15814 15814 15196 0 -1 4202560 1863 0 0 0 65 1 0 0 20 0 28 0 3607099 14133010432 76730 33554432000 4194304 4196468 140729749462320 139925250809200 139926114438312 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15832] ppid=15814 vsize=13801768 CPUtime=0.82 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15832/stat : 15832 (java) R 15814 15814 15196 0 -1 4202560 2413 0 0 0 81 1 0 0 20 0 28 0 3607099 14133010432 76730 33554432000 4194304 4196468 140729749462320 139925249756256 139926109384785 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15833] ppid=15814 vsize=13801768 CPUtime=0.81 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15833/stat : 15833 (java) R 15814 15814 15196 0 -1 4202560 3806 0 0 0 80 1 0 0 20 0 28 0 3607099 14133010432 76730 33554432000 4194304 4196468 140729749462320 139925248715632 139926112873960 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15834] ppid=15814 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15834/stat : 15834 (java) S 15814 15814 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3607099 14133010432 76730 33554432000 4194304 4196468 140729749462320 139925247662304 139926129542869 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15835] ppid=15814 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15835/stat : 15835 (java) S 15814 15814 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3607100 14133010432 76730 33554432000 4194304 4196468 140729749462320 139925246609840 139926129543810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15889] ppid=15814 vsize=13801768 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15889/stat : 15889 (java) R 15814 15814 15196 0 -1 4202560 61 0 0 0 26 0 0 0 20 0 28 0 3607195 14133010432 76730 33554432000 4194304 4196468 140729749462320 139925238594144 139925762101708 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15890] ppid=15814 vsize=13801768 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15890/stat : 15890 (java) R 15814 15814 15196 0 -1 4202560 41 0 0 0 24 0 0 0 20 0 28 0 3607195 14133010432 76730 33554432000 4194304 4196468 140729749462320 139925237542776 139925761932928 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15891] ppid=15814 vsize=13801768 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15891/stat : 15891 (java) R 15814 15814 15196 0 -1 4202560 47 0 0 0 25 0 0 0 20 0 28 0 3607195 14133010432 76730 33554432000 4194304 4196468 140729749462320 139925236490328 139925761573997 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15892] ppid=15814 vsize=13801768 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15892/stat : 15892 (java) R 15814 15814 15196 0 -1 4202560 84 0 0 0 29 0 0 0 20 0 28 0 3607195 14133010432 76730 33554432000 4194304 4196468 140729749462320 139925235437960 139925762150228 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15893] ppid=15814 vsize=13801768 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15893/stat : 15893 (java) R 15814 15814 15196 0 -1 4202560 37 0 0 0 34 0 0 0 20 0 28 0 3607195 14133010432 76730 33554432000 4194304 4196468 140729749462320 139925234385608 139925762056223 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15894] ppid=15814 vsize=13801768 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15894/stat : 15894 (java) R 15814 15814 15196 0 -1 4202560 34 0 0 0 26 0 0 0 20 0 28 0 3607195 14133010432 76730 33554432000 4194304 4196468 140729749462320 139925233332360 139925763069603 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15895] ppid=15814 vsize=13801768 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15895/stat : 15895 (java) R 15814 15814 15196 0 -1 4202560 45 0 0 0 33 0 0 0 20 0 28 0 3607195 14133010432 76730 33554432000 4194304 4196468 140729749462320 139925232278624 139925762069633 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15896] ppid=15814 vsize=13801768 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15896/stat : 15896 (java) R 15814 15814 15196 0 -1 4202560 46 0 0 0 29 0 0 0 20 0 28 0 3607195 14133010432 76730 33554432000 4194304 4196468 140729749462320 139925231226368 139925762156087 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
Current children cumulated CPU time (s) 7.13
Current children cumulated vsize (KiB) 13811280
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 15815 sig 9
??? kill 15814 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60194 s]
/proc/loadavg: 15.46 14.06 8.72 12/266 15901
/proc/meminfo: memFree=31802920/32770624 swapFree=5808/52960
[pid=15814] ppid=15811 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15814/stat : 15814 (xcsp3-exec) S 15811 15814 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3607091 9740288 346 33554432000 4194304 5098028 140728719330496 140728719328600 139928726852220 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 10223616 140728719336590 140728719336800 140728719336800 140728719339499 0
/proc/15814/statm: 2378 346 289 221 0 87 0
[pid=15815] ppid=15814 vsize=13801768 CPUtime=7.93 cores=1,3,5,7,9,11,13,15
/proc/15815/stat : 15815 (java) S 15814 15814 15196 0 -1 1077944320 20939 0 0 0 731 62 0 0 20 0 28 0 3607091 14133010432 77546 33554432000 4194304 4196468 140729749462320 140729749444864 139926129532663 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
/proc/15815/statm: 3450442 77546 3231 1 0 3437675 0
[pid=15815/tid=15816] ppid=15814 vsize=13801768 CPUtime=0.87 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15816/stat : 15816 (java) S 15814 15814 15196 0 -1 1077944384 6923 0 0 0 83 4 0 0 20 0 28 0 3607091 14133010432 77546 33554432000 4194304 4196468 140729749462320 139926133773440 139926129542869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15818] ppid=15814 vsize=13801768 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15818/stat : 15818 (java) S 15814 15814 15196 0 -1 1077944384 54 0 0 0 5 7 0 0 20 0 28 0 3607092 14133010432 77546 33554432000 4194304 4196468 140729749462320 139926082152720 139926129542869 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15819] ppid=15814 vsize=13801768 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15819/stat : 15819 (java) S 15814 15814 15196 0 -1 1077944384 57 0 0 0 5 7 0 0 20 0 28 0 3607092 14133010432 77546 33554432000 4194304 4196468 140729749462320 139926081100176 139926129542869 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15820] ppid=15814 vsize=13801768 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15820/stat : 15820 (java) S 15814 15814 15196 0 -1 1077944384 34 0 0 0 4 4 0 0 20 0 28 0 3607092 14133010432 77546 33554432000 4194304 4196468 140729749462320 139926080047632 139926129542869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15821] ppid=15814 vsize=13801768 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15821/stat : 15821 (java) S 15814 15814 15196 0 -1 1077944384 53 0 0 0 5 7 0 0 20 0 28 0 3607092 14133010432 77546 33554432000 4194304 4196468 140729749462320 139926078995088 139926129542869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15822] ppid=15814 vsize=13801768 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15822/stat : 15822 (java) S 15814 15814 15196 0 -1 1077944384 48 0 0 0 5 6 0 0 20 0 28 0 3607092 14133010432 77546 33554432000 4194304 4196468 140729749462320 139926077942544 139926129542869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15823] ppid=15814 vsize=13801768 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15823/stat : 15823 (java) S 15814 15814 15196 0 -1 1077944384 57 0 0 0 5 7 0 0 20 0 28 0 3607092 14133010432 77546 33554432000 4194304 4196468 140729749462320 139926076890000 139926129542869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15824] ppid=15814 vsize=13801768 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15824/stat : 15824 (java) S 15814 15814 15196 0 -1 1077944384 47 0 0 0 6 4 0 0 20 0 28 0 3607092 14133010432 77546 33554432000 4194304 4196468 140729749462320 139925722168336 139926129542869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15825] ppid=15814 vsize=13801768 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15825/stat : 15825 (java) S 15814 15814 15196 0 -1 1077944384 48 0 0 0 5 6 0 0 20 0 28 0 3607092 14133010432 77546 33554432000 4194304 4196468 140729749462320 139925721115792 139926129542869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15826] ppid=15814 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15826/stat : 15826 (java) S 15814 15814 15196 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 3607094 14133010432 77546 33554432000 4194304 4196468 140729749462320 139925256083440 139926129543810 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15827] ppid=15814 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15827/stat : 15827 (java) S 15814 15814 15196 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 3607095 14133010432 77546 33554432000 4194304 4196468 140729749462320 139925255029664 139926129542869 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15828] ppid=15814 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15828/stat : 15828 (java) S 15814 15814 15196 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 3607095 14133010432 77546 33554432000 4194304 4196468 140729749462320 139925253977072 139926129542869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15829] ppid=15814 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15829/stat : 15829 (java) S 15814 15814 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3607099 14133010432 77546 33554432000 4194304 4196468 140729749462320 139925252925648 139926129551259 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15830] ppid=15814 vsize=13801768 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15830/stat : 15830 (java) R 15814 15814 15196 0 -1 4202560 3084 0 0 0 73 0 0 0 20 0 28 0 3607099 14133010432 77546 33554432000 4194304 4196468 140729749462320 139925251859288 139926108778810 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15831] ppid=15814 vsize=13801768 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15831/stat : 15831 (java) R 15814 15814 15196 0 -1 4202560 1908 0 0 0 71 1 0 0 20 0 28 0 3607099 14133010432 77546 33554432000 4194304 4196468 140729749462320 139925250807264 139926112917422 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15832] ppid=15814 vsize=13801768 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15832/stat : 15832 (java) R 15814 15814 15196 0 -1 4202560 2989 0 0 0 89 1 0 0 20 0 28 0 3607099 14133010432 77546 33554432000 4194304 4196468 140729749462320 139925249749192 139926113059232 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15833] ppid=15814 vsize=13801768 CPUtime=0.83 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15833/stat : 15833 (java) S 15814 15814 15196 0 -1 1077944384 3859 0 0 0 82 1 0 0 20 0 28 0 3607099 14133010432 77546 33554432000 4194304 4196468 140729749462320 139925248715632 139926129543810 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15834] ppid=15814 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15834/stat : 15834 (java) S 15814 15814 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3607099 14133010432 77546 33554432000 4194304 4196468 140729749462320 139925247662304 139926129542869 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15835] ppid=15814 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15835/stat : 15835 (java) S 15814 15814 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3607100 14133010432 77546 33554432000 4194304 4196468 140729749462320 139925246609840 139926129543810 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15889] ppid=15814 vsize=13801768 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15889/stat : 15889 (java) R 15814 15814 15196 0 -1 4202560 62 0 0 0 32 0 0 0 20 0 28 0 3607195 14133010432 77546 33554432000 4194304 4196468 140729749462320 139925238597936 139925762131174 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15890] ppid=15814 vsize=13801768 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15890/stat : 15890 (java) R 15814 15814 15196 0 -1 4202560 42 0 0 0 29 0 0 0 20 0 28 0 3607195 14133010432 77546 33554432000 4194304 4196468 140729749462320 139925237546416 139925763175162 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15891] ppid=15814 vsize=13801768 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15891/stat : 15891 (java) R 15814 15814 15196 0 -1 4202560 47 0 0 0 34 0 0 0 20 0 28 0 3607195 14133010432 77546 33554432000 4194304 4196468 140729749462320 139925236490424 139925762220111 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15892] ppid=15814 vsize=13801768 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15892/stat : 15892 (java) R 15814 15814 15196 0 -1 4202560 84 0 0 0 39 0 0 0 20 0 28 0 3607195 14133010432 77546 33554432000 4194304 4196468 140729749462320 139925235441704 139925762086572 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15893] ppid=15814 vsize=13801768 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15893/stat : 15893 (java) R 15814 15814 15196 0 -1 4202560 37 0 0 0 42 0 0 0 20 0 28 0 3607195 14133010432 77546 33554432000 4194304 4196468 140729749462320 139925234389160 139925763174419 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15894] ppid=15814 vsize=13801768 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15894/stat : 15894 (java) R 15814 15814 15196 0 -1 4202560 34 0 0 0 34 0 0 0 20 0 28 0 3607195 14133010432 77546 33554432000 4194304 4196468 140729749462320 139925233333736 139925761226596 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15895] ppid=15814 vsize=13801768 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15895/stat : 15895 (java) R 15814 15814 15196 0 -1 4202560 46 0 0 0 38 0 0 0 20 0 28 0 3607195 14133010432 77546 33554432000 4194304 4196468 140729749462320 139925232283048 139925762147027 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15896] ppid=15814 vsize=13801768 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15896/stat : 15896 (java) R 15814 15814 15196 0 -1 4202560 46 0 0 0 34 0 0 0 20 0 28 0 3607195 14133010432 77546 33554432000 4194304 4196468 140729749462320 139925231229952 139925762156657 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
Current children cumulated CPU time (s) 7.93
Current children cumulated vsize (KiB) 13811280
[startup+1.80184 s]
/proc/loadavg: 15.46 14.06 8.72 12/266 15901
/proc/meminfo: memFree=31802920/32770624 swapFree=5808/52960
[pid=15814] ppid=15811 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15814/stat : 15814 (xcsp3-exec) S 15811 15814 15196 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3607091 9740288 346 33554432000 4194304 5098028 140728719330496 140728719328600 139928726852220 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 10223616 140728719336590 140728719336800 140728719336800 140728719339499 0
/proc/15814/statm: 2378 346 289 221 0 87 0
[pid=15815] ppid=15814 vsize=13801768 CPUtime=9.14 cores=1,3,5,7,9,11,13,15
/proc/15815/stat : 15815 (java) S 15814 15814 15196 0 -1 1077944320 23299 0 0 0 852 62 0 0 20 0 19 0 3607091 14133010432 80114 33554432000 4194304 4196468 140729749462320 140729749444864 139926129532663 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
/proc/15815/statm: 3450442 80114 3235 1 0 3437675 0
[pid=15815/tid=15816] ppid=15814 vsize=13801768 CPUtime=0.87 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15816/stat : 15816 (java) S 15814 15814 15196 0 -1 1077944384 6930 0 0 0 83 4 0 0 20 0 19 0 3607091 14133010432 80114 33554432000 4194304 4196468 140729749462320 139926133775504 139926129542869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15818] ppid=15814 vsize=13801768 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15818/stat : 15818 (java) S 15814 15814 15196 0 -1 1077944384 54 0 0 0 5 7 0 0 20 0 19 0 3607092 14133010432 80114 33554432000 4194304 4196468 140729749462320 139926082152720 139926129542869 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15819] ppid=15814 vsize=13801768 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15819/stat : 15819 (java) S 15814 15814 15196 0 -1 1077944384 57 0 0 0 5 7 0 0 20 0 19 0 3607092 14133010432 80114 33554432000 4194304 4196468 140729749462320 139926081100176 139926129542869 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15820] ppid=15814 vsize=13801768 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15820/stat : 15820 (java) S 15814 15814 15196 0 -1 1077944384 34 0 0 0 4 4 0 0 20 0 19 0 3607092 14133010432 80114 33554432000 4194304 4196468 140729749462320 139926080047632 139926129542869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15821] ppid=15814 vsize=13801768 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15821/stat : 15821 (java) S 15814 15814 15196 0 -1 1077944384 53 0 0 0 5 7 0 0 20 0 19 0 3607092 14133010432 80114 33554432000 4194304 4196468 140729749462320 139926078995088 139926129542869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15822] ppid=15814 vsize=13801768 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15822/stat : 15822 (java) S 15814 15814 15196 0 -1 1077944384 48 0 0 0 5 6 0 0 20 0 19 0 3607092 14133010432 80114 33554432000 4194304 4196468 140729749462320 139926077942544 139926129542869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15823] ppid=15814 vsize=13801768 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15823/stat : 15823 (java) S 15814 15814 15196 0 -1 1077944384 57 0 0 0 5 7 0 0 20 0 19 0 3607092 14133010432 80114 33554432000 4194304 4196468 140729749462320 139926076890000 139926129542869 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15824] ppid=15814 vsize=13801768 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15824/stat : 15824 (java) S 15814 15814 15196 0 -1 1077944384 47 0 0 0 6 4 0 0 20 0 19 0 3607092 14133010432 80114 33554432000 4194304 4196468 140729749462320 139925722168336 139926129542869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15825] ppid=15814 vsize=13801768 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15825/stat : 15825 (java) S 15814 15814 15196 0 -1 1077944384 48 0 0 0 5 6 0 0 20 0 19 0 3607092 14133010432 80114 33554432000 4194304 4196468 140729749462320 139925721115792 139926129542869 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15826] ppid=15814 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15826/stat : 15826 (java) S 15814 15814 15196 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 3607094 14133010432 80114 33554432000 4194304 4196468 140729749462320 139925256083648 139926129543810 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15827] ppid=15814 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15827/stat : 15827 (java) S 15814 15814 15196 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 3607095 14133010432 80114 33554432000 4194304 4196468 140729749462320 139925255029664 139926129542869 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15828] ppid=15814 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15828/stat : 15828 (java) S 15814 15814 15196 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 3607095 14133010432 80114 33554432000 4194304 4196468 140729749462320 139925253977072 139926129542869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15829] ppid=15814 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15829/stat : 15829 (java) S 15814 15814 15196 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 3607099 14133010432 80114 33554432000 4194304 4196468 140729749462320 139925252924416 139926129542869 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15830] ppid=15814 vsize=13801768 CPUtime=0.88 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15830/stat : 15830 (java) S 15814 15814 15196 0 -1 1077944384 3852 0 0 0 88 0 0 0 20 0 19 0 3607099 14133010432 80114 33554432000 4194304 4196468 140729749462320 139925251864368 139926129542869 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15831] ppid=15814 vsize=13801768 CPUtime=0.87 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15831/stat : 15831 (java) S 15814 15814 15196 0 -1 1077944384 2306 0 0 0 86 1 0 0 20 0 19 0 3607099 14133010432 80114 33554432000 4194304 4196468 140729749462320 139925250805792 139926129542869 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15832] ppid=15814 vsize=13801768 CPUtime=1.07 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15832/stat : 15832 (java) R 15814 15814 15196 0 -1 4202560 3927 0 0 0 106 1 0 0 20 0 19 0 3607099 14133010432 80114 33554432000 4194304 4196468 140729749462320 139925249752728 139926114647913 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15833] ppid=15814 vsize=13801768 CPUtime=0.85 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15833/stat : 15833 (java) S 15814 15814 15196 0 -1 1077944384 4073 0 0 0 84 1 0 0 20 0 19 0 3607099 14133010432 80114 33554432000 4194304 4196468 140729749462320 139925248713136 139926129542869 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
[pid=15815/tid=15834] ppid=15814 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15815/task/15834/stat : 15834 (java) S 15814 15814 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 3607099 14133010432 80114 33554432000 4194304 4196468 140729749462320 139925247662304 139926129542869 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13742080 140729749468348 140729749468524 140729749468524 140729749471183 0
Current children cumulated CPU time (s) 9.14
Current children cumulated vsize (KiB) 13811280
Child status: 0
Real time (s): 1.84708
CPU time (s): 9.19989
CPU user time (s): 8.56222
CPU system time (s): 0.637674
CPU usage (%): 498.077
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.56222
system time used= 0.637674
maximum resident set size= 323352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24317
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= 3296
involuntary context switches= 891
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.018248 second user time and 0.026835 second system time
The end