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-4244438-1500683406/watcher-4244438-1500683406 -o /tmp/evaluation-result-4244438-1500683406/solver-4244438-1500683406 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1500682495-14658 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1249106336 HOME/instance-4244438-1500683406.xml
pid=15800
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: 16.02 14.27 9.20 10/273 15803
/proc/meminfo: memFree=29648096/32770624 swapFree=5972/216416
[pid=15803] ppid=15800 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15803/stat : 15803 (xcsp3-exec) S 15800 15803 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3610121 9740288 346 33554432000 4194304 5098028 140721739228928 140721739227032 139738820862588 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 19894272 140721739232398 140721739232608 140721739232608 140721739235307 0
/proc/15803/statm: 2378 346 289 221 0 87 0
[startup+0.1001 s]
/proc/loadavg: 16.02 14.27 9.20 10/273 15803
/proc/meminfo: memFree=29648096/32770624 swapFree=5972/216416
[pid=15803] ppid=15800 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15803/stat : 15803 (xcsp3-exec) S 15800 15803 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3610121 9740288 346 33554432000 4194304 5098028 140721739228928 140721739227032 139738820862588 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 19894272 140721739232398 140721739232608 140721739232608 140721739235307 0
/proc/15803/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200306 s]
/proc/loadavg: 16.02 14.27 9.20 10/273 15803
/proc/meminfo: memFree=29648096/32770624 swapFree=5972/216416
[pid=15803] ppid=15800 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15803/stat : 15803 (xcsp3-exec) S 15800 15803 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3610121 9740288 346 33554432000 4194304 5098028 140721739228928 140721739227032 139738820862588 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 19894272 140721739232398 140721739232608 140721739232608 140721739235307 0
/proc/15803/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300304 s]
/proc/loadavg: 16.02 14.27 9.20 10/273 15803
/proc/meminfo: memFree=29648096/32770624 swapFree=5972/216416
[pid=15803] ppid=15800 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15803/stat : 15803 (xcsp3-exec) S 15800 15803 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3610121 9740288 346 33554432000 4194304 5098028 140721739228928 140721739227032 139738820862588 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 19894272 140721739232398 140721739232608 140721739232608 140721739235307 0
/proc/15803/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700246 s]
/proc/loadavg: 16.02 14.27 9.20 10/273 15803
/proc/meminfo: memFree=29648096/32770624 swapFree=5972/216416
[pid=15803] ppid=15800 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15803/stat : 15803 (xcsp3-exec) S 15800 15803 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3610121 9740288 346 33554432000 4194304 5098028 140721739228928 140721739227032 139738820862588 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 19894272 140721739232398 140721739232608 140721739232608 140721739235307 0
/proc/15803/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50114 s]
/proc/loadavg: 15.69 14.23 9.21 13/294 15824
/proc/meminfo: memFree=29482212/32770624 swapFree=5972/216468
[pid=15803] ppid=15800 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15803/stat : 15803 (xcsp3-exec) S 15800 15803 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3610121 9740288 346 33554432000 4194304 5098028 140721739228928 140721739227032 139738820862588 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 19894272 140721739232398 140721739232608 140721739232608 140721739235307 0
/proc/15803/statm: 2378 346 289 221 0 87 0
[pid=15804] ppid=15803 vsize=13801768 CPUtime=6.41 cores=1,3,5,7,9,11,13,15
/proc/15804/stat : 15804 (java) S 15803 15803 14626 0 -1 1077944320 24319 0 0 0 619 22 0 0 20 0 28 0 3610121 14133010432 56364 33554432000 4194304 4196468 140729800633552 140729800616096 140416836783863 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
/proc/15804/statm: 3450442 56364 3246 1 0 3437675 0
[pid=15804/tid=15805] ppid=15803 vsize=13801768 CPUtime=1.07 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15805/stat : 15805 (java) S 15803 15803 14626 0 -1 1077944384 8712 0 0 0 103 4 0 0 20 0 28 0 3610121 14133010432 56364 33554432000 4194304 4196468 140729800633552 140416841024640 140416836794069 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15807] ppid=15803 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15807/stat : 15807 (java) S 15803 15803 14626 0 -1 1077944384 28 0 0 0 1 1 0 0 20 0 28 0 3610122 14133010432 56364 33554432000 4194304 4196468 140729800633552 140416435837584 140416836794069 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15808] ppid=15803 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15808/stat : 15808 (java) S 15803 15803 14626 0 -1 1077944384 29 0 0 0 1 1 0 0 20 0 28 0 3610122 14133010432 56364 33554432000 4194304 4196468 140729800633552 140416434784784 140416836794069 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15809] ppid=15803 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15809/stat : 15809 (java) S 15803 15803 14626 0 -1 1077944384 13 0 0 0 1 1 0 0 20 0 28 0 3610122 14133010432 56364 33554432000 4194304 4196468 140729800633552 140416433731984 140416836794069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15810] ppid=15803 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15810/stat : 15810 (java) S 15803 15803 14626 0 -1 1077944384 12 0 0 0 0 1 0 0 20 0 28 0 3610122 14133010432 56364 33554432000 4194304 4196468 140729800633552 140416432679184 140416836794069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15811] ppid=15803 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15811/stat : 15811 (java) S 15803 15803 14626 0 -1 1077944384 64 0 0 0 1 1 0 0 20 0 28 0 3610122 14133010432 56364 33554432000 4194304 4196468 140729800633552 140416431627408 140416836794069 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15812] ppid=15803 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15812/stat : 15812 (java) S 15803 15803 14626 0 -1 1077944384 28 0 0 0 1 1 0 0 20 0 28 0 3610122 14133010432 56364 33554432000 4194304 4196468 140729800633552 140416430574608 140416836794069 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15813] ppid=15803 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15813/stat : 15813 (java) S 15803 15803 14626 0 -1 1077944384 26 0 0 0 1 1 0 0 20 0 28 0 3610122 14133010432 56364 33554432000 4194304 4196468 140729800633552 140416429521808 140416836794069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15814] ppid=15803 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15814/stat : 15814 (java) S 15803 15803 14626 0 -1 1077944384 106 0 0 0 1 1 0 0 20 0 28 0 3610122 14133010432 56364 33554432000 4194304 4196468 140729800633552 140416428469008 140416836794069 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15815] ppid=15803 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15815/stat : 15815 (java) S 15803 15803 14626 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 28 0 3610125 14133010432 56364 33554432000 4194304 4196468 140729800633552 140416030574960 140416836795010 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15816] ppid=15803 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15816/stat : 15816 (java) S 15803 15803 14626 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 3610125 14133010432 56364 33554432000 4194304 4196468 140729800633552 140416029520928 140416836794069 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15817] ppid=15803 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15817/stat : 15817 (java) S 15803 15803 14626 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 3610126 14133010432 56364 33554432000 4194304 4196468 140729800633552 140416028468080 140416836794069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15818] ppid=15803 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15818/stat : 15818 (java) S 15803 15803 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3610130 14133010432 56364 33554432000 4194304 4196468 140729800633552 140416027416400 140416836802459 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15819] ppid=15803 vsize=13801768 CPUtime=0.74 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15819/stat : 15819 (java) R 15803 15803 14626 0 -1 4202560 2669 0 0 0 73 1 0 0 20 0 28 0 3610130 14133010432 56364 33554432000 4194304 4196468 140729800633552 140416026347048 140416821665648 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15820] ppid=15803 vsize=13801768 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15820/stat : 15820 (java) R 15803 15803 14626 0 -1 4202560 4510 0 0 0 74 1 0 0 20 0 28 0 3610130 14133010432 56364 33554432000 4194304 4196468 140729800633552 140416025293000 140416814378609 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15821] ppid=15803 vsize=13801768 CPUtime=0.79 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15821/stat : 15821 (java) R 15803 15803 14626 0 -1 4202560 2479 0 0 0 78 1 0 0 20 0 28 0 3610130 14133010432 56364 33554432000 4194304 4196468 140729800633552 140416024238120 140416822822340 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15822] ppid=15803 vsize=13801768 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15822/stat : 15822 (java) R 15803 15803 14626 0 -1 4202560 3544 0 0 0 74 1 0 0 20 0 28 0 3610130 14133010432 56364 33554432000 4194304 4196468 140729800633552 140416023200840 140416815728039 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15823] ppid=15803 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15823/stat : 15823 (java) S 15803 15803 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3610130 14133010432 56364 33554432000 4194304 4196468 140729800633552 140416022153824 140416836794069 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15824] ppid=15803 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15824/stat : 15824 (java) S 15803 15803 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3610130 14133010432 56364 33554432000 4194304 4196468 140729800633552 140416021101104 140416836795010 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15825] ppid=15803 vsize=13801768 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15825/stat : 15825 (java) R 15803 15803 14626 0 -1 4202560 169 0 0 0 33 0 0 0 20 0 28 0 3610231 14133010432 56364 33554432000 4194304 4196468 140729800633552 140416013083672 140416462439554 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
Current children cumulated CPU time (s) 6.41
Current children cumulated vsize (KiB) 13811280
[startup+3.10158 s]
/proc/loadavg: 15.69 14.23 9.21 20/302 15832
/proc/meminfo: memFree=29396952/32770624 swapFree=5972/216468
[pid=15803] ppid=15800 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15803/stat : 15803 (xcsp3-exec) S 15800 15803 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3610121 9740288 346 33554432000 4194304 5098028 140721739228928 140721739227032 139738820862588 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 19894272 140721739232398 140721739232608 140721739232608 140721739235307 0
/proc/15803/statm: 2378 346 289 221 0 87 0
[pid=15804] ppid=15803 vsize=13801768 CPUtime=19.13 cores=1,3,5,7,9,11,13,15
/proc/15804/stat : 15804 (java) S 15803 15803 14626 0 -1 1077944320 39806 0 0 0 1888 25 0 0 20 0 28 0 3610121 14133010432 69345 33554432000 4194304 4196468 140729800633552 140729800616096 140416836783863 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
/proc/15804/statm: 3450442 69345 3252 1 0 3437675 0
[pid=15804/tid=15805] ppid=15803 vsize=13801768 CPUtime=1.07 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15805/stat : 15805 (java) S 15803 15803 14626 0 -1 1077944384 8712 0 0 0 103 4 0 0 20 0 28 0 3610121 14133010432 69345 33554432000 4194304 4196468 140729800633552 140416841024640 140416836794069 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15807] ppid=15803 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15807/stat : 15807 (java) S 15803 15803 14626 0 -1 1077944384 28 0 0 0 1 1 0 0 20 0 28 0 3610122 14133010432 69345 33554432000 4194304 4196468 140729800633552 140416435837584 140416836794069 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15808] ppid=15803 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15808/stat : 15808 (java) S 15803 15803 14626 0 -1 1077944384 29 0 0 0 1 1 0 0 20 0 28 0 3610122 14133010432 69345 33554432000 4194304 4196468 140729800633552 140416434784784 140416836794069 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15809] ppid=15803 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15809/stat : 15809 (java) S 15803 15803 14626 0 -1 1077944384 13 0 0 0 1 1 0 0 20 0 28 0 3610122 14133010432 69345 33554432000 4194304 4196468 140729800633552 140416433731984 140416836794069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15810] ppid=15803 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15810/stat : 15810 (java) S 15803 15803 14626 0 -1 1077944384 12 0 0 0 0 1 0 0 20 0 28 0 3610122 14133010432 69345 33554432000 4194304 4196468 140729800633552 140416432679184 140416836794069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15811] ppid=15803 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15811/stat : 15811 (java) S 15803 15803 14626 0 -1 1077944384 64 0 0 0 1 1 0 0 20 0 28 0 3610122 14133010432 69345 33554432000 4194304 4196468 140729800633552 140416431627408 140416836794069 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15812] ppid=15803 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15812/stat : 15812 (java) S 15803 15803 14626 0 -1 1077944384 28 0 0 0 1 1 0 0 20 0 28 0 3610122 14133010432 69345 33554432000 4194304 4196468 140729800633552 140416430574608 140416836794069 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15813] ppid=15803 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15813/stat : 15813 (java) S 15803 15803 14626 0 -1 1077944384 26 0 0 0 1 1 0 0 20 0 28 0 3610122 14133010432 69345 33554432000 4194304 4196468 140729800633552 140416429521808 140416836794069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15814] ppid=15803 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15814/stat : 15814 (java) S 15803 15803 14626 0 -1 1077944384 106 0 0 0 1 1 0 0 20 0 28 0 3610122 14133010432 69345 33554432000 4194304 4196468 140729800633552 140416428469008 140416836794069 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15815] ppid=15803 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15815/stat : 15815 (java) S 15803 15803 14626 0 -1 1077944384 157 0 0 0 0 0 0 0 20 0 28 0 3610125 14133010432 69345 33554432000 4194304 4196468 140729800633552 140416030574960 140416836795010 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15816] ppid=15803 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15816/stat : 15816 (java) S 15803 15803 14626 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 3610125 14133010432 69345 33554432000 4194304 4196468 140729800633552 140416029520928 140416836794069 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15817] ppid=15803 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15817/stat : 15817 (java) S 15803 15803 14626 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 3610126 14133010432 69345 33554432000 4194304 4196468 140729800633552 140416028468080 140416836794069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15818] ppid=15803 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15818/stat : 15818 (java) S 15803 15803 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3610130 14133010432 69345 33554432000 4194304 4196468 140729800633552 140416027416400 140416836802459 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15819] ppid=15803 vsize=13801768 CPUtime=2.15 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15819/stat : 15819 (java) R 15803 15803 14626 0 -1 4202560 8441 0 0 0 213 2 0 0 20 0 28 0 3610130 14133010432 69345 33554432000 4194304 4196468 140729800633552 140416026351008 140416816030097 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15820] ppid=15803 vsize=13801768 CPUtime=2.06 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15820/stat : 15820 (java) R 15803 15803 14626 0 -1 4202560 7758 0 0 0 205 1 0 0 20 0 28 0 3610130 14133010432 69345 33554432000 4194304 4196468 140729800633552 140416025297744 140416820251775 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15821] ppid=15803 vsize=13801768 CPUtime=1.92 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15821/stat : 15821 (java) R 15803 15803 14626 0 -1 4202560 6868 0 0 0 191 1 0 0 20 0 28 0 3610130 14133010432 69345 33554432000 4194304 4196468 140729800633552 140416024244960 140416818303542 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15822] ppid=15803 vsize=13801768 CPUtime=0.94 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15822/stat : 15822 (java) S 15803 15803 14626 0 -1 1077944384 5122 0 0 0 92 2 0 0 20 0 28 0 3610130 14133010432 69345 33554432000 4194304 4196468 140729800633552 140416023206384 140416836795010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15823] ppid=15803 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15823/stat : 15823 (java) S 15803 15803 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3610130 14133010432 69345 33554432000 4194304 4196468 140729800633552 140416022153824 140416836794069 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15824] ppid=15803 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15824/stat : 15824 (java) S 15803 15803 14626 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 3610130 14133010432 69345 33554432000 4194304 4196468 140729800633552 140416021101104 140416836795010 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15825] ppid=15803 vsize=13801768 CPUtime=1.36 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15825/stat : 15825 (java) R 15803 15803 14626 0 -1 4202560 205 0 0 0 136 0 0 0 20 0 28 0 3610231 14133010432 69345 33554432000 4194304 4196468 140729800633552 140416013085560 140416464525638 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15826] ppid=15803 vsize=13801768 CPUtime=1.16 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15826/stat : 15826 (java) R 15803 15803 14626 0 -1 4202560 144 0 0 0 116 0 0 0 20 0 28 0 3610235 14133010432 69345 33554432000 4194304 4196468 140729800633552 140416012032648 140416462419409 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15827] ppid=15803 vsize=13801768 CPUtime=1.22 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15827/stat : 15827 (java) R 15803 15803 14626 0 -1 4202560 161 0 0 0 122 0 0 0 20 0 28 0 3610235 14133010432 69345 33554432000 4194304 4196468 140729800633552 140416010980936 140416462445357 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15828] ppid=15803 vsize=13801768 CPUtime=1.39 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15828/stat : 15828 (java) R 15803 15803 14626 0 -1 4202560 264 0 0 0 139 0 0 0 20 0 28 0 3610235 14133010432 69345 33554432000 4194304 4196468 140729800633552 140416009929224 140416463151978 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15829] ppid=15803 vsize=13801768 CPUtime=1.69 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15829/stat : 15829 (java) R 15803 15803 14626 0 -1 4202560 50 0 0 0 169 0 0 0 20 0 28 0 3610235 14133010432 69345 33554432000 4194304 4196468 140729800633552 140416008874312 140416464386366 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15830] ppid=15803 vsize=13801768 CPUtime=1.23 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15830/stat : 15830 (java) R 15803 15803 14626 0 -1 4202560 115 0 0 0 123 0 0 0 20 0 28 0 3610235 14133010432 69345 33554432000 4194304 4196468 140729800633552 140416007822224 140416464386073 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15831] ppid=15803 vsize=13801768 CPUtime=1.36 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15831/stat : 15831 (java) R 15803 15803 14626 0 -1 4202560 86 0 0 0 136 0 0 0 20 0 28 0 3610235 14133010432 69345 33554432000 4194304 4196468 140729800633552 140416006769256 140416464386464 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15832] ppid=15803 vsize=13801768 CPUtime=1.25 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15832/stat : 15832 (java) R 15803 15803 14626 0 -1 4202560 64 0 0 0 125 0 0 0 20 0 28 0 3610235 14133010432 69345 33554432000 4194304 4196468 140729800633552 140416005716872 140416462419782 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
Current children cumulated CPU time (s) 19.13
Current children cumulated vsize (KiB) 13811280
[startup+6.30152 s]
/proc/loadavg: 15.69 14.23 9.21 20/302 15832
/proc/meminfo: memFree=29379480/32770624 swapFree=5972/216480
[pid=15803] ppid=15800 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15803/stat : 15803 (xcsp3-exec) S 15800 15803 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3610121 9740288 346 33554432000 4194304 5098028 140721739228928 140721739227032 139738820862588 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 19894272 140721739232398 140721739232608 140721739232608 140721739235307 0
/proc/15803/statm: 2378 346 289 221 0 87 0
[pid=15804] ppid=15803 vsize=13801768 CPUtime=44.42 cores=1,3,5,7,9,11,13,15
/proc/15804/stat : 15804 (java) S 15803 15803 14626 0 -1 1077944320 52049 0 0 0 4388 54 0 0 20 0 28 0 3610121 14133010432 85702 33554432000 4194304 4196468 140729800633552 140729800616096 140416836783863 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
/proc/15804/statm: 3450442 85702 3268 1 0 3437675 0
[pid=15804/tid=15805] ppid=15803 vsize=13801768 CPUtime=1.07 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15805/stat : 15805 (java) S 15803 15803 14626 0 -1 1077944384 8712 0 0 0 103 4 0 0 20 0 28 0 3610121 14133010432 85702 33554432000 4194304 4196468 140729800633552 140416841024640 140416836794069 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15807] ppid=15803 vsize=13801768 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15807/stat : 15807 (java) S 15803 15803 14626 0 -1 1077944384 147 0 0 0 4 5 0 0 20 0 28 0 3610122 14133010432 85702 33554432000 4194304 4196468 140729800633552 140416435837584 140416836794069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15808] ppid=15803 vsize=13801768 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15808/stat : 15808 (java) S 15803 15803 14626 0 -1 1077944384 816 0 0 0 4 4 0 0 20 0 28 0 3610122 14133010432 85702 33554432000 4194304 4196468 140729800633552 140416434784784 140416836794069 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15809] ppid=15803 vsize=13801768 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15809/stat : 15809 (java) S 15803 15803 14626 0 -1 1077944384 61 0 0 0 3 4 0 0 20 0 28 0 3610122 14133010432 85702 33554432000 4194304 4196468 140729800633552 140416433731984 140416836794069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
################
# More data... #
################
[pid=15804/tid=15831] ppid=15803 vsize=13801768 CPUtime=277.58 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15831/stat : 15831 (java) R 15803 15803 14626 0 -1 4202560 1464 0 0 0 27757 1 0 0 20 0 28 0 3610235 14133010432 271548 33554432000 4194304 4196468 140729800633552 140416006770040 140416464894108 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15832] ppid=15803 vsize=13801768 CPUtime=276.52 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15832/stat : 15832 (java) R 15803 15803 14626 0 -1 4202560 894 0 0 0 27651 1 0 0 20 0 28 0 3610235 14133010432 271548 33554432000 4194304 4196468 140729800633552 140416005717624 140416462919211 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
Current children cumulated CPU time (s) 2240.96
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+302.302 s]
/proc/loadavg: 15.95 15.25 11.04 17/300 15933
/proc/meminfo: memFree=30446648/32770624 swapFree=5972/216832
[pid=15803] ppid=15800 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15803/stat : 15803 (xcsp3-exec) S 15800 15803 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3610121 9740288 346 33554432000 4194304 5098028 140721739228928 140721739227032 139738820862588 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 19894272 140721739232398 140721739232608 140721739232608 140721739235307 0
/proc/15803/statm: 2378 346 289 221 0 87 0
[pid=15804] ppid=15803 vsize=13801768 CPUtime=2400.23 cores=1,3,5,7,9,11,13,15
/proc/15804/stat : 15804 (java) S 15803 15803 14626 0 -1 1077944320 112451 0 0 0 239811 212 0 0 20 0 28 0 3610121 14133010432 260789 33554432000 4194304 4196468 140729800633552 140729800616096 140416836783863 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
/proc/15804/statm: 3450442 260789 3292 1 0 3437675 0
[pid=15804/tid=15805] ppid=15803 vsize=13801768 CPUtime=1.07 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15805/stat : 15805 (java) S 15803 15803 14626 0 -1 1077944384 8712 0 0 0 103 4 0 0 20 0 28 0 3610121 14133010432 260789 33554432000 4194304 4196468 140729800633552 140416841024640 140416836794069 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15807] ppid=15803 vsize=13801768 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15807/stat : 15807 (java) S 15803 15803 14626 0 -1 1077944384 1261 0 0 0 55 18 0 0 20 0 28 0 3610122 14133010432 260789 33554432000 4194304 4196468 140729800633552 140416435837584 140416836794069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15808] ppid=15803 vsize=13801768 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15808/stat : 15808 (java) S 15803 15803 14626 0 -1 1077944384 1779 0 0 0 54 19 0 0 20 0 28 0 3610122 14133010432 260789 33554432000 4194304 4196468 140729800633552 140416434784784 140416836794069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15809] ppid=15803 vsize=13801768 CPUtime=0.71 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15809/stat : 15809 (java) S 15803 15803 14626 0 -1 1077944384 520 0 0 0 54 17 0 0 20 0 28 0 3610122 14133010432 260789 33554432000 4194304 4196468 140729800633552 140416433731984 140416836794069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15810] ppid=15803 vsize=13801768 CPUtime=0.7 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15810/stat : 15810 (java) S 15803 15803 14626 0 -1 1077944384 2001 0 0 0 53 17 0 0 20 0 28 0 3610122 14133010432 260789 33554432000 4194304 4196468 140729800633552 140416432679184 140416836794069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15811] ppid=15803 vsize=13801768 CPUtime=0.74 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15811/stat : 15811 (java) S 15803 15803 14626 0 -1 1077944384 1742 0 0 0 56 18 0 0 20 0 28 0 3610122 14133010432 260789 33554432000 4194304 4196468 140729800633552 140416431627408 140416836794069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15812] ppid=15803 vsize=13801768 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15812/stat : 15812 (java) S 15803 15803 14626 0 -1 1077944384 703 0 0 0 50 17 0 0 20 0 28 0 3610122 14133010432 260789 33554432000 4194304 4196468 140729800633552 140416430574608 140416836794069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15813] ppid=15803 vsize=13801768 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15813/stat : 15813 (java) S 15803 15803 14626 0 -1 1077944384 1628 0 0 0 53 19 0 0 20 0 28 0 3610122 14133010432 260789 33554432000 4194304 4196468 140729800633552 140416429521808 140416836794069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15814] ppid=15803 vsize=13801768 CPUtime=0.71 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15814/stat : 15814 (java) S 15803 15803 14626 0 -1 1077944384 2025 0 0 0 54 17 0 0 20 0 28 0 3610122 14133010432 260789 33554432000 4194304 4196468 140729800633552 140416428469008 140416836794069 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15815] ppid=15803 vsize=13801768 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15815/stat : 15815 (java) S 15803 15803 14626 0 -1 1077944384 6436 0 0 0 20 17 0 0 20 0 28 0 3610125 14133010432 260789 33554432000 4194304 4196468 140729800633552 140416030574960 140416836795010 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15816] ppid=15803 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15816/stat : 15816 (java) S 15803 15803 14626 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 3610125 14133010432 260789 33554432000 4194304 4196468 140729800633552 140416029520992 140416836794069 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15817] ppid=15803 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15817/stat : 15817 (java) S 15803 15803 14626 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 3610126 14133010432 260789 33554432000 4194304 4196468 140729800633552 140416028468096 140416836794069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15818] ppid=15803 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15818/stat : 15818 (java) S 15803 15803 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3610130 14133010432 260789 33554432000 4194304 4196468 140729800633552 140416027416400 140416836802459 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15819] ppid=15803 vsize=13801768 CPUtime=6.17 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15819/stat : 15819 (java) S 15803 15803 14626 0 -1 1077944384 19127 0 0 0 613 4 0 0 20 0 28 0 3610130 14133010432 260789 33554432000 4194304 4196468 140729800633552 140416026364784 140416836795010 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15820] ppid=15803 vsize=13801768 CPUtime=5.71 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15820/stat : 15820 (java) S 15803 15803 14626 0 -1 1077944384 18302 0 0 0 568 3 0 0 20 0 28 0 3610130 14133010432 260789 33554432000 4194304 4196468 140729800633552 140416025311984 140416836795010 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15821] ppid=15803 vsize=13801768 CPUtime=5.37 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15821/stat : 15821 (java) S 15803 15803 14626 0 -1 1077944384 18687 0 0 0 534 3 0 0 20 0 28 0 3610130 14133010432 260789 33554432000 4194304 4196468 140729800633552 140416024259184 140416836795010 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15822] ppid=15803 vsize=13801768 CPUtime=1.33 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15822/stat : 15822 (java) S 15803 15803 14626 0 -1 1077944384 10441 0 0 0 130 3 0 0 20 0 28 0 3610130 14133010432 260789 33554432000 4194304 4196468 140729800633552 140416023206384 140416836795010 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 12 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15823] ppid=15803 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15823/stat : 15823 (java) S 15803 15803 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3610130 14133010432 260789 33554432000 4194304 4196468 140729800633552 140416022153824 140416836794069 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15824] ppid=15803 vsize=13801768 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15824/stat : 15824 (java) S 15803 15803 14626 0 -1 1077944384 1302 0 0 0 6 8 0 0 20 0 28 0 3610130 14133010432 260789 33554432000 4194304 4196468 140729800633552 140416021101104 140416836795010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15825] ppid=15803 vsize=13801768 CPUtime=297.36 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15825/stat : 15825 (java) R 15803 15803 14626 0 -1 4202560 3462 0 0 0 29731 5 0 0 20 0 28 0 3610231 14133010432 260789 33554432000 4194304 4196468 140729800633552 140416013085336 140416462634546 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15826] ppid=15803 vsize=13801768 CPUtime=296.94 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15826/stat : 15826 (java) R 15803 15803 14626 0 -1 4202560 1172 0 0 0 29693 1 0 0 20 0 28 0 3610235 14133010432 260789 33554432000 4194304 4196468 140729800633552 140416012033160 140416462919485 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15827] ppid=15803 vsize=13801768 CPUtime=297.19 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15827/stat : 15827 (java) R 15803 15803 14626 0 -1 4202560 2928 0 0 0 29715 4 0 0 20 0 28 0 3610235 14133010432 260789 33554432000 4194304 4196468 140729800633552 140416010981440 140416462634753 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15828] ppid=15803 vsize=13801768 CPUtime=296.89 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15828/stat : 15828 (java) R 15803 15803 14626 0 -1 4202560 3267 0 0 0 29684 5 0 0 20 0 28 0 3610235 14133010432 260789 33554432000 4194304 4196468 140729800633552 140416009931536 140416462634539 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15829] ppid=15803 vsize=13801768 CPUtime=294.55 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15829/stat : 15829 (java) R 15803 15803 14626 0 -1 4202560 2083 0 0 0 29454 1 0 0 20 0 28 0 3610235 14133010432 260789 33554432000 4194304 4196468 140729800633552 140416008876136 140416462919189 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15830] ppid=15803 vsize=13801768 CPUtime=297.21 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15830/stat : 15830 (java) R 15803 15803 14626 0 -1 4202560 1102 0 0 0 29721 0 0 0 20 0 28 0 3610235 14133010432 260789 33554432000 4194304 4196468 140729800633552 140416007822984 140416467163795 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15831] ppid=15803 vsize=13801768 CPUtime=297.51 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15831/stat : 15831 (java) R 15803 15803 14626 0 -1 4202560 1488 0 0 0 29750 1 0 0 20 0 28 0 3610235 14133010432 260789 33554432000 4194304 4196468 140729800633552 140416006769944 140416467163684 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15832] ppid=15803 vsize=13801768 CPUtime=296.47 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15832/stat : 15832 (java) R 15803 15803 14626 0 -1 4202560 910 0 0 0 29646 1 0 0 20 0 28 0 3610235 14133010432 260789 33554432000 4194304 4196468 140729800633552 140416005717144 140416465038865 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
Current children cumulated CPU time (s) 2400.23
Current children cumulated vsize (KiB) 13811280
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 15804 sig 9
??? kill 15803 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+302.302 s]
/proc/loadavg: 15.95 15.25 11.04 17/300 15933
/proc/meminfo: memFree=30446648/32770624 swapFree=5972/216832
[pid=15803] ppid=15800 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15803/stat : 15803 (xcsp3-exec) S 15800 15803 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3610121 9740288 346 33554432000 4194304 5098028 140721739228928 140721739227032 139738820862588 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 19894272 140721739232398 140721739232608 140721739232608 140721739235307 0
/proc/15803/statm: 2378 346 289 221 0 87 0
[pid=15804] ppid=15803 vsize=13801768 CPUtime=2400.23 cores=1,3,5,7,9,11,13,15
/proc/15804/stat : 15804 (java) S 15803 15803 14626 0 -1 1077944320 112451 0 0 0 239811 212 0 0 20 0 28 0 3610121 14133010432 260789 33554432000 4194304 4196468 140729800633552 140729800616096 140416836783863 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
/proc/15804/statm: 3450442 260789 3292 1 0 3437675 0
[pid=15804/tid=15805] ppid=15803 vsize=13801768 CPUtime=1.07 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15805/stat : 15805 (java) S 15803 15803 14626 0 -1 1077944384 8712 0 0 0 103 4 0 0 20 0 28 0 3610121 14133010432 260789 33554432000 4194304 4196468 140729800633552 140416841024640 140416836794069 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15807] ppid=15803 vsize=13801768 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15807/stat : 15807 (java) S 15803 15803 14626 0 -1 1077944384 1261 0 0 0 55 18 0 0 20 0 28 0 3610122 14133010432 260789 33554432000 4194304 4196468 140729800633552 140416435837584 140416836794069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15808] ppid=15803 vsize=13801768 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15808/stat : 15808 (java) S 15803 15803 14626 0 -1 1077944384 1779 0 0 0 54 19 0 0 20 0 28 0 3610122 14133010432 260789 33554432000 4194304 4196468 140729800633552 140416434784784 140416836794069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15809] ppid=15803 vsize=13801768 CPUtime=0.71 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15809/stat : 15809 (java) S 15803 15803 14626 0 -1 1077944384 520 0 0 0 54 17 0 0 20 0 28 0 3610122 14133010432 260789 33554432000 4194304 4196468 140729800633552 140416433731984 140416836794069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15810] ppid=15803 vsize=13801768 CPUtime=0.7 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15810/stat : 15810 (java) S 15803 15803 14626 0 -1 1077944384 2001 0 0 0 53 17 0 0 20 0 28 0 3610122 14133010432 260789 33554432000 4194304 4196468 140729800633552 140416432679184 140416836794069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15811] ppid=15803 vsize=13801768 CPUtime=0.74 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15811/stat : 15811 (java) S 15803 15803 14626 0 -1 1077944384 1742 0 0 0 56 18 0 0 20 0 28 0 3610122 14133010432 260789 33554432000 4194304 4196468 140729800633552 140416431627408 140416836794069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15812] ppid=15803 vsize=13801768 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15812/stat : 15812 (java) S 15803 15803 14626 0 -1 1077944384 703 0 0 0 50 17 0 0 20 0 28 0 3610122 14133010432 260789 33554432000 4194304 4196468 140729800633552 140416430574608 140416836794069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15813] ppid=15803 vsize=13801768 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15813/stat : 15813 (java) S 15803 15803 14626 0 -1 1077944384 1628 0 0 0 53 19 0 0 20 0 28 0 3610122 14133010432 260789 33554432000 4194304 4196468 140729800633552 140416429521808 140416836794069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15814] ppid=15803 vsize=13801768 CPUtime=0.71 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15814/stat : 15814 (java) S 15803 15803 14626 0 -1 1077944384 2025 0 0 0 54 17 0 0 20 0 28 0 3610122 14133010432 260789 33554432000 4194304 4196468 140729800633552 140416428469008 140416836794069 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15815] ppid=15803 vsize=13801768 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15815/stat : 15815 (java) S 15803 15803 14626 0 -1 1077944384 6436 0 0 0 20 17 0 0 20 0 28 0 3610125 14133010432 260789 33554432000 4194304 4196468 140729800633552 140416030574960 140416836795010 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15816] ppid=15803 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15816/stat : 15816 (java) S 15803 15803 14626 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 3610125 14133010432 260789 33554432000 4194304 4196468 140729800633552 140416029520992 140416836794069 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15817] ppid=15803 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15817/stat : 15817 (java) S 15803 15803 14626 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 3610126 14133010432 260789 33554432000 4194304 4196468 140729800633552 140416028468096 140416836794069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15818] ppid=15803 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15818/stat : 15818 (java) S 15803 15803 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3610130 14133010432 260789 33554432000 4194304 4196468 140729800633552 140416027416400 140416836802459 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15819] ppid=15803 vsize=13801768 CPUtime=6.17 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15819/stat : 15819 (java) S 15803 15803 14626 0 -1 1077944384 19127 0 0 0 613 4 0 0 20 0 28 0 3610130 14133010432 260789 33554432000 4194304 4196468 140729800633552 140416026364784 140416836795010 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15820] ppid=15803 vsize=13801768 CPUtime=5.71 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15820/stat : 15820 (java) S 15803 15803 14626 0 -1 1077944384 18302 0 0 0 568 3 0 0 20 0 28 0 3610130 14133010432 260789 33554432000 4194304 4196468 140729800633552 140416025311984 140416836795010 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15821] ppid=15803 vsize=13801768 CPUtime=5.37 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15821/stat : 15821 (java) S 15803 15803 14626 0 -1 1077944384 18687 0 0 0 534 3 0 0 20 0 28 0 3610130 14133010432 260789 33554432000 4194304 4196468 140729800633552 140416024259184 140416836795010 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15822] ppid=15803 vsize=13801768 CPUtime=1.33 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15822/stat : 15822 (java) S 15803 15803 14626 0 -1 1077944384 10441 0 0 0 130 3 0 0 20 0 28 0 3610130 14133010432 260789 33554432000 4194304 4196468 140729800633552 140416023206384 140416836795010 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 12 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15823] ppid=15803 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15823/stat : 15823 (java) S 15803 15803 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3610130 14133010432 260789 33554432000 4194304 4196468 140729800633552 140416022153824 140416836794069 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15824] ppid=15803 vsize=13801768 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15824/stat : 15824 (java) S 15803 15803 14626 0 -1 1077944384 1302 0 0 0 6 8 0 0 20 0 28 0 3610130 14133010432 260789 33554432000 4194304 4196468 140729800633552 140416021101104 140416836795010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15825] ppid=15803 vsize=13801768 CPUtime=297.36 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15825/stat : 15825 (java) R 15803 15803 14626 0 -1 4202560 3462 0 0 0 29731 5 0 0 20 0 28 0 3610231 14133010432 260789 33554432000 4194304 4196468 140729800633552 140416013085336 140416462634546 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15826] ppid=15803 vsize=13801768 CPUtime=296.94 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15826/stat : 15826 (java) R 15803 15803 14626 0 -1 4202560 1172 0 0 0 29693 1 0 0 20 0 28 0 3610235 14133010432 260789 33554432000 4194304 4196468 140729800633552 140416012033160 140416462919485 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15827] ppid=15803 vsize=13801768 CPUtime=297.19 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15827/stat : 15827 (java) R 15803 15803 14626 0 -1 4202560 2928 0 0 0 29715 4 0 0 20 0 28 0 3610235 14133010432 260789 33554432000 4194304 4196468 140729800633552 140416010981440 140416462634753 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15828] ppid=15803 vsize=13801768 CPUtime=296.89 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15828/stat : 15828 (java) R 15803 15803 14626 0 -1 4202560 3267 0 0 0 29684 5 0 0 20 0 28 0 3610235 14133010432 260789 33554432000 4194304 4196468 140729800633552 140416009931536 140416462634539 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15829] ppid=15803 vsize=13801768 CPUtime=294.55 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15829/stat : 15829 (java) R 15803 15803 14626 0 -1 4202560 2083 0 0 0 29454 1 0 0 20 0 28 0 3610235 14133010432 260789 33554432000 4194304 4196468 140729800633552 140416008876136 140416462919189 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15830] ppid=15803 vsize=13801768 CPUtime=297.21 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15830/stat : 15830 (java) R 15803 15803 14626 0 -1 4202560 1102 0 0 0 29721 0 0 0 20 0 28 0 3610235 14133010432 260789 33554432000 4194304 4196468 140729800633552 140416007822984 140416467163795 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15831] ppid=15803 vsize=13801768 CPUtime=297.51 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15831/stat : 15831 (java) R 15803 15803 14626 0 -1 4202560 1488 0 0 0 29750 1 0 0 20 0 28 0 3610235 14133010432 260789 33554432000 4194304 4196468 140729800633552 140416006769944 140416467163684 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
[pid=15804/tid=15832] ppid=15803 vsize=13801768 CPUtime=296.47 cores=1,3,5,7,9,11,13,15
/proc/15804/task/15832/stat : 15832 (java) R 15803 15803 14626 0 -1 4202560 910 0 0 0 29646 1 0 0 20 0 28 0 3610235 14133010432 260789 33554432000 4194304 4196468 140729800633552 140416005717144 140416465038865 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 15835136 140729800635580 140729800635756 140729800635756 140729800638415 0
Current children cumulated CPU time (s) 2400.23
Current children cumulated vsize (KiB) 13811280
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15803 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=2081
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1040
# CPU time returned by wait4() is 0.003121
# while last known CPU time is 2400.23
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 302.312
CPU time (s): 2400.23
CPU user time (s): 2398.11
CPU system time (s): 2.12
CPU usage (%): 793.957
Max. virtual memory (cumulated for all children) (KiB): 13815408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.002081
system time used= 0.00104
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 519
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.68501 second user time and 4.10917 second system time
The end