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-4249076-1500693478/watcher-4249076-1500693478 -o /tmp/evaluation-result-4249076-1500693478/solver-4249076-1500693478 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1500682387-18841 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1871447656 HOME/instance-4249076-1500693478.xml
pid=15710
running on 8 cores: 0-3,8-11
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.76 13.47 12.75 10/276 15713
/proc/meminfo: memFree=31453572/32770624 swapFree=5944/266736
[pid=15713] ppid=15710 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/15713/stat : 15713 (xcsp3-exec) S 15710 15713 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4614919 9740288 345 33554432000 4194304 5098028 140722003873216 140722003871320 140313452475004 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 22405120 140722003874958 140722003875168 140722003875168 140722003877867 0
/proc/15713/statm: 2378 345 289 221 0 87 0
[startup+0.100138 s]
/proc/loadavg: 15.76 13.47 12.75 10/276 15713
/proc/meminfo: memFree=31453572/32770624 swapFree=5944/266736
[pid=15713] ppid=15710 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/15713/stat : 15713 (xcsp3-exec) S 15710 15713 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4614919 9740288 345 33554432000 4194304 5098028 140722003873216 140722003871320 140313452475004 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 22405120 140722003874958 140722003875168 140722003875168 140722003877867 0
/proc/15713/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200292 s]
/proc/loadavg: 15.76 13.47 12.75 10/276 15713
/proc/meminfo: memFree=31453572/32770624 swapFree=5944/266736
[pid=15713] ppid=15710 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/15713/stat : 15713 (xcsp3-exec) S 15710 15713 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4614919 9740288 345 33554432000 4194304 5098028 140722003873216 140722003871320 140313452475004 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 22405120 140722003874958 140722003875168 140722003875168 140722003877867 0
/proc/15713/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300225 s]
/proc/loadavg: 15.76 13.47 12.75 10/276 15713
/proc/meminfo: memFree=31453572/32770624 swapFree=5944/266736
[pid=15713] ppid=15710 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/15713/stat : 15713 (xcsp3-exec) S 15710 15713 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4614919 9740288 345 33554432000 4194304 5098028 140722003873216 140722003871320 140313452475004 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 22405120 140722003874958 140722003875168 140722003875168 140722003877867 0
/proc/15713/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.70018 s]
/proc/loadavg: 15.76 13.47 12.75 10/276 15713
/proc/meminfo: memFree=31453572/32770624 swapFree=5944/266736
[pid=15713] ppid=15710 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/15713/stat : 15713 (xcsp3-exec) S 15710 15713 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4614919 9740288 345 33554432000 4194304 5098028 140722003873216 140722003871320 140313452475004 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 22405120 140722003874958 140722003875168 140722003875168 140722003877867 0
/proc/15713/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50146 s]
/proc/loadavg: 15.22 13.39 12.73 18/305 15742
/proc/meminfo: memFree=31253912/32770624 swapFree=5944/266832
[pid=15713] ppid=15710 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/15713/stat : 15713 (xcsp3-exec) S 15710 15713 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4614919 9740288 345 33554432000 4194304 5098028 140722003873216 140722003871320 140313452475004 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 22405120 140722003874958 140722003875168 140722003875168 140722003877867 0
/proc/15713/statm: 2378 345 289 221 0 87 0
[pid=15714] ppid=15713 vsize=13801768 CPUtime=7.47 cores=0-3,8-11
/proc/15714/stat : 15714 (java) S 15713 15713 18810 0 -1 1077944320 19227 0 0 0 734 13 0 0 20 0 28 0 4614919 14133010432 54344 33554432000 4194304 4196468 140726390120352 140726390102896 140142286782199 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
/proc/15714/statm: 3450442 54344 3240 1 0 3437675 0
[pid=15714/tid=15715] ppid=15713 vsize=13801768 CPUtime=0.89 cores=0-3,8-11
/proc/15714/task/15715/stat : 15715 (java) S 15713 15713 18810 0 -1 1077944384 6782 0 0 0 86 3 0 0 20 0 28 0 4614920 14133010432 54344 33554432000 4194304 4196468 140726390120352 140142291022976 140142286792405 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15717] ppid=15713 vsize=13801768 CPUtime=0.01 cores=0-3,8-11
/proc/15714/task/15717/stat : 15717 (java) S 15713 15713 18810 0 -1 1077944384 45 0 0 0 1 0 0 0 20 0 28 0 4614921 14133010432 54344 33554432000 4194304 4196468 140726390120352 140142239402896 140142286792405 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15718] ppid=15713 vsize=13801768 CPUtime=0.01 cores=0-3,8-11
/proc/15714/task/15718/stat : 15718 (java) S 15713 15713 18810 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 28 0 4614921 14133010432 54344 33554432000 4194304 4196468 140726390120352 140142238350096 140142286792405 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15719] ppid=15713 vsize=13801768 CPUtime=0.01 cores=0-3,8-11
/proc/15714/task/15719/stat : 15719 (java) S 15713 15713 18810 0 -1 1077944384 44 0 0 0 1 0 0 0 20 0 28 0 4614921 14133010432 54344 33554432000 4194304 4196468 140726390120352 140142237297808 140142286792405 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15720] ppid=15713 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/15714/task/15720/stat : 15720 (java) S 15713 15713 18810 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 4614921 14133010432 54344 33554432000 4194304 4196468 140726390120352 140142236245008 140142286792405 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15721] ppid=15713 vsize=13801768 CPUtime=0.02 cores=0-3,8-11
/proc/15714/task/15721/stat : 15721 (java) S 15713 15713 18810 0 -1 1077944384 38 0 0 0 1 1 0 0 20 0 28 0 4614921 14133010432 54344 33554432000 4194304 4196468 140726390120352 140142235191696 140142286792405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15722] ppid=15713 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/15714/task/15722/stat : 15722 (java) S 15713 15713 18810 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 4614921 14133010432 54344 33554432000 4194304 4196468 140726390120352 140142234138896 140142286792405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15723] ppid=15713 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/15714/task/15723/stat : 15723 (java) S 15713 15713 18810 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 28 0 4614921 14133010432 54344 33554432000 4194304 4196468 140726390120352 140141879818896 140142286792405 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15724] ppid=15713 vsize=13801768 CPUtime=0.02 cores=0-3,8-11
/proc/15714/task/15724/stat : 15724 (java) S 15713 15713 18810 0 -1 1077944384 22 0 0 0 1 1 0 0 20 0 28 0 4614921 14133010432 54344 33554432000 4194304 4196468 140726390120352 140141878766096 140142286792405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15725] ppid=15713 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/15714/task/15725/stat : 15725 (java) S 15713 15713 18810 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 4614923 14133010432 54344 33554432000 4194304 4196468 140726390120352 140140951341680 140142286793346 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15726] ppid=15713 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/15714/task/15726/stat : 15726 (java) S 15713 15713 18810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4614924 14133010432 54344 33554432000 4194304 4196468 140726390120352 140140950287648 140142286792405 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15727] ppid=15713 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/15714/task/15727/stat : 15727 (java) S 15713 15713 18810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4614924 14133010432 54344 33554432000 4194304 4196468 140726390120352 140140949235312 140142286792405 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15728] ppid=15713 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/15714/task/15728/stat : 15728 (java) S 15713 15713 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4614928 14133010432 54344 33554432000 4194304 4196468 140726390120352 140140948183632 140142286800795 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15729] ppid=15713 vsize=13801768 CPUtime=0.92 cores=0-3,8-11
/proc/15714/task/15729/stat : 15729 (java) R 15713 15713 18810 0 -1 4202560 2922 0 0 0 92 0 0 0 20 0 28 0 4614928 14133010432 54344 33554432000 4194304 4196468 140726390120352 140140947121440 140142270282588 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15730] ppid=15713 vsize=13801768 CPUtime=1.02 cores=0-3,8-11
/proc/15714/task/15730/stat : 15730 (java) R 15713 15713 18810 0 -1 4202560 2099 0 0 0 102 0 0 0 20 0 28 0 4614928 14133010432 54344 33554432000 4194304 4196468 140726390120352 140140946063776 140142266052012 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15731] ppid=15713 vsize=13801768 CPUtime=0.81 cores=0-3,8-11
/proc/15714/task/15731/stat : 15731 (java) R 15713 15713 18810 0 -1 4202560 2484 0 0 0 81 0 0 0 20 0 28 0 4614928 14133010432 54344 33554432000 4194304 4196468 140726390120352 140140945018208 140142266436665 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15732] ppid=15713 vsize=13801768 CPUtime=0.78 cores=0-3,8-11
/proc/15714/task/15732/stat : 15732 (java) S 15713 15713 18810 0 -1 1077944384 2929 0 0 0 77 1 0 0 20 0 28 0 4614928 14133010432 54344 33554432000 4194304 4196468 140726390120352 140140943972592 140142286793346 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15733] ppid=15713 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/15714/task/15733/stat : 15733 (java) S 15713 15713 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4614928 14133010432 54344 33554432000 4194304 4196468 140726390120352 140140942920544 140142286792405 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15734] ppid=15713 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/15714/task/15734/stat : 15734 (java) S 15713 15713 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4614929 14133010432 54344 33554432000 4194304 4196468 140726390120352 140140941867824 140142286793346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15735] ppid=15713 vsize=13801768 CPUtime=0.26 cores=0-3,8-11
/proc/15714/task/15735/stat : 15735 (java) R 15713 15713 18810 0 -1 4202560 69 0 0 0 26 0 0 0 20 0 28 0 4615011 14133010432 54344 33554432000 4194304 4196468 140726390120352 140140933852216 140141920086272 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15736] ppid=15713 vsize=13801768 CPUtime=0.43 cores=0-3,8-11
/proc/15714/task/15736/stat : 15736 (java) R 15713 15713 18810 0 -1 4202560 54 0 0 0 43 0 0 0 20 0 28 0 4615011 14133010432 54344 33554432000 4194304 4196468 140726390120352 140140932801416 140141919923971 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15737] ppid=15713 vsize=13801768 CPUtime=0.27 cores=0-3,8-11
/proc/15714/task/15737/stat : 15737 (java) R 15713 15713 18810 0 -1 4202560 41 0 0 0 27 0 0 0 20 0 28 0 4615011 14133010432 54344 33554432000 4194304 4196468 140726390120352 140140931748648 140141919952512 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15738] ppid=15713 vsize=13801768 CPUtime=0.43 cores=0-3,8-11
/proc/15714/task/15738/stat : 15738 (java) R 15713 15713 18810 0 -1 4202560 80 0 0 0 43 0 0 0 20 0 28 0 4615011 14133010432 54344 33554432000 4194304 4196468 140726390120352 140140930696608 140141917328767 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15739] ppid=15713 vsize=13801768 CPUtime=0.39 cores=0-3,8-11
/proc/15714/task/15739/stat : 15739 (java) R 15713 15713 18810 0 -1 4202560 26 0 0 0 39 0 0 0 20 0 28 0 4615011 14133010432 54344 33554432000 4194304 4196468 140726390120352 140140929642040 140141918922826 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15740] ppid=15713 vsize=13801768 CPUtime=0.3 cores=0-3,8-11
/proc/15714/task/15740/stat : 15740 (java) R 15713 15713 18810 0 -1 4202560 35 0 0 0 30 0 0 0 20 0 28 0 4615011 14133010432 54344 33554432000 4194304 4196468 140726390120352 140140928589200 140141914996960 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15741] ppid=15713 vsize=13801768 CPUtime=0.25 cores=0-3,8-11
/proc/15714/task/15741/stat : 15741 (java) R 15713 15713 18810 0 -1 4202560 37 0 0 0 25 0 0 0 20 0 28 0 4615011 14133010432 54344 33554432000 4194304 4196468 140726390120352 140140927538616 140141918857808 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15742] ppid=15713 vsize=13801768 CPUtime=0.5 cores=0-3,8-11
/proc/15714/task/15742/stat : 15742 (java) R 15713 15713 18810 0 -1 4202560 36 0 0 0 50 0 0 0 20 0 28 0 4615011 14133010432 54344 33554432000 4194304 4196468 140726390120352 140140926486952 140141918922840 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
Current children cumulated CPU time (s) 7.47
Current children cumulated vsize (KiB) 13811280
[startup+3.10151 s]
/proc/loadavg: 15.22 13.39 12.73 17/305 15742
/proc/meminfo: memFree=31225280/32770624 swapFree=5944/266800
[pid=15713] ppid=15710 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/15713/stat : 15713 (xcsp3-exec) S 15710 15713 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4614919 9740288 345 33554432000 4194304 5098028 140722003873216 140722003871320 140313452475004 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 22405120 140722003874958 140722003875168 140722003875168 140722003877867 0
/proc/15713/statm: 2378 345 289 221 0 87 0
[pid=15714] ppid=15713 vsize=13801768 CPUtime=20.18 cores=0-3,8-11
/proc/15714/stat : 15714 (java) S 15713 15713 18810 0 -1 1077944320 20188 0 0 0 1993 25 0 0 20 0 28 0 4614919 14133010432 65399 33554432000 4194304 4196468 140726390120352 140726390102896 140142286782199 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
/proc/15714/statm: 3450442 65399 3266 1 0 3437675 0
[pid=15714/tid=15715] ppid=15713 vsize=13801768 CPUtime=0.89 cores=0-3,8-11
/proc/15714/task/15715/stat : 15715 (java) S 15713 15713 18810 0 -1 1077944384 6782 0 0 0 86 3 0 0 20 0 28 0 4614920 14133010432 65399 33554432000 4194304 4196468 140726390120352 140142291022976 140142286792405 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15717] ppid=15713 vsize=13801768 CPUtime=0.04 cores=0-3,8-11
/proc/15714/task/15717/stat : 15717 (java) S 15713 15713 18810 0 -1 1077944384 53 0 0 0 2 2 0 0 20 0 28 0 4614921 14133010432 65399 33554432000 4194304 4196468 140726390120352 140142239402896 140142286792405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15718] ppid=15713 vsize=13801768 CPUtime=0.03 cores=0-3,8-11
/proc/15714/task/15718/stat : 15718 (java) S 15713 15713 18810 0 -1 1077944384 40 0 0 0 2 1 0 0 20 0 28 0 4614921 14133010432 65399 33554432000 4194304 4196468 140726390120352 140142238350096 140142286792405 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15719] ppid=15713 vsize=13801768 CPUtime=0.04 cores=0-3,8-11
/proc/15714/task/15719/stat : 15719 (java) S 15713 15713 18810 0 -1 1077944384 55 0 0 0 2 2 0 0 20 0 28 0 4614921 14133010432 65399 33554432000 4194304 4196468 140726390120352 140142237297808 140142286792405 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15720] ppid=15713 vsize=13801768 CPUtime=0.02 cores=0-3,8-11
/proc/15714/task/15720/stat : 15720 (java) S 15713 15713 18810 0 -1 1077944384 42 0 0 0 1 1 0 0 20 0 28 0 4614921 14133010432 65399 33554432000 4194304 4196468 140726390120352 140142236245008 140142286792405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15721] ppid=15713 vsize=13801768 CPUtime=0.04 cores=0-3,8-11
/proc/15714/task/15721/stat : 15721 (java) S 15713 15713 18810 0 -1 1077944384 50 0 0 0 2 2 0 0 20 0 28 0 4614921 14133010432 65399 33554432000 4194304 4196468 140726390120352 140142235191696 140142286792405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15722] ppid=15713 vsize=13801768 CPUtime=0.03 cores=0-3,8-11
/proc/15714/task/15722/stat : 15722 (java) S 15713 15713 18810 0 -1 1077944384 49 0 0 0 1 2 0 0 20 0 28 0 4614921 14133010432 65399 33554432000 4194304 4196468 140726390120352 140142234138896 140142286792405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15723] ppid=15713 vsize=13801768 CPUtime=0.04 cores=0-3,8-11
/proc/15714/task/15723/stat : 15723 (java) S 15713 15713 18810 0 -1 1077944384 40 0 0 0 2 2 0 0 20 0 28 0 4614921 14133010432 65399 33554432000 4194304 4196468 140726390120352 140141879818896 140142286792405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15724] ppid=15713 vsize=13801768 CPUtime=0.04 cores=0-3,8-11
/proc/15714/task/15724/stat : 15724 (java) S 15713 15713 18810 0 -1 1077944384 33 0 0 0 2 2 0 0 20 0 28 0 4614921 14133010432 65399 33554432000 4194304 4196468 140726390120352 140141878766096 140142286792405 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15725] ppid=15713 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/15714/task/15725/stat : 15725 (java) S 15713 15713 18810 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 4614923 14133010432 65399 33554432000 4194304 4196468 140726390120352 140140951341680 140142286793346 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15726] ppid=15713 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/15714/task/15726/stat : 15726 (java) S 15713 15713 18810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4614924 14133010432 65399 33554432000 4194304 4196468 140726390120352 140140950287712 140142286792405 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15727] ppid=15713 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/15714/task/15727/stat : 15727 (java) S 15713 15713 18810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4614924 14133010432 65399 33554432000 4194304 4196468 140726390120352 140140949235328 140142286792405 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15728] ppid=15713 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/15714/task/15728/stat : 15728 (java) S 15713 15713 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4614928 14133010432 65399 33554432000 4194304 4196468 140726390120352 140140948183632 140142286800795 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15729] ppid=15713 vsize=13801768 CPUtime=1.81 cores=0-3,8-11
/proc/15714/task/15729/stat : 15729 (java) S 15713 15713 18810 0 -1 1077944384 3295 0 0 0 181 0 0 0 20 0 28 0 4614928 14133010432 65399 33554432000 4194304 4196468 140726390120352 140140947130480 140142286793346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15730] ppid=15713 vsize=13801768 CPUtime=2.15 cores=0-3,8-11
/proc/15714/task/15730/stat : 15730 (java) S 15713 15713 18810 0 -1 1077944384 2198 0 0 0 215 0 0 0 20 0 28 0 4614928 14133010432 65399 33554432000 4194304 4196468 140726390120352 140140946077680 140142286793346 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15731] ppid=15713 vsize=13801768 CPUtime=1.79 cores=0-3,8-11
/proc/15714/task/15731/stat : 15731 (java) S 15713 15713 18810 0 -1 1077944384 2591 0 0 0 179 0 0 0 20 0 28 0 4614928 14133010432 65399 33554432000 4194304 4196468 140726390120352 140140945025392 140142286793346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15732] ppid=15713 vsize=13801768 CPUtime=0.93 cores=0-3,8-11
/proc/15714/task/15732/stat : 15732 (java) S 15713 15713 18810 0 -1 1077944384 3068 0 0 0 92 1 0 0 20 0 28 0 4614928 14133010432 65399 33554432000 4194304 4196468 140726390120352 140140943972592 140142286793346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15733] ppid=15713 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/15714/task/15733/stat : 15733 (java) S 15713 15713 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4614928 14133010432 65399 33554432000 4194304 4196468 140726390120352 140140942920544 140142286792405 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15734] ppid=15713 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/15714/task/15734/stat : 15734 (java) S 15713 15713 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4614929 14133010432 65399 33554432000 4194304 4196468 140726390120352 140140941867824 140142286793346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15735] ppid=15713 vsize=13801768 CPUtime=1.49 cores=0-3,8-11
/proc/15714/task/15735/stat : 15735 (java) R 15713 15713 18810 0 -1 4202560 71 0 0 0 149 0 0 0 20 0 28 0 4615011 14133010432 65399 33554432000 4194304 4196468 140726390120352 140140933854760 140141919838488 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15736] ppid=15713 vsize=13801768 CPUtime=1.7 cores=0-3,8-11
/proc/15714/task/15736/stat : 15736 (java) R 15713 15713 18810 0 -1 4202560 54 0 0 0 170 0 0 0 20 0 28 0 4615011 14133010432 65399 33554432000 4194304 4196468 140726390120352 140140932802504 140141919285706 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15737] ppid=15713 vsize=13801768 CPUtime=1.5 cores=0-3,8-11
/proc/15714/task/15737/stat : 15737 (java) R 15713 15713 18810 0 -1 4202560 118 0 0 0 150 0 0 0 20 0 28 0 4615011 14133010432 65399 33554432000 4194304 4196468 140726390120352 140140931748088 140141920685964 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15738] ppid=15713 vsize=13801768 CPUtime=1.79 cores=0-3,8-11
/proc/15714/task/15738/stat : 15738 (java) R 15713 15713 18810 0 -1 4202560 114 0 0 0 179 0 0 0 20 0 28 0 4615011 14133010432 65399 33554432000 4194304 4196468 140726390120352 140140930695000 140141920070485 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15739] ppid=15713 vsize=13801768 CPUtime=1.47 cores=0-3,8-11
/proc/15714/task/15739/stat : 15739 (java) R 15713 15713 18810 0 -1 4202560 33 0 0 0 147 0 0 0 20 0 28 0 4615011 14133010432 65399 33554432000 4194304 4196468 140726390120352 140140929642896 140141920250664 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15740] ppid=15713 vsize=13801768 CPUtime=1.47 cores=0-3,8-11
/proc/15714/task/15740/stat : 15740 (java) R 15713 15713 18810 0 -1 4202560 38 0 0 0 147 0 0 0 20 0 28 0 4615011 14133010432 65399 33554432000 4194304 4196468 140726390120352 140140928591088 140141919286307 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15741] ppid=15713 vsize=13801768 CPUtime=1.24 cores=0-3,8-11
/proc/15714/task/15741/stat : 15741 (java) R 15713 15713 18810 0 -1 4202560 40 0 0 0 124 0 0 0 20 0 28 0 4615011 14133010432 65399 33554432000 4194304 4196468 140726390120352 140140927538904 140141920786131 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15742] ppid=15713 vsize=13801768 CPUtime=1.5 cores=0-3,8-11
/proc/15714/task/15742/stat : 15742 (java) R 15713 15713 18810 0 -1 4202560 47 0 0 0 150 0 0 0 20 0 28 0 4615011 14133010432 65399 33554432000 4194304 4196468 140726390120352 140140926484728 140141919776223 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
Current children cumulated CPU time (s) 20.18
Current children cumulated vsize (KiB) 13811280
[startup+6.3016 s]
/proc/loadavg: 15.12 13.40 12.74 17/305 15742
/proc/meminfo: memFree=31064620/32770624 swapFree=5944/266812
################
# More data... #
################
[pid=15714/tid=15741] ppid=15713 vsize=13801768 CPUtime=279.34 cores=0-3,8-11
/proc/15714/task/15741/stat : 15741 (java) R 15713 15713 18810 0 -1 4202560 1923 0 0 0 27928 6 0 0 20 0 28 0 4615011 14133010432 479645 33554432000 4194304 4196468 140726390120352 140140927538136 140141922149933 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15742] ppid=15713 vsize=13801768 CPUtime=279.35 cores=0-3,8-11
/proc/15714/task/15742/stat : 15742 (java) R 15713 15713 18810 0 -1 4202560 1670 0 0 0 27933 2 0 0 20 0 28 0 4615011 14133010432 479645 33554432000 4194304 4196468 140726390120352 140140926484008 140141920251218 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
Current children cumulated CPU time (s) 2241.82
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+302.302 s]
/proc/loadavg: 13.44 14.37 13.41 17/305 16117
/proc/meminfo: memFree=29706500/32770624 swapFree=5944/267296
[pid=15713] ppid=15710 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/15713/stat : 15713 (xcsp3-exec) S 15710 15713 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4614919 9740288 345 33554432000 4194304 5098028 140722003873216 140722003871320 140313452475004 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 22405120 140722003874958 140722003875168 140722003875168 140722003877867 0
/proc/15713/statm: 2378 345 289 221 0 87 0
[pid=15714] ppid=15713 vsize=13801768 CPUtime=2400.57 cores=0-3,8-11
/proc/15714/stat : 15714 (java) S 15713 15713 18810 0 -1 1077944320 61465 0 0 0 239861 196 0 0 20 0 28 0 4614919 14133010432 464564 33554432000 4194304 4196468 140726390120352 140726390102896 140142286782199 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
/proc/15714/statm: 3450442 464564 3282 1 0 3437675 0
[pid=15714/tid=15715] ppid=15713 vsize=13801768 CPUtime=0.89 cores=0-3,8-11
/proc/15714/task/15715/stat : 15715 (java) S 15713 15713 18810 0 -1 1077944384 6782 0 0 0 86 3 0 0 20 0 28 0 4614920 14133010432 464564 33554432000 4194304 4196468 140726390120352 140142291022976 140142286792405 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15717] ppid=15713 vsize=13801768 CPUtime=0.39 cores=0-3,8-11
/proc/15714/task/15717/stat : 15717 (java) S 15713 15713 18810 0 -1 1077944384 848 0 0 0 23 16 0 0 20 0 28 0 4614921 14133010432 464564 33554432000 4194304 4196468 140726390120352 140142239402896 140142286792405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15718] ppid=15713 vsize=13801768 CPUtime=0.36 cores=0-3,8-11
/proc/15714/task/15718/stat : 15718 (java) S 15713 15713 18810 0 -1 1077944384 1081 0 0 0 23 13 0 0 20 0 28 0 4614921 14133010432 464564 33554432000 4194304 4196468 140726390120352 140142238350096 140142286792405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15719] ppid=15713 vsize=13801768 CPUtime=0.4 cores=0-3,8-11
/proc/15714/task/15719/stat : 15719 (java) S 15713 15713 18810 0 -1 1077944384 565 0 0 0 24 16 0 0 20 0 28 0 4614921 14133010432 464564 33554432000 4194304 4196468 140726390120352 140142237297808 140142286792405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15720] ppid=15713 vsize=13801768 CPUtime=0.35 cores=0-3,8-11
/proc/15714/task/15720/stat : 15720 (java) S 15713 15713 18810 0 -1 1077944384 477 0 0 0 22 13 0 0 20 0 28 0 4614921 14133010432 464564 33554432000 4194304 4196468 140726390120352 140142236245008 140142286792405 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15721] ppid=15713 vsize=13801768 CPUtime=0.38 cores=0-3,8-11
/proc/15714/task/15721/stat : 15721 (java) S 15713 15713 18810 0 -1 1077944384 1834 0 0 0 23 15 0 0 20 0 28 0 4614921 14133010432 464564 33554432000 4194304 4196468 140726390120352 140142235191696 140142286792405 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15722] ppid=15713 vsize=13801768 CPUtime=0.37 cores=0-3,8-11
/proc/15714/task/15722/stat : 15722 (java) S 15713 15713 18810 0 -1 1077944384 1198 0 0 0 24 13 0 0 20 0 28 0 4614921 14133010432 464564 33554432000 4194304 4196468 140726390120352 140142234138896 140142286792405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15723] ppid=15713 vsize=13801768 CPUtime=0.38 cores=0-3,8-11
/proc/15714/task/15723/stat : 15723 (java) S 15713 15713 18810 0 -1 1077944384 1161 0 0 0 24 14 0 0 20 0 28 0 4614921 14133010432 464564 33554432000 4194304 4196468 140726390120352 140141879818896 140142286792405 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15724] ppid=15713 vsize=13801768 CPUtime=0.39 cores=0-3,8-11
/proc/15714/task/15724/stat : 15724 (java) S 15713 15713 18810 0 -1 1077944384 601 0 0 0 23 16 0 0 20 0 28 0 4614921 14133010432 464564 33554432000 4194304 4196468 140726390120352 140141878766096 140142286792405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15725] ppid=15713 vsize=13801768 CPUtime=0.41 cores=0-3,8-11
/proc/15714/task/15725/stat : 15725 (java) S 15713 15713 18810 0 -1 1077944384 2866 0 0 0 18 23 0 0 20 0 28 0 4614923 14133010432 464564 33554432000 4194304 4196468 140726390120352 140140951341680 140142286793346 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15726] ppid=15713 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/15714/task/15726/stat : 15726 (java) S 15713 15713 18810 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 4614924 14133010432 464564 33554432000 4194304 4196468 140726390120352 140140950287712 140142286792405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15727] ppid=15713 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/15714/task/15727/stat : 15727 (java) S 15713 15713 18810 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 4614924 14133010432 464564 33554432000 4194304 4196468 140726390120352 140140949235328 140142286792405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15728] ppid=15713 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/15714/task/15728/stat : 15728 (java) S 15713 15713 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4614928 14133010432 464564 33554432000 4194304 4196468 140726390120352 140140948183632 140142286800795 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15729] ppid=15713 vsize=13801768 CPUtime=2.33 cores=0-3,8-11
/proc/15714/task/15729/stat : 15729 (java) S 15713 15713 18810 0 -1 1077944384 8130 0 0 0 232 1 0 0 20 0 28 0 4614928 14133010432 464564 33554432000 4194304 4196468 140726390120352 140140947130480 140142286793346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15730] ppid=15713 vsize=13801768 CPUtime=2.76 cores=0-3,8-11
/proc/15714/task/15730/stat : 15730 (java) S 15713 15713 18810 0 -1 1077944384 6684 0 0 0 275 1 0 0 20 0 28 0 4614928 14133010432 464564 33554432000 4194304 4196468 140726390120352 140140946077680 140142286793346 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15731] ppid=15713 vsize=13801768 CPUtime=2.33 cores=0-3,8-11
/proc/15714/task/15731/stat : 15731 (java) S 15713 15713 18810 0 -1 1077944384 5984 0 0 0 232 1 0 0 20 0 28 0 4614928 14133010432 464564 33554432000 4194304 4196468 140726390120352 140140945025392 140142286793346 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15732] ppid=15713 vsize=13801768 CPUtime=1.01 cores=0-3,8-11
/proc/15714/task/15732/stat : 15732 (java) S 15713 15713 18810 0 -1 1077944384 5431 0 0 0 99 2 0 0 20 0 28 0 4614928 14133010432 464564 33554432000 4194304 4196468 140726390120352 140140943972592 140142286793346 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15733] ppid=15713 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/15714/task/15733/stat : 15733 (java) S 15713 15713 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4614928 14133010432 464564 33554432000 4194304 4196468 140726390120352 140140942920544 140142286792405 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15734] ppid=15713 vsize=13801768 CPUtime=0.13 cores=0-3,8-11
/proc/15714/task/15734/stat : 15734 (java) S 15713 15713 18810 0 -1 1077944384 818 0 0 0 9 4 0 0 20 0 28 0 4614929 14133010432 464564 33554432000 4194304 4196468 140726390120352 140140941867824 140142286793346 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15735] ppid=15713 vsize=13801768 CPUtime=296.98 cores=0-3,8-11
/proc/15714/task/15735/stat : 15735 (java) R 15713 15713 18810 0 -1 4202560 2107 0 0 0 29695 3 0 0 20 0 28 0 4615011 14133010432 464564 33554432000 4194304 4196468 140726390120352 140140933853288 140141919285769 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15736] ppid=15713 vsize=13801768 CPUtime=299.09 cores=0-3,8-11
/proc/15714/task/15736/stat : 15736 (java) R 15713 15713 18810 0 -1 4202560 1777 0 0 0 29903 6 0 0 20 0 28 0 4615011 14133010432 464564 33554432000 4194304 4196468 140726390120352 140140932801624 140141919838111 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15737] ppid=15713 vsize=13801768 CPUtime=298.87 cores=0-3,8-11
/proc/15714/task/15737/stat : 15737 (java) R 15713 15713 18810 0 -1 4202560 2068 0 0 0 29881 6 0 0 20 0 28 0 4615011 14133010432 464564 33554432000 4194304 4196468 140726390120352 140140931747424 140141920204381 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15738] ppid=15713 vsize=13801768 CPUtime=297.5 cores=0-3,8-11
/proc/15714/task/15738/stat : 15738 (java) R 15713 15713 18810 0 -1 4202560 3978 0 0 0 29738 12 0 0 20 0 28 0 4615011 14133010432 464564 33554432000 4194304 4196468 140726390120352 140140930694920 140141921159260 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15739] ppid=15713 vsize=13801768 CPUtime=297.49 cores=0-3,8-11
/proc/15714/task/15739/stat : 15739 (java) R 15713 15713 18810 0 -1 4202560 1404 0 0 0 29747 2 0 0 20 0 28 0 4615011 14133010432 464564 33554432000 4194304 4196468 140726390120352 140140929642632 140142271992527 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15740] ppid=15713 vsize=13801768 CPUtime=299.17 cores=0-3,8-11
/proc/15714/task/15740/stat : 15740 (java) R 15713 15713 18810 0 -1 4202560 550 0 0 0 29917 0 0 0 20 0 28 0 4615011 14133010432 464564 33554432000 4194304 4196468 140726390120352 140140928589784 140141919244472 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15741] ppid=15713 vsize=13801768 CPUtime=299.2 cores=0-3,8-11
/proc/15714/task/15741/stat : 15741 (java) R 15713 15713 18810 0 -1 4202560 2006 0 0 0 29914 6 0 0 20 0 28 0 4615011 14133010432 464564 33554432000 4194304 4196468 140726390120352 140140927540288 140141920785378 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15742] ppid=15713 vsize=13801768 CPUtime=299.18 cores=0-3,8-11
/proc/15714/task/15742/stat : 15742 (java) R 15713 15713 18810 0 -1 4202560 1796 0 0 0 29916 2 0 0 20 0 28 0 4615011 14133010432 464564 33554432000 4194304 4196468 140726390120352 140140926484328 140141919838081 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
Current children cumulated CPU time (s) 2400.57
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 15714 sig 9
??? kill 15713 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+302.302 s]
/proc/loadavg: 13.44 14.37 13.41 17/305 16117
/proc/meminfo: memFree=29706500/32770624 swapFree=5944/267296
[pid=15713] ppid=15710 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/15713/stat : 15713 (xcsp3-exec) S 15710 15713 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4614919 9740288 345 33554432000 4194304 5098028 140722003873216 140722003871320 140313452475004 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 22405120 140722003874958 140722003875168 140722003875168 140722003877867 0
/proc/15713/statm: 2378 345 289 221 0 87 0
[pid=15714] ppid=15713 vsize=13801768 CPUtime=2400.57 cores=0-3,8-11
/proc/15714/stat : 15714 (java) S 15713 15713 18810 0 -1 1077944320 61465 0 0 0 239861 196 0 0 20 0 28 0 4614919 14133010432 464564 33554432000 4194304 4196468 140726390120352 140726390102896 140142286782199 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
/proc/15714/statm: 3450442 464564 3282 1 0 3437675 0
[pid=15714/tid=15715] ppid=15713 vsize=13801768 CPUtime=0.89 cores=0-3,8-11
/proc/15714/task/15715/stat : 15715 (java) S 15713 15713 18810 0 -1 1077944384 6782 0 0 0 86 3 0 0 20 0 28 0 4614920 14133010432 464564 33554432000 4194304 4196468 140726390120352 140142291022976 140142286792405 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15717] ppid=15713 vsize=13801768 CPUtime=0.39 cores=0-3,8-11
/proc/15714/task/15717/stat : 15717 (java) S 15713 15713 18810 0 -1 1077944384 848 0 0 0 23 16 0 0 20 0 28 0 4614921 14133010432 464564 33554432000 4194304 4196468 140726390120352 140142239402896 140142286792405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15718] ppid=15713 vsize=13801768 CPUtime=0.36 cores=0-3,8-11
/proc/15714/task/15718/stat : 15718 (java) S 15713 15713 18810 0 -1 1077944384 1081 0 0 0 23 13 0 0 20 0 28 0 4614921 14133010432 464564 33554432000 4194304 4196468 140726390120352 140142238350096 140142286792405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15719] ppid=15713 vsize=13801768 CPUtime=0.4 cores=0-3,8-11
/proc/15714/task/15719/stat : 15719 (java) S 15713 15713 18810 0 -1 1077944384 565 0 0 0 24 16 0 0 20 0 28 0 4614921 14133010432 464564 33554432000 4194304 4196468 140726390120352 140142237297808 140142286792405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15720] ppid=15713 vsize=13801768 CPUtime=0.35 cores=0-3,8-11
/proc/15714/task/15720/stat : 15720 (java) S 15713 15713 18810 0 -1 1077944384 477 0 0 0 22 13 0 0 20 0 28 0 4614921 14133010432 464564 33554432000 4194304 4196468 140726390120352 140142236245008 140142286792405 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15721] ppid=15713 vsize=13801768 CPUtime=0.38 cores=0-3,8-11
/proc/15714/task/15721/stat : 15721 (java) S 15713 15713 18810 0 -1 1077944384 1834 0 0 0 23 15 0 0 20 0 28 0 4614921 14133010432 464564 33554432000 4194304 4196468 140726390120352 140142235191696 140142286792405 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15722] ppid=15713 vsize=13801768 CPUtime=0.37 cores=0-3,8-11
/proc/15714/task/15722/stat : 15722 (java) S 15713 15713 18810 0 -1 1077944384 1198 0 0 0 24 13 0 0 20 0 28 0 4614921 14133010432 464564 33554432000 4194304 4196468 140726390120352 140142234138896 140142286792405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15723] ppid=15713 vsize=13801768 CPUtime=0.38 cores=0-3,8-11
/proc/15714/task/15723/stat : 15723 (java) S 15713 15713 18810 0 -1 1077944384 1161 0 0 0 24 14 0 0 20 0 28 0 4614921 14133010432 464564 33554432000 4194304 4196468 140726390120352 140141879818896 140142286792405 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15724] ppid=15713 vsize=13801768 CPUtime=0.39 cores=0-3,8-11
/proc/15714/task/15724/stat : 15724 (java) S 15713 15713 18810 0 -1 1077944384 601 0 0 0 23 16 0 0 20 0 28 0 4614921 14133010432 464564 33554432000 4194304 4196468 140726390120352 140141878766096 140142286792405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15725] ppid=15713 vsize=13801768 CPUtime=0.41 cores=0-3,8-11
/proc/15714/task/15725/stat : 15725 (java) S 15713 15713 18810 0 -1 1077944384 2866 0 0 0 18 23 0 0 20 0 28 0 4614923 14133010432 464564 33554432000 4194304 4196468 140726390120352 140140951341680 140142286793346 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15726] ppid=15713 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/15714/task/15726/stat : 15726 (java) S 15713 15713 18810 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 4614924 14133010432 464564 33554432000 4194304 4196468 140726390120352 140140950287712 140142286792405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15727] ppid=15713 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/15714/task/15727/stat : 15727 (java) S 15713 15713 18810 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 4614924 14133010432 464564 33554432000 4194304 4196468 140726390120352 140140949235328 140142286792405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15728] ppid=15713 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/15714/task/15728/stat : 15728 (java) S 15713 15713 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4614928 14133010432 464564 33554432000 4194304 4196468 140726390120352 140140948183632 140142286800795 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15729] ppid=15713 vsize=13801768 CPUtime=2.33 cores=0-3,8-11
/proc/15714/task/15729/stat : 15729 (java) S 15713 15713 18810 0 -1 1077944384 8130 0 0 0 232 1 0 0 20 0 28 0 4614928 14133010432 464564 33554432000 4194304 4196468 140726390120352 140140947130480 140142286793346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15730] ppid=15713 vsize=13801768 CPUtime=2.76 cores=0-3,8-11
/proc/15714/task/15730/stat : 15730 (java) S 15713 15713 18810 0 -1 1077944384 6684 0 0 0 275 1 0 0 20 0 28 0 4614928 14133010432 464564 33554432000 4194304 4196468 140726390120352 140140946077680 140142286793346 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15731] ppid=15713 vsize=13801768 CPUtime=2.33 cores=0-3,8-11
/proc/15714/task/15731/stat : 15731 (java) S 15713 15713 18810 0 -1 1077944384 5984 0 0 0 232 1 0 0 20 0 28 0 4614928 14133010432 464564 33554432000 4194304 4196468 140726390120352 140140945025392 140142286793346 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15732] ppid=15713 vsize=13801768 CPUtime=1.01 cores=0-3,8-11
/proc/15714/task/15732/stat : 15732 (java) S 15713 15713 18810 0 -1 1077944384 5431 0 0 0 99 2 0 0 20 0 28 0 4614928 14133010432 464564 33554432000 4194304 4196468 140726390120352 140140943972592 140142286793346 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15733] ppid=15713 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/15714/task/15733/stat : 15733 (java) S 15713 15713 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4614928 14133010432 464564 33554432000 4194304 4196468 140726390120352 140140942920544 140142286792405 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15734] ppid=15713 vsize=13801768 CPUtime=0.13 cores=0-3,8-11
/proc/15714/task/15734/stat : 15734 (java) S 15713 15713 18810 0 -1 1077944384 818 0 0 0 9 4 0 0 20 0 28 0 4614929 14133010432 464564 33554432000 4194304 4196468 140726390120352 140140941867824 140142286793346 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15735] ppid=15713 vsize=13801768 CPUtime=296.98 cores=0-3,8-11
/proc/15714/task/15735/stat : 15735 (java) R 15713 15713 18810 0 -1 4202560 2107 0 0 0 29695 3 0 0 20 0 28 0 4615011 14133010432 464564 33554432000 4194304 4196468 140726390120352 140140933853288 140141919285769 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15736] ppid=15713 vsize=13801768 CPUtime=299.09 cores=0-3,8-11
/proc/15714/task/15736/stat : 15736 (java) R 15713 15713 18810 0 -1 4202560 1777 0 0 0 29903 6 0 0 20 0 28 0 4615011 14133010432 464564 33554432000 4194304 4196468 140726390120352 140140932801624 140141919838111 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15737] ppid=15713 vsize=13801768 CPUtime=298.87 cores=0-3,8-11
/proc/15714/task/15737/stat : 15737 (java) R 15713 15713 18810 0 -1 4202560 2068 0 0 0 29881 6 0 0 20 0 28 0 4615011 14133010432 464564 33554432000 4194304 4196468 140726390120352 140140931747424 140141920204381 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15738] ppid=15713 vsize=13801768 CPUtime=297.5 cores=0-3,8-11
/proc/15714/task/15738/stat : 15738 (java) R 15713 15713 18810 0 -1 4202560 3978 0 0 0 29738 12 0 0 20 0 28 0 4615011 14133010432 464564 33554432000 4194304 4196468 140726390120352 140140930694920 140141921159260 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15739] ppid=15713 vsize=13801768 CPUtime=297.49 cores=0-3,8-11
/proc/15714/task/15739/stat : 15739 (java) R 15713 15713 18810 0 -1 4202560 1404 0 0 0 29747 2 0 0 20 0 28 0 4615011 14133010432 464564 33554432000 4194304 4196468 140726390120352 140140929642632 140142271992527 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15740] ppid=15713 vsize=13801768 CPUtime=299.17 cores=0-3,8-11
/proc/15714/task/15740/stat : 15740 (java) R 15713 15713 18810 0 -1 4202560 550 0 0 0 29917 0 0 0 20 0 28 0 4615011 14133010432 464564 33554432000 4194304 4196468 140726390120352 140140928589784 140141919244472 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15741] ppid=15713 vsize=13801768 CPUtime=299.2 cores=0-3,8-11
/proc/15714/task/15741/stat : 15741 (java) R 15713 15713 18810 0 -1 4202560 2006 0 0 0 29914 6 0 0 20 0 28 0 4615011 14133010432 464564 33554432000 4194304 4196468 140726390120352 140140927540288 140141920785378 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
[pid=15714/tid=15742] ppid=15713 vsize=13801768 CPUtime=299.18 cores=0-3,8-11
/proc/15714/task/15742/stat : 15742 (java) R 15713 15713 18810 0 -1 4202560 1796 0 0 0 29916 2 0 0 20 0 28 0 4615011 14133010432 464564 33554432000 4194304 4196468 140726390120352 140140926484328 140141919838081 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7757824 140726390125756 140726390125932 140726390125932 140726390128591 0
Current children cumulated CPU time (s) 2400.57
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 15713 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=2057
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1028
# CPU time returned by wait4() is 0.003085
# while last known CPU time is 2400.57
#
# 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.57
CPU user time (s): 2398.61
CPU system time (s): 1.96
CPU usage (%): 794.069
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.002057
system time used= 0.001028
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 517
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.84917 second user time and 4.3058 second system time
The end