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-4247325-1500689737/watcher-4247325-1500689737 -o /tmp/evaluation-result-4247325-1500689737/solver-4247325-1500689737 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1500683887-7652 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 504078746 HOME/instance-4247325-1500689737.xml
pid=3789
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 15.20 15.42 13.88 3/262 3792
/proc/meminfo: memFree=31465716/32770624 swapFree=5800/275952
[pid=3792] ppid=3789 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3792/stat : 3792 (xcsp3-exec) S 3789 3792 7621 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4241466 9740288 345 33554432000 4194304 5098028 140721423715520 140721423713624 140084205900412 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 35684352 140721423717519 140721423717728 140721423717728 140721423720427 0
/proc/3792/statm: 2378 345 289 221 0 87 0
[startup+0.100163 s]
/proc/loadavg: 15.20 15.42 13.88 3/262 3792
/proc/meminfo: memFree=31465716/32770624 swapFree=5800/275952
[pid=3792] ppid=3789 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3792/stat : 3792 (xcsp3-exec) S 3789 3792 7621 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4241466 9740288 345 33554432000 4194304 5098028 140721423715520 140721423713624 140084205900412 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 35684352 140721423717519 140721423717728 140721423717728 140721423720427 0
/proc/3792/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200327 s]
/proc/loadavg: 15.20 15.42 13.88 3/262 3792
/proc/meminfo: memFree=31465716/32770624 swapFree=5800/275952
[pid=3792] ppid=3789 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3792/stat : 3792 (xcsp3-exec) S 3789 3792 7621 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4241466 9740288 345 33554432000 4194304 5098028 140721423715520 140721423713624 140084205900412 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 35684352 140721423717519 140721423717728 140721423717728 140721423720427 0
/proc/3792/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300218 s]
/proc/loadavg: 15.20 15.42 13.88 3/262 3792
/proc/meminfo: memFree=31465716/32770624 swapFree=5800/275952
[pid=3792] ppid=3789 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3792/stat : 3792 (xcsp3-exec) S 3789 3792 7621 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4241466 9740288 345 33554432000 4194304 5098028 140721423715520 140721423713624 140084205900412 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 35684352 140721423717519 140721423717728 140721423717728 140721423720427 0
/proc/3792/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700167 s]
/proc/loadavg: 15.20 15.42 13.88 3/262 3792
/proc/meminfo: memFree=31465716/32770624 swapFree=5800/275952
[pid=3792] ppid=3789 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3792/stat : 3792 (xcsp3-exec) S 3789 3792 7621 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4241466 9740288 345 33554432000 4194304 5098028 140721423715520 140721423713624 140084205900412 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 35684352 140721423717519 140721423717728 140721423717728 140721423720427 0
/proc/3792/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50082 s]
/proc/loadavg: 15.20 15.42 13.88 19/283 3813
/proc/meminfo: memFree=30929548/32770624 swapFree=5800/276272
[pid=3792] ppid=3789 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3792/stat : 3792 (xcsp3-exec) S 3789 3792 7621 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4241466 9740288 345 33554432000 4194304 5098028 140721423715520 140721423713624 140084205900412 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 35684352 140721423717519 140721423717728 140721423717728 140721423720427 0
/proc/3792/statm: 2378 345 289 221 0 87 0
[pid=3793] ppid=3792 vsize=13269256 CPUtime=4.22 cores=0,2,4,6,8,10,12,14
/proc/3793/stat : 3793 (java) S 3792 3792 7621 0 -1 1077944320 19375 0 0 0 409 13 0 0 20 0 20 0 4241466 13587718144 51311 33554432000 4194304 4196468 140723856163024 140723856145568 139933328400119 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
/proc/3793/statm: 3317314 51311 3238 1 0 3304547 0
[pid=3793/tid=3794] ppid=3792 vsize=13269256 CPUtime=1.45 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3794/stat : 3794 (java) R 3792 3792 7621 0 -1 4202560 7193 0 0 0 141 4 0 0 20 0 20 0 4241466 13587718144 51311 33554432000 4194304 4196468 140723856163024 139933332634744 139932941285996 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3796] ppid=3792 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3796/stat : 3796 (java) S 3792 3792 7621 0 -1 1077944384 183 0 0 0 0 1 0 0 20 0 20 0 4241467 13587718144 51311 33554432000 4194304 4196468 140723856163024 139933260536848 139933328410325 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3797] ppid=3792 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3797/stat : 3797 (java) S 3792 3792 7621 0 -1 1077944384 98 0 0 0 1 0 0 0 20 0 20 0 4241467 13587718144 51311 33554432000 4194304 4196468 140723856163024 139933259484304 139933328410325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3798] ppid=3792 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3798/stat : 3798 (java) S 3792 3792 7621 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 20 0 4241467 13587718144 51311 33554432000 4194304 4196468 140723856163024 139933258431248 139933328410325 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3799] ppid=3792 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3799/stat : 3799 (java) S 3792 3792 7621 0 -1 1077944384 67 0 0 0 0 1 0 0 20 0 20 0 4241467 13587718144 51311 33554432000 4194304 4196468 140723856163024 139933257378704 139933328410325 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3800] ppid=3792 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3800/stat : 3800 (java) S 3792 3792 7621 0 -1 1077944384 84 0 0 0 0 1 0 0 20 0 20 0 4241467 13587718144 51311 33554432000 4194304 4196468 140723856163024 139932923300368 139933328410325 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3801] ppid=3792 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3801/stat : 3801 (java) S 3792 3792 7621 0 -1 1077944384 19 0 0 0 0 1 0 0 20 0 20 0 4241467 13587718144 51311 33554432000 4194304 4196468 140723856163024 139932922247824 139933328410325 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3802] ppid=3792 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3802/stat : 3802 (java) S 3792 3792 7621 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 20 0 4241467 13587718144 51311 33554432000 4194304 4196468 140723856163024 139932921194768 139933328410325 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3803] ppid=3792 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3803/stat : 3803 (java) S 3792 3792 7621 0 -1 1077944384 43 0 0 0 0 1 0 0 20 0 20 0 4241467 13587718144 51311 33554432000 4194304 4196468 140723856163024 139932920142224 139933328410325 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3804] ppid=3792 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3804/stat : 3804 (java) S 3792 3792 7621 0 -1 1077944384 220 0 0 0 0 0 0 0 20 0 20 0 4241469 13587718144 51311 33554432000 4194304 4196468 140723856163024 139932857838320 139933328411266 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3805] ppid=3792 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3805/stat : 3805 (java) S 3792 3792 7621 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 4241470 13587718144 51311 33554432000 4194304 4196468 140723856163024 139932856784544 139933328410325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3806] ppid=3792 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3806/stat : 3806 (java) S 3792 3792 7621 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 20 0 4241470 13587718144 51330 33554432000 4194304 4196468 140723856163024 139932855731440 139933328410325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3807] ppid=3792 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3807/stat : 3807 (java) S 3792 3792 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4241473 13587718144 51330 33554432000 4194304 4196468 140723856163024 139932854680016 139933328418715 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3808] ppid=3792 vsize=13269256 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3808/stat : 3808 (java) R 3792 3792 7621 0 -1 4202560 2968 0 0 0 77 0 0 0 20 0 20 0 4241473 13587718144 51330 33554432000 4194304 4196468 140723856163024 139932785961496 139933309944767 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3809] ppid=3792 vsize=13269256 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3809/stat : 3809 (java) S 3792 3792 7621 0 -1 1077944384 2494 0 0 0 66 0 0 0 20 0 20 0 4241473 13587718144 51330 33554432000 4194304 4196468 140723856163024 139932784908656 139933328411266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3810] ppid=3792 vsize=13269256 CPUtime=0.72 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3810/stat : 3810 (java) S 3792 3792 7621 0 -1 1077944384 2013 0 0 0 72 0 0 0 20 0 20 0 4241473 13587718144 51330 33554432000 4194304 4196468 140723856163024 139932783855600 139933328411266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3811] ppid=3792 vsize=13269256 CPUtime=0.45 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3811/stat : 3811 (java) R 3792 3792 7621 0 -1 4202560 2629 0 0 0 45 0 0 0 20 0 20 0 4241473 13587718144 51330 33554432000 4194304 4196468 140723856163024 139932782803056 139933308114934 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3812] ppid=3792 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3812/stat : 3812 (java) S 3792 3792 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4241474 13587718144 51330 33554432000 4194304 4196468 140723856163024 139932781751264 139933328410325 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3813] ppid=3792 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3813/stat : 3813 (java) S 3792 3792 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4241474 13587718144 51330 33554432000 4194304 4196468 140723856163024 139932780698800 139933328411266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
Current children cumulated CPU time (s) 4.22
Current children cumulated vsize (KiB) 13278768
[startup+3.10096 s]
/proc/loadavg: 15.20 15.42 13.88 10/283 3813
/proc/meminfo: memFree=30894492/32770624 swapFree=5800/276272
[pid=3792] ppid=3789 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3792/stat : 3792 (xcsp3-exec) S 3789 3792 7621 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4241466 9740288 345 33554432000 4194304 5098028 140721423715520 140721423713624 140084205900412 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 35684352 140721423717519 140721423717728 140721423717728 140721423720427 0
/proc/3792/statm: 2378 345 289 221 0 87 0
[pid=3793] ppid=3792 vsize=13269256 CPUtime=6.86 cores=0,2,4,6,8,10,12,14
/proc/3793/stat : 3793 (java) S 3792 3792 7621 0 -1 1077944320 22065 0 0 0 604 82 0 0 20 0 20 0 4241466 13587718144 82962 33554432000 4194304 4196468 140723856163024 140723856145568 139933328400119 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
/proc/3793/statm: 3317314 82962 3243 1 0 3304547 0
[pid=3793/tid=3794] ppid=3792 vsize=13269256 CPUtime=2.9 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3794/stat : 3794 (java) R 3792 3792 7621 0 -1 4202560 8051 0 0 0 286 4 0 0 20 0 20 0 4241466 13587718144 82962 33554432000 4194304 4196468 140723856163024 139933332634712 139932941285696 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3796] ppid=3792 vsize=13269256 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3796/stat : 3796 (java) S 3792 3792 7621 0 -1 1077944384 262 0 0 0 5 8 0 0 20 0 20 0 4241467 13587718144 82962 33554432000 4194304 4196468 140723856163024 139933260536848 139933328410325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3797] ppid=3792 vsize=13269256 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3797/stat : 3797 (java) S 3792 3792 7621 0 -1 1077944384 408 0 0 0 6 9 0 0 20 0 20 0 4241467 13587718144 82962 33554432000 4194304 4196468 140723856163024 139933259484304 139933328410325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3798] ppid=3792 vsize=13269256 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3798/stat : 3798 (java) S 3792 3792 7621 0 -1 1077944384 87 0 0 0 4 9 0 0 20 0 20 0 4241467 13587718144 82962 33554432000 4194304 4196468 140723856163024 139933258431248 139933328410325 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3799] ppid=3792 vsize=13269256 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3799/stat : 3799 (java) S 3792 3792 7621 0 -1 1077944384 229 0 0 0 5 9 0 0 20 0 20 0 4241467 13587718144 82962 33554432000 4194304 4196468 140723856163024 139933257378704 139933328410325 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3800] ppid=3792 vsize=13269256 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3800/stat : 3800 (java) S 3792 3792 7621 0 -1 1077944384 160 0 0 0 5 8 0 0 20 0 20 0 4241467 13587718144 82962 33554432000 4194304 4196468 140723856163024 139932923300368 139933328410325 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3801] ppid=3792 vsize=13269256 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3801/stat : 3801 (java) S 3792 3792 7621 0 -1 1077944384 105 0 0 0 5 10 0 0 20 0 20 0 4241467 13587718144 82962 33554432000 4194304 4196468 140723856163024 139932922247824 139933328410325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3802] ppid=3792 vsize=13269256 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3802/stat : 3802 (java) S 3792 3792 7621 0 -1 1077944384 136 0 0 0 5 9 0 0 20 0 20 0 4241467 13587718144 82962 33554432000 4194304 4196468 140723856163024 139932921194768 139933328410325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3803] ppid=3792 vsize=13269256 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3803/stat : 3803 (java) S 3792 3792 7621 0 -1 1077944384 112 0 0 0 4 9 0 0 20 0 20 0 4241467 13587718144 82962 33554432000 4194304 4196468 140723856163024 139932920142224 139933328410325 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3804] ppid=3792 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3804/stat : 3804 (java) S 3792 3792 7621 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 4241469 13587718144 82962 33554432000 4194304 4196468 140723856163024 139932857838320 139933328411266 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3805] ppid=3792 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3805/stat : 3805 (java) S 3792 3792 7621 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 4241470 13587718144 82962 33554432000 4194304 4196468 140723856163024 139932856784544 139933328410325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3806] ppid=3792 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3806/stat : 3806 (java) S 3792 3792 7621 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 20 0 4241470 13587718144 82962 33554432000 4194304 4196468 140723856163024 139932855731440 139933328410325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3807] ppid=3792 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3807/stat : 3807 (java) S 3792 3792 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4241473 13587718144 82962 33554432000 4194304 4196468 140723856163024 139932854680016 139933328418715 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3808] ppid=3792 vsize=13269256 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3808/stat : 3808 (java) S 3792 3792 7621 0 -1 1077944384 3103 0 0 0 78 0 0 0 20 0 20 0 4241473 13587718144 82962 33554432000 4194304 4196468 140723856163024 139932785961200 139933328411266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3809] ppid=3792 vsize=13269256 CPUtime=0.7 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3809/stat : 3809 (java) S 3792 3792 7621 0 -1 1077944384 2604 0 0 0 70 0 0 0 20 0 20 0 4241473 13587718144 82962 33554432000 4194304 4196468 140723856163024 139932784908656 139933328411266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3810] ppid=3792 vsize=13269256 CPUtime=0.74 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3810/stat : 3810 (java) S 3792 3792 7621 0 -1 1077944384 2103 0 0 0 74 0 0 0 20 0 20 0 4241473 13587718144 82962 33554432000 4194304 4196468 140723856163024 139932783855600 139933328411266 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 3 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3811] ppid=3792 vsize=13269256 CPUtime=0.51 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3811/stat : 3811 (java) S 3792 3792 7621 0 -1 1077944384 3042 0 0 0 51 0 0 0 20 0 20 0 4241473 13587718144 82962 33554432000 4194304 4196468 140723856163024 139932782803056 139933328411266 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 5 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3812] ppid=3792 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3812/stat : 3812 (java) S 3792 3792 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4241474 13587718144 82962 33554432000 4194304 4196468 140723856163024 139932781751264 139933328410325 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3813] ppid=3792 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3813/stat : 3813 (java) S 3792 3792 7621 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 4241474 13587718144 82962 33554432000 4194304 4196468 140723856163024 139932780698800 139933328411266 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
Current children cumulated CPU time (s) 6.86
Current children cumulated vsize (KiB) 13278768
[startup+6.30091 s]
/proc/loadavg: 14.15 15.20 13.81 10/283 3813
/proc/meminfo: memFree=29772692/32770624 swapFree=5800/276284
[pid=3792] ppid=3789 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3792/stat : 3792 (xcsp3-exec) S 3789 3792 7621 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4241466 9740288 345 33554432000 4194304 5098028 140721423715520 140721423713624 140084205900412 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 35684352 140721423717519 140721423717728 140721423717728 140721423720427 0
/proc/3792/statm: 2378 345 289 221 0 87 0
[pid=3793] ppid=3792 vsize=13269256 CPUtime=15.85 cores=0,2,4,6,8,10,12,14
/proc/3793/stat : 3793 (java) S 3792 3792 7621 0 -1 1077944320 26828 0 0 0 1355 230 0 0 20 0 20 0 4241466 13587718144 182610 33554432000 4194304 4196468 140723856163024 140723856145568 139933328400119 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
/proc/3793/statm: 3317314 182610 3260 1 0 3304547 0
[pid=3793/tid=3794] ppid=3792 vsize=13269256 CPUtime=5.25 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3794/stat : 3794 (java) R 3792 3792 7621 0 -1 4202560 8230 0 0 0 519 6 0 0 20 0 20 0 4241466 13587718144 182610 33554432000 4194304 4196468 140723856163024 139933332634256 139932941237163 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3796] ppid=3792 vsize=13269256 CPUtime=0.95 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3796/stat : 3796 (java) S 3792 3792 7621 0 -1 1077944384 503 0 0 0 67 28 0 0 20 0 20 0 4241467 13587718144 182610 33554432000 4194304 4196468 140723856163024 139933260536848 139933328410325 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3797] ppid=3792 vsize=13269256 CPUtime=0.95 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3797/stat : 3797 (java) S 3792 3792 7621 0 -1 1077944384 692 0 0 0 68 27 0 0 20 0 20 0 4241467 13587718144 182610 33554432000 4194304 4196468 140723856163024 139933259484304 139933328410325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3798] ppid=3792 vsize=13269256 CPUtime=0.95 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3798/stat : 3798 (java) S 3792 3792 7621 0 -1 1077944384 511 0 0 0 67 28 0 0 20 0 20 0 4241467 13587718144 182610 33554432000 4194304 4196468 140723856163024 139933258431248 139933328410325 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3799] ppid=3792 vsize=13269256 CPUtime=0.96 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3799/stat : 3799 (java) S 3792 3792 7621 0 -1 1077944384 501 0 0 0 68 28 0 0 20 0 20 0 4241467 13587718144 182610 33554432000 4194304 4196468 140723856163024 139933257378704 139933328410325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3800] ppid=3792 vsize=13269256 CPUtime=0.91 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3800/stat : 3800 (java) S 3792 3792 7621 0 -1 1077944384 639 0 0 0 67 24 0 0 20 0 20 0 4241467 13587718144 182610 33554432000 4194304 4196468 140723856163024 139932923300368 139933328410325 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3801] ppid=3792 vsize=13269256 CPUtime=0.95 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3801/stat : 3801 (java) S 3792 3792 7621 0 -1 1077944384 521 0 0 0 66 29 0 0 20 0 20 0 4241467 13587718144 182610 33554432000 4194304 4196468 140723856163024 139932922247824 139933328410325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3802] ppid=3792 vsize=13269256 CPUtime=0.95 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3802/stat : 3802 (java) S 3792 3792 7621 0 -1 1077944384 357 0 0 0 68 27 0 0 20 0 20 0 4241467 13587718144 182610 33554432000 4194304 4196468 140723856163024 139932921194768 139933328410325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3803] ppid=3792 vsize=13269256 CPUtime=0.94 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3803/stat : 3803 (java) S 3792 3792 7621 0 -1 1077944384 690 0 0 0 68 26 0 0 20 0 20 0 4241467 13587718144 182610 33554432000 4194304 4196468 140723856163024 139932920142224 139933328410325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3804] ppid=3792 vsize=13269256 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3804/stat : 3804 (java) S 3792 3792 7621 0 -1 1077944384 1572 0 0 0 4 0 0 0 20 0 20 0 4241469 13587718144 182610 33554432000 4194304 4196468 140723856163024 139932857838320 139933328411266 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3805] ppid=3792 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3805/stat : 3805 (java) S 3792 3792 7621 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 4241470 13587718144 182610 33554432000 4194304 4196468 140723856163024 139932856784608 139933328410325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3806] ppid=3792 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3806/stat : 3806 (java) S 3792 3792 7621 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 20 0 4241470 13587718144 182610 33554432000 4194304 4196468 140723856163024 139932855731456 139933328410325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3807] ppid=3792 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3807/stat : 3807 (java) S 3792 3792 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4241473 13587718144 182610 33554432000 4194304 4196468 140723856163024 139932854680016 139933328418715 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
################
# More data... #
################
[pid=3793/tid=3796] ppid=3792 vsize=13269256 CPUtime=251.63 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3796/stat : 3796 (java) R 3792 3792 7621 0 -1 4202560 13065 0 0 0 24591 572 0 0 20 0 20 0 4241467 13587718144 2603047 33554432000 4194304 4196468 140723856163024 139933260536432 139933321028327 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3797] ppid=3792 vsize=13269256 CPUtime=251.17 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3797/stat : 3797 (java) R 3792 3792 7621 0 -1 4202560 10197 0 0 0 24538 579 0 0 20 0 20 0 4241467 13587718144 2603047 33554432000 4194304 4196468 140723856163024 139933259484200 139933311783152 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3798] ppid=3792 vsize=13269256 CPUtime=251.3 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3798/stat : 3798 (java) R 3792 3792 7621 0 -1 4202560 11791 0 0 0 24571 559 0 0 20 0 20 0 4241467 13587718144 2603047 33554432000 4194304 4196468 140723856163024 139933258430832 139933321028327 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3799] ppid=3792 vsize=13269256 CPUtime=251.09 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3799/stat : 3799 (java) R 3792 3792 7621 0 -1 4202560 11743 0 0 0 24581 528 0 0 20 0 20 0 4241467 13587718144 2603047 33554432000 4194304 4196468 140723856163024 139933257378600 139933321028327 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3800] ppid=3792 vsize=13269256 CPUtime=251.68 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3800/stat : 3800 (java) R 3792 3792 7621 0 -1 4202560 11944 0 0 0 24592 576 0 0 20 0 20 0 4241467 13587718144 2603047 33554432000 4194304 4196468 140723856163024 139932923300264 139933311783154 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3801] ppid=3792 vsize=13269256 CPUtime=251.69 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3801/stat : 3801 (java) R 3792 3792 7621 0 -1 4202560 10846 0 0 0 24643 526 0 0 20 0 20 0 4241467 13587718144 2603047 33554432000 4194304 4196468 140723856163024 139932922247720 139933321028327 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3802] ppid=3792 vsize=13269256 CPUtime=251.67 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3802/stat : 3802 (java) R 3792 3792 7621 0 -1 4202560 11130 0 0 0 24610 557 0 0 20 0 20 0 4241467 13587718144 2603047 33554432000 4194304 4196468 140723856163024 139932921194664 139933321028327 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3803] ppid=3792 vsize=13269256 CPUtime=251.31 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3803/stat : 3803 (java) R 3792 3792 7621 0 -1 4202560 12468 0 0 0 24536 595 0 0 20 0 20 0 4241467 13587718144 2603047 33554432000 4194304 4196468 140723856163024 139932920142424 139933314464944 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3804] ppid=3792 vsize=13269256 CPUtime=4.83 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3804/stat : 3804 (java) S 3792 3792 7621 0 -1 1077944384 61305 0 0 0 480 3 0 0 20 0 20 0 4241469 13587718144 2603047 33554432000 4194304 4196468 140723856163024 139932857836640 139933328410325 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3805] ppid=3792 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3805/stat : 3805 (java) S 3792 3792 7621 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 20 0 4241470 13587718144 2603047 33554432000 4194304 4196468 140723856163024 139932856784608 139933328410325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3806] ppid=3792 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3806/stat : 3806 (java) S 3792 3792 7621 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 20 0 4241470 13587718144 2603047 33554432000 4194304 4196468 140723856163024 139932855731456 139933328410325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3807] ppid=3792 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3807/stat : 3807 (java) S 3792 3792 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4241473 13587718144 2603047 33554432000 4194304 4196468 140723856163024 139932854680016 139933328418715 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3808] ppid=3792 vsize=13269256 CPUtime=1.8 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3808/stat : 3808 (java) S 3792 3792 7621 0 -1 1077944384 9187 0 0 0 179 1 0 0 20 0 20 0 4241473 13587718144 2603047 33554432000 4194304 4196468 140723856163024 139932785961200 139933328411266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3809] ppid=3792 vsize=13269256 CPUtime=1.1 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3809/stat : 3809 (java) S 3792 3792 7621 0 -1 1077944384 4795 0 0 0 110 0 0 0 20 0 20 0 4241473 13587718144 2603047 33554432000 4194304 4196468 140723856163024 139932784908704 139933328410325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3810] ppid=3792 vsize=13269256 CPUtime=1.3 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3810/stat : 3810 (java) S 3792 3792 7621 0 -1 1077944384 5771 0 0 0 129 1 0 0 20 0 20 0 4241473 13587718144 2603047 33554432000 4194304 4196468 140723856163024 139932783855600 139933328411266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3811] ppid=3792 vsize=13269256 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3811/stat : 3811 (java) S 3792 3792 7621 0 -1 1077944384 5143 0 0 0 62 1 0 0 20 0 20 0 4241473 13587718144 2603047 33554432000 4194304 4196468 140723856163024 139932782802816 139933328410325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3812] ppid=3792 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3812/stat : 3812 (java) S 3792 3792 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4241474 13587718144 2603047 33554432000 4194304 4196468 140723856163024 139932781751264 139933328410325 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3813] ppid=3792 vsize=13269256 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3813/stat : 3813 (java) S 3792 3792 7621 0 -1 1077944384 412 0 0 0 7 6 0 0 20 0 20 0 4241474 13587718144 2603047 33554432000 4194304 4196468 140723856163024 139932780698800 139933328411266 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 10 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
Current children cumulated CPU time (s) 2102.28
Current children cumulated vsize (KiB) 13278768
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+380.901 s]
/proc/loadavg: 14.48 11.99 12.44 17/292 4406
/proc/meminfo: memFree=19178260/32770624 swapFree=5800/276616
[pid=3792] ppid=3789 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3792/stat : 3792 (xcsp3-exec) S 3789 3792 7621 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4241466 9740288 345 33554432000 4194304 5098028 140721423715520 140721423713624 140084205900412 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 35684352 140721423717519 140721423717728 140721423717728 140721423720427 0
/proc/3792/statm: 2378 345 289 221 0 87 0
[pid=3793] ppid=3792 vsize=13269256 CPUtime=2400.74 cores=0,2,4,6,8,10,12,14
/proc/3793/stat : 3793 (java) S 3792 3792 7621 0 -1 1077944320 198109 0 0 0 235482 4592 0 0 20 0 20 0 4241466 13587718144 2603047 33554432000 4194304 4196468 140723856163024 140723856145568 139933328400119 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
/proc/3793/statm: 3317314 2603047 3275 1 0 3304547 0
[pid=3793/tid=3794] ppid=3792 vsize=13269256 CPUtime=80.82 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3794/stat : 3794 (java) S 3792 3792 7621 0 -1 1077944384 11972 0 0 0 8072 10 0 0 20 0 20 0 4241466 13587718144 2603047 33554432000 4194304 4196468 140723856163024 139933332639248 139933328410325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3796] ppid=3792 vsize=13269256 CPUtime=289.09 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3796/stat : 3796 (java) R 3792 3792 7621 0 -1 4202560 13984 0 0 0 28330 579 0 0 20 0 20 0 4241467 13587718144 2603047 33554432000 4194304 4196468 140723856163024 139933260536744 139933321028327 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3797] ppid=3792 vsize=13269256 CPUtime=288.34 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3797/stat : 3797 (java) R 3792 3792 7621 0 -1 4202560 11031 0 0 0 28243 591 0 0 20 0 20 0 4241467 13587718144 2603047 33554432000 4194304 4196468 140723856163024 139933259484200 139933321028327 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3798] ppid=3792 vsize=13269256 CPUtime=288.49 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3798/stat : 3798 (java) R 3792 3792 7621 0 -1 4202560 12194 0 0 0 28281 568 0 0 20 0 20 0 4241467 13587718144 2603047 33554432000 4194304 4196468 140723856163024 139933258431448 139933313097758 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3799] ppid=3792 vsize=13269256 CPUtime=288.33 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3799/stat : 3799 (java) R 3792 3792 7621 0 -1 4202560 12253 0 0 0 28296 537 0 0 20 0 20 0 4241467 13587718144 2603047 33554432000 4194304 4196468 140723856163024 139933257378600 139933321028327 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3800] ppid=3792 vsize=13269256 CPUtime=288.62 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3800/stat : 3800 (java) R 3792 3792 7621 0 -1 4202560 12180 0 0 0 28277 585 0 0 20 0 20 0 4241467 13587718144 2603047 33554432000 4194304 4196468 140723856163024 139932923300264 139933311783152 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3801] ppid=3792 vsize=13269256 CPUtime=289.23 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3801/stat : 3801 (java) R 3792 3792 7621 0 -1 4202560 11750 0 0 0 28390 533 0 0 20 0 20 0 4241467 13587718144 2603047 33554432000 4194304 4196468 140723856163024 139932922247720 139933321028327 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3802] ppid=3792 vsize=13269256 CPUtime=288.89 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3802/stat : 3802 (java) R 3792 3792 7621 0 -1 4202560 11969 0 0 0 28322 567 0 0 20 0 20 0 4241467 13587718144 2603047 33554432000 4194304 4196468 140723856163024 139932921194664 139933311783154 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3803] ppid=3792 vsize=13269256 CPUtime=288.5 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3803/stat : 3803 (java) R 3792 3792 7621 0 -1 4202560 12779 0 0 0 28245 605 0 0 20 0 20 0 4241467 13587718144 2603047 33554432000 4194304 4196468 140723856163024 139932920142120 139933321028327 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3804] ppid=3792 vsize=13269256 CPUtime=5.32 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3804/stat : 3804 (java) S 3792 3792 7621 0 -1 1077944384 61311 0 0 0 529 3 0 0 20 0 20 0 4241469 13587718144 2603047 33554432000 4194304 4196468 140723856163024 139932857836640 139933328410325 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3805] ppid=3792 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3805/stat : 3805 (java) S 3792 3792 7621 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 20 0 4241470 13587718144 2603047 33554432000 4194304 4196468 140723856163024 139932856784608 139933328410325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3806] ppid=3792 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3806/stat : 3806 (java) S 3792 3792 7621 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 20 0 4241470 13587718144 2603047 33554432000 4194304 4196468 140723856163024 139932855731456 139933328410325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3807] ppid=3792 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3807/stat : 3807 (java) S 3792 3792 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4241473 13587718144 2603047 33554432000 4194304 4196468 140723856163024 139932854680016 139933328418715 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3808] ppid=3792 vsize=13269256 CPUtime=1.8 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3808/stat : 3808 (java) S 3792 3792 7621 0 -1 1077944384 9188 0 0 0 179 1 0 0 20 0 20 0 4241473 13587718144 2603047 33554432000 4194304 4196468 140723856163024 139932785961200 139933328411266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3809] ppid=3792 vsize=13269256 CPUtime=1.1 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3809/stat : 3809 (java) S 3792 3792 7621 0 -1 1077944384 4797 0 0 0 110 0 0 0 20 0 20 0 4241473 13587718144 2603047 33554432000 4194304 4196468 140723856163024 139932784908656 139933328411266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3810] ppid=3792 vsize=13269256 CPUtime=1.3 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3810/stat : 3810 (java) S 3792 3792 7621 0 -1 1077944384 5773 0 0 0 129 1 0 0 20 0 20 0 4241473 13587718144 2603047 33554432000 4194304 4196468 140723856163024 139932783855600 139933328411266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3811] ppid=3792 vsize=13269256 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3811/stat : 3811 (java) S 3792 3792 7621 0 -1 1077944384 5144 0 0 0 62 1 0 0 20 0 20 0 4241473 13587718144 2603047 33554432000 4194304 4196468 140723856163024 139932782803056 139933328411266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3812] ppid=3792 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3812/stat : 3812 (java) S 3792 3792 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4241474 13587718144 2603047 33554432000 4194304 4196468 140723856163024 139932781751264 139933328410325 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3813] ppid=3792 vsize=13269256 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3813/stat : 3813 (java) S 3792 3792 7621 0 -1 1077944384 414 0 0 0 8 6 0 0 20 0 20 0 4241474 13587718144 2603047 33554432000 4194304 4196468 140723856163024 139932780698800 139933328411266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
Current children cumulated CPU time (s) 2400.74
Current children cumulated vsize (KiB) 13278768
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 3793 sig 9
??? kill 3792 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+380.901 s]
/proc/loadavg: 14.48 11.99 12.44 17/292 4406
/proc/meminfo: memFree=19178260/32770624 swapFree=5800/276616
[pid=3792] ppid=3789 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3792/stat : 3792 (xcsp3-exec) S 3789 3792 7621 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4241466 9740288 345 33554432000 4194304 5098028 140721423715520 140721423713624 140084205900412 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 35684352 140721423717519 140721423717728 140721423717728 140721423720427 0
/proc/3792/statm: 2378 345 289 221 0 87 0
[pid=3793] ppid=3792 vsize=13269256 CPUtime=2400.74 cores=0,2,4,6,8,10,12,14
/proc/3793/stat : 3793 (java) S 3792 3792 7621 0 -1 1077944320 198109 0 0 0 235482 4592 0 0 20 0 20 0 4241466 13587718144 2603047 33554432000 4194304 4196468 140723856163024 140723856145568 139933328400119 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
/proc/3793/statm: 3317314 2603047 3275 1 0 3304547 0
[pid=3793/tid=3794] ppid=3792 vsize=13269256 CPUtime=80.82 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3794/stat : 3794 (java) S 3792 3792 7621 0 -1 1077944384 11972 0 0 0 8072 10 0 0 20 0 20 0 4241466 13587718144 2603047 33554432000 4194304 4196468 140723856163024 139933332639248 139933328410325 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3796] ppid=3792 vsize=13269256 CPUtime=289.09 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3796/stat : 3796 (java) R 3792 3792 7621 0 -1 4202560 13984 0 0 0 28330 579 0 0 20 0 20 0 4241467 13587718144 2603047 33554432000 4194304 4196468 140723856163024 139933260536744 139933321028327 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3797] ppid=3792 vsize=13269256 CPUtime=288.34 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3797/stat : 3797 (java) R 3792 3792 7621 0 -1 4202560 11031 0 0 0 28243 591 0 0 20 0 20 0 4241467 13587718144 2603047 33554432000 4194304 4196468 140723856163024 139933259484200 139933321028327 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3798] ppid=3792 vsize=13269256 CPUtime=288.49 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3798/stat : 3798 (java) R 3792 3792 7621 0 -1 4202560 12194 0 0 0 28281 568 0 0 20 0 20 0 4241467 13587718144 2603047 33554432000 4194304 4196468 140723856163024 139933258431448 139933313097758 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3799] ppid=3792 vsize=13269256 CPUtime=288.33 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3799/stat : 3799 (java) R 3792 3792 7621 0 -1 4202560 12253 0 0 0 28296 537 0 0 20 0 20 0 4241467 13587718144 2603047 33554432000 4194304 4196468 140723856163024 139933257378600 139933321028327 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3800] ppid=3792 vsize=13269256 CPUtime=288.62 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3800/stat : 3800 (java) R 3792 3792 7621 0 -1 4202560 12180 0 0 0 28277 585 0 0 20 0 20 0 4241467 13587718144 2603047 33554432000 4194304 4196468 140723856163024 139932923300264 139933311783152 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3801] ppid=3792 vsize=13269256 CPUtime=289.23 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3801/stat : 3801 (java) R 3792 3792 7621 0 -1 4202560 11750 0 0 0 28390 533 0 0 20 0 20 0 4241467 13587718144 2603047 33554432000 4194304 4196468 140723856163024 139932922247720 139933321028327 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3802] ppid=3792 vsize=13269256 CPUtime=288.89 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3802/stat : 3802 (java) R 3792 3792 7621 0 -1 4202560 11969 0 0 0 28322 567 0 0 20 0 20 0 4241467 13587718144 2603047 33554432000 4194304 4196468 140723856163024 139932921194664 139933311783154 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3803] ppid=3792 vsize=13269256 CPUtime=288.5 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3803/stat : 3803 (java) R 3792 3792 7621 0 -1 4202560 12779 0 0 0 28245 605 0 0 20 0 20 0 4241467 13587718144 2603047 33554432000 4194304 4196468 140723856163024 139932920142120 139933321028327 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3804] ppid=3792 vsize=13269256 CPUtime=5.32 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3804/stat : 3804 (java) S 3792 3792 7621 0 -1 1077944384 61311 0 0 0 529 3 0 0 20 0 20 0 4241469 13587718144 2603047 33554432000 4194304 4196468 140723856163024 139932857836640 139933328410325 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3805] ppid=3792 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3805/stat : 3805 (java) S 3792 3792 7621 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 20 0 4241470 13587718144 2603047 33554432000 4194304 4196468 140723856163024 139932856784608 139933328410325 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3806] ppid=3792 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3806/stat : 3806 (java) S 3792 3792 7621 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 20 0 4241470 13587718144 2603047 33554432000 4194304 4196468 140723856163024 139932855731456 139933328410325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3807] ppid=3792 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3807/stat : 3807 (java) S 3792 3792 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4241473 13587718144 2603047 33554432000 4194304 4196468 140723856163024 139932854680016 139933328418715 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3808] ppid=3792 vsize=13269256 CPUtime=1.8 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3808/stat : 3808 (java) S 3792 3792 7621 0 -1 1077944384 9188 0 0 0 179 1 0 0 20 0 20 0 4241473 13587718144 2603047 33554432000 4194304 4196468 140723856163024 139932785961200 139933328411266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3809] ppid=3792 vsize=13269256 CPUtime=1.1 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3809/stat : 3809 (java) S 3792 3792 7621 0 -1 1077944384 4797 0 0 0 110 0 0 0 20 0 20 0 4241473 13587718144 2603047 33554432000 4194304 4196468 140723856163024 139932784908656 139933328411266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3810] ppid=3792 vsize=13269256 CPUtime=1.3 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3810/stat : 3810 (java) S 3792 3792 7621 0 -1 1077944384 5773 0 0 0 129 1 0 0 20 0 20 0 4241473 13587718144 2603047 33554432000 4194304 4196468 140723856163024 139932783855600 139933328411266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3811] ppid=3792 vsize=13269256 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3811/stat : 3811 (java) S 3792 3792 7621 0 -1 1077944384 5144 0 0 0 62 1 0 0 20 0 20 0 4241473 13587718144 2603047 33554432000 4194304 4196468 140723856163024 139932782803056 139933328411266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3812] ppid=3792 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3812/stat : 3812 (java) S 3792 3792 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4241474 13587718144 2603047 33554432000 4194304 4196468 140723856163024 139932781751264 139933328410325 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
[pid=3793/tid=3813] ppid=3792 vsize=13269256 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/3793/task/3813/stat : 3813 (java) S 3792 3792 7621 0 -1 1077944384 414 0 0 0 8 6 0 0 20 0 20 0 4241474 13587718144 2603047 33554432000 4194304 4196468 140723856163024 139932780698800 139933328411266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 27598848 140723856164028 140723856164204 140723856164204 140723856166863 0
Current children cumulated CPU time (s) 2400.74
Current children cumulated vsize (KiB) 13278768
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3792 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=2000
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1000
# CPU time returned by wait4() is 0.003
# while last known CPU time is 2400.74
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 380.911
CPU time (s): 2400.74
CPU user time (s): 2354.82
CPU system time (s): 45.92
CPU usage (%): 630.263
Max. virtual memory (cumulated for all children) (KiB): 13278768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.002
system time used= 0.001
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 516
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= 2
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.38941 second user time and 4.0341 second system time
The end