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 (14422 MiB free)
memory of node 1: 16384 MiB (15004 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399029-1568697876/watcher-4399029-1568697876 -o /tmp/evaluation-result-4399029-1568697876/solver-4399029-1568697876 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568691194-25964 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1708065652 HOME/instance-4399029-1568697876.xml
running on 4 cores: 0,2,4,6
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
solver pid=28717, runsolver pid=28714
Current StackSize limit: 8192 KiB
[startup+0.100488 s]*
/proc/loadavg: 9.47 8.86 8.26 7/233 28733
/proc/meminfo: memFree=30115348/32770624 swapFree=67000028/67108860
[pid=28717] ppid=28714 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/28717/stat : 28717 (xcsp3-exec) S 28714 28717 25933 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446042028 115843072 362 33554432000 4194304 5098028 140724464448032 140724464446136 140469967086204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11104256 140724464456570 140724464456813 140724464456813 140724464459722 0
/proc/28717/statm: 28282 362 304 221 0 87 0
[pid=28719] ppid=28717 vsize=15144776 memory=30196 CPUtime=0.13 cores=0,2,4,6
/proc/28719/stat : 28719 (java) S 28717 28717 25933 0 -1 1077944320 5503 0 0 0 12 1 0 0 20 0 15 0 446042028 15508250624 7549 33554432000 4194304 4196468 140721342970208 140721342952752 140716174536439 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
/proc/28719/statm: 3786194 7549 3149 1 0 3748377 0
[pid=28719/tid=28720] ppid=28717 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=0,2,4,6
/proc/28719/task/28720/stat : 28720 (java) R 28717 28717 25933 0 -1 4202560 3358 0 0 0 9 0 0 0 20 0 15 0 446042029 15508250624 7549 33554432000 4194304 4196468 140721342970208 140716178767760 140716166773566 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28721] ppid=28717 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28719/task/28721/stat : 28721 (java) S 28717 28717 25933 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446042029 15508250624 7549 33554432000 4194304 4196468 140721342970208 140716086192400 140716174546645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28722] ppid=28717 vsize=15144776 memory=3976879251401172640 CPUtime=0 cores=0,2,4,6
/proc/28719/task/28722/stat : 28722 (java) S 28717 28717 25933 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446042030 15508250624 7549 33554432000 4194304 4196468 140721342970208 140716085139856 140716174546645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28723] ppid=28717 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28719/task/28723/stat : 28723 (java) S 28717 28717 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446042030 15508250624 7549 33554432000 4194304 4196468 140721342970208 140716084087312 140716174546645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28724] ppid=28717 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28719/task/28724/stat : 28724 (java) S 28717 28717 25933 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446042030 15508250624 7549 33554432000 4194304 4196468 140721342970208 140716083034768 140716174546645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28725] ppid=28717 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28719/task/28725/stat : 28725 (java) S 28717 28717 25933 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446042031 15508250624 7549 33554432000 4194304 4196468 140721342970208 140715642866160 140716174547586 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28726] ppid=28717 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28719/task/28726/stat : 28726 (java) S 28717 28717 25933 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446042031 15508250624 7549 33554432000 4194304 4196468 140721342970208 140715641812384 140716174546645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28727] ppid=28717 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28719/task/28727/stat : 28727 (java) S 28717 28717 25933 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446042032 15508250624 7549 33554432000 4194304 4196468 140721342970208 140715640759792 140716174546645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28728] ppid=28717 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28719/task/28728/stat : 28728 (java) S 28717 28717 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446042034 15508250624 7549 33554432000 4194304 4196468 140721342970208 140715639708368 140716174555035 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28729] ppid=28717 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28719/task/28729/stat : 28729 (java) S 28717 28717 25933 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 15 0 446042034 15508250624 7549 33554432000 4194304 4196468 140721342970208 140715638654960 140716174547586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28730] ppid=28717 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28719/task/28730/stat : 28730 (java) S 28717 28717 25933 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 446042034 15508250624 7549 33554432000 4194304 4196468 140721342970208 140715637602416 140716174547586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28731] ppid=28717 vsize=15144776 memory=140078821107328 CPUtime=0.02 cores=0,2,4,6
/proc/28719/task/28731/stat : 28731 (java) R 28717 28717 25933 0 -1 4202560 373 0 0 0 2 0 0 0 20 0 15 0 446042034 15508250624 7549 33554432000 4194304 4196468 140721342970208 140715636549872 140716159066982 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28732] ppid=28717 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28719/task/28732/stat : 28732 (java) S 28717 28717 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446042034 15508250624 7549 33554432000 4194304 4196468 140721342970208 140715635497568 140716174546645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28733] ppid=28717 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28719/task/28733/stat : 28733 (java) S 28717 28717 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446042034 15508250624 7549 33554432000 4194304 4196468 140721342970208 140715634445104 140716174547586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31644 KiB
[startup+0.210743 s]*
/proc/loadavg: 9.47 8.86 8.26 7/233 28733
/proc/meminfo: memFree=30102516/32770624 swapFree=67000028/67108860
[pid=28717] ppid=28714 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/28717/stat : 28717 (xcsp3-exec) S 28714 28717 25933 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446042028 115843072 362 33554432000 4194304 5098028 140724464448032 140724464446136 140469967086204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11104256 140724464456570 140724464456813 140724464456813 140724464459722 0
/proc/28717/statm: 28282 362 304 221 0 87 0
[pid=28719] ppid=28717 vsize=15144776 memory=41508 CPUtime=0.34 cores=0,2,4,6
/proc/28719/stat : 28719 (java) S 28717 28717 25933 0 -1 1077944320 9027 0 0 0 31 3 0 0 20 0 15 0 446042028 15508250624 10377 33554432000 4194304 4196468 140721342970208 140721342952752 140716174536439 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
/proc/28719/statm: 3786194 10377 3310 1 0 3748377 0
[pid=28719/tid=28720] ppid=28717 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/28719/task/28720/stat : 28720 (java) R 28717 28717 25933 0 -1 4202560 6163 0 0 0 18 2 0 0 20 0 15 0 446042029 15508250624 10377 33554432000 4194304 4196468 140721342970208 140716178775440 140716158616926 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28721] ppid=28717 vsize=15144776 memory=2669799 CPUtime=0 cores=0,2,4,6
/proc/28719/task/28721/stat : 28721 (java) S 28717 28717 25933 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446042029 15508250624 10377 33554432000 4194304 4196468 140721342970208 140716086192400 140716174546645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28722] ppid=28717 vsize=15144776 memory=140078824271032 CPUtime=0 cores=0,2,4,6
/proc/28719/task/28722/stat : 28722 (java) S 28717 28717 25933 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446042030 15508250624 10377 33554432000 4194304 4196468 140721342970208 140716085139856 140716174546645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28723] ppid=28717 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28719/task/28723/stat : 28723 (java) S 28717 28717 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446042030 15508250624 10377 33554432000 4194304 4196468 140721342970208 140716084087312 140716174546645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28724] ppid=28717 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28719/task/28724/stat : 28724 (java) S 28717 28717 25933 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446042030 15508250624 10377 33554432000 4194304 4196468 140721342970208 140716083034768 140716174546645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28725] ppid=28717 vsize=15144776 memory=140078821107328 CPUtime=0 cores=0,2,4,6
/proc/28719/task/28725/stat : 28725 (java) S 28717 28717 25933 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446042031 15508250624 10377 33554432000 4194304 4196468 140721342970208 140715642866160 140716174547586 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28726] ppid=28717 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28719/task/28726/stat : 28726 (java) S 28717 28717 25933 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446042031 15508250624 10377 33554432000 4194304 4196468 140721342970208 140715641812384 140716174546645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28727] ppid=28717 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28719/task/28727/stat : 28727 (java) S 28717 28717 25933 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446042032 15508250624 10377 33554432000 4194304 4196468 140721342970208 140715640759792 140716174546645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28728] ppid=28717 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28719/task/28728/stat : 28728 (java) S 28717 28717 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446042034 15508250624 10377 33554432000 4194304 4196468 140721342970208 140715639708368 140716174555035 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28729] ppid=28717 vsize=15144776 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/28719/task/28729/stat : 28729 (java) S 28717 28717 25933 0 -1 1077944384 471 0 0 0 1 0 0 0 20 0 15 0 446042034 15508250624 10377 33554432000 4194304 4196468 140721342970208 140715638654960 140716174547586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28730] ppid=28717 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/28719/task/28730/stat : 28730 (java) S 28717 28717 25933 0 -1 1077944384 350 0 0 0 2 0 0 0 20 0 15 0 446042034 15508250624 10377 33554432000 4194304 4196468 140721342970208 140715637602416 140716174547586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28731] ppid=28717 vsize=15144776 memory=140078821107328 CPUtime=0.08 cores=0,2,4,6
/proc/28719/task/28731/stat : 28731 (java) S 28717 28717 25933 0 -1 1077944384 736 0 0 0 8 0 0 0 20 0 15 0 446042034 15508250624 10377 33554432000 4194304 4196468 140721342970208 140715636549872 140716174547586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28732] ppid=28717 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28719/task/28732/stat : 28732 (java) S 28717 28717 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446042034 15508250624 10377 33554432000 4194304 4196468 140721342970208 140715635497568 140716174546645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28733] ppid=28717 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28719/task/28733/stat : 28733 (java) S 28717 28717 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446042034 15508250624 10377 33554432000 4194304 4196468 140721342970208 140715634445104 140716174547586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42956 KiB
[startup+0.310535 s]*
/proc/loadavg: 9.47 8.86 8.26 7/233 28733
/proc/meminfo: memFree=30095620/32770624 swapFree=67000028/67108860
[pid=28717] ppid=28714 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/28717/stat : 28717 (xcsp3-exec) S 28714 28717 25933 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446042028 115843072 362 33554432000 4194304 5098028 140724464448032 140724464446136 140469967086204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11104256 140724464456570 140724464456813 140724464456813 140724464459722 0
/proc/28717/statm: 28282 362 304 221 0 87 0
[pid=28719] ppid=28717 vsize=15149032 memory=50320 CPUtime=0.53 cores=0,2,4,6
/proc/28719/stat : 28719 (java) S 28717 28717 25933 0 -1 1077944320 10408 0 0 0 49 4 0 0 20 0 15 0 446042028 15512608768 12580 33554432000 4194304 4196468 140721342970208 140721342952752 140716174536439 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
/proc/28719/statm: 3787258 12580 3358 1 0 3748377 0
[pid=28719/tid=28720] ppid=28717 vsize=15149032 memory=8317482817917895235 CPUtime=0.29 cores=0,2,4,6
/proc/28719/task/28720/stat : 28720 (java) R 28717 28717 25933 0 -1 4202560 7331 0 0 0 27 2 0 0 20 0 15 0 446042029 15512608768 12580 33554432000 4194304 4196468 140721342970208 140716178770224 140716158616926 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28721] ppid=28717 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/28719/task/28721/stat : 28721 (java) S 28717 28717 25933 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446042029 15512608768 12580 33554432000 4194304 4196468 140721342970208 140716086192400 140716174546645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28722] ppid=28717 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/28719/task/28722/stat : 28722 (java) S 28717 28717 25933 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446042030 15512608768 12580 33554432000 4194304 4196468 140721342970208 140716085139856 140716174546645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28723] ppid=28717 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/28719/task/28723/stat : 28723 (java) S 28717 28717 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446042030 15512608768 12580 33554432000 4194304 4196468 140721342970208 140716084087312 140716174546645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28724] ppid=28717 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/28719/task/28724/stat : 28724 (java) S 28717 28717 25933 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446042030 15512608768 12580 33554432000 4194304 4196468 140721342970208 140716083034768 140716174546645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28725] ppid=28717 vsize=15149032 memory=4572146057552828020 CPUtime=0 cores=0,2,4,6
/proc/28719/task/28725/stat : 28725 (java) S 28717 28717 25933 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446042031 15512608768 12580 33554432000 4194304 4196468 140721342970208 140715642866160 140716174547586 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28726] ppid=28717 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/28719/task/28726/stat : 28726 (java) S 28717 28717 25933 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446042031 15512608768 12580 33554432000 4194304 4196468 140721342970208 140715641812384 140716174546645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28727] ppid=28717 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/28719/task/28727/stat : 28727 (java) S 28717 28717 25933 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446042032 15512608768 12580 33554432000 4194304 4196468 140721342970208 140715640759792 140716174546645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28728] ppid=28717 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/28719/task/28728/stat : 28728 (java) S 28717 28717 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446042034 15512608768 12580 33554432000 4194304 4196468 140721342970208 140715639708368 140716174555035 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28729] ppid=28717 vsize=15149032 memory=7827413994055111515 CPUtime=0.04 cores=0,2,4,6
/proc/28719/task/28729/stat : 28729 (java) S 28717 28717 25933 0 -1 1077944384 591 0 0 0 4 0 0 0 20 0 15 0 446042034 15512608768 12580 33554432000 4194304 4196468 140721342970208 140715638654960 140716174547586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28730] ppid=28717 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/28719/task/28730/stat : 28730 (java) S 28717 28717 25933 0 -1 1077944384 368 0 0 0 4 0 0 0 20 0 15 0 446042034 15512608768 12580 33554432000 4194304 4196468 140721342970208 140715637602416 140716174547586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28731] ppid=28717 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/28719/task/28731/stat : 28731 (java) S 28717 28717 25933 0 -1 1077944384 815 0 0 0 12 0 0 0 20 0 15 0 446042034 15512608768 12580 33554432000 4194304 4196468 140721342970208 140715636549872 140716174547586 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28732] ppid=28717 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28719/task/28732/stat : 28732 (java) S 28717 28717 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446042034 15512608768 12580 33554432000 4194304 4196468 140721342970208 140715635497568 140716174546645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28733] ppid=28717 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28719/task/28733/stat : 28733 (java) S 28717 28717 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446042034 15512608768 12580 33554432000 4194304 4196468 140721342970208 140715634445104 140716174547586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51768 KiB
[startup+0.701572 s]
/proc/loadavg: 9.47 8.86 8.26 9/233 28733
/proc/meminfo: memFree=30075724/32770624 swapFree=67000028/67108860
[pid=28717] ppid=28714 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/28717/stat : 28717 (xcsp3-exec) S 28714 28717 25933 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446042028 115843072 362 33554432000 4194304 5098028 140724464448032 140724464446136 140469967086204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11104256 140724464456570 140724464456813 140724464456813 140724464459722 0
/proc/28717/statm: 28282 362 304 221 0 87 0
[pid=28719] ppid=28717 vsize=15151156 memory=93028 CPUtime=1.76 cores=0,2,4,6
/proc/28719/stat : 28719 (java) S 28717 28717 25933 0 -1 1077944320 15924 0 0 0 170 6 0 0 20 0 15 0 446042028 15514783744 23257 33554432000 4194304 4196468 140721342970208 140721342952752 140716174536439 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
/proc/28719/statm: 3787789 23257 3454 1 0 3748889 0
[pid=28719/tid=28720] ppid=28717 vsize=15151156 memory=-3704326594973231466 CPUtime=0.67 cores=0,2,4,6
/proc/28719/task/28720/stat : 28720 (java) R 28717 28717 25933 0 -1 4202560 8726 0 0 0 64 3 0 0 20 0 15 0 446042029 15514783744 23257 33554432000 4194304 4196468 140721342970208 140716178773768 140715766047671 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28721] ppid=28717 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28719/task/28721/stat : 28721 (java) S 28717 28717 25933 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446042029 15514783744 23257 33554432000 4194304 4196468 140721342970208 140716086192400 140716174546645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28722] ppid=28717 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28719/task/28722/stat : 28722 (java) S 28717 28717 25933 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446042030 15514783744 23257 33554432000 4194304 4196468 140721342970208 140716085139856 140716174546645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28723] ppid=28717 vsize=15151156 memory=772 CPUtime=0 cores=0,2,4,6
/proc/28719/task/28723/stat : 28723 (java) S 28717 28717 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446042030 15514783744 23257 33554432000 4194304 4196468 140721342970208 140716084087312 140716174546645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28724] ppid=28717 vsize=15151156 memory=4168 CPUtime=0 cores=0,2,4,6
/proc/28719/task/28724/stat : 28724 (java) S 28717 28717 25933 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446042030 15514783744 23257 33554432000 4194304 4196468 140721342970208 140716083034768 140716174546645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28725] ppid=28717 vsize=15151156 memory=948 CPUtime=0 cores=0,2,4,6
/proc/28719/task/28725/stat : 28725 (java) S 28717 28717 25933 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446042031 15514783744 23257 33554432000 4194304 4196468 140721342970208 140715642866160 140716174547586 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28726] ppid=28717 vsize=15151156 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/28719/task/28726/stat : 28726 (java) S 28717 28717 25933 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446042031 15514783744 23257 33554432000 4194304 4196468 140721342970208 140715641812384 140716174546645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28727] ppid=28717 vsize=15151156 memory=9492 CPUtime=0 cores=0,2,4,6
/proc/28719/task/28727/stat : 28727 (java) S 28717 28717 25933 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446042032 15514783744 23257 33554432000 4194304 4196468 140721342970208 140715640759792 140716174546645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28728] ppid=28717 vsize=15151156 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/28719/task/28728/stat : 28728 (java) S 28717 28717 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446042034 15514783744 23257 33554432000 4194304 4196468 140721342970208 140715639708368 140716174555035 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28729] ppid=28717 vsize=15151156 memory=628 CPUtime=0.34 cores=0,2,4,6
/proc/28719/task/28729/stat : 28729 (java) R 28717 28717 25933 0 -1 4202560 1603 0 0 0 34 0 0 0 20 0 15 0 446042034 15514783744 23257 33554432000 4194304 4196468 140721342970208 140715638655088 140716153783210 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28730] ppid=28717 vsize=15151156 memory=1056 CPUtime=0.32 cores=0,2,4,6
/proc/28719/task/28730/stat : 28730 (java) R 28717 28717 25933 0 -1 4202560 2021 0 0 0 31 1 0 0 20 0 15 0 446042034 15514783744 23257 33554432000 4194304 4196468 140721342970208 140715637583432 140716154229516 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28731] ppid=28717 vsize=15151156 memory=1724 CPUtime=0.41 cores=0,2,4,6
/proc/28719/task/28731/stat : 28731 (java) R 28717 28717 25933 0 -1 4202560 2266 0 0 0 40 1 0 0 20 0 15 0 446042034 15514783744 23257 33554432000 4194304 4196468 140721342970208 140715636549872 140716153504566 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28732] ppid=28717 vsize=15151156 memory=6056 CPUtime=0 cores=0,2,4,6
/proc/28719/task/28732/stat : 28732 (java) S 28717 28717 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446042034 15514783744 23257 33554432000 4194304 4196468 140721342970208 140715635497568 140716174546645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28733] ppid=28717 vsize=15151156 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/28719/task/28733/stat : 28733 (java) S 28717 28717 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446042034 15514783744 23257 33554432000 4194304 4196468 140721342970208 140715634445104 140716174547586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 94476 KiB
[startup+1.50211 s]
/proc/loadavg: 9.47 8.86 8.26 8/233 28734
/proc/meminfo: memFree=29981840/32770624 swapFree=67000028/67108860
[pid=28717] ppid=28714 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/28717/stat : 28717 (xcsp3-exec) S 28714 28717 25933 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446042028 115843072 362 33554432000 4194304 5098028 140724464448032 140724464446136 140469967086204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11104256 140724464456570 140724464456813 140724464456813 140724464459722 0
/proc/28717/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/28719/stat : 28719 (java) S 28717 28717 25933 0 -1 1077944320 84338 0 0 0 231626 33 0 0 20 0 19 0 446042028 15789527040 51626 33554432000 4194304 4196468 140721342970208 140721342952752 140716174536439 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
/proc/28719/statm: 3854865 51626 3533 1 0 3815965 0
[pid=28719/tid=28720] ppid=28717 vsize=15419460 memory=1448 CPUtime=1.08 cores=0,2,4,6
/proc/28719/task/28720/stat : 28720 (java) S 28717 28717 25933 0 -1 1077944384 9721 0 0 0 103 5 0 0 20 0 19 0 446042029 15789527040 51626 33554432000 4194304 4196468 140721342970208 140716178777216 140716174546645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28721] ppid=28717 vsize=15419460 memory=206504 CPUtime=0.23 cores=0,2,4,6
/proc/28719/task/28721/stat : 28721 (java) S 28717 28717 25933 0 -1 1077944384 3005 0 0 0 19 4 0 0 20 0 19 0 446042029 15789527040 51626 33554432000 4194304 4196468 140721342970208 140716086192400 140716174546645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28722] ppid=28717 vsize=15419460 memory=1448 CPUtime=0.22 cores=0,2,4,6
/proc/28719/task/28722/stat : 28722 (java) S 28717 28717 25933 0 -1 1077944384 1164 0 0 0 19 3 0 0 20 0 19 0 446042030 15789527040 51626 33554432000 4194304 4196468 140721342970208 140716085139856 140716174546645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28723] ppid=28717 vsize=15419460 memory=56 CPUtime=0.23 cores=0,2,4,6
/proc/28719/task/28723/stat : 28723 (java) S 28717 28717 25933 0 -1 1077944384 3182 0 0 0 20 3 0 0 20 0 19 0 446042030 15789527040 51626 33554432000 4194304 4196468 140721342970208 140716084087312 140716174546645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28724] ppid=28717 vsize=15419460 memory=206504 CPUtime=0.23 cores=0,2,4,6
/proc/28719/task/28724/stat : 28724 (java) S 28717 28717 25933 0 -1 1077944384 4212 0 0 0 19 4 0 0 20 0 19 0 446042030 15789527040 51626 33554432000 4194304 4196468 140721342970208 140716083034768 140716174546645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28725] ppid=28717 vsize=15419460 memory=206504 CPUtime=0.12 cores=0,2,4,6
/proc/28719/task/28725/stat : 28725 (java) S 28717 28717 25933 0 -1 1077944384 2549 0 0 0 10 2 0 0 20 0 19 0 446042031 15789527040 51626 33554432000 4194304 4196468 140721342970208 140715642866160 140716174547586 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28726] ppid=28717 vsize=15419460 memory=206504 CPUtime=0 cores=0,2,4,6
/proc/28719/task/28726/stat : 28726 (java) S 28717 28717 25933 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 446042031 15789527040 51626 33554432000 4194304 4196468 140721342970208 140715641812448 140716174546645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28727] ppid=28717 vsize=15419460 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/28719/task/28727/stat : 28727 (java) S 28717 28717 25933 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 19 0 446042032 15789527040 51626 33554432000 4194304 4196468 140721342970208 140715640759808 140716174546645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28728] ppid=28717 vsize=15419460 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/28719/task/28728/stat : 28728 (java) S 28717 28717 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446042034 15789527040 51626 33554432000 4194304 4196468 140721342970208 140715639708368 140716174555035 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28729] ppid=28717 vsize=15419460 memory=6791534058613427641 CPUtime=2.89 cores=0,2,4,6
/proc/28719/task/28729/stat : 28729 (java) S 28717 28717 25933 0 -1 1077944384 19638 0 0 0 288 1 0 0 20 0 19 0 446042034 15789527040 51626 33554432000 4194304 4196468 140721342970208 140715638654960 140716174547586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 14 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28730] ppid=28717 vsize=15419460 memory=800 CPUtime=3.01 cores=0,2,4,6
/proc/28719/task/28730/stat : 28730 (java) S 28717 28717 25933 0 -1 1077944384 19925 0 0 0 299 2 0 0 20 0 19 0 446042034 15789527040 51626 33554432000 4194304 4196468 140721342970208 140715637602416 140716174547586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28731] ppid=28717 vsize=15419460 memory=984 CPUtime=0.82 cores=0,2,4,6
/proc/28719/task/28731/stat : 28731 (java) S 28717 28717 25933 0 -1 1077944384 11187 0 0 0 80 2 0 0 20 0 19 0 446042034 15789527040 51626 33554432000 4194304 4196468 140721342970208 140715636549872 140716174547586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28732] ppid=28717 vsize=15419460 memory=2024 CPUtime=0 cores=0,2,4,6
/proc/28719/task/28732/stat : 28732 (java) S 28717 28717 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446042034 15789527040 51626 33554432000 4194304 4196468 140721342970208 140715635497568 140716174546645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28733] ppid=28717 vsize=15419460 memory=1448 CPUtime=0.08 cores=0,2,4,6
/proc/28719/task/28733/stat : 28733 (java) S 28717 28717 25933 0 -1 1077944384 508 0 0 0 0 8 0 0 20 0 19 0 446042034 15789527040 51626 33554432000 4194304 4196468 140721342970208 140715634445104 140716174547586 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28735] ppid=28717 vsize=15419460 memory=3624 CPUtime=577.75 cores=0,2,4,6
/proc/28719/task/28735/stat : 28735 (java) R 28717 28717 25933 0 -1 4202560 1840 0 0 0 57775 0 0 0 20 0 19 0 446042140 15789527040 51626 33554432000 4194304 4196468 140721342970208 140715625462816 140715768340255 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28736] ppid=28717 vsize=15419460 memory=206504 CPUtime=575.98 cores=0,2,4,6
/proc/28719/task/28736/stat : 28736 (java) R 28717 28717 25933 0 -1 4202560 3371 0 0 0 57598 0 0 0 20 0 19 0 446042140 15789527040 51626 33554432000 4194304 4196468 140721342970208 140715624411400 140715768054194 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28737] ppid=28717 vsize=15419460 memory=1448 CPUtime=577.73 cores=0,2,4,6
/proc/28719/task/28737/stat : 28737 (java) R 28717 28717 25933 0 -1 4202560 981 0 0 0 57773 0 0 0 20 0 19 0 446042140 15789527040 51626 33554432000 4194304 4196468 140721342970208 140715623361920 140715768980986 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28738] ppid=28717 vsize=15419460 memory=206504 CPUtime=576.06 cores=0,2,4,6
/proc/28719/task/28738/stat : 28738 (java) R 28717 28717 25933 0 -1 4202560 1663 0 0 0 57605 1 0 0 20 0 19 0 446042140 15789527040 51626 33554432000 4194304 4196468 140721342970208 140715622305528 140715768592134 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
Current children cumulated CPU time: 2316.59 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 207952 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+633.502 s]
/proc/loadavg: 8.75 8.74 8.52 9/237 28878
/proc/meminfo: memFree=29787220/32770624 swapFree=67000032/67108860
[pid=28717] ppid=28714 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/28717/stat : 28717 (xcsp3-exec) S 28714 28717 25933 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446042028 115843072 362 33554432000 4194304 5098028 140724464448032 140724464446136 140469967086204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11104256 140724464456570 140724464456813 140724464456813 140724464459722 0
/proc/28717/statm: 28282 362 304 221 0 87 0
[pid=28719] ppid=28717 vsize=15419460 memory=210600 CPUtime=2520.26 cores=0,2,4,6
/proc/28719/stat : 28719 (java) S 28717 28717 25933 0 -1 1077944320 85855 0 0 0 251990 36 0 0 20 0 19 0 446042028 15789527040 52650 33554432000 4194304 4196468 140721342970208 140721342952752 140716174536439 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
/proc/28719/statm: 3854865 52650 3533 1 0 3815965 0
[pid=28719/tid=28720] ppid=28717 vsize=15419460 memory=210600 CPUtime=1.08 cores=0,2,4,6
/proc/28719/task/28720/stat : 28720 (java) S 28717 28717 25933 0 -1 1077944384 9721 0 0 0 103 5 0 0 20 0 19 0 446042029 15789527040 52650 33554432000 4194304 4196468 140721342970208 140716178777216 140716174546645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28721] ppid=28717 vsize=15419460 memory=1448 CPUtime=0.26 cores=0,2,4,6
/proc/28719/task/28721/stat : 28721 (java) S 28717 28717 25933 0 -1 1077944384 3117 0 0 0 22 4 0 0 20 0 19 0 446042029 15789527040 52650 33554432000 4194304 4196468 140721342970208 140716086192400 140716174546645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28722] ppid=28717 vsize=15419460 memory=210600 CPUtime=0.25 cores=0,2,4,6
/proc/28719/task/28722/stat : 28722 (java) S 28717 28717 25933 0 -1 1077944384 1641 0 0 0 22 3 0 0 20 0 19 0 446042030 15789527040 52650 33554432000 4194304 4196468 140721342970208 140716085139856 140716174546645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28723] ppid=28717 vsize=15419460 memory=33 CPUtime=0.26 cores=0,2,4,6
/proc/28719/task/28723/stat : 28723 (java) S 28717 28717 25933 0 -1 1077944384 3224 0 0 0 23 3 0 0 20 0 19 0 446042030 15789527040 52650 33554432000 4194304 4196468 140721342970208 140716084087312 140716174546645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28724] ppid=28717 vsize=15419460 memory=208552 CPUtime=0.27 cores=0,2,4,6
/proc/28719/task/28724/stat : 28724 (java) S 28717 28717 25933 0 -1 1077944384 4267 0 0 0 23 4 0 0 20 0 19 0 446042030 15789527040 52650 33554432000 4194304 4196468 140721342970208 140716083034768 140716174546645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28725] ppid=28717 vsize=15419460 memory=56 CPUtime=0.15 cores=0,2,4,6
/proc/28719/task/28725/stat : 28725 (java) S 28717 28717 25933 0 -1 1077944384 2829 0 0 0 12 3 0 0 20 0 19 0 446042031 15789527040 52650 33554432000 4194304 4196468 140721342970208 140715642866160 140716174547586 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28726] ppid=28717 vsize=15419460 memory=210600 CPUtime=0 cores=0,2,4,6
/proc/28719/task/28726/stat : 28726 (java) S 28717 28717 25933 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 446042031 15789527040 52650 33554432000 4194304 4196468 140721342970208 140715641812448 140716174546645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28727] ppid=28717 vsize=15419460 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/28719/task/28727/stat : 28727 (java) S 28717 28717 25933 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 19 0 446042032 15789527040 52650 33554432000 4194304 4196468 140721342970208 140715640759808 140716174546645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28728] ppid=28717 vsize=15419460 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28719/task/28728/stat : 28728 (java) S 28717 28717 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446042034 15789527040 52650 33554432000 4194304 4196468 140721342970208 140715639708368 140716174555035 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28729] ppid=28717 vsize=15419460 memory=948 CPUtime=2.89 cores=0,2,4,6
/proc/28719/task/28729/stat : 28729 (java) S 28717 28717 25933 0 -1 1077944384 19640 0 0 0 288 1 0 0 20 0 19 0 446042034 15789527040 52650 33554432000 4194304 4196468 140721342970208 140715638654960 140716174547586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28730] ppid=28717 vsize=15419460 memory=2832 CPUtime=3.01 cores=0,2,4,6
/proc/28719/task/28730/stat : 28730 (java) S 28717 28717 25933 0 -1 1077944384 19928 0 0 0 299 2 0 0 20 0 19 0 446042034 15789527040 52650 33554432000 4194304 4196468 140721342970208 140715637602416 140716174547586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28731] ppid=28717 vsize=15419460 memory=1448 CPUtime=0.82 cores=0,2,4,6
/proc/28719/task/28731/stat : 28731 (java) S 28717 28717 25933 0 -1 1077944384 11189 0 0 0 80 2 0 0 20 0 19 0 446042034 15789527040 52650 33554432000 4194304 4196468 140721342970208 140715636549872 140716174547586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28732] ppid=28717 vsize=15419460 memory=210600 CPUtime=0 cores=0,2,4,6
/proc/28719/task/28732/stat : 28732 (java) S 28717 28717 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446042034 15789527040 52650 33554432000 4194304 4196468 140721342970208 140715635497568 140716174546645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28733] ppid=28717 vsize=15419460 memory=1448 CPUtime=0.09 cores=0,2,4,6
/proc/28719/task/28733/stat : 28733 (java) S 28717 28717 25933 0 -1 1077944384 529 0 0 0 0 9 0 0 20 0 19 0 446042034 15789527040 52650 33554432000 4194304 4196468 140721342970208 140715634445104 140716174547586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 13 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28735] ppid=28717 vsize=15419460 memory=210600 CPUtime=628.58 cores=0,2,4,6
/proc/28719/task/28735/stat : 28735 (java) R 28717 28717 25933 0 -1 4202560 1985 0 0 0 62857 1 0 0 20 0 19 0 446042140 15789527040 52650 33554432000 4194304 4196468 140721342970208 140715625463048 140715768611598 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28736] ppid=28717 vsize=15419460 memory=1804 CPUtime=626.83 cores=0,2,4,6
/proc/28719/task/28736/stat : 28736 (java) R 28717 28717 25933 0 -1 4202560 3588 0 0 0 62682 1 0 0 20 0 19 0 446042140 15789527040 52650 33554432000 4194304 4196468 140721342970208 140715624414176 140715770054392 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28737] ppid=28717 vsize=15419460 memory=1448 CPUtime=628.66 cores=0,2,4,6
/proc/28719/task/28737/stat : 28737 (java) R 28717 28717 25933 0 -1 4202560 1065 0 0 0 62864 2 0 0 20 0 19 0 446042140 15789527040 52650 33554432000 4194304 4196468 140721342970208 140715623358832 140715768054453 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28738] ppid=28717 vsize=15419460 memory=208552 CPUtime=626.98 cores=0,2,4,6
/proc/28719/task/28738/stat : 28738 (java) R 28717 28717 25933 0 -1 4202560 1740 0 0 0 62697 1 0 0 20 0 19 0 446042140 15789527040 52650 33554432000 4194304 4196468 140721342970208 140715622305592 140715768611164 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
Current children cumulated CPU time: 2520.26 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 212048 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+633.524 s]
# the end of solver process 28717 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001102 s, system=0.001102 s
[startup+633.571 s]
# the end of solver process 28719 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2520.16 s, system=0.372457 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+633.502 s]
/proc/loadavg: 8.75 8.74 8.52 9/237 28878
/proc/meminfo: memFree=29787220/32770624 swapFree=67000032/67108860
[pid=28717] ppid=28714 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/28717/stat : 28717 (xcsp3-exec) S 28714 28717 25933 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446042028 115843072 362 33554432000 4194304 5098028 140724464448032 140724464446136 140469967086204 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11104256 140724464456570 140724464456813 140724464456813 140724464459722 0
/proc/28717/statm: 28282 362 304 221 0 87 0
[pid=28719] ppid=28717 vsize=15419460 memory=210600 CPUtime=2520.26 cores=0,2,4,6
/proc/28719/stat : 28719 (java) S 28717 28717 25933 0 -1 1077944320 85855 0 0 0 251990 36 0 0 20 0 19 0 446042028 15789527040 52650 33554432000 4194304 4196468 140721342970208 140721342952752 140716174536439 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
/proc/28719/statm: 3854865 52650 3533 1 0 3815965 0
[pid=28719/tid=28720] ppid=28717 vsize=15419460 memory=210600 CPUtime=1.08 cores=0,2,4,6
/proc/28719/task/28720/stat : 28720 (java) S 28717 28717 25933 0 -1 1077944384 9721 0 0 0 103 5 0 0 20 0 19 0 446042029 15789527040 52650 33554432000 4194304 4196468 140721342970208 140716178777216 140716174546645 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28721] ppid=28717 vsize=15419460 memory=1448 CPUtime=0.26 cores=0,2,4,6
/proc/28719/task/28721/stat : 28721 (java) S 28717 28717 25933 0 -1 1077944384 3117 0 0 0 22 4 0 0 20 0 19 0 446042029 15789527040 52650 33554432000 4194304 4196468 140721342970208 140716086192400 140716174546645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28722] ppid=28717 vsize=15419460 memory=210600 CPUtime=0.25 cores=0,2,4,6
/proc/28719/task/28722/stat : 28722 (java) S 28717 28717 25933 0 -1 1077944384 1641 0 0 0 22 3 0 0 20 0 19 0 446042030 15789527040 52650 33554432000 4194304 4196468 140721342970208 140716085139856 140716174546645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28723] ppid=28717 vsize=15419460 memory=33 CPUtime=0.26 cores=0,2,4,6
/proc/28719/task/28723/stat : 28723 (java) S 28717 28717 25933 0 -1 1077944384 3224 0 0 0 23 3 0 0 20 0 19 0 446042030 15789527040 52650 33554432000 4194304 4196468 140721342970208 140716084087312 140716174546645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28724] ppid=28717 vsize=15419460 memory=208552 CPUtime=0.27 cores=0,2,4,6
/proc/28719/task/28724/stat : 28724 (java) S 28717 28717 25933 0 -1 1077944384 4267 0 0 0 23 4 0 0 20 0 19 0 446042030 15789527040 52650 33554432000 4194304 4196468 140721342970208 140716083034768 140716174546645 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28725] ppid=28717 vsize=15419460 memory=56 CPUtime=0.15 cores=0,2,4,6
/proc/28719/task/28725/stat : 28725 (java) S 28717 28717 25933 0 -1 1077944384 2829 0 0 0 12 3 0 0 20 0 19 0 446042031 15789527040 52650 33554432000 4194304 4196468 140721342970208 140715642866160 140716174547586 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28726] ppid=28717 vsize=15419460 memory=210600 CPUtime=0 cores=0,2,4,6
/proc/28719/task/28726/stat : 28726 (java) S 28717 28717 25933 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 446042031 15789527040 52650 33554432000 4194304 4196468 140721342970208 140715641812448 140716174546645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28727] ppid=28717 vsize=15419460 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/28719/task/28727/stat : 28727 (java) S 28717 28717 25933 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 19 0 446042032 15789527040 52650 33554432000 4194304 4196468 140721342970208 140715640759808 140716174546645 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28728] ppid=28717 vsize=15419460 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28719/task/28728/stat : 28728 (java) S 28717 28717 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446042034 15789527040 52650 33554432000 4194304 4196468 140721342970208 140715639708368 140716174555035 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28729] ppid=28717 vsize=15419460 memory=948 CPUtime=2.89 cores=0,2,4,6
/proc/28719/task/28729/stat : 28729 (java) S 28717 28717 25933 0 -1 1077944384 19640 0 0 0 288 1 0 0 20 0 19 0 446042034 15789527040 52650 33554432000 4194304 4196468 140721342970208 140715638654960 140716174547586 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28730] ppid=28717 vsize=15419460 memory=2832 CPUtime=3.01 cores=0,2,4,6
/proc/28719/task/28730/stat : 28730 (java) S 28717 28717 25933 0 -1 1077944384 19928 0 0 0 299 2 0 0 20 0 19 0 446042034 15789527040 52650 33554432000 4194304 4196468 140721342970208 140715637602416 140716174547586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 5 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28731] ppid=28717 vsize=15419460 memory=1448 CPUtime=0.82 cores=0,2,4,6
/proc/28719/task/28731/stat : 28731 (java) S 28717 28717 25933 0 -1 1077944384 11189 0 0 0 80 2 0 0 20 0 19 0 446042034 15789527040 52650 33554432000 4194304 4196468 140721342970208 140715636549872 140716174547586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28732] ppid=28717 vsize=15419460 memory=210600 CPUtime=0 cores=0,2,4,6
/proc/28719/task/28732/stat : 28732 (java) S 28717 28717 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446042034 15789527040 52650 33554432000 4194304 4196468 140721342970208 140715635497568 140716174546645 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28733] ppid=28717 vsize=15419460 memory=1448 CPUtime=0.09 cores=0,2,4,6
/proc/28719/task/28733/stat : 28733 (java) S 28717 28717 25933 0 -1 1077944384 529 0 0 0 0 9 0 0 20 0 19 0 446042034 15789527040 52650 33554432000 4194304 4196468 140721342970208 140715634445104 140716174547586 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 13 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28735] ppid=28717 vsize=15419460 memory=210600 CPUtime=628.58 cores=0,2,4,6
/proc/28719/task/28735/stat : 28735 (java) R 28717 28717 25933 0 -1 4202560 1985 0 0 0 62857 1 0 0 20 0 19 0 446042140 15789527040 52650 33554432000 4194304 4196468 140721342970208 140715625463048 140715768611598 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28736] ppid=28717 vsize=15419460 memory=1804 CPUtime=626.83 cores=0,2,4,6
/proc/28719/task/28736/stat : 28736 (java) R 28717 28717 25933 0 -1 4202560 3588 0 0 0 62682 1 0 0 20 0 19 0 446042140 15789527040 52650 33554432000 4194304 4196468 140721342970208 140715624414176 140715770054392 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28737] ppid=28717 vsize=15419460 memory=1448 CPUtime=628.66 cores=0,2,4,6
/proc/28719/task/28737/stat : 28737 (java) R 28717 28717 25933 0 -1 4202560 1065 0 0 0 62864 2 0 0 20 0 19 0 446042140 15789527040 52650 33554432000 4194304 4196468 140721342970208 140715623358832 140715768054453 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
[pid=28719/tid=28738] ppid=28717 vsize=15419460 memory=208552 CPUtime=626.98 cores=0,2,4,6
/proc/28719/task/28738/stat : 28738 (java) R 28717 28717 25933 0 -1 4202560 1740 0 0 0 62697 1 0 0 20 0 19 0 446042140 15789527040 52650 33554432000 4194304 4196468 140721342970208 140715622305592 140715768611164 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36679680 140721342977007 140721342977178 140721342977178 140721342980047 0
Current children cumulated CPU time: 2520.26 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 212048 KiB
Child status: 143
Real time (s): 633.571
CPU time (s): 2520.54
CPU user time (s): 2520.16
CPU system time (s): 0.372457
CPU usage (%): 397.83
Max. virtual memory (cumulated for all children) (KiB): 15532588
Max. memory (cumulated for all children) (KiB): 282496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.16
system time used= 0.372457
maximum resident set size= 285144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86871
page faults= 0
swaps= 0
block input operations= 0
block output operations= 832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20590
involuntary context switches= 45768
# summary of solver processes directly reported to runsolver:
# pid: 28717,28719
# total CPU time (s): 2520.54
# total CPU user time (s): 2520.16
# total CPU system time (s): 0.372457
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.70172 second user time and 6.7739 second system time
The end