runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (11309 MiB free)
memory of node 1: 16384 MiB (15345 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393076-1568316170/watcher-4393076-1568316170 -o /tmp/evaluation-result-4393076-1568316170/solver-4393076-1568316170 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568309633-14094 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 322663734 HOME/instance-4393076-1568316170.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=16864, runsolver pid=16861
[startup+0.100058 s]*
/proc/loadavg: 7.81 8.34 8.04 7/233 16880
/proc/meminfo: memFree=27276540/32770624 swapFree=66996236/67108860
[pid=16864] ppid=16861 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16864/stat : 16864 (xcsp3-exec) S 16861 16864 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407871734 115843072 362 33554432000 4194304 5098028 140729839600096 140729839598200 139660017259132 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25067520 140729839608699 140729839608941 140729839608941 140729839611850 0
/proc/16864/statm: 28282 362 304 221 0 87 0
[pid=16866] ppid=16864 vsize=15144768 memory=31984 CPUtime=0.13 cores=1,3,5,7
/proc/16866/stat : 16866 (java) S 16864 16864 14062 0 -1 1077944320 5374 0 0 0 11 2 0 0 20 0 15 0 407871734 15508242432 7996 33554432000 4194304 4196468 140726751418288 140726751400832 140350575451895 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
/proc/16866/statm: 3786192 7996 3153 1 0 3748377 0
[pid=16866/tid=16867] ppid=16864 vsize=15144768 memory=-2698087569006908830 CPUtime=0.09 cores=1,3,5,7
/proc/16866/task/16867/stat : 16867 (java) R 16864 16864 14062 0 -1 4202560 3294 0 0 0 8 1 0 0 20 0 15 0 407871734 15508242432 7996 33554432000 4194304 4196468 140726751418288 140350579684688 140350575463830 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
[pid=16866/tid=16868] ppid=16864 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/16866/task/16868/stat : 16868 (java) S 16864 16864 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407871735 15508242432 7996 33554432000 4194304 4196468 140726751418288 140350540733328 140350575462101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
[pid=16866/tid=16869] ppid=16864 vsize=15144768 memory=139891992102528 CPUtime=0 cores=1,3,5,7
/proc/16866/task/16869/stat : 16869 (java) S 16864 16864 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407871735 15508242432 7996 33554432000 4194304 4196468 140726751418288 140350166248208 140350575462101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
[pid=16866/tid=16870] ppid=16864 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16866/task/16870/stat : 16870 (java) S 16864 16864 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407871735 15508242432 7996 33554432000 4194304 4196468 140726751418288 140350165195920 140350575462101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
[pid=16866/tid=16871] ppid=16864 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16866/task/16871/stat : 16871 (java) S 16864 16864 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407871735 15508242432 7996 33554432000 4194304 4196468 140726751418288 140350164143120 140350575462101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
[pid=16866/tid=16872] ppid=16864 vsize=15144768 memory=139891992102528 CPUtime=0 cores=1,3,5,7
/proc/16866/task/16872/stat : 16872 (java) S 16864 16864 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407871736 15508242432 7996 33554432000 4194304 4196468 140726751418288 140349909805168 140350575463042 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
[pid=16866/tid=16873] ppid=16864 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16866/task/16873/stat : 16873 (java) S 16864 16864 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407871737 15508242432 7996 33554432000 4194304 4196468 140726751418288 140349908751136 140350575462101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
[pid=16866/tid=16874] ppid=16864 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16866/task/16874/stat : 16874 (java) S 16864 16864 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407871737 15508242432 7996 33554432000 4194304 4196468 140726751418288 140349907698800 140350575462101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
[pid=16866/tid=16875] ppid=16864 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16866/task/16875/stat : 16875 (java) S 16864 16864 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407871739 15508242432 7996 33554432000 4194304 4196468 140726751418288 140349906647120 140350575470491 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
[pid=16866/tid=16876] ppid=16864 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16866/task/16876/stat : 16876 (java) S 16864 16864 14062 0 -1 1077944384 414 0 0 0 0 0 0 0 20 0 15 0 407871739 15508242432 7996 33554432000 4194304 4196468 140726751418288 140349905594992 140350575463042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
[pid=16866/tid=16877] ppid=16864 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16866/task/16877/stat : 16877 (java) S 16864 16864 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407871739 15508242432 7996 33554432000 4194304 4196468 140726751418288 140349904542192 140350575463042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
[pid=16866/tid=16878] ppid=16864 vsize=15144768 memory=139891992102528 CPUtime=0.02 cores=1,3,5,7
/proc/16866/task/16878/stat : 16878 (java) R 16864 16864 14062 0 -1 4202560 360 0 0 0 2 0 0 0 20 0 15 0 407871739 15508242432 7996 33554432000 4194304 4196468 140726751418288 140349903489904 140350575463830 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
[pid=16866/tid=16879] ppid=16864 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16866/task/16879/stat : 16879 (java) S 16864 16864 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407871740 15508242432 7996 33554432000 4194304 4196468 140726751418288 140349902437344 140350575462101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
[pid=16866/tid=16880] ppid=16864 vsize=15144768 memory=139891992102528 CPUtime=0 cores=1,3,5,7
/proc/16866/task/16880/stat : 16880 (java) S 16864 16864 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407871740 15508242432 7996 33554432000 4194304 4196468 140726751418288 140349901384112 140350575463042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 33432 KiB
[startup+0.210665 s]*
/proc/loadavg: 7.81 8.34 8.04 6/233 16880
/proc/meminfo: memFree=27264180/32770624 swapFree=66996236/67108860
[pid=16864] ppid=16861 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16864/stat : 16864 (xcsp3-exec) S 16861 16864 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407871734 115843072 362 33554432000 4194304 5098028 140729839600096 140729839598200 139660017259132 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25067520 140729839608699 140729839608941 140729839608941 140729839611850 0
/proc/16864/statm: 28282 362 304 221 0 87 0
[pid=16866] ppid=16864 vsize=15144768 memory=42360 CPUtime=0.34 cores=1,3,5,7
/proc/16866/stat : 16866 (java) S 16864 16864 14062 0 -1 1077944320 8796 0 0 0 31 3 0 0 20 0 15 0 407871734 15508242432 10590 33554432000 4194304 4196468 140726751418288 140726751400832 140350575451895 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
/proc/16866/statm: 3786192 10590 3286 1 0 3748377 0
[pid=16866/tid=16867] ppid=16864 vsize=15144768 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/16866/task/16867/stat : 16867 (java) R 16864 16864 14062 0 -1 4202560 6095 0 0 0 17 2 0 0 20 0 15 0 407871734 15508242432 10590 33554432000 4194304 4196468 140726751418288 140350579685344 140350575463830 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
[pid=16866/tid=16868] ppid=16864 vsize=15144768 memory=2670165 CPUtime=0 cores=1,3,5,7
/proc/16866/task/16868/stat : 16868 (java) S 16864 16864 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407871735 15508242432 10590 33554432000 4194304 4196468 140726751418288 140350540733328 140350575462101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
[pid=16866/tid=16869] ppid=16864 vsize=15144768 memory=2854497 CPUtime=0 cores=1,3,5,7
/proc/16866/task/16869/stat : 16869 (java) S 16864 16864 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407871735 15508242432 10590 33554432000 4194304 4196468 140726751418288 140350166248208 140350575462101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
[pid=16866/tid=16870] ppid=16864 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16866/task/16870/stat : 16870 (java) S 16864 16864 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407871735 15508242432 10590 33554432000 4194304 4196468 140726751418288 140350165195920 140350575462101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
[pid=16866/tid=16871] ppid=16864 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16866/task/16871/stat : 16871 (java) S 16864 16864 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407871735 15508242432 10590 33554432000 4194304 4196468 140726751418288 140350164143120 140350575462101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
[pid=16866/tid=16872] ppid=16864 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16866/task/16872/stat : 16872 (java) S 16864 16864 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407871736 15508242432 10590 33554432000 4194304 4196468 140726751418288 140349909805168 140350575463042 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
[pid=16866/tid=16873] ppid=16864 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16866/task/16873/stat : 16873 (java) S 16864 16864 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407871737 15508242432 10590 33554432000 4194304 4196468 140726751418288 140349908751136 140350575462101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
[pid=16866/tid=16874] ppid=16864 vsize=15144768 memory=139891992102528 CPUtime=0 cores=1,3,5,7
/proc/16866/task/16874/stat : 16874 (java) S 16864 16864 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407871737 15508242432 10590 33554432000 4194304 4196468 140726751418288 140349907698800 140350575462101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
[pid=16866/tid=16875] ppid=16864 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16866/task/16875/stat : 16875 (java) S 16864 16864 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407871739 15508242432 10590 33554432000 4194304 4196468 140726751418288 140349906647120 140350575470491 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
[pid=16866/tid=16876] ppid=16864 vsize=15144768 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/16866/task/16876/stat : 16876 (java) S 16864 16864 14062 0 -1 1077944384 437 0 0 0 1 0 0 0 20 0 15 0 407871739 15508242432 10590 33554432000 4194304 4196468 140726751418288 140349905594992 140350575463042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
[pid=16866/tid=16877] ppid=16864 vsize=15144768 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/16866/task/16877/stat : 16877 (java) S 16864 16864 14062 0 -1 1077944384 181 0 0 0 3 0 0 0 20 0 15 0 407871739 15508242432 10590 33554432000 4194304 4196468 140726751418288 140349904542192 140350575463042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
[pid=16866/tid=16878] ppid=16864 vsize=15144768 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/16866/task/16878/stat : 16878 (java) R 16864 16864 14062 0 -1 4202560 777 0 0 0 8 0 0 0 20 0 15 0 407871739 15508242432 10590 33554432000 4194304 4196468 140726751418288 140349903489712 140350554409729 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
[pid=16866/tid=16879] ppid=16864 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16866/task/16879/stat : 16879 (java) S 16864 16864 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407871740 15508242432 10590 33554432000 4194304 4196468 140726751418288 140349902437344 140350575462101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
[pid=16866/tid=16880] ppid=16864 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16866/task/16880/stat : 16880 (java) S 16864 16864 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407871740 15508242432 10590 33554432000 4194304 4196468 140726751418288 140349901384112 140350575463042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 43808 KiB
[startup+0.319518 s]*
/proc/loadavg: 7.81 8.34 8.04 7/233 16880
/proc/meminfo: memFree=27257260/32770624 swapFree=66996236/67108860
[pid=16864] ppid=16861 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16864/stat : 16864 (xcsp3-exec) S 16861 16864 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407871734 115843072 362 33554432000 4194304 5098028 140729839600096 140729839598200 139660017259132 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25067520 140729839608699 140729839608941 140729839608941 140729839611850 0
/proc/16864/statm: 28282 362 304 221 0 87 0
[pid=16866] ppid=16864 vsize=15149024 memory=51628 CPUtime=0.55 cores=1,3,5,7
/proc/16866/stat : 16866 (java) S 16864 16864 14062 0 -1 1077944320 10310 0 0 0 50 5 0 0 20 0 15 0 407871734 15512600576 12907 33554432000 4194304 4196468 140726751418288 140726751400832 140350575451895 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
/proc/16866/statm: 3787256 12907 3358 1 0 3748377 0
[pid=16866/tid=16867] ppid=16864 vsize=15149024 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/16866/task/16867/stat : 16867 (java) R 16864 16864 14062 0 -1 4202560 7301 0 0 0 27 3 0 0 20 0 15 0 407871734 15512600576 12907 33554432000 4194304 4196468 140726751418288 140350579685664 140350559532382 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
[pid=16866/tid=16868] ppid=16864 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16866/task/16868/stat : 16868 (java) S 16864 16864 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407871735 15512600576 12907 33554432000 4194304 4196468 140726751418288 140350540733328 140350575462101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
[pid=16866/tid=16869] ppid=16864 vsize=15149024 memory=2856532 CPUtime=0 cores=1,3,5,7
/proc/16866/task/16869/stat : 16869 (java) S 16864 16864 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407871735 15512600576 12907 33554432000 4194304 4196468 140726751418288 140350166248208 140350575462101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
[pid=16866/tid=16870] ppid=16864 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16866/task/16870/stat : 16870 (java) S 16864 16864 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407871735 15512600576 12907 33554432000 4194304 4196468 140726751418288 140350165195920 140350575462101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
[pid=16866/tid=16871] ppid=16864 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16866/task/16871/stat : 16871 (java) S 16864 16864 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407871735 15512600576 12907 33554432000 4194304 4196468 140726751418288 140350164143120 140350575462101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
[pid=16866/tid=16872] ppid=16864 vsize=15149024 memory=139891992102528 CPUtime=0 cores=1,3,5,7
/proc/16866/task/16872/stat : 16872 (java) S 16864 16864 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407871736 15512600576 12907 33554432000 4194304 4196468 140726751418288 140349909805168 140350575463042 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
[pid=16866/tid=16873] ppid=16864 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16866/task/16873/stat : 16873 (java) S 16864 16864 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407871737 15512600576 12907 33554432000 4194304 4196468 140726751418288 140349908751136 140350575462101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
[pid=16866/tid=16874] ppid=16864 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16866/task/16874/stat : 16874 (java) S 16864 16864 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407871737 15512600576 12907 33554432000 4194304 4196468 140726751418288 140349907698800 140350575462101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
[pid=16866/tid=16875] ppid=16864 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16866/task/16875/stat : 16875 (java) S 16864 16864 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407871739 15512600576 12907 33554432000 4194304 4196468 140726751418288 140349906647120 140350575470491 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
[pid=16866/tid=16876] ppid=16864 vsize=15149024 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/16866/task/16876/stat : 16876 (java) S 16864 16864 14062 0 -1 1077944384 564 0 0 0 4 0 0 0 20 0 15 0 407871739 15512600576 12907 33554432000 4194304 4196468 140726751418288 140349905594992 140350575463042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
[pid=16866/tid=16877] ppid=16864 vsize=15149024 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/16866/task/16877/stat : 16877 (java) S 16864 16864 14062 0 -1 1077944384 226 0 0 0 4 0 0 0 20 0 15 0 407871739 15512600576 12907 33554432000 4194304 4196468 140726751418288 140349904542192 140350575463042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
[pid=16866/tid=16878] ppid=16864 vsize=15149024 memory=139891992102528 CPUtime=0.13 cores=1,3,5,7
/proc/16866/task/16878/stat : 16878 (java) S 16864 16864 14062 0 -1 1077944384 914 0 0 0 13 0 0 0 20 0 15 0 407871739 15512600576 12907 33554432000 4194304 4196468 140726751418288 140349903489904 140350575463042 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
[pid=16866/tid=16879] ppid=16864 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16866/task/16879/stat : 16879 (java) S 16864 16864 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407871740 15512600576 12907 33554432000 4194304 4196468 140726751418288 140349902437344 140350575462101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
[pid=16866/tid=16880] ppid=16864 vsize=15149024 memory=139891992102528 CPUtime=0 cores=1,3,5,7
/proc/16866/task/16880/stat : 16880 (java) S 16864 16864 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407871740 15512600576 12907 33554432000 4194304 4196468 140726751418288 140349901384112 140350575463042 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 53076 KiB
[startup+0.701437 s]
/proc/loadavg: 7.81 8.34 8.04 7/233 16880
/proc/meminfo: memFree=27239868/32770624 swapFree=66996236/67108860
[pid=16864] ppid=16861 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16864/stat : 16864 (xcsp3-exec) S 16861 16864 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407871734 115843072 362 33554432000 4194304 5098028 140729839600096 140729839598200 139660017259132 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25067520 140729839608699 140729839608941 140729839608941 140729839611850 0
/proc/16864/statm: 28282 362 304 221 0 87 0
[pid=16866] ppid=16864 vsize=15417404 memory=86468 CPUtime=1.61 cores=1,3,5,7
/proc/16866/stat : 16866 (java) S 16864 16864 14062 0 -1 1077944320 14476 0 0 0 155 6 0 0 20 0 19 0 407871734 15787421696 21617 33554432000 4194304 4196468 140726751418288 140726751400832 140350575451895 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
/proc/16866/statm: 3854351 21617 3454 1 0 3815453 0
[pid=16866/tid=16867] ppid=16864 vsize=15417404 memory=11932 CPUtime=0.59 cores=1,3,5,7
/proc/16866/task/16867/stat : 16867 (java) S 16864 16864 14062 0 -1 1077944384 8794 0 0 0 55 4 0 0 20 0 19 0 407871734 15787421696 21617 33554432000 4194304 4196468 140726751418288 140350579692672 140350575462101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
[pid=16866/tid=16868] ppid=16864 vsize=15417404 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/16866/task/16868/stat : 16868 (java) S 16864 16864 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 407871735 15787421696 21617 33554432000 4194304 4196468 140726751418288 140350540733328 140350575462101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
[pid=16866/tid=16869] ppid=16864 vsize=15417404 memory=500 CPUtime=0 cores=1,3,5,7
/proc/16866/task/16869/stat : 16869 (java) S 16864 16864 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 407871735 15787421696 21617 33554432000 4194304 4196468 140726751418288 140350166248208 140350575462101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
[pid=16866/tid=16870] ppid=16864 vsize=15417404 memory=928 CPUtime=0 cores=1,3,5,7
/proc/16866/task/16870/stat : 16870 (java) S 16864 16864 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 407871735 15787421696 21617 33554432000 4194304 4196468 140726751418288 140350165195920 140350575462101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
[pid=16866/tid=16871] ppid=16864 vsize=15417404 memory=1528 CPUtime=0 cores=1,3,5,7
/proc/16866/task/16871/stat : 16871 (java) S 16864 16864 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 407871735 15787421696 21617 33554432000 4194304 4196468 140726751418288 140350164143120 140350575462101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
[pid=16866/tid=16872] ppid=16864 vsize=15417404 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16866/task/16872/stat : 16872 (java) S 16864 16864 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 407871736 15787421696 21617 33554432000 4194304 4196468 140726751418288 140349909805168 140350575463042 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
[pid=16866/tid=16873] ppid=16864 vsize=15417404 memory=876 CPUtime=0 cores=1,3,5,7
/proc/16866/task/16873/stat : 16873 (java) S 16864 16864 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 407871737 15787421696 21617 33554432000 4194304 4196468 140726751418288 140349908751136 140350575462101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
[pid=16866/tid=16874] ppid=16864 vsize=15417404 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/16866/task/16874/stat : 16874 (java) S 16864 16864 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 407871737 15787421696 21617 33554432000 4194304 4196468 140726751418288 140349907698800 140350575462101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
[pid=16866/tid=16875] ppid=16864 vsize=15417404 memory=2552 CPUtime=0 cores=1,3,5,7
/proc/16866/task/16875/stat : 16875 (java) S 16864 16864 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407871739 15787421696 21617 33554432000 4194304 4196468 140726751418288 140349906647120 140350575470491 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
[pid=16866/tid=16876] ppid=16864 vsize=15417404 memory=7302135314614015840 CPUtime=0.23 cores=1,3,5,7
/proc/16866/task/16876/stat : 16876 (java) R 16864 16864 14062 0 -1 4202560 1167 0 0 0 23 0 0 0 20 0 19 0 407871739 15787421696 21617 33554432000 4194304 4196468 140726751418288 140349905576008 140350559728296 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
[pid=16866/tid=16877] ppid=16864 vsize=15417404 memory=6152570550421908077 CPUtime=0.24 cores=1,3,5,7
/proc/16866/task/16877/stat : 16877 (java) R 16864 16864 14062 0 -1 4202560 856 0 0 0 24 0 0 0 20 0 19 0 407871739 15787421696 21617 33554432000 4194304 4196468 140726751418288 140349904523208 140350556153559 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
[pid=16866/tid=16878] ppid=16864 vsize=15417404 memory=7223887401239728208 CPUtime=0.36 cores=1,3,5,7
/proc/16866/task/16878/stat : 16878 (java) R 16864 16864 14062 0 -1 4202560 2177 0 0 0 36 0 0 0 20 0 19 0 407871739 15787421696 21617 33554432000 4194304 4196468 140726751418288 140349903487552 140350568548731 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
[pid=16866/tid=16879] ppid=16864 vsize=15417404 memory=7368002589315584080 CPUtime=0 cores=1,3,5,7
/proc/16866/task/16879/stat : 16879 (java) S 16864 16864 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407871740 15787421696 21617 33554432000 4194304 4196468 140726751418288 140349902437344 140350575462101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
[pid=16866/tid=16880] ppid=16864 vsize=15417404 memory=7379547564840675921 CPUtime=0 cores=1,3,5,7
/proc/16866/task/16880/stat : 16880 (java) S 16864 16864 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 407871740 15787421696 21617 33554432000 4194304 4196468 140726751418288 140349901384112 140350575463042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
Current children cumulated CPU time: 1.61 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 87916 KiB
[startup+0.740371 s]
# the end of solver process 16864 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.61703 s, system=0.071532 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.701437 s]
/proc/loadavg: 7.81 8.34 8.04 7/233 16880
/proc/meminfo: memFree=27239868/32770624 swapFree=66996236/67108860
[pid=16864] ppid=16861 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16864/stat : 16864 (xcsp3-exec) S 16861 16864 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407871734 115843072 362 33554432000 4194304 5098028 140729839600096 140729839598200 139660017259132 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25067520 140729839608699 140729839608941 140729839608941 140729839611850 0
/proc/16864/statm: 28282 362 304 221 0 87 0
[pid=16866] ppid=16864 vsize=15417404 memory=86468 CPUtime=1.61 cores=1,3,5,7
/proc/16866/stat : 16866 (java) S 16864 16864 14062 0 -1 1077944320 14476 0 0 0 155 6 0 0 20 0 19 0 407871734 15787421696 21617 33554432000 4194304 4196468 140726751418288 140726751400832 140350575451895 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
/proc/16866/statm: 3854351 21617 3454 1 0 3815453 0
[pid=16866/tid=16867] ppid=16864 vsize=15417404 memory=11932 CPUtime=0.59 cores=1,3,5,7
/proc/16866/task/16867/stat : 16867 (java) S 16864 16864 14062 0 -1 1077944384 8794 0 0 0 55 4 0 0 20 0 19 0 407871734 15787421696 21617 33554432000 4194304 4196468 140726751418288 140350579692672 140350575462101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
[pid=16866/tid=16868] ppid=16864 vsize=15417404 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/16866/task/16868/stat : 16868 (java) S 16864 16864 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 407871735 15787421696 21617 33554432000 4194304 4196468 140726751418288 140350540733328 140350575462101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
[pid=16866/tid=16869] ppid=16864 vsize=15417404 memory=500 CPUtime=0 cores=1,3,5,7
/proc/16866/task/16869/stat : 16869 (java) S 16864 16864 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 407871735 15787421696 21617 33554432000 4194304 4196468 140726751418288 140350166248208 140350575462101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
[pid=16866/tid=16870] ppid=16864 vsize=15417404 memory=928 CPUtime=0 cores=1,3,5,7
/proc/16866/task/16870/stat : 16870 (java) S 16864 16864 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 407871735 15787421696 21617 33554432000 4194304 4196468 140726751418288 140350165195920 140350575462101 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
[pid=16866/tid=16871] ppid=16864 vsize=15417404 memory=1528 CPUtime=0 cores=1,3,5,7
/proc/16866/task/16871/stat : 16871 (java) S 16864 16864 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 407871735 15787421696 21617 33554432000 4194304 4196468 140726751418288 140350164143120 140350575462101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
[pid=16866/tid=16872] ppid=16864 vsize=15417404 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/16866/task/16872/stat : 16872 (java) S 16864 16864 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 407871736 15787421696 21617 33554432000 4194304 4196468 140726751418288 140349909805168 140350575463042 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
[pid=16866/tid=16873] ppid=16864 vsize=15417404 memory=876 CPUtime=0 cores=1,3,5,7
/proc/16866/task/16873/stat : 16873 (java) S 16864 16864 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 407871737 15787421696 21617 33554432000 4194304 4196468 140726751418288 140349908751136 140350575462101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
[pid=16866/tid=16874] ppid=16864 vsize=15417404 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/16866/task/16874/stat : 16874 (java) S 16864 16864 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 407871737 15787421696 21617 33554432000 4194304 4196468 140726751418288 140349907698800 140350575462101 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
[pid=16866/tid=16875] ppid=16864 vsize=15417404 memory=2552 CPUtime=0 cores=1,3,5,7
/proc/16866/task/16875/stat : 16875 (java) S 16864 16864 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407871739 15787421696 21617 33554432000 4194304 4196468 140726751418288 140349906647120 140350575470491 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
[pid=16866/tid=16876] ppid=16864 vsize=15417404 memory=7302135314614015840 CPUtime=0.23 cores=1,3,5,7
/proc/16866/task/16876/stat : 16876 (java) R 16864 16864 14062 0 -1 4202560 1167 0 0 0 23 0 0 0 20 0 19 0 407871739 15787421696 21617 33554432000 4194304 4196468 140726751418288 140349905576008 140350559728296 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
[pid=16866/tid=16877] ppid=16864 vsize=15417404 memory=6152570550421908077 CPUtime=0.24 cores=1,3,5,7
/proc/16866/task/16877/stat : 16877 (java) R 16864 16864 14062 0 -1 4202560 856 0 0 0 24 0 0 0 20 0 19 0 407871739 15787421696 21617 33554432000 4194304 4196468 140726751418288 140349904523208 140350556153559 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
[pid=16866/tid=16878] ppid=16864 vsize=15417404 memory=7223887401239728208 CPUtime=0.36 cores=1,3,5,7
/proc/16866/task/16878/stat : 16878 (java) R 16864 16864 14062 0 -1 4202560 2177 0 0 0 36 0 0 0 20 0 19 0 407871739 15787421696 21617 33554432000 4194304 4196468 140726751418288 140349903487552 140350568548731 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
[pid=16866/tid=16879] ppid=16864 vsize=15417404 memory=7368002589315584080 CPUtime=0 cores=1,3,5,7
/proc/16866/task/16879/stat : 16879 (java) S 16864 16864 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407871740 15787421696 21617 33554432000 4194304 4196468 140726751418288 140349902437344 140350575462101 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
[pid=16866/tid=16880] ppid=16864 vsize=15417404 memory=7379547564840675921 CPUtime=0 cores=1,3,5,7
/proc/16866/task/16880/stat : 16880 (java) S 16864 16864 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 407871740 15787421696 21617 33554432000 4194304 4196468 140726751418288 140349901384112 140350575463042 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25653248 140726751425519 140726751425690 140726751425690 140726751428559 0
Current children cumulated CPU time: 1.61 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 87916 KiB
Child status: 0
Real time (s): 0.740422
CPU time (s): 1.68856
CPU user time (s): 1.61703
CPU system time (s): 0.071532
CPU usage (%): 228.054
Max. virtual memory (cumulated for all children) (KiB): 15530532
Max. memory (cumulated for all children) (KiB): 87916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.61703
system time used= 0.071532
maximum resident set size= 91056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15429
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1804
involuntary context switches= 17
# summary of solver processes directly reported to runsolver:
# pid: 16864
# total CPU time (s): 1.68856
# total CPU user time (s): 1.61703
# total CPU system time (s): 0.071532
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.030037 second user time and 0.046406 second system time
The end