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-4246624-1500687714/watcher-4246624-1500687714 -o /tmp/evaluation-result-4246624-1500687714/solver-4246624-1500687714 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500682387-16945 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1337679683 HOME/instance-4246624-1500687714.xml
pid=10356
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 15.14 15.74 15.54 6/266 10359
/proc/meminfo: memFree=31660928/32770624 swapFree=5900/257236
[pid=10359] ppid=10356 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10359/stat : 10359 (xcsp3-exec) S 10356 10359 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4038327 9740288 345 33554432000 4194304 5098028 140723262643184 140723262641288 140398912635516 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 20324352 140723262649486 140723262649696 140723262649696 140723262652395 0
/proc/10359/statm: 2378 345 289 221 0 87 0
[startup+0.100106 s]
/proc/loadavg: 15.14 15.74 15.54 6/266 10359
/proc/meminfo: memFree=31660928/32770624 swapFree=5900/257236
[pid=10359] ppid=10356 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10359/stat : 10359 (xcsp3-exec) S 10356 10359 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4038327 9740288 345 33554432000 4194304 5098028 140723262643184 140723262641288 140398912635516 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 20324352 140723262649486 140723262649696 140723262649696 140723262652395 0
/proc/10359/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.20037 s]
/proc/loadavg: 15.14 15.74 15.54 6/266 10359
/proc/meminfo: memFree=31660928/32770624 swapFree=5900/257236
[pid=10359] ppid=10356 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10359/stat : 10359 (xcsp3-exec) S 10356 10359 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4038327 9740288 345 33554432000 4194304 5098028 140723262643184 140723262641288 140398912635516 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 20324352 140723262649486 140723262649696 140723262649696 140723262652395 0
/proc/10359/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300264 s]
/proc/loadavg: 15.14 15.74 15.54 6/266 10359
/proc/meminfo: memFree=31660928/32770624 swapFree=5900/257236
[pid=10359] ppid=10356 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10359/stat : 10359 (xcsp3-exec) S 10356 10359 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4038327 9740288 345 33554432000 4194304 5098028 140723262643184 140723262641288 140398912635516 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 20324352 140723262649486 140723262649696 140723262649696 140723262652395 0
/proc/10359/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700173 s]
/proc/loadavg: 15.14 15.74 15.54 6/266 10359
/proc/meminfo: memFree=31660928/32770624 swapFree=5900/257236
[pid=10359] ppid=10356 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10359/stat : 10359 (xcsp3-exec) S 10356 10359 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4038327 9740288 345 33554432000 4194304 5098028 140723262643184 140723262641288 140398912635516 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 20324352 140723262649486 140723262649696 140723262649696 140723262652395 0
/proc/10359/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50118 s]
/proc/loadavg: 15.14 15.74 15.54 21/303 10436
/proc/meminfo: memFree=31305940/32770624 swapFree=5900/257244
[pid=10359] ppid=10356 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10359/stat : 10359 (xcsp3-exec) S 10356 10359 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4038327 9740288 345 33554432000 4194304 5098028 140723262643184 140723262641288 140398912635516 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 20324352 140723262649486 140723262649696 140723262649696 140723262652395 0
/proc/10359/statm: 2378 345 289 221 0 87 0
[pid=10360] ppid=10359 vsize=13935924 CPUtime=7.56 cores=1,3,5,7,9,11,13,15
/proc/10360/stat : 10360 (java) S 10359 10359 16913 0 -1 1077944320 18668 0 0 0 741 15 0 0 20 0 27 0 4038327 14270386176 48151 33554432000 4194304 4196468 140723907233120 140723907215664 140580141723383 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
/proc/10360/statm: 3483981 48151 3249 1 0 3471214 0
[pid=10360/tid=10361] ppid=10359 vsize=13935924 CPUtime=0.68 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10361/stat : 10361 (java) S 10359 10359 16913 0 -1 1077944384 6482 0 0 0 64 4 0 0 20 0 27 0 4038328 14270386176 48151 33554432000 4194304 4196468 140723907233120 140580145964160 140580141733589 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10363] ppid=10359 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10363/stat : 10363 (java) S 10359 10359 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 27 0 4038328 14270386176 48151 33554432000 4194304 4196468 140723907233120 140580060204176 140580141733589 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10364] ppid=10359 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10364/stat : 10364 (java) S 10359 10359 16913 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 27 0 4038328 14270386176 48151 33554432000 4194304 4196468 140723907233120 140580059151376 140580141733589 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10365] ppid=10359 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10365/stat : 10365 (java) S 10359 10359 16913 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 27 0 4038328 14270386176 48151 33554432000 4194304 4196468 140723907233120 140580058098576 140580141733589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10366] ppid=10359 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10366/stat : 10366 (java) S 10359 10359 16913 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 27 0 4038328 14270386176 48151 33554432000 4194304 4196468 140723907233120 140580057045776 140580141733589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10367] ppid=10359 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10367/stat : 10367 (java) S 10359 10359 16913 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 27 0 4038328 14270386176 48151 33554432000 4194304 4196468 140723907233120 140580055992976 140580141733589 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10368] ppid=10359 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10368/stat : 10368 (java) S 10359 10359 16913 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 27 0 4038328 14270386176 48151 33554432000 4194304 4196468 140723907233120 140580054940176 140580141733589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10369] ppid=10359 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10369/stat : 10369 (java) S 10359 10359 16913 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 27 0 4038328 14270386176 48151 33554432000 4194304 4196468 140723907233120 140580053887376 140580141733589 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10370] ppid=10359 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10370/stat : 10370 (java) S 10359 10359 16913 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 27 0 4038328 14270386176 48151 33554432000 4194304 4196468 140723907233120 140580052834576 140580141733589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10371] ppid=10359 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10371/stat : 10371 (java) S 10359 10359 16913 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 27 0 4038331 14270386176 48151 33554432000 4194304 4196468 140723907233120 140578873654128 140580141734530 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10372] ppid=10359 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10372/stat : 10372 (java) S 10359 10359 16913 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 27 0 4038331 14270386176 48151 33554432000 4194304 4196468 140723907233120 140578872600096 140580141733589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10373] ppid=10359 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10373/stat : 10373 (java) S 10359 10359 16913 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 27 0 4038332 14270386176 48151 33554432000 4194304 4196468 140723907233120 140578871547248 140580141733589 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10374] ppid=10359 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10374/stat : 10374 (java) S 10359 10359 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 27 0 4038335 14270386176 48151 33554432000 4194304 4196468 140723907233120 140578870495568 140580141741979 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10375] ppid=10359 vsize=13935924 CPUtime=0.82 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10375/stat : 10375 (java) R 10359 10359 16913 0 -1 4202560 2455 0 0 0 82 0 0 0 20 0 27 0 4038335 14270386176 48151 33554432000 4194304 4196468 140723907233120 140578869429152 140580123245815 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10376] ppid=10359 vsize=13935924 CPUtime=0.76 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10376/stat : 10376 (java) R 10359 10359 16913 0 -1 4202560 2101 0 0 0 76 0 0 0 20 0 27 0 4038335 14270386176 48151 33554432000 4194304 4196468 140723907233120 140578868376288 140580125108110 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10377] ppid=10359 vsize=13935924 CPUtime=0.83 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10377/stat : 10377 (java) R 10359 10359 16913 0 -1 4202560 1673 0 0 0 82 1 0 0 20 0 27 0 4038335 14270386176 48151 33554432000 4194304 4196468 140723907233120 140578867323352 140580123266675 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10378] ppid=10359 vsize=13935924 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10378/stat : 10378 (java) S 10359 10359 16913 0 -1 1077944384 2508 0 0 0 64 1 0 0 20 0 27 0 4038335 14270386176 48151 33554432000 4194304 4196468 140723907233120 140578866284528 140580141734530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10379] ppid=10359 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10379/stat : 10379 (java) S 10359 10359 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 27 0 4038336 14270386176 48151 33554432000 4194304 4196468 140723907233120 140578865232992 140580141733589 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10380] ppid=10359 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10380/stat : 10380 (java) S 10359 10359 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 27 0 4038336 14270386176 48151 33554432000 4194304 4196468 140723907233120 140578864180272 140580141734530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
Current children cumulated CPU time (s) 7.56
Current children cumulated vsize (KiB) 13945436
[startup+3.10589 s]
/proc/loadavg: 15.14 15.74 15.54 22/303 10492
/proc/meminfo: memFree=31293228/32770624 swapFree=5900/257256
[pid=10359] ppid=10356 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10359/stat : 10359 (xcsp3-exec) S 10356 10359 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4038327 9740288 345 33554432000 4194304 5098028 140723262643184 140723262641288 140398912635516 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 20324352 140723262649486 140723262649696 140723262649696 140723262652395 0
/proc/10359/statm: 2378 345 289 221 0 87 0
[pid=10360] ppid=10359 vsize=13935924 CPUtime=20.28 cores=1,3,5,7,9,11,13,15
/proc/10360/stat : 10360 (java) S 10359 10359 16913 0 -1 1077944320 20047 0 0 0 2011 17 0 0 20 0 28 0 4038327 14270386176 51106 33554432000 4194304 4196468 140723907233120 140723907215664 140580141723383 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
/proc/10360/statm: 3483981 51106 3263 1 0 3471214 0
[pid=10360/tid=10361] ppid=10359 vsize=13935924 CPUtime=0.68 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10361/stat : 10361 (java) S 10359 10359 16913 0 -1 1077944384 6483 0 0 0 64 4 0 0 20 0 28 0 4038328 14270386176 51106 33554432000 4194304 4196468 140723907233120 140580145964160 140580141733589 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10363] ppid=10359 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10363/stat : 10363 (java) S 10359 10359 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4038328 14270386176 51106 33554432000 4194304 4196468 140723907233120 140580060204176 140580141733589 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10364] ppid=10359 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10364/stat : 10364 (java) S 10359 10359 16913 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 4038328 14270386176 51106 33554432000 4194304 4196468 140723907233120 140580059151376 140580141733589 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10365] ppid=10359 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10365/stat : 10365 (java) S 10359 10359 16913 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 4038328 14270386176 51106 33554432000 4194304 4196468 140723907233120 140580058098576 140580141733589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10366] ppid=10359 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10366/stat : 10366 (java) S 10359 10359 16913 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 4038328 14270386176 51106 33554432000 4194304 4196468 140723907233120 140580057045776 140580141733589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10367] ppid=10359 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10367/stat : 10367 (java) S 10359 10359 16913 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 4038328 14270386176 51106 33554432000 4194304 4196468 140723907233120 140580055992976 140580141733589 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10368] ppid=10359 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10368/stat : 10368 (java) S 10359 10359 16913 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 4038328 14270386176 51106 33554432000 4194304 4196468 140723907233120 140580054940176 140580141733589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10369] ppid=10359 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10369/stat : 10369 (java) S 10359 10359 16913 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 4038328 14270386176 51106 33554432000 4194304 4196468 140723907233120 140580053887376 140580141733589 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10370] ppid=10359 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10370/stat : 10370 (java) S 10359 10359 16913 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 4038328 14270386176 51106 33554432000 4194304 4196468 140723907233120 140580052834576 140580141733589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10371] ppid=10359 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10371/stat : 10371 (java) S 10359 10359 16913 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 4038331 14270386176 51106 33554432000 4194304 4196468 140723907233120 140578873654128 140580141734530 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10372] ppid=10359 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10372/stat : 10372 (java) S 10359 10359 16913 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4038331 14270386176 51106 33554432000 4194304 4196468 140723907233120 140578872600096 140580141733589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10373] ppid=10359 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10373/stat : 10373 (java) S 10359 10359 16913 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4038332 14270386176 51106 33554432000 4194304 4196468 140723907233120 140578871547248 140580141733589 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10374] ppid=10359 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10374/stat : 10374 (java) S 10359 10359 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4038335 14270386176 51106 33554432000 4194304 4196468 140723907233120 140578870495568 140580141741979 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10375] ppid=10359 vsize=13935924 CPUtime=1.97 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10375/stat : 10375 (java) S 10359 10359 16913 0 -1 1077944384 2827 0 0 0 196 1 0 0 20 0 28 0 4038335 14270386176 51106 33554432000 4194304 4196468 140723907233120 140578869442928 140580141734530 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10376] ppid=10359 vsize=13935924 CPUtime=1.92 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10376/stat : 10376 (java) S 10359 10359 16913 0 -1 1077944384 2294 0 0 0 192 0 0 0 20 0 28 0 4038335 14270386176 51106 33554432000 4194304 4196468 140723907233120 140578868390128 140580141734530 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10377] ppid=10359 vsize=13935924 CPUtime=2.09 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10377/stat : 10377 (java) S 10359 10359 16913 0 -1 1077944384 1871 0 0 0 207 2 0 0 20 0 28 0 4038335 14270386176 51106 33554432000 4194304 4196468 140723907233120 140578867337328 140580141734530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10378] ppid=10359 vsize=13935924 CPUtime=0.76 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10378/stat : 10378 (java) S 10359 10359 16913 0 -1 1077944384 2610 0 0 0 75 1 0 0 20 0 28 0 4038335 14270386176 51106 33554432000 4194304 4196468 140723907233120 140578866284528 140580141734530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10379] ppid=10359 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10379/stat : 10379 (java) S 10359 10359 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4038336 14270386176 51106 33554432000 4194304 4196468 140723907233120 140578865232992 140580141733589 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10380] ppid=10359 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10380/stat : 10380 (java) S 10359 10359 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4038336 14270386176 51106 33554432000 4194304 4196468 140723907233120 140578864180272 140580141734530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
Current children cumulated CPU time (s) 20.28
Current children cumulated vsize (KiB) 13945436
[startup+6.30165 s]
/proc/loadavg: 15.21 15.75 15.54 19/303 10524
/proc/meminfo: memFree=31266280/32770624 swapFree=5900/257256
[pid=10359] ppid=10356 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10359/stat : 10359 (xcsp3-exec) S 10356 10359 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4038327 9740288 345 33554432000 4194304 5098028 140723262643184 140723262641288 140398912635516 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 20324352 140723262649486 140723262649696 140723262649696 140723262652395 0
/proc/10359/statm: 2378 345 289 221 0 87 0
[pid=10360] ppid=10359 vsize=13935924 CPUtime=45.51 cores=1,3,5,7,9,11,13,15
/proc/10360/stat : 10360 (java) S 10359 10359 16913 0 -1 1077944320 28208 0 0 0 4523 28 0 0 20 0 28 0 4038327 14270386176 56361 33554432000 4194304 4196468 140723907233120 140723907215664 140580141723383 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
/proc/10360/statm: 3483981 56361 3275 1 0 3471214 0
[pid=10360/tid=10361] ppid=10359 vsize=13935924 CPUtime=0.68 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10361/stat : 10361 (java) S 10359 10359 16913 0 -1 1077944384 6483 0 0 0 64 4 0 0 20 0 28 0 4038328 14270386176 56361 33554432000 4194304 4196468 140723907233120 140580145964160 140580141733589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10363] ppid=10359 vsize=13935924 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10363/stat : 10363 (java) S 10359 10359 16913 0 -1 1077944384 58 0 0 0 0 1 0 0 20 0 28 0 4038328 14270386176 56361 33554432000 4194304 4196468 140723907233120 140580060204176 140580141733589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10364] ppid=10359 vsize=13935924 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10364/stat : 10364 (java) S 10359 10359 16913 0 -1 1077944384 111 0 0 0 0 1 0 0 20 0 28 0 4038328 14270386176 56361 33554432000 4194304 4196468 140723907233120 140580059151376 140580141733589 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10365] ppid=10359 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10365/stat : 10365 (java) S 10359 10359 16913 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 28 0 4038328 14270386176 56361 33554432000 4194304 4196468 140723907233120 140580058098576 140580141733589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10366] ppid=10359 vsize=13935924 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10366/stat : 10366 (java) S 10359 10359 16913 0 -1 1077944384 116 0 0 0 0 1 0 0 20 0 28 0 4038328 14270386176 56361 33554432000 4194304 4196468 140723907233120 140580057045776 140580141733589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10367] ppid=10359 vsize=13935924 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10367/stat : 10367 (java) S 10359 10359 16913 0 -1 1077944384 20 0 0 0 0 1 0 0 20 0 28 0 4038328 14270386176 56361 33554432000 4194304 4196468 140723907233120 140580055992976 140580141733589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10368] ppid=10359 vsize=13935924 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10368/stat : 10368 (java) S 10359 10359 16913 0 -1 1077944384 54 0 0 0 1 1 0 0 20 0 28 0 4038328 14270386176 56361 33554432000 4194304 4196468 140723907233120 140580054940176 140580141733589 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10369] ppid=10359 vsize=13935924 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10369/stat : 10369 (java) S 10359 10359 16913 0 -1 1077944384 95 0 0 0 0 1 0 0 20 0 28 0 4038328 14270386176 56361 33554432000 4194304 4196468 140723907233120 140580053887376 140580141733589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10370] ppid=10359 vsize=13935924 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10370/stat : 10370 (java) S 10359 10359 16913 0 -1 1077944384 21 0 0 0 0 1 0 0 20 0 28 0 4038328 14270386176 56361 33554432000 4194304 4196468 140723907233120 140580052834576 140580141733589 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10371] ppid=10359 vsize=13935924 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10371/stat : 10371 (java) S 10359 10359 16913 0 -1 1077944384 120 0 0 0 1 0 0 0 20 0 28 0 4038331 14270386176 56361 33554432000 4194304 4196468 140723907233120 140578873654128 140580141734530 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10372] ppid=10359 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10372/stat : 10372 (java) S 10359 10359 16913 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4038331 14270386176 56361 33554432000 4194304 4196468 140723907233120 140578872600160 140580141733589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10373] ppid=10359 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10373/stat : 10373 (java) S 10359 10359 16913 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4038332 14270386176 56361 33554432000 4194304 4196468 140723907233120 140578871547264 140580141733589 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10374] ppid=10359 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10374/stat : 10374 (java) S 10359 10359 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4038335 14270386176 56361 33554432000 4194304 4196468 140723907233120 140578870495568 140580141741979 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
################
# More data... #
################
[pid=10360/tid=10531] ppid=10359 vsize=13935924 CPUtime=269.44 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10531/stat : 10531 (java) R 10359 10359 16913 0 -1 4202560 6318 0 0 0 26940 4 0 0 20 0 28 0 4039098 14270386176 125830 33554432000 4194304 4196468 140723907233120 140578855116128 140579740465344 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10532] ppid=10359 vsize=13935924 CPUtime=269.13 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10532/stat : 10532 (java) R 10359 10359 16913 0 -1 4202560 1071 0 0 0 26910 3 0 0 20 0 28 0 4039099 14270386176 125830 33554432000 4194304 4196468 140723907233120 140578848796888 140579737212908 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
Current children cumulated CPU time (s) 2222.19
Current children cumulated vsize (KiB) 13945436
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+304.902 s]
/proc/loadavg: 15.89 15.96 15.70 17/303 10791
/proc/meminfo: memFree=30807816/32770624 swapFree=5900/257636
[pid=10359] ppid=10356 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10359/stat : 10359 (xcsp3-exec) S 10356 10359 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4038327 9740288 345 33554432000 4194304 5098028 140723262643184 140723262641288 140398912635516 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 20324352 140723262649486 140723262649696 140723262649696 140723262652395 0
/proc/10359/statm: 2378 345 289 221 0 87 0
[pid=10360] ppid=10359 vsize=13935924 CPUtime=2400.54 cores=1,3,5,7,9,11,13,15
/proc/10360/stat : 10360 (java) S 10359 10359 16913 0 -1 1077944320 90992 0 0 0 239720 334 0 0 20 0 28 0 4038327 14270386176 91069 33554432000 4194304 4196468 140723907233120 140723907215664 140580141723383 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
/proc/10360/statm: 3483981 91069 3295 1 0 3471214 0
[pid=10360/tid=10361] ppid=10359 vsize=13935924 CPUtime=0.68 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10361/stat : 10361 (java) S 10359 10359 16913 0 -1 1077944384 6566 0 0 0 64 4 0 0 20 0 28 0 4038328 14270386176 91069 33554432000 4194304 4196468 140723907233120 140580145964160 140580141733589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10363] ppid=10359 vsize=13935924 CPUtime=1.43 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10363/stat : 10363 (java) S 10359 10359 16913 0 -1 1077944384 1793 0 0 0 124 19 0 0 20 0 28 0 4038328 14270386176 91069 33554432000 4194304 4196468 140723907233120 140580060204176 140580141733589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10364] ppid=10359 vsize=13935924 CPUtime=1.47 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10364/stat : 10364 (java) S 10359 10359 16913 0 -1 1077944384 2205 0 0 0 125 22 0 0 20 0 28 0 4038328 14270386176 91069 33554432000 4194304 4196468 140723907233120 140580059151376 140580141733589 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10365] ppid=10359 vsize=13935924 CPUtime=1.44 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10365/stat : 10365 (java) S 10359 10359 16913 0 -1 1077944384 3217 0 0 0 124 20 0 0 20 0 28 0 4038328 14270386176 91069 33554432000 4194304 4196468 140723907233120 140580058098576 140580141733589 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10366] ppid=10359 vsize=13935924 CPUtime=1.43 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10366/stat : 10366 (java) S 10359 10359 16913 0 -1 1077944384 3097 0 0 0 124 19 0 0 20 0 28 0 4038328 14270386176 91069 33554432000 4194304 4196468 140723907233120 140580057045776 140580141733589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10367] ppid=10359 vsize=13935924 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10367/stat : 10367 (java) S 10359 10359 16913 0 -1 1077944384 1844 0 0 0 122 20 0 0 20 0 28 0 4038328 14270386176 91069 33554432000 4194304 4196468 140723907233120 140580055992976 140580141733589 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10368] ppid=10359 vsize=13935924 CPUtime=1.43 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10368/stat : 10368 (java) S 10359 10359 16913 0 -1 1077944384 2207 0 0 0 122 21 0 0 20 0 28 0 4038328 14270386176 91069 33554432000 4194304 4196468 140723907233120 140580054940176 140580141733589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10369] ppid=10359 vsize=13935924 CPUtime=1.45 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10369/stat : 10369 (java) S 10359 10359 16913 0 -1 1077944384 1232 0 0 0 126 19 0 0 20 0 28 0 4038328 14270386176 91069 33554432000 4194304 4196468 140723907233120 140580053887376 140580141733589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10370] ppid=10359 vsize=13935924 CPUtime=1.4 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10370/stat : 10370 (java) S 10359 10359 16913 0 -1 1077944384 1655 0 0 0 120 20 0 0 20 0 28 0 4038328 14270386176 91069 33554432000 4194304 4196468 140723907233120 140580052834576 140580141733589 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10371] ppid=10359 vsize=13935924 CPUtime=2.25 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10371/stat : 10371 (java) S 10359 10359 16913 0 -1 1077944384 9572 0 0 0 98 127 0 0 20 0 28 0 4038331 14270386176 91069 33554432000 4194304 4196468 140723907233120 140578873654128 140580141734530 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10372] ppid=10359 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10372/stat : 10372 (java) S 10359 10359 16913 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4038331 14270386176 91069 33554432000 4194304 4196468 140723907233120 140578872600160 140580141733589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10373] ppid=10359 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10373/stat : 10373 (java) S 10359 10359 16913 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4038332 14270386176 91069 33554432000 4194304 4196468 140723907233120 140578871547264 140580141733589 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10374] ppid=10359 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10374/stat : 10374 (java) S 10359 10359 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4038335 14270386176 91069 33554432000 4194304 4196468 140723907233120 140578870495568 140580141741979 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10375] ppid=10359 vsize=13935924 CPUtime=3.01 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10375/stat : 10375 (java) S 10359 10359 16913 0 -1 1077944384 9195 0 0 0 299 2 0 0 20 0 28 0 4038335 14270386176 91069 33554432000 4194304 4196468 140723907233120 140578869442928 140580141734530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10376] ppid=10359 vsize=13935924 CPUtime=3.07 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10376/stat : 10376 (java) S 10359 10359 16913 0 -1 1077944384 10020 0 0 0 306 1 0 0 20 0 28 0 4038335 14270386176 91069 33554432000 4194304 4196468 140723907233120 140578868390128 140580141734530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10377] ppid=10359 vsize=13935924 CPUtime=2.9 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10377/stat : 10377 (java) S 10359 10359 16913 0 -1 1077944384 5277 0 0 0 287 3 0 0 20 0 28 0 4038335 14270386176 91069 33554432000 4194304 4196468 140723907233120 140578867337328 140580141734530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10378] ppid=10359 vsize=13935924 CPUtime=0.94 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10378/stat : 10378 (java) S 10359 10359 16913 0 -1 1077944384 4915 0 0 0 93 1 0 0 20 0 28 0 4038335 14270386176 91069 33554432000 4194304 4196468 140723907233120 140578866284528 140580141734530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10379] ppid=10359 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10379/stat : 10379 (java) S 10359 10359 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4038336 14270386176 91069 33554432000 4194304 4196468 140723907233120 140578865232992 140580141733589 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10380] ppid=10359 vsize=13935924 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10380/stat : 10380 (java) S 10359 10359 16913 0 -1 1077944384 604 0 0 0 7 5 0 0 20 0 28 0 4038336 14270386176 91069 33554432000 4194304 4196468 140723907233120 140578864180272 140580141734530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10525] ppid=10359 vsize=13935924 CPUtime=290.91 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10525/stat : 10525 (java) R 10359 10359 16913 0 -1 4202560 2374 0 0 0 29089 2 0 0 20 0 28 0 4039098 14270386176 91069 33554432000 4194304 4196468 140723907233120 140578853006744 140579736918702 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10526] ppid=10359 vsize=13935924 CPUtime=290.95 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10526/stat : 10526 (java) R 10359 10359 16913 0 -1 4202560 1478 0 0 0 29094 1 0 0 20 0 28 0 4039098 14270386176 91069 33554432000 4194304 4196468 140723907233120 140578851955032 140579737212908 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10527] ppid=10359 vsize=13935924 CPUtime=291.21 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10527/stat : 10527 (java) R 10359 10359 16913 0 -1 4202560 3231 0 0 0 29120 1 0 0 20 0 28 0 4039098 14270386176 91069 33554432000 4194304 4196468 140723907233120 140578846691440 140579740344814 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10528] ppid=10359 vsize=13935924 CPUtime=291.55 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10528/stat : 10528 (java) R 10359 10359 16913 0 -1 4202560 3156 0 0 0 29153 2 0 0 20 0 28 0 4039098 14270386176 91069 33554432000 4194304 4196468 140723907233120 140578849849368 140579738441567 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10529] ppid=10359 vsize=13935924 CPUtime=291.1 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10529/stat : 10529 (java) R 10359 10359 16913 0 -1 4202560 3176 0 0 0 29108 2 0 0 20 0 28 0 4039098 14270386176 91069 33554432000 4194304 4196468 140723907233120 140578845638424 140579736919069 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10530] ppid=10359 vsize=13935924 CPUtime=290.97 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10530/stat : 10530 (java) R 10359 10359 16913 0 -1 4202560 508 0 0 0 29095 2 0 0 20 0 28 0 4039098 14270386176 91069 33554432000 4194304 4196468 140723907233120 140578850901912 140579737726759 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10531] ppid=10359 vsize=13935924 CPUtime=291.65 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10531/stat : 10531 (java) R 10359 10359 16913 0 -1 4202560 6993 0 0 0 29161 4 0 0 20 0 28 0 4039098 14270386176 91069 33554432000 4194304 4196468 140723907233120 140578855113496 140579737212831 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10532] ppid=10359 vsize=13935924 CPUtime=291.13 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10532/stat : 10532 (java) R 10359 10359 16913 0 -1 4202560 1082 0 0 0 29110 3 0 0 20 0 28 0 4039099 14270386176 91069 33554432000 4194304 4196468 140723907233120 140578848800000 140579736919044 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
Current children cumulated CPU time (s) 2400.54
Current children cumulated vsize (KiB) 13945436
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 10360 sig 9
??? kill 10359 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+304.902 s]
/proc/loadavg: 15.89 15.96 15.70 17/303 10791
/proc/meminfo: memFree=30807816/32770624 swapFree=5900/257636
[pid=10359] ppid=10356 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10359/stat : 10359 (xcsp3-exec) S 10356 10359 16913 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4038327 9740288 345 33554432000 4194304 5098028 140723262643184 140723262641288 140398912635516 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 20324352 140723262649486 140723262649696 140723262649696 140723262652395 0
/proc/10359/statm: 2378 345 289 221 0 87 0
[pid=10360] ppid=10359 vsize=13935924 CPUtime=2400.54 cores=1,3,5,7,9,11,13,15
/proc/10360/stat : 10360 (java) S 10359 10359 16913 0 -1 1077944320 90992 0 0 0 239720 334 0 0 20 0 28 0 4038327 14270386176 91069 33554432000 4194304 4196468 140723907233120 140723907215664 140580141723383 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
/proc/10360/statm: 3483981 91069 3295 1 0 3471214 0
[pid=10360/tid=10361] ppid=10359 vsize=13935924 CPUtime=0.68 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10361/stat : 10361 (java) S 10359 10359 16913 0 -1 1077944384 6566 0 0 0 64 4 0 0 20 0 28 0 4038328 14270386176 91069 33554432000 4194304 4196468 140723907233120 140580145964160 140580141733589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10363] ppid=10359 vsize=13935924 CPUtime=1.43 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10363/stat : 10363 (java) S 10359 10359 16913 0 -1 1077944384 1793 0 0 0 124 19 0 0 20 0 28 0 4038328 14270386176 91069 33554432000 4194304 4196468 140723907233120 140580060204176 140580141733589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10364] ppid=10359 vsize=13935924 CPUtime=1.47 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10364/stat : 10364 (java) S 10359 10359 16913 0 -1 1077944384 2205 0 0 0 125 22 0 0 20 0 28 0 4038328 14270386176 91069 33554432000 4194304 4196468 140723907233120 140580059151376 140580141733589 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10365] ppid=10359 vsize=13935924 CPUtime=1.44 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10365/stat : 10365 (java) S 10359 10359 16913 0 -1 1077944384 3217 0 0 0 124 20 0 0 20 0 28 0 4038328 14270386176 91069 33554432000 4194304 4196468 140723907233120 140580058098576 140580141733589 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10366] ppid=10359 vsize=13935924 CPUtime=1.43 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10366/stat : 10366 (java) S 10359 10359 16913 0 -1 1077944384 3097 0 0 0 124 19 0 0 20 0 28 0 4038328 14270386176 91069 33554432000 4194304 4196468 140723907233120 140580057045776 140580141733589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10367] ppid=10359 vsize=13935924 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10367/stat : 10367 (java) S 10359 10359 16913 0 -1 1077944384 1844 0 0 0 122 20 0 0 20 0 28 0 4038328 14270386176 91069 33554432000 4194304 4196468 140723907233120 140580055992976 140580141733589 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10368] ppid=10359 vsize=13935924 CPUtime=1.43 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10368/stat : 10368 (java) S 10359 10359 16913 0 -1 1077944384 2207 0 0 0 122 21 0 0 20 0 28 0 4038328 14270386176 91069 33554432000 4194304 4196468 140723907233120 140580054940176 140580141733589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10369] ppid=10359 vsize=13935924 CPUtime=1.45 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10369/stat : 10369 (java) S 10359 10359 16913 0 -1 1077944384 1232 0 0 0 126 19 0 0 20 0 28 0 4038328 14270386176 91069 33554432000 4194304 4196468 140723907233120 140580053887376 140580141733589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10370] ppid=10359 vsize=13935924 CPUtime=1.4 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10370/stat : 10370 (java) S 10359 10359 16913 0 -1 1077944384 1655 0 0 0 120 20 0 0 20 0 28 0 4038328 14270386176 91069 33554432000 4194304 4196468 140723907233120 140580052834576 140580141733589 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10371] ppid=10359 vsize=13935924 CPUtime=2.25 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10371/stat : 10371 (java) S 10359 10359 16913 0 -1 1077944384 9572 0 0 0 98 127 0 0 20 0 28 0 4038331 14270386176 91069 33554432000 4194304 4196468 140723907233120 140578873654128 140580141734530 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10372] ppid=10359 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10372/stat : 10372 (java) S 10359 10359 16913 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4038331 14270386176 91069 33554432000 4194304 4196468 140723907233120 140578872600160 140580141733589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10373] ppid=10359 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10373/stat : 10373 (java) S 10359 10359 16913 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4038332 14270386176 91069 33554432000 4194304 4196468 140723907233120 140578871547264 140580141733589 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10374] ppid=10359 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10374/stat : 10374 (java) S 10359 10359 16913 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4038335 14270386176 91069 33554432000 4194304 4196468 140723907233120 140578870495568 140580141741979 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10375] ppid=10359 vsize=13935924 CPUtime=3.01 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10375/stat : 10375 (java) S 10359 10359 16913 0 -1 1077944384 9195 0 0 0 299 2 0 0 20 0 28 0 4038335 14270386176 91069 33554432000 4194304 4196468 140723907233120 140578869442928 140580141734530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10376] ppid=10359 vsize=13935924 CPUtime=3.07 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10376/stat : 10376 (java) S 10359 10359 16913 0 -1 1077944384 10020 0 0 0 306 1 0 0 20 0 28 0 4038335 14270386176 91069 33554432000 4194304 4196468 140723907233120 140578868390128 140580141734530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10377] ppid=10359 vsize=13935924 CPUtime=2.9 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10377/stat : 10377 (java) S 10359 10359 16913 0 -1 1077944384 5277 0 0 0 287 3 0 0 20 0 28 0 4038335 14270386176 91069 33554432000 4194304 4196468 140723907233120 140578867337328 140580141734530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10378] ppid=10359 vsize=13935924 CPUtime=0.94 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10378/stat : 10378 (java) S 10359 10359 16913 0 -1 1077944384 4915 0 0 0 93 1 0 0 20 0 28 0 4038335 14270386176 91069 33554432000 4194304 4196468 140723907233120 140578866284528 140580141734530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10379] ppid=10359 vsize=13935924 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10379/stat : 10379 (java) S 10359 10359 16913 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4038336 14270386176 91069 33554432000 4194304 4196468 140723907233120 140578865232992 140580141733589 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10380] ppid=10359 vsize=13935924 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10380/stat : 10380 (java) S 10359 10359 16913 0 -1 1077944384 604 0 0 0 7 5 0 0 20 0 28 0 4038336 14270386176 91069 33554432000 4194304 4196468 140723907233120 140578864180272 140580141734530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10525] ppid=10359 vsize=13935924 CPUtime=290.91 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10525/stat : 10525 (java) R 10359 10359 16913 0 -1 4202560 2374 0 0 0 29089 2 0 0 20 0 28 0 4039098 14270386176 91069 33554432000 4194304 4196468 140723907233120 140578853006744 140579736918702 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10526] ppid=10359 vsize=13935924 CPUtime=290.95 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10526/stat : 10526 (java) R 10359 10359 16913 0 -1 4202560 1478 0 0 0 29094 1 0 0 20 0 28 0 4039098 14270386176 91069 33554432000 4194304 4196468 140723907233120 140578851955032 140579737212908 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10527] ppid=10359 vsize=13935924 CPUtime=291.21 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10527/stat : 10527 (java) R 10359 10359 16913 0 -1 4202560 3231 0 0 0 29120 1 0 0 20 0 28 0 4039098 14270386176 91069 33554432000 4194304 4196468 140723907233120 140578846691440 140579740344814 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10528] ppid=10359 vsize=13935924 CPUtime=291.55 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10528/stat : 10528 (java) R 10359 10359 16913 0 -1 4202560 3156 0 0 0 29153 2 0 0 20 0 28 0 4039098 14270386176 91069 33554432000 4194304 4196468 140723907233120 140578849849368 140579738441567 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10529] ppid=10359 vsize=13935924 CPUtime=291.1 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10529/stat : 10529 (java) R 10359 10359 16913 0 -1 4202560 3176 0 0 0 29108 2 0 0 20 0 28 0 4039098 14270386176 91069 33554432000 4194304 4196468 140723907233120 140578845638424 140579736919069 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10530] ppid=10359 vsize=13935924 CPUtime=290.97 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10530/stat : 10530 (java) R 10359 10359 16913 0 -1 4202560 508 0 0 0 29095 2 0 0 20 0 28 0 4039098 14270386176 91069 33554432000 4194304 4196468 140723907233120 140578850901912 140579737726759 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10531] ppid=10359 vsize=13935924 CPUtime=291.65 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10531/stat : 10531 (java) R 10359 10359 16913 0 -1 4202560 6993 0 0 0 29161 4 0 0 20 0 28 0 4039098 14270386176 91069 33554432000 4194304 4196468 140723907233120 140578855113496 140579737212831 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
[pid=10360/tid=10532] ppid=10359 vsize=13935924 CPUtime=291.13 cores=1,3,5,7,9,11,13,15
/proc/10360/task/10532/stat : 10532 (java) R 10359 10359 16913 0 -1 4202560 1082 0 0 0 29110 3 0 0 20 0 28 0 4039099 14270386176 91069 33554432000 4194304 4196468 140723907233120 140578848800000 140579736919044 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 19406848 140723907241148 140723907241324 140723907241324 140723907243983 0
Current children cumulated CPU time (s) 2400.54
Current children cumulated vsize (KiB) 13945436
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10359 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1332
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1332
# CPU time returned by wait4() is 0.002664
# while last known CPU time is 2400.54
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 304.912
CPU time (s): 2400.54
CPU user time (s): 2397.2
CPU system time (s): 3.34
CPU usage (%): 787.288
Max. virtual memory (cumulated for all children) (KiB): 13945436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001332
system time used= 0.001332
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= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.76628 second user time and 4.63969 second system time
The end