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-4244858-1500684542/watcher-4244858-1500684542 -o /tmp/evaluation-result-4244858-1500684542/solver-4244858-1500684542 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1500683887-7653 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 354581424 HOME/instance-4244858-1500684542.xml
pid=20848
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: 14.76 13.51 8.55 3/270 20851
/proc/meminfo: memFree=28610000/32770624 swapFree=5800/236384
[pid=20851] ppid=20848 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20851/stat : 20851 (xcsp3-exec) S 20848 20851 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3721984 9740288 346 33554432000 4194304 5098028 140720715851504 140720715849608 140052800123516 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 8425472 140720715854991 140720715855200 140720715855200 140720715857899 0
/proc/20851/statm: 2378 346 289 221 0 87 0
[startup+0.100103 s]
/proc/loadavg: 14.76 13.51 8.55 3/270 20851
/proc/meminfo: memFree=28610000/32770624 swapFree=5800/236384
[pid=20851] ppid=20848 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20851/stat : 20851 (xcsp3-exec) S 20848 20851 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3721984 9740288 346 33554432000 4194304 5098028 140720715851504 140720715849608 140052800123516 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 8425472 140720715854991 140720715855200 140720715855200 140720715857899 0
/proc/20851/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200321 s]
/proc/loadavg: 14.76 13.51 8.55 3/270 20851
/proc/meminfo: memFree=28610000/32770624 swapFree=5800/236384
[pid=20851] ppid=20848 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20851/stat : 20851 (xcsp3-exec) S 20848 20851 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3721984 9740288 346 33554432000 4194304 5098028 140720715851504 140720715849608 140052800123516 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 8425472 140720715854991 140720715855200 140720715855200 140720715857899 0
/proc/20851/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300237 s]
/proc/loadavg: 14.76 13.51 8.55 3/270 20851
/proc/meminfo: memFree=28610000/32770624 swapFree=5800/236384
[pid=20851] ppid=20848 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20851/stat : 20851 (xcsp3-exec) S 20848 20851 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3721984 9740288 346 33554432000 4194304 5098028 140720715851504 140720715849608 140052800123516 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 8425472 140720715854991 140720715855200 140720715855200 140720715857899 0
/proc/20851/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700192 s]
/proc/loadavg: 14.76 13.51 8.55 3/270 20851
/proc/meminfo: memFree=28610000/32770624 swapFree=5800/236384
[pid=20851] ppid=20848 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20851/stat : 20851 (xcsp3-exec) S 20848 20851 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3721984 9740288 346 33554432000 4194304 5098028 140720715851504 140720715849608 140052800123516 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 8425472 140720715854991 140720715855200 140720715855200 140720715857899 0
/proc/20851/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50156 s]
/proc/loadavg: 14.76 13.51 8.55 14/299 20968
/proc/meminfo: memFree=28425328/32770624 swapFree=5800/236424
[pid=20851] ppid=20848 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20851/stat : 20851 (xcsp3-exec) S 20848 20851 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3721984 9740288 346 33554432000 4194304 5098028 140720715851504 140720715849608 140052800123516 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 8425472 140720715854991 140720715855200 140720715855200 140720715857899 0
/proc/20851/statm: 2378 346 289 221 0 87 0
[pid=20852] ppid=20851 vsize=13868332 CPUtime=7.43 cores=1,3,5,7,9,11,13,15
/proc/20852/stat : 20852 (java) S 20851 20851 7621 0 -1 1077944320 19905 0 0 0 730 13 0 0 20 0 28 0 3721985 14201171968 51240 33554432000 4194304 4196468 140722332676128 140722332658672 140512978030327 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
/proc/20852/statm: 3467083 51240 3240 1 0 3454316 0
[pid=20852/tid=20853] ppid=20851 vsize=13868332 CPUtime=0.82 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20853/stat : 20853 (java) S 20851 20851 7621 0 -1 1077944384 6929 0 0 0 78 4 0 0 20 0 28 0 3721985 14201171968 51240 33554432000 4194304 4196468 140722332676128 140512982271104 140512978040533 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20855] ppid=20851 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20855/stat : 20855 (java) S 20851 20851 7621 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 3721986 14201171968 51240 33554432000 4194304 4196468 140722332676128 140512943311504 140512978040533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20856] ppid=20851 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20856/stat : 20856 (java) S 20851 20851 7621 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3721986 14201171968 51240 33554432000 4194304 4196468 140722332676128 140512576522768 140512978040533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20857] ppid=20851 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20857/stat : 20857 (java) S 20851 20851 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3721986 14201171968 51240 33554432000 4194304 4196468 140722332676128 140512575469968 140512978040533 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20858] ppid=20851 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20858/stat : 20858 (java) S 20851 20851 7621 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 3721986 14201171968 51240 33554432000 4194304 4196468 140722332676128 140512574417168 140512978040533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20859] ppid=20851 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20859/stat : 20859 (java) S 20851 20851 7621 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 3721986 14201171968 51240 33554432000 4194304 4196468 140722332676128 140512573365392 140512978040533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20860] ppid=20851 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20860/stat : 20860 (java) S 20851 20851 7621 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 3721986 14201171968 51240 33554432000 4194304 4196468 140722332676128 140512572312592 140512978040533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20861] ppid=20851 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20861/stat : 20861 (java) S 20851 20851 7621 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 3721986 14201171968 51240 33554432000 4194304 4196468 140722332676128 140512571259792 140512978040533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20862] ppid=20851 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20862/stat : 20862 (java) S 20851 20851 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3721986 14201171968 51240 33554432000 4194304 4196468 140722332676128 140512570206992 140512978040533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20863] ppid=20851 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20863/stat : 20863 (java) S 20851 20851 7621 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 3721988 14201171968 51240 33554432000 4194304 4196468 140722332676128 140512171968880 140512978041474 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20864] ppid=20851 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20864/stat : 20864 (java) S 20851 20851 7621 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 3721989 14201171968 51240 33554432000 4194304 4196468 140722332676128 140512170914848 140512978040533 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20865] ppid=20851 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20865/stat : 20865 (java) S 20851 20851 7621 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 3721989 14201171968 51240 33554432000 4194304 4196468 140722332676128 140512169862000 140512978040533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20866] ppid=20851 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20866/stat : 20866 (java) S 20851 20851 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3721993 14201171968 51240 33554432000 4194304 4196468 140722332676128 140512168810320 140512978048923 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20867] ppid=20851 vsize=13868332 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20867/stat : 20867 (java) R 20851 20851 7621 0 -1 4202560 2442 0 0 0 89 0 0 0 20 0 28 0 3721993 14201171968 51240 33554432000 4194304 4196468 140722332676128 140512167745248 140512961998245 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20868] ppid=20851 vsize=13868332 CPUtime=0.88 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20868/stat : 20868 (java) R 20851 20851 7621 0 -1 4202560 2039 0 0 0 88 0 0 0 20 0 28 0 3721993 14201171968 51240 33554432000 4194304 4196468 140722332676128 140512166695760 140512957684592 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20869] ppid=20851 vsize=13868332 CPUtime=0.78 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20869/stat : 20869 (java) R 20851 20851 7621 0 -1 4202560 2005 0 0 0 78 0 0 0 20 0 28 0 3721993 14201171968 51240 33554432000 4194304 4196468 140722332676128 140512165638984 140512959551523 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20870] ppid=20851 vsize=13868332 CPUtime=0.81 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20870/stat : 20870 (java) S 20851 20851 7621 0 -1 1077944384 3178 0 0 0 80 1 0 0 20 0 28 0 3721993 14201171968 51240 33554432000 4194304 4196468 140722332676128 140512164600304 140512978041474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20871] ppid=20851 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20871/stat : 20871 (java) S 20851 20851 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3721993 14201171968 51240 33554432000 4194304 4196468 140722332676128 140512163547744 140512978040533 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20872] ppid=20851 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20872/stat : 20872 (java) S 20851 20851 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3721994 14201171968 51240 33554432000 4194304 4196468 140722332676128 140512162495024 140512978041474 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20961] ppid=20851 vsize=13868332 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20961/stat : 20961 (java) R 20851 20851 7621 0 -1 4202560 23 0 0 0 35 0 0 0 20 0 28 0 3722087 14201171968 51240 33554432000 4194304 4196468 140722332676128 140512154481288 140512620986556 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20962] ppid=20851 vsize=13868332 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20962/stat : 20962 (java) R 20851 20851 7621 0 -1 1077944384 18 0 0 0 26 0 0 0 20 0 28 0 3722087 14201171968 51240 33554432000 4194304 4196468 140722332676128 140512150269520 140512978040533 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20963] ppid=20851 vsize=13868332 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20963/stat : 20963 (java) R 20851 20851 7621 0 -1 4202560 19 0 0 0 32 0 0 0 20 0 28 0 3722087 14201171968 51240 33554432000 4194304 4196468 140722332676128 140512148164408 140512621777479 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20964] ppid=20851 vsize=13868332 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20964/stat : 20964 (java) R 20851 20851 7621 0 -1 4202560 17 0 0 0 31 0 0 0 20 0 28 0 3722087 14201171968 51240 33554432000 4194304 4196468 140722332676128 140512152375896 140512620548272 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20965] ppid=20851 vsize=13868332 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20965/stat : 20965 (java) R 20851 20851 7621 0 -1 4202560 19 0 0 0 26 0 0 0 20 0 28 0 3722087 14201171968 51240 33554432000 4194304 4196468 140722332676128 140512151322472 140512621060175 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20966] ppid=20851 vsize=13868332 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20966/stat : 20966 (java) R 20851 20851 7621 0 -1 4202560 19 0 0 0 32 0 0 0 20 0 28 0 3722087 14201171968 51240 33554432000 4194304 4196468 140722332676128 140512146059320 140512620917486 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20967] ppid=20851 vsize=13868332 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20967/stat : 20967 (java) R 20851 20851 7621 0 -1 4202560 19 0 0 0 34 0 0 0 20 0 28 0 3722087 14201171968 51240 33554432000 4194304 4196468 140722332676128 140512147112120 140722334304650 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20968] ppid=20851 vsize=13868332 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20968/stat : 20968 (java) R 20851 20851 7621 0 -1 4202560 17 0 0 0 34 0 0 0 20 0 28 0 3722087 14201171968 51240 33554432000 4194304 4196468 140722332676128 140512149217080 140512621280171 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
Current children cumulated CPU time (s) 7.43
Current children cumulated vsize (KiB) 13877844
[startup+3.10161 s]
/proc/loadavg: 14.76 13.51 8.55 13/299 21176
/proc/meminfo: memFree=28364980/32770624 swapFree=5800/236436
[pid=20851] ppid=20848 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20851/stat : 20851 (xcsp3-exec) S 20848 20851 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3721984 9740288 346 33554432000 4194304 5098028 140720715851504 140720715849608 140052800123516 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 8425472 140720715854991 140720715855200 140720715855200 140720715857899 0
/proc/20851/statm: 2378 346 289 221 0 87 0
[pid=20852] ppid=20851 vsize=13868332 CPUtime=20.07 cores=1,3,5,7,9,11,13,15
/proc/20852/stat : 20852 (java) S 20851 20851 7621 0 -1 1077944320 21904 0 0 0 1990 17 0 0 20 0 28 0 3721985 14201171968 54381 33554432000 4194304 4196468 140722332676128 140722332658672 140512978030327 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
/proc/20852/statm: 3467083 54381 3265 1 0 3454316 0
[pid=20852/tid=20853] ppid=20851 vsize=13868332 CPUtime=0.82 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20853/stat : 20853 (java) S 20851 20851 7621 0 -1 1077944384 6930 0 0 0 78 4 0 0 20 0 28 0 3721985 14201171968 54381 33554432000 4194304 4196468 140722332676128 140512982271104 140512978040533 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20855] ppid=20851 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20855/stat : 20855 (java) S 20851 20851 7621 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 3721986 14201171968 54381 33554432000 4194304 4196468 140722332676128 140512943311504 140512978040533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20856] ppid=20851 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20856/stat : 20856 (java) S 20851 20851 7621 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 3721986 14201171968 54381 33554432000 4194304 4196468 140722332676128 140512576522768 140512978040533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20857] ppid=20851 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20857/stat : 20857 (java) S 20851 20851 7621 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 3721986 14201171968 54381 33554432000 4194304 4196468 140722332676128 140512575469968 140512978040533 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20858] ppid=20851 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20858/stat : 20858 (java) S 20851 20851 7621 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3721986 14201171968 54381 33554432000 4194304 4196468 140722332676128 140512574417168 140512978040533 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20859] ppid=20851 vsize=13868332 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20859/stat : 20859 (java) S 20851 20851 7621 0 -1 1077944384 14 0 0 0 1 0 0 0 20 0 28 0 3721986 14201171968 54381 33554432000 4194304 4196468 140722332676128 140512573365392 140512978040533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20860] ppid=20851 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20860/stat : 20860 (java) S 20851 20851 7621 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 28 0 3721986 14201171968 54381 33554432000 4194304 4196468 140722332676128 140512572312592 140512978040533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20861] ppid=20851 vsize=13868332 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20861/stat : 20861 (java) S 20851 20851 7621 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 28 0 3721986 14201171968 54381 33554432000 4194304 4196468 140722332676128 140512571259792 140512978040533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20862] ppid=20851 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20862/stat : 20862 (java) S 20851 20851 7621 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 3721986 14201171968 54381 33554432000 4194304 4196468 140722332676128 140512570206992 140512978040533 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20863] ppid=20851 vsize=13868332 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20863/stat : 20863 (java) S 20851 20851 7621 0 -1 1077944384 83 0 0 0 1 0 0 0 20 0 28 0 3721988 14201171968 54381 33554432000 4194304 4196468 140722332676128 140512171968880 140512978041474 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20864] ppid=20851 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20864/stat : 20864 (java) S 20851 20851 7621 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 3721989 14201171968 54381 33554432000 4194304 4196468 140722332676128 140512170914912 140512978040533 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20865] ppid=20851 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20865/stat : 20865 (java) S 20851 20851 7621 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 3721989 14201171968 54381 33554432000 4194304 4196468 140722332676128 140512169862000 140512978040533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20866] ppid=20851 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20866/stat : 20866 (java) S 20851 20851 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3721993 14201171968 54381 33554432000 4194304 4196468 140722332676128 140512168810320 140512978048923 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20867] ppid=20851 vsize=13868332 CPUtime=2.02 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20867/stat : 20867 (java) S 20851 20851 7621 0 -1 1077944384 2738 0 0 0 201 1 0 0 20 0 28 0 3721993 14201171968 54381 33554432000 4194304 4196468 140722332676128 140512167758704 140512978041474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20868] ppid=20851 vsize=13868332 CPUtime=1.84 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20868/stat : 20868 (java) S 20851 20851 7621 0 -1 1077944384 2448 0 0 0 184 0 0 0 20 0 28 0 3721993 14201171968 54381 33554432000 4194304 4196468 140722332676128 140512166705904 140512978041474 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20869] ppid=20851 vsize=13868332 CPUtime=1.66 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20869/stat : 20869 (java) S 20851 20851 7621 0 -1 1077944384 2658 0 0 0 166 0 0 0 20 0 28 0 3721993 14201171968 54381 33554432000 4194304 4196468 140722332676128 140512165653104 140512978041474 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20870] ppid=20851 vsize=13868332 CPUtime=0.91 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20870/stat : 20870 (java) S 20851 20851 7621 0 -1 1077944384 3270 0 0 0 90 1 0 0 20 0 28 0 3721993 14201171968 54381 33554432000 4194304 4196468 140722332676128 140512164600304 140512978041474 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20871] ppid=20851 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20871/stat : 20871 (java) S 20851 20851 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3721993 14201171968 54381 33554432000 4194304 4196468 140722332676128 140512163547744 140512978040533 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20872] ppid=20851 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20872/stat : 20872 (java) S 20851 20851 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3721994 14201171968 54381 33554432000 4194304 4196468 140722332676128 140512162495024 140512978041474 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=21161] ppid=20851 vsize=13868332 CPUtime=0.82 cores=1,3,5,7,9,11,13,15
/proc/20852/task/21161/stat : 21161 (java) R 20851 20851 7621 0 -1 4202560 28 0 0 0 82 0 0 0 20 0 28 0 3722193 14201171968 54381 33554432000 4194304 4196468 140722332676128 140512154480184 140512621667377 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=21162] ppid=20851 vsize=13868332 CPUtime=0.74 cores=1,3,5,7,9,11,13,15
/proc/20852/task/21162/stat : 21162 (java) R 20851 20851 7621 0 -1 4202560 21 0 0 0 74 0 0 0 20 0 28 0 3722193 14201171968 54381 33554432000 4194304 4196468 140722332676128 140512151323096 140512622469703 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=21163] ppid=20851 vsize=13868332 CPUtime=0.84 cores=1,3,5,7,9,11,13,15
/proc/20852/task/21163/stat : 21163 (java) R 20851 20851 7621 0 -1 4202560 88 0 0 0 84 0 0 0 20 0 28 0 3722193 14201171968 54381 33554432000 4194304 4196468 140722332676128 140512149218728 140512621493586 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=21164] ppid=20851 vsize=13868332 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/20852/task/21164/stat : 21164 (java) R 20851 20851 7621 0 -1 4202560 31 0 0 0 72 0 0 0 20 0 28 0 3722193 14201171968 54381 33554432000 4194304 4196468 140722332676128 140512150272496 140512621670657 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=21165] ppid=20851 vsize=13868332 CPUtime=0.83 cores=1,3,5,7,9,11,13,15
/proc/20852/task/21165/stat : 21165 (java) R 20851 20851 7621 0 -1 4202560 148 0 0 0 83 0 0 0 20 0 28 0 3722193 14201171968 54381 33554432000 4194304 4196468 140722332676128 140512152377536 140512621192706 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=21166] ppid=20851 vsize=13868332 CPUtime=0.8 cores=1,3,5,7,9,11,13,15
/proc/20852/task/21166/stat : 21166 (java) R 20851 20851 7621 0 -1 4202560 18 0 0 0 80 0 0 0 20 0 28 0 3722193 14201171968 54381 33554432000 4194304 4196468 140722332676128 140512147112184 140512620623053 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=21167] ppid=20851 vsize=13868332 CPUtime=0.66 cores=1,3,5,7,9,11,13,15
/proc/20852/task/21167/stat : 21167 (java) R 20851 20851 7621 0 -1 4202560 68 0 0 0 66 0 0 0 20 0 28 0 3722193 14201171968 54381 33554432000 4194304 4196468 140722332676128 140512146060120 140512622470559 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=21168] ppid=20851 vsize=13868332 CPUtime=0.83 cores=1,3,5,7,9,11,13,15
/proc/20852/task/21168/stat : 21168 (java) R 20851 20851 7621 0 -1 4202560 29 0 0 0 83 0 0 0 20 0 28 0 3722194 14201171968 54381 33554432000 4194304 4196468 140722332676128 140512153428296 140512618012783 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
Current children cumulated CPU time (s) 20.07
Current children cumulated vsize (KiB) 13877844
[startup+6.3016 s]
/proc/loadavg: 14.54 13.48 8.57 10/291 22080
/proc/meminfo: memFree=28393768/32770624 swapFree=5800/236436
################
# More data... #
################
[pid=20852/tid=21479] ppid=20851 vsize=13869360 CPUtime=273.44 cores=1,3,5,7,9,11,13,15
/proc/20852/task/21479/stat : 21479 (java) R 20851 20851 7621 0 -1 4202560 3720 0 0 0 27331 13 0 0 20 0 28 0 3722383 14202224640 624486 33554432000 4194304 4196468 140722332676128 140512145007384 140512622224817 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=21480] ppid=20851 vsize=13869360 CPUtime=274.03 cores=1,3,5,7,9,11,13,15
/proc/20852/task/21480/stat : 21480 (java) R 20851 20851 7621 0 -1 4202560 2919 0 0 0 27399 4 0 0 20 0 28 0 3722383 14202224640 624486 33554432000 4194304 4196468 140722332676128 140512147112328 140512620915831 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
Current children cumulated CPU time (s) 2233.72
Current children cumulated vsize (KiB) 13878872
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+303.301 s]
/proc/loadavg: 15.04 14.57 10.35 17/303 25258
/proc/meminfo: memFree=28751132/32770624 swapFree=5800/236876
[pid=20851] ppid=20848 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20851/stat : 20851 (xcsp3-exec) S 20848 20851 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3721984 9740288 346 33554432000 4194304 5098028 140720715851504 140720715849608 140052800123516 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 8425472 140720715854991 140720715855200 140720715855200 140720715857899 0
/proc/20851/statm: 2378 346 289 221 0 87 0
[pid=20852] ppid=20851 vsize=13869360 CPUtime=2400.53 cores=1,3,5,7,9,11,13,15
/proc/20852/stat : 20852 (java) S 20851 20851 7621 0 -1 1077944320 102551 0 0 0 239575 478 0 0 20 0 28 0 3721985 14202224640 714393 33554432000 4194304 4196468 140722332676128 140722332658672 140512978030327 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
/proc/20852/statm: 3467340 714393 3295 1 0 3454573 0
[pid=20852/tid=20853] ppid=20851 vsize=13869360 CPUtime=0.82 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20853/stat : 20853 (java) S 20851 20851 7621 0 -1 1077944384 6930 0 0 0 78 4 0 0 20 0 28 0 3721985 14202224640 714393 33554432000 4194304 4196468 140722332676128 140512982271104 140512978040533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20855] ppid=20851 vsize=13869360 CPUtime=1.92 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20855/stat : 20855 (java) S 20851 20851 7621 0 -1 1077944384 2665 0 0 0 149 43 0 0 20 0 28 0 3721986 14202224640 714393 33554432000 4194304 4196468 140722332676128 140512943311504 140512978040533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20856] ppid=20851 vsize=13869360 CPUtime=1.88 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20856/stat : 20856 (java) S 20851 20851 7621 0 -1 1077944384 1870 0 0 0 145 43 0 0 20 0 28 0 3721986 14202224640 714393 33554432000 4194304 4196468 140722332676128 140512576522768 140512978040533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20857] ppid=20851 vsize=13869360 CPUtime=1.91 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20857/stat : 20857 (java) S 20851 20851 7621 0 -1 1077944384 2319 0 0 0 148 43 0 0 20 0 28 0 3721986 14202224640 714393 33554432000 4194304 4196468 140722332676128 140512575469968 140512978040533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20858] ppid=20851 vsize=13869360 CPUtime=1.83 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20858/stat : 20858 (java) S 20851 20851 7621 0 -1 1077944384 1740 0 0 0 142 41 0 0 20 0 28 0 3721986 14202224640 714393 33554432000 4194304 4196468 140722332676128 140512574417168 140512978040533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20859] ppid=20851 vsize=13869360 CPUtime=1.92 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20859/stat : 20859 (java) S 20851 20851 7621 0 -1 1077944384 2167 0 0 0 148 44 0 0 20 0 28 0 3721986 14202224640 714393 33554432000 4194304 4196468 140722332676128 140512573365392 140512978040533 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20860] ppid=20851 vsize=13869360 CPUtime=1.91 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20860/stat : 20860 (java) S 20851 20851 7621 0 -1 1077944384 2008 0 0 0 147 44 0 0 20 0 28 0 3721986 14202224640 714393 33554432000 4194304 4196468 140722332676128 140512572312592 140512978040533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20861] ppid=20851 vsize=13869360 CPUtime=1.86 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20861/stat : 20861 (java) S 20851 20851 7621 0 -1 1077944384 2324 0 0 0 145 41 0 0 20 0 28 0 3721986 14202224640 714393 33554432000 4194304 4196468 140722332676128 140512571259792 140512978040533 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20862] ppid=20851 vsize=13869360 CPUtime=1.9 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20862/stat : 20862 (java) S 20851 20851 7621 0 -1 1077944384 3315 0 0 0 147 43 0 0 20 0 28 0 3721986 14202224640 714393 33554432000 4194304 4196468 140722332676128 140512570206992 140512978040533 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20863] ppid=20851 vsize=13869360 CPUtime=0.95 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20863/stat : 20863 (java) S 20851 20851 7621 0 -1 1077944384 8503 0 0 0 47 48 0 0 20 0 28 0 3721988 14202224640 714393 33554432000 4194304 4196468 140722332676128 140512171968880 140512978041474 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20864] ppid=20851 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20864/stat : 20864 (java) S 20851 20851 7621 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 3721989 14202224640 714393 33554432000 4194304 4196468 140722332676128 140512170914912 140512978040533 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20865] ppid=20851 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20865/stat : 20865 (java) S 20851 20851 7621 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 3721989 14202224640 714393 33554432000 4194304 4196468 140722332676128 140512169862000 140512978040533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20866] ppid=20851 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20866/stat : 20866 (java) S 20851 20851 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3721993 14202224640 714393 33554432000 4194304 4196468 140722332676128 140512168810320 140512978048923 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20867] ppid=20851 vsize=13869360 CPUtime=2.49 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20867/stat : 20867 (java) S 20851 20851 7621 0 -1 1077944384 8166 0 0 0 248 1 0 0 20 0 28 0 3721993 14202224640 714393 33554432000 4194304 4196468 140722332676128 140512167758704 140512978041474 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20868] ppid=20851 vsize=13869360 CPUtime=2.43 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20868/stat : 20868 (java) S 20851 20851 7621 0 -1 1077944384 8534 0 0 0 242 1 0 0 20 0 28 0 3721993 14202224640 714393 33554432000 4194304 4196468 140722332676128 140512166705904 140512978041474 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20869] ppid=20851 vsize=13869360 CPUtime=2.35 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20869/stat : 20869 (java) S 20851 20851 7621 0 -1 1077944384 9404 0 0 0 234 1 0 0 20 0 28 0 3721993 14202224640 714393 33554432000 4194304 4196468 140722332676128 140512165653104 140512978041474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20870] ppid=20851 vsize=13869360 CPUtime=0.98 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20870/stat : 20870 (java) S 20851 20851 7621 0 -1 1077944384 7245 0 0 0 96 2 0 0 20 0 28 0 3721993 14202224640 714393 33554432000 4194304 4196468 140722332676128 140512164600304 140512978041474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20871] ppid=20851 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20871/stat : 20871 (java) S 20851 20851 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3721993 14202224640 714393 33554432000 4194304 4196468 140722332676128 140512163547744 140512978040533 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20872] ppid=20851 vsize=13869360 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20872/stat : 20872 (java) S 20851 20851 7621 0 -1 1077944384 1315 0 0 0 9 8 0 0 20 0 28 0 3721994 14202224640 714393 33554432000 4194304 4196468 140722332676128 140512162495024 140512978041474 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=21473] ppid=20851 vsize=13869360 CPUtime=294.72 cores=1,3,5,7,9,11,13,15
/proc/20852/task/21473/stat : 21473 (java) R 20851 20851 7621 0 -1 4202560 3863 0 0 0 29459 13 0 0 20 0 28 0 3722383 14202224640 714393 33554432000 4194304 4196468 140722332676128 140512148166128 140512620622369 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=21474] ppid=20851 vsize=13869360 CPUtime=293.73 cores=1,3,5,7,9,11,13,15
/proc/20852/task/21474/stat : 21474 (java) R 20851 20851 7621 0 -1 4202560 5341 0 0 0 29363 10 0 0 20 0 28 0 3722383 14202224640 714393 33554432000 4194304 4196468 140722332676128 140512154480312 140512618012816 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=21475] ppid=20851 vsize=13869360 CPUtime=294.67 cores=1,3,5,7,9,11,13,15
/proc/20852/task/21475/stat : 21475 (java) R 20851 20851 7621 0 -1 4202560 5705 0 0 0 29461 6 0 0 20 0 28 0 3722383 14202224640 714393 33554432000 4194304 4196468 140722332676128 140512149217616 140512622397385 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=21476] ppid=20851 vsize=13869360 CPUtime=294.24 cores=1,3,5,7,9,11,13,15
/proc/20852/task/21476/stat : 21476 (java) R 20851 20851 7621 0 -1 4202560 4420 0 0 0 29418 6 0 0 20 0 28 0 3722383 14202224640 714393 33554432000 4194304 4196468 140722332676128 140512153428472 140512621887202 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=21477] ppid=20851 vsize=13869360 CPUtime=294.88 cores=1,3,5,7,9,11,13,15
/proc/20852/task/21477/stat : 21477 (java) R 20851 20851 7621 0 -1 4202560 2892 0 0 0 29481 7 0 0 20 0 28 0 3722383 14202224640 714393 33554432000 4194304 4196468 140722332676128 140512152375576 140512622397266 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=21478] ppid=20851 vsize=13869360 CPUtime=294.46 cores=1,3,5,7,9,11,13,15
/proc/20852/task/21478/stat : 21478 (java) R 20851 20851 7621 0 -1 4202560 1283 0 0 0 29442 4 0 0 20 0 28 0 3722383 14202224640 714393 33554432000 4194304 4196468 140722332676128 140512150270136 140512618012795 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=21479] ppid=20851 vsize=13869360 CPUtime=294.18 cores=1,3,5,7,9,11,13,15
/proc/20852/task/21479/stat : 21479 (java) R 20851 20851 7621 0 -1 4202560 3777 0 0 0 29404 14 0 0 20 0 28 0 3722383 14202224640 714393 33554432000 4194304 4196468 140722332676128 140512145007464 140512622044120 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=21480] ppid=20851 vsize=13869360 CPUtime=294.77 cores=1,3,5,7,9,11,13,15
/proc/20852/task/21480/stat : 21480 (java) R 20851 20851 7621 0 -1 4202560 2936 0 0 0 29473 4 0 0 20 0 28 0 3722383 14202224640 714393 33554432000 4194304 4196468 140722332676128 140512147111624 140512620332186 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
Current children cumulated CPU time (s) 2400.53
Current children cumulated vsize (KiB) 13878872
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 20852 sig 9
??? kill 20851 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+303.301 s]
/proc/loadavg: 15.04 14.57 10.35 17/303 25258
/proc/meminfo: memFree=28751132/32770624 swapFree=5800/236876
[pid=20851] ppid=20848 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20851/stat : 20851 (xcsp3-exec) S 20848 20851 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3721984 9740288 346 33554432000 4194304 5098028 140720715851504 140720715849608 140052800123516 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 8425472 140720715854991 140720715855200 140720715855200 140720715857899 0
/proc/20851/statm: 2378 346 289 221 0 87 0
[pid=20852] ppid=20851 vsize=13869360 CPUtime=2400.53 cores=1,3,5,7,9,11,13,15
/proc/20852/stat : 20852 (java) S 20851 20851 7621 0 -1 1077944320 102551 0 0 0 239575 478 0 0 20 0 28 0 3721985 14202224640 714393 33554432000 4194304 4196468 140722332676128 140722332658672 140512978030327 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
/proc/20852/statm: 3467340 714393 3295 1 0 3454573 0
[pid=20852/tid=20853] ppid=20851 vsize=13869360 CPUtime=0.82 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20853/stat : 20853 (java) S 20851 20851 7621 0 -1 1077944384 6930 0 0 0 78 4 0 0 20 0 28 0 3721985 14202224640 714393 33554432000 4194304 4196468 140722332676128 140512982271104 140512978040533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20855] ppid=20851 vsize=13869360 CPUtime=1.92 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20855/stat : 20855 (java) S 20851 20851 7621 0 -1 1077944384 2665 0 0 0 149 43 0 0 20 0 28 0 3721986 14202224640 714393 33554432000 4194304 4196468 140722332676128 140512943311504 140512978040533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20856] ppid=20851 vsize=13869360 CPUtime=1.88 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20856/stat : 20856 (java) S 20851 20851 7621 0 -1 1077944384 1870 0 0 0 145 43 0 0 20 0 28 0 3721986 14202224640 714393 33554432000 4194304 4196468 140722332676128 140512576522768 140512978040533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20857] ppid=20851 vsize=13869360 CPUtime=1.91 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20857/stat : 20857 (java) S 20851 20851 7621 0 -1 1077944384 2319 0 0 0 148 43 0 0 20 0 28 0 3721986 14202224640 714393 33554432000 4194304 4196468 140722332676128 140512575469968 140512978040533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20858] ppid=20851 vsize=13869360 CPUtime=1.83 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20858/stat : 20858 (java) S 20851 20851 7621 0 -1 1077944384 1740 0 0 0 142 41 0 0 20 0 28 0 3721986 14202224640 714393 33554432000 4194304 4196468 140722332676128 140512574417168 140512978040533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20859] ppid=20851 vsize=13869360 CPUtime=1.92 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20859/stat : 20859 (java) S 20851 20851 7621 0 -1 1077944384 2167 0 0 0 148 44 0 0 20 0 28 0 3721986 14202224640 714393 33554432000 4194304 4196468 140722332676128 140512573365392 140512978040533 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20860] ppid=20851 vsize=13869360 CPUtime=1.91 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20860/stat : 20860 (java) S 20851 20851 7621 0 -1 1077944384 2008 0 0 0 147 44 0 0 20 0 28 0 3721986 14202224640 714393 33554432000 4194304 4196468 140722332676128 140512572312592 140512978040533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20861] ppid=20851 vsize=13869360 CPUtime=1.86 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20861/stat : 20861 (java) S 20851 20851 7621 0 -1 1077944384 2324 0 0 0 145 41 0 0 20 0 28 0 3721986 14202224640 714393 33554432000 4194304 4196468 140722332676128 140512571259792 140512978040533 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20862] ppid=20851 vsize=13869360 CPUtime=1.9 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20862/stat : 20862 (java) S 20851 20851 7621 0 -1 1077944384 3315 0 0 0 147 43 0 0 20 0 28 0 3721986 14202224640 714393 33554432000 4194304 4196468 140722332676128 140512570206992 140512978040533 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20863] ppid=20851 vsize=13869360 CPUtime=0.95 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20863/stat : 20863 (java) S 20851 20851 7621 0 -1 1077944384 8503 0 0 0 47 48 0 0 20 0 28 0 3721988 14202224640 714393 33554432000 4194304 4196468 140722332676128 140512171968880 140512978041474 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20864] ppid=20851 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20864/stat : 20864 (java) S 20851 20851 7621 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 3721989 14202224640 714393 33554432000 4194304 4196468 140722332676128 140512170914912 140512978040533 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20865] ppid=20851 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20865/stat : 20865 (java) S 20851 20851 7621 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 3721989 14202224640 714393 33554432000 4194304 4196468 140722332676128 140512169862000 140512978040533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20866] ppid=20851 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20866/stat : 20866 (java) S 20851 20851 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3721993 14202224640 714393 33554432000 4194304 4196468 140722332676128 140512168810320 140512978048923 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20867] ppid=20851 vsize=13869360 CPUtime=2.49 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20867/stat : 20867 (java) S 20851 20851 7621 0 -1 1077944384 8166 0 0 0 248 1 0 0 20 0 28 0 3721993 14202224640 714393 33554432000 4194304 4196468 140722332676128 140512167758704 140512978041474 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20868] ppid=20851 vsize=13869360 CPUtime=2.43 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20868/stat : 20868 (java) S 20851 20851 7621 0 -1 1077944384 8534 0 0 0 242 1 0 0 20 0 28 0 3721993 14202224640 714393 33554432000 4194304 4196468 140722332676128 140512166705904 140512978041474 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20869] ppid=20851 vsize=13869360 CPUtime=2.35 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20869/stat : 20869 (java) S 20851 20851 7621 0 -1 1077944384 9404 0 0 0 234 1 0 0 20 0 28 0 3721993 14202224640 714393 33554432000 4194304 4196468 140722332676128 140512165653104 140512978041474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20870] ppid=20851 vsize=13869360 CPUtime=0.98 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20870/stat : 20870 (java) S 20851 20851 7621 0 -1 1077944384 7245 0 0 0 96 2 0 0 20 0 28 0 3721993 14202224640 714393 33554432000 4194304 4196468 140722332676128 140512164600304 140512978041474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20871] ppid=20851 vsize=13869360 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20871/stat : 20871 (java) S 20851 20851 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3721993 14202224640 714393 33554432000 4194304 4196468 140722332676128 140512163547744 140512978040533 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=20872] ppid=20851 vsize=13869360 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/20852/task/20872/stat : 20872 (java) S 20851 20851 7621 0 -1 1077944384 1315 0 0 0 9 8 0 0 20 0 28 0 3721994 14202224640 714393 33554432000 4194304 4196468 140722332676128 140512162495024 140512978041474 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=21473] ppid=20851 vsize=13869360 CPUtime=294.72 cores=1,3,5,7,9,11,13,15
/proc/20852/task/21473/stat : 21473 (java) R 20851 20851 7621 0 -1 4202560 3863 0 0 0 29459 13 0 0 20 0 28 0 3722383 14202224640 714393 33554432000 4194304 4196468 140722332676128 140512148166128 140512620622369 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=21474] ppid=20851 vsize=13869360 CPUtime=293.73 cores=1,3,5,7,9,11,13,15
/proc/20852/task/21474/stat : 21474 (java) R 20851 20851 7621 0 -1 4202560 5341 0 0 0 29363 10 0 0 20 0 28 0 3722383 14202224640 714393 33554432000 4194304 4196468 140722332676128 140512154480312 140512618012816 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=21475] ppid=20851 vsize=13869360 CPUtime=294.67 cores=1,3,5,7,9,11,13,15
/proc/20852/task/21475/stat : 21475 (java) R 20851 20851 7621 0 -1 4202560 5705 0 0 0 29461 6 0 0 20 0 28 0 3722383 14202224640 714393 33554432000 4194304 4196468 140722332676128 140512149217616 140512622397385 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=21476] ppid=20851 vsize=13869360 CPUtime=294.24 cores=1,3,5,7,9,11,13,15
/proc/20852/task/21476/stat : 21476 (java) R 20851 20851 7621 0 -1 4202560 4420 0 0 0 29418 6 0 0 20 0 28 0 3722383 14202224640 714393 33554432000 4194304 4196468 140722332676128 140512153428472 140512621887202 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=21477] ppid=20851 vsize=13869360 CPUtime=294.88 cores=1,3,5,7,9,11,13,15
/proc/20852/task/21477/stat : 21477 (java) R 20851 20851 7621 0 -1 4202560 2892 0 0 0 29481 7 0 0 20 0 28 0 3722383 14202224640 714393 33554432000 4194304 4196468 140722332676128 140512152375576 140512622397266 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=21478] ppid=20851 vsize=13869360 CPUtime=294.46 cores=1,3,5,7,9,11,13,15
/proc/20852/task/21478/stat : 21478 (java) R 20851 20851 7621 0 -1 4202560 1283 0 0 0 29442 4 0 0 20 0 28 0 3722383 14202224640 714393 33554432000 4194304 4196468 140722332676128 140512150270136 140512618012795 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=21479] ppid=20851 vsize=13869360 CPUtime=294.18 cores=1,3,5,7,9,11,13,15
/proc/20852/task/21479/stat : 21479 (java) R 20851 20851 7621 0 -1 4202560 3777 0 0 0 29404 14 0 0 20 0 28 0 3722383 14202224640 714393 33554432000 4194304 4196468 140722332676128 140512145007464 140512622044120 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
[pid=20852/tid=21480] ppid=20851 vsize=13869360 CPUtime=294.77 cores=1,3,5,7,9,11,13,15
/proc/20852/task/21480/stat : 21480 (java) R 20851 20851 7621 0 -1 4202560 2936 0 0 0 29473 4 0 0 20 0 28 0 3722383 14202224640 714393 33554432000 4194304 4196468 140722332676128 140512147111624 140512620332186 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10027008 140722332681404 140722332681580 140722332681580 140722332684239 0
Current children cumulated CPU time (s) 2400.53
Current children cumulated vsize (KiB) 13878872
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20851 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1811
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=905
# CPU time returned by wait4() is 0.002716
# while last known CPU time is 2400.53
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 303.312
CPU time (s): 2400.53
CPU user time (s): 2395.75
CPU system time (s): 4.78
CPU usage (%): 791.439
Max. virtual memory (cumulated for all children) (KiB): 13878872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001811
system time used= 0.000905
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 518
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.91077 second user time and 4.83153 second system time
The end