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 (15320 MiB free)
memory of node 1: 16384 MiB (15228 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393432-1568313225/watcher-4393432-1568313225 -o /tmp/evaluation-result-4393432-1568313225/solver-4393432-1568313225 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568308867-14285 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1465179723 HOME/instance-4393432-1568313225.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=14785, runsolver pid=14782
Current StackSize limit: 8192 KiB
[startup+0.10009 s]*
/proc/loadavg: 9.00 7.74 4.71 3/233 14801
/proc/meminfo: memFree=31265692/32770624 swapFree=66920636/67108860
[pid=14785] ppid=14782 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/14785/stat : 14785 (xcsp3-exec) S 14782 14785 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407578589 115843072 362 33554432000 4194304 5098028 140732137226864 140732137224968 140469565596284 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 36544512 140732137235322 140732137235565 140732137235565 140732137238474 0
/proc/14785/statm: 28282 362 304 221 0 87 0
[pid=14787] ppid=14785 vsize=15144768 memory=28884 CPUtime=0.12 cores=0,2,4,6
/proc/14787/stat : 14787 (java) S 14785 14785 14254 0 -1 1077944320 5690 0 0 0 11 1 0 0 20 0 15 0 407578590 15508242432 7221 33554432000 4194304 4196468 140733776667888 140733776650432 139713078894327 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
/proc/14787/statm: 3786192 7221 3120 1 0 3748377 0
[pid=14787/tid=14788] ppid=14785 vsize=15144768 memory=576460756329955459 CPUtime=0.09 cores=0,2,4,6
/proc/14787/task/14788/stat : 14788 (java) R 14785 14785 14254 0 -1 4202560 3607 0 0 0 8 1 0 0 20 0 15 0 407578590 15508242432 7221 33554432000 4194304 4196468 140733776667888 139713083127392 139713078916253 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14789] ppid=14785 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14789/stat : 14789 (java) S 14785 14785 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407578591 15508242432 7221 33554432000 4194304 4196468 140733776667888 139713006934800 139713078904533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14790] ppid=14785 vsize=15144768 memory=3907348934792406688 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14790/stat : 14790 (java) S 14785 14785 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407578591 15508242432 7221 33554432000 4194304 4196468 140733776667888 139713005882256 139713078904533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14791] ppid=14785 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14791/stat : 14791 (java) S 14785 14785 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407578591 15508242432 7221 33554432000 4194304 4196468 140733776667888 139712669281296 139713078904533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14792] ppid=14785 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14792/stat : 14792 (java) S 14785 14785 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407578591 15508242432 7221 33554432000 4194304 4196468 140733776667888 139712668228752 139713078904533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14793] ppid=14785 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14793/stat : 14793 (java) S 14785 14785 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407578592 15508242432 7221 33554432000 4194304 4196468 140733776667888 139712221415408 139713078905474 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14794] ppid=14785 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14794/stat : 14794 (java) S 14785 14785 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407578593 15508242432 7221 33554432000 4194304 4196468 140733776667888 139712220361632 139713078904533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14795] ppid=14785 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14795/stat : 14795 (java) S 14785 14785 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407578593 15508242432 7221 33554432000 4194304 4196468 140733776667888 139712219309040 139713078904533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14796] ppid=14785 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14796/stat : 14796 (java) S 14785 14785 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407578595 15508242432 7221 33554432000 4194304 4196468 140733776667888 139712218257616 139713078912923 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14797] ppid=14785 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14797/stat : 14797 (java) R 14785 14785 14254 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 407578595 15508242432 7221 33554432000 4194304 4196468 140733776667888 139712217205232 139713078905474 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14798] ppid=14785 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14798/stat : 14798 (java) R 14785 14785 14254 0 -1 4202560 121 0 0 0 0 0 0 0 20 0 15 0 407578595 15508242432 7221 33554432000 4194304 4196468 140733776667888 139712216152688 139713078905474 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14799] ppid=14785 vsize=15144768 memory=140682841384576 CPUtime=0.02 cores=0,2,4,6
/proc/14787/task/14799/stat : 14799 (java) R 14785 14785 14254 0 -1 4202560 363 0 0 0 2 0 0 0 20 0 15 0 407578595 15508242432 7221 33554432000 4194304 4196468 140733776667888 139712215100144 139713078915674 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14800] ppid=14785 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14800/stat : 14800 (java) S 14785 14785 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407578595 15508242432 7221 33554432000 4194304 4196468 140733776667888 139712214047840 139713078904533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14801] ppid=14785 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14801/stat : 14801 (java) S 14785 14785 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407578596 15508242432 7221 33554432000 4194304 4196468 140733776667888 139712212994352 139713078905474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30332 KiB
[startup+0.210446 s]*
/proc/loadavg: 9.00 7.74 4.71 3/233 14801
/proc/meminfo: memFree=31252272/32770624 swapFree=66920636/67108860
[pid=14785] ppid=14782 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/14785/stat : 14785 (xcsp3-exec) S 14782 14785 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407578589 115843072 362 33554432000 4194304 5098028 140732137226864 140732137224968 140469565596284 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 36544512 140732137235322 140732137235565 140732137235565 140732137238474 0
/proc/14785/statm: 28282 362 304 221 0 87 0
[pid=14787] ppid=14785 vsize=15144768 memory=40940 CPUtime=0.34 cores=0,2,4,6
/proc/14787/stat : 14787 (java) S 14785 14785 14254 0 -1 1077944320 9449 0 0 0 31 3 0 0 20 0 15 0 407578590 15508242432 10235 33554432000 4194304 4196468 140733776667888 140733776650432 139713078894327 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
/proc/14787/statm: 3786192 10235 3305 1 0 3748377 0
[pid=14787/tid=14788] ppid=14785 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/14787/task/14788/stat : 14788 (java) R 14785 14785 14254 0 -1 4202560 6610 0 0 0 18 2 0 0 20 0 15 0 407578590 15508242432 10235 33554432000 4194304 4196468 140733776667888 139713083128368 139713046478813 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14789] ppid=14785 vsize=15144768 memory=10592 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14789/stat : 14789 (java) S 14785 14785 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407578591 15508242432 10235 33554432000 4194304 4196468 140733776667888 139713006934800 139713078904533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14790] ppid=14785 vsize=15144768 memory=140682844230440 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14790/stat : 14790 (java) S 14785 14785 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407578591 15508242432 10235 33554432000 4194304 4196468 140733776667888 139713005882256 139713078904533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14791] ppid=14785 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14791/stat : 14791 (java) S 14785 14785 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407578591 15508242432 10235 33554432000 4194304 4196468 140733776667888 139712669281296 139713078904533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14792] ppid=14785 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14792/stat : 14792 (java) S 14785 14785 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407578591 15508242432 10235 33554432000 4194304 4196468 140733776667888 139712668228752 139713078904533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14793] ppid=14785 vsize=15144768 memory=140682841384576 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14793/stat : 14793 (java) S 14785 14785 14254 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 407578592 15508242432 10235 33554432000 4194304 4196468 140733776667888 139712221415408 139713078905474 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14794] ppid=14785 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14794/stat : 14794 (java) S 14785 14785 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407578593 15508242432 10235 33554432000 4194304 4196468 140733776667888 139712220361632 139713078904533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14795] ppid=14785 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14795/stat : 14795 (java) S 14785 14785 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407578593 15508242432 10235 33554432000 4194304 4196468 140733776667888 139712219309040 139713078904533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14796] ppid=14785 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14796/stat : 14796 (java) S 14785 14785 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407578595 15508242432 10235 33554432000 4194304 4196468 140733776667888 139712218257616 139713078912923 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14797] ppid=14785 vsize=15144768 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/14787/task/14797/stat : 14797 (java) S 14785 14785 14254 0 -1 1077944384 602 0 0 0 2 0 0 0 20 0 15 0 407578595 15508242432 10235 33554432000 4194304 4196468 140733776667888 139712217205232 139713078905474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14798] ppid=14785 vsize=15144768 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/14787/task/14798/stat : 14798 (java) S 14785 14785 14254 0 -1 1077944384 166 0 0 0 2 0 0 0 20 0 15 0 407578595 15508242432 10235 33554432000 4194304 4196468 140733776667888 139712216152688 139713078905474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14799] ppid=14785 vsize=15144768 memory=140682841384576 CPUtime=0.08 cores=0,2,4,6
/proc/14787/task/14799/stat : 14799 (java) R 14785 14785 14254 0 -1 4202560 765 0 0 0 8 0 0 0 20 0 15 0 407578595 15508242432 10235 33554432000 4194304 4196468 140733776667888 139712215100144 139713071131454 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14800] ppid=14785 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14800/stat : 14800 (java) S 14785 14785 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407578595 15508242432 10235 33554432000 4194304 4196468 140733776667888 139712214047840 139713078904533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14801] ppid=14785 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14801/stat : 14801 (java) S 14785 14785 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407578596 15508242432 10235 33554432000 4194304 4196468 140733776667888 139712212994352 139713078905474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42388 KiB
[startup+0.31071 s]*
/proc/loadavg: 9.00 7.74 4.71 5/233 14801
/proc/meminfo: memFree=31245928/32770624 swapFree=66920636/67108860
[pid=14785] ppid=14782 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/14785/stat : 14785 (xcsp3-exec) S 14782 14785 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407578589 115843072 362 33554432000 4194304 5098028 140732137226864 140732137224968 140469565596284 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 36544512 140732137235322 140732137235565 140732137235565 140732137238474 0
/proc/14785/statm: 28282 362 304 221 0 87 0
[pid=14787] ppid=14785 vsize=15149024 memory=50092 CPUtime=0.52 cores=0,2,4,6
/proc/14787/stat : 14787 (java) S 14785 14785 14254 0 -1 1077944320 10801 0 0 0 48 4 0 0 20 0 15 0 407578590 15512600576 12523 33554432000 4194304 4196468 140733776667888 140733776650432 139713078894327 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
/proc/14787/statm: 3787256 12523 3354 1 0 3748377 0
[pid=14787/tid=14788] ppid=14785 vsize=15149024 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/14787/task/14788/stat : 14788 (java) R 14785 14785 14254 0 -1 4202560 7750 0 0 0 27 3 0 0 20 0 15 0 407578590 15512600576 12523 33554432000 4194304 4196468 140733776667888 139713083125440 139713078916253 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14789] ppid=14785 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14789/stat : 14789 (java) S 14785 14785 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407578591 15512600576 12523 33554432000 4194304 4196468 140733776667888 139713006934800 139713078904533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14790] ppid=14785 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14790/stat : 14790 (java) S 14785 14785 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407578591 15512600576 12523 33554432000 4194304 4196468 140733776667888 139713005882256 139713078904533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14791] ppid=14785 vsize=15149024 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14791/stat : 14791 (java) S 14785 14785 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407578591 15512600576 12523 33554432000 4194304 4196468 140733776667888 139712669281296 139713078904533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14792] ppid=14785 vsize=15149024 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14792/stat : 14792 (java) S 14785 14785 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407578591 15512600576 12523 33554432000 4194304 4196468 140733776667888 139712668228752 139713078904533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14793] ppid=14785 vsize=15149024 memory=4500088463514900084 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14793/stat : 14793 (java) S 14785 14785 14254 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 407578592 15512600576 12523 33554432000 4194304 4196468 140733776667888 139712221415408 139713078905474 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14794] ppid=14785 vsize=15149024 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14794/stat : 14794 (java) S 14785 14785 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407578593 15512600576 12523 33554432000 4194304 4196468 140733776667888 139712220361632 139713078904533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14795] ppid=14785 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14795/stat : 14795 (java) S 14785 14785 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407578593 15512600576 12523 33554432000 4194304 4196468 140733776667888 139712219309040 139713078904533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14796] ppid=14785 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14796/stat : 14796 (java) S 14785 14785 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407578595 15512600576 12523 33554432000 4194304 4196468 140733776667888 139712218257616 139713078912923 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14797] ppid=14785 vsize=15149024 memory=7827413994055111515 CPUtime=0.04 cores=0,2,4,6
/proc/14787/task/14797/stat : 14797 (java) S 14785 14785 14254 0 -1 1077944384 617 0 0 0 4 0 0 0 20 0 15 0 407578595 15512600576 12523 33554432000 4194304 4196468 140733776667888 139712217205232 139713078905474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14798] ppid=14785 vsize=15149024 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/14787/task/14798/stat : 14798 (java) R 14785 14785 14254 0 -1 4202560 268 0 0 0 4 0 0 0 20 0 15 0 407578595 15512600576 12523 33554432000 4194304 4196468 140733776667888 139712216133704 139713058140319 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14799] ppid=14785 vsize=15149024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/14787/task/14799/stat : 14799 (java) R 14785 14785 14254 0 -1 4202560 863 0 0 0 12 0 0 0 20 0 15 0 407578595 15512600576 12523 33554432000 4194304 4196468 140733776667888 139712215100144 139713078906262 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14800] ppid=14785 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14800/stat : 14800 (java) S 14785 14785 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407578595 15512600576 12523 33554432000 4194304 4196468 140733776667888 139712214047840 139713078904533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14801] ppid=14785 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14801/stat : 14801 (java) S 14785 14785 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407578596 15512600576 12523 33554432000 4194304 4196468 140733776667888 139712212994352 139713078905474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51540 KiB
[startup+0.7068 s]
/proc/loadavg: 9.00 7.74 4.71 6/233 14801
/proc/meminfo: memFree=31233996/32770624 swapFree=66920636/67108860
[pid=14785] ppid=14782 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/14785/stat : 14785 (xcsp3-exec) S 14782 14785 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407578589 115843072 362 33554432000 4194304 5098028 140732137226864 140732137224968 140469565596284 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 36544512 140732137235322 140732137235565 140732137235565 140732137238474 0
/proc/14785/statm: 28282 362 304 221 0 87 0
[pid=14787] ppid=14785 vsize=15151148 memory=79344 CPUtime=1.54 cores=0,2,4,6
/proc/14787/stat : 14787 (java) S 14785 14785 14254 0 -1 1077944320 14623 0 0 0 147 7 0 0 20 0 15 0 407578590 15514775552 19836 33554432000 4194304 4196468 140733776667888 140733776650432 139713078894327 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
/proc/14787/statm: 3787787 19836 3450 1 0 3748889 0
[pid=14787/tid=14788] ppid=14785 vsize=15151148 memory=-3704326594973231466 CPUtime=0.67 cores=0,2,4,6
/proc/14787/task/14788/stat : 14788 (java) R 14785 14785 14254 0 -1 4202560 9487 0 0 0 63 4 0 0 20 0 15 0 407578590 15514775552 19836 33554432000 4194304 4196468 140733776667888 139713083131136 139713078906262 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14789] ppid=14785 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14789/stat : 14789 (java) S 14785 14785 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407578591 15514775552 19836 33554432000 4194304 4196468 140733776667888 139713006934800 139713078904533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14790] ppid=14785 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14790/stat : 14790 (java) S 14785 14785 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407578591 15514775552 19836 33554432000 4194304 4196468 140733776667888 139713005882256 139713078904533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14791] ppid=14785 vsize=15151148 memory=708 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14791/stat : 14791 (java) S 14785 14785 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407578591 15514775552 19836 33554432000 4194304 4196468 140733776667888 139712669281296 139713078904533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14792] ppid=14785 vsize=15151148 memory=9364 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14792/stat : 14792 (java) S 14785 14785 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407578591 15514775552 19836 33554432000 4194304 4196468 140733776667888 139712668228752 139713078904533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14793] ppid=14785 vsize=15151148 memory=1120 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14793/stat : 14793 (java) S 14785 14785 14254 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 407578592 15514775552 19836 33554432000 4194304 4196468 140733776667888 139712221415408 139713078905474 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14794] ppid=14785 vsize=15151148 memory=776 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14794/stat : 14794 (java) S 14785 14785 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407578593 15514775552 19836 33554432000 4194304 4196468 140733776667888 139712220361632 139713078904533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14795] ppid=14785 vsize=15151148 memory=1552 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14795/stat : 14795 (java) S 14785 14785 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407578593 15514775552 19836 33554432000 4194304 4196468 140733776667888 139712219309040 139713078904533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14796] ppid=14785 vsize=15151148 memory=7956 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14796/stat : 14796 (java) S 14785 14785 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407578595 15514775552 19836 33554432000 4194304 4196468 140733776667888 139712218257616 139713078912923 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14797] ppid=14785 vsize=15151148 memory=3444 CPUtime=0.2 cores=0,2,4,6
/proc/14787/task/14797/stat : 14797 (java) R 14785 14785 14254 0 -1 4202560 1185 0 0 0 20 0 0 0 20 0 15 0 407578595 15514775552 19836 33554432000 4194304 4196468 140733776667888 139712217205232 139713063799942 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14798] ppid=14785 vsize=15151148 memory=1556 CPUtime=0.22 cores=0,2,4,6
/proc/14787/task/14798/stat : 14798 (java) R 14785 14785 14254 0 -1 1077944384 812 0 0 0 22 0 0 0 20 0 15 0 407578595 15514775552 19836 33554432000 4194304 4196468 140733776667888 139712216152688 139713078905474 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14799] ppid=14785 vsize=15151148 memory=2832 CPUtime=0.4 cores=0,2,4,6
/proc/14787/task/14799/stat : 14799 (java) R 14785 14785 14254 0 -1 4202560 1832 0 0 0 40 0 0 0 20 0 15 0 407578595 15514775552 19836 33554432000 4194304 4196468 140733776667888 139712215095904 139713057765591 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14800] ppid=14785 vsize=15151148 memory=984 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14800/stat : 14800 (java) S 14785 14785 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407578595 15514775552 19836 33554432000 4194304 4196468 140733776667888 139712214047840 139713078904533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14801] ppid=14785 vsize=15151148 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14801/stat : 14801 (java) S 14785 14785 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407578596 15514775552 19836 33554432000 4194304 4196468 140733776667888 139712212994352 139713078905474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
Current children cumulated CPU time: 1.54 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 80792 KiB
[startup+1.50085 s]
/proc/loadavg: 9.00 7.74 4.71 7/237 14809
/proc/meminfo: memFree=31170744/32770624 swapFree=66920636/67108860
[pid=14785] ppid=14782 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/14785/stat : 14785 (xcsp3-exec) S 14782 14785 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407578589 115843072 362 33554432000 4194304 5098028 140732137226864 140732137224968 140469565596284 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 36544512 140732137235322 140732137235565 140732137235565 140732137238474 0
/proc/14785/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/14787/stat : 14787 (java) S 14785 14785 14254 0 -1 1077944320 239414 0 0 0 238586 166 0 0 20 0 19 0 407578590 15789518848 100585 33554432000 4194304 4196468 140733776667888 140733776650432 139713078894327 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
/proc/14787/statm: 3854863 100585 3537 1 0 3815965 0
[pid=14787/tid=14788] ppid=14785 vsize=15419452 memory=402340 CPUtime=0.86 cores=0,2,4,6
/proc/14787/task/14788/stat : 14788 (java) S 14785 14785 14254 0 -1 1077944384 14618 0 0 0 81 5 0 0 20 0 19 0 407578590 15789518848 100585 33554432000 4194304 4196468 140733776667888 139713083135104 139713078904533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14789] ppid=14785 vsize=15419452 memory=396392 CPUtime=0.8 cores=0,2,4,6
/proc/14787/task/14789/stat : 14789 (java) S 14785 14785 14254 0 -1 1077944384 11621 0 0 0 72 8 0 0 20 0 19 0 407578591 15789518848 100585 33554432000 4194304 4196468 140733776667888 139713006934800 139713078904533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14790] ppid=14785 vsize=15419452 memory=396392 CPUtime=0.78 cores=0,2,4,6
/proc/14787/task/14790/stat : 14790 (java) S 14785 14785 14254 0 -1 1077944384 17627 0 0 0 70 8 0 0 20 0 19 0 407578591 15789518848 100585 33554432000 4194304 4196468 140733776667888 139713005882256 139713078904533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14791] ppid=14785 vsize=15419452 memory=402036 CPUtime=0.79 cores=0,2,4,6
/proc/14787/task/14791/stat : 14791 (java) S 14785 14785 14254 0 -1 1077944384 16349 0 0 0 70 9 0 0 20 0 19 0 407578591 15789518848 100585 33554432000 4194304 4196468 140733776667888 139712669281296 139713078904533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14792] ppid=14785 vsize=15419452 memory=396392 CPUtime=0.79 cores=0,2,4,6
/proc/14787/task/14792/stat : 14792 (java) S 14785 14785 14254 0 -1 1077944384 12874 0 0 0 71 8 0 0 20 0 19 0 407578591 15789518848 100585 33554432000 4194304 4196468 140733776667888 139712668228752 139713078904533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14793] ppid=14785 vsize=15419452 memory=396392 CPUtime=1.43 cores=0,2,4,6
/proc/14787/task/14793/stat : 14793 (java) S 14785 14785 14254 0 -1 1077944384 19681 0 0 0 46 97 0 0 20 0 19 0 407578592 15789518848 100585 33554432000 4194304 4196468 140733776667888 139712221415408 139713078905474 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14794] ppid=14785 vsize=15419452 memory=396392 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14794/stat : 14794 (java) S 14785 14785 14254 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 19 0 407578593 15789518848 100585 33554432000 4194304 4196468 140733776667888 139712220361696 139713078904533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14795] ppid=14785 vsize=15419452 memory=396192 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14795/stat : 14795 (java) S 14785 14785 14254 0 -1 1077944384 105 0 0 0 0 0 0 0 20 0 19 0 407578593 15789518848 100585 33554432000 4194304 4196468 140733776667888 139712219309056 139713078904533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14796] ppid=14785 vsize=15419452 memory=402336 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14796/stat : 14796 (java) S 14785 14785 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407578595 15789518848 100585 33554432000 4194304 4196468 140733776667888 139712218257616 139713078912923 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14797] ppid=14785 vsize=15419452 memory=402340 CPUtime=4.2 cores=0,2,4,6
/proc/14787/task/14797/stat : 14797 (java) S 14785 14785 14254 0 -1 1077944384 27745 0 0 0 417 3 0 0 20 0 19 0 407578595 15789518848 100585 33554432000 4194304 4196468 140733776667888 139712217205232 139713078905474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14798] ppid=14785 vsize=15419452 memory=402340 CPUtime=3.77 cores=0,2,4,6
/proc/14787/task/14798/stat : 14798 (java) S 14785 14785 14254 0 -1 1077944384 22839 0 0 0 375 2 0 0 20 0 19 0 407578595 15789518848 100585 33554432000 4194304 4196468 140733776667888 139712216152688 139713078905474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14799] ppid=14785 vsize=15419452 memory=1448 CPUtime=1.01 cores=0,2,4,6
/proc/14787/task/14799/stat : 14799 (java) S 14785 14785 14254 0 -1 1077944384 23511 0 0 0 98 3 0 0 20 0 19 0 407578595 15789518848 100585 33554432000 4194304 4196468 140733776667888 139712215100144 139713078905474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14800] ppid=14785 vsize=15419452 memory=402340 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14800/stat : 14800 (java) S 14785 14785 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407578595 15789518848 100585 33554432000 4194304 4196468 140733776667888 139712214047840 139713078904533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14801] ppid=14785 vsize=15419452 memory=1448 CPUtime=0.57 cores=0,2,4,6
/proc/14787/task/14801/stat : 14801 (java) S 14785 14785 14254 0 -1 1077944384 3578 0 0 0 30 27 0 0 20 0 19 0 407578596 15789518848 100585 33554432000 4194304 4196468 140733776667888 139712212994352 139713078905474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=15464] ppid=14785 vsize=15419452 memory=1448 CPUtime=2.77 cores=0,2,4,6
/proc/14787/task/15464/stat : 15464 (java) R 14785 14785 14254 0 -1 4202560 61 0 0 0 277 0 0 0 20 0 19 0 407678535 15789518848 100585 33554432000 4194304 4196468 140733776667888 139712130955928 139712695014746 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=15465] ppid=14785 vsize=15419452 memory=1448 CPUtime=2.79 cores=0,2,4,6
/proc/14787/task/15465/stat : 15465 (java) R 14785 14785 14254 0 -1 4202560 125 0 0 0 279 0 0 0 20 0 19 0 407678535 15789518848 100585 33554432000 4194304 4196468 140733776667888 139712132012672 139712693069521 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=15466] ppid=14785 vsize=15419452 memory=317785447046840346 CPUtime=2.8 cores=0,2,4,6
/proc/14787/task/15466/stat : 15466 (java) R 14785 14785 14254 0 -1 4202560 28 0 0 0 280 0 0 0 20 0 19 0 407678535 15789518848 100585 33554432000 4194304 4196468 140733776667888 139712200635000 139712694770372 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=15467] ppid=14785 vsize=15419452 memory=288230596050944315 CPUtime=2.83 cores=0,2,4,6
/proc/14787/task/15467/stat : 15467 (java) R 14785 14785 14254 0 -1 4202560 31 0 0 0 283 0 0 0 20 0 19 0 407678535 15789518848 100585 33554432000 4194304 4196468 140733776667888 139712201686944 139712694753835 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
Current children cumulated CPU time: 2387.52 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 403788 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1046.9 s]
/proc/loadavg: 7.00 6.33 5.64 9/237 15601
/proc/meminfo: memFree=28890560/32770624 swapFree=66920648/67108860
[pid=14785] ppid=14782 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/14785/stat : 14785 (xcsp3-exec) S 14782 14785 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407578589 115843072 362 33554432000 4194304 5098028 140732137226864 140732137224968 140469565596284 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 36544512 140732137235322 140732137235565 140732137235565 140732137238474 0
/proc/14785/statm: 28282 362 304 221 0 87 0
[pid=14787] ppid=14785 vsize=15419452 memory=426088 CPUtime=2520.23 cores=0,2,4,6
/proc/14787/stat : 14787 (java) S 14785 14785 14254 0 -1 1077944320 249087 0 0 0 251823 200 0 0 20 0 19 0 407578590 15789518848 106522 33554432000 4194304 4196468 140733776667888 140733776650432 139713078894327 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
/proc/14787/statm: 3854863 106522 3537 1 0 3815965 0
[pid=14787/tid=14788] ppid=14785 vsize=15419452 memory=419948 CPUtime=0.86 cores=0,2,4,6
/proc/14787/task/14788/stat : 14788 (java) S 14785 14785 14254 0 -1 1077944384 14763 0 0 0 81 5 0 0 20 0 19 0 407578590 15789518848 106522 33554432000 4194304 4196468 140733776667888 139713083135104 139713078904533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14789] ppid=14785 vsize=15419452 memory=419948 CPUtime=0.88 cores=0,2,4,6
/proc/14787/task/14789/stat : 14789 (java) S 14785 14785 14254 0 -1 1077944384 12698 0 0 0 79 9 0 0 20 0 19 0 407578591 15789518848 106522 33554432000 4194304 4196468 140733776667888 139713006934800 139713078904533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14790] ppid=14785 vsize=15419452 memory=409284 CPUtime=0.86 cores=0,2,4,6
/proc/14787/task/14790/stat : 14790 (java) S 14785 14785 14254 0 -1 1077944384 18970 0 0 0 78 8 0 0 20 0 19 0 407578591 15789518848 106522 33554432000 4194304 4196468 140733776667888 139713005882256 139713078904533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14791] ppid=14785 vsize=15419452 memory=426088 CPUtime=0.87 cores=0,2,4,6
/proc/14787/task/14791/stat : 14791 (java) S 14785 14785 14254 0 -1 1077944384 18181 0 0 0 78 9 0 0 20 0 19 0 407578591 15789518848 106522 33554432000 4194304 4196468 140733776667888 139712669281296 139713078904533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14792] ppid=14785 vsize=15419452 memory=1448 CPUtime=0.86 cores=0,2,4,6
/proc/14787/task/14792/stat : 14792 (java) S 14785 14785 14254 0 -1 1077944384 13497 0 0 0 78 8 0 0 20 0 19 0 407578591 15789518848 106522 33554432000 4194304 4196468 140733776667888 139712668228752 139713078904533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14793] ppid=14785 vsize=15419452 memory=403052 CPUtime=1.82 cores=0,2,4,6
/proc/14787/task/14793/stat : 14793 (java) S 14785 14785 14254 0 -1 1077944384 20938 0 0 0 55 127 0 0 20 0 19 0 407578592 15789518848 106522 33554432000 4194304 4196468 140733776667888 139712221415408 139713078905474 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14794] ppid=14785 vsize=15419452 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14794/stat : 14794 (java) S 14785 14785 14254 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 19 0 407578593 15789518848 106522 33554432000 4194304 4196468 140733776667888 139712220361696 139713078904533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14795] ppid=14785 vsize=15419452 memory=411624 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14795/stat : 14795 (java) S 14785 14785 14254 0 -1 1077944384 105 0 0 0 0 0 0 0 20 0 19 0 407578593 15789518848 106522 33554432000 4194304 4196468 140733776667888 139712219309056 139713078904533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14796] ppid=14785 vsize=15419452 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14796/stat : 14796 (java) S 14785 14785 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407578595 15789518848 106522 33554432000 4194304 4196468 140733776667888 139712218257616 139713078912923 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14797] ppid=14785 vsize=15419452 memory=1448 CPUtime=4.2 cores=0,2,4,6
/proc/14787/task/14797/stat : 14797 (java) S 14785 14785 14254 0 -1 1077944384 27755 0 0 0 417 3 0 0 20 0 19 0 407578595 15789518848 106522 33554432000 4194304 4196468 140733776667888 139712217205232 139713078905474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14798] ppid=14785 vsize=15419452 memory=3592 CPUtime=3.77 cores=0,2,4,6
/proc/14787/task/14798/stat : 14798 (java) S 14785 14785 14254 0 -1 1077944384 22849 0 0 0 375 2 0 0 20 0 19 0 407578595 15789518848 106522 33554432000 4194304 4196468 140733776667888 139712216152688 139713078905474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14799] ppid=14785 vsize=15419452 memory=1448 CPUtime=1.01 cores=0,2,4,6
/proc/14787/task/14799/stat : 14799 (java) S 14785 14785 14254 0 -1 1077944384 23522 0 0 0 98 3 0 0 20 0 19 0 407578595 15789518848 106522 33554432000 4194304 4196468 140733776667888 139712215100144 139713078905474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14800] ppid=14785 vsize=15419452 memory=411604 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14800/stat : 14800 (java) S 14785 14785 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407578595 15789518848 106522 33554432000 4194304 4196468 140733776667888 139712214047840 139713078904533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14801] ppid=14785 vsize=15419452 memory=1448 CPUtime=0.58 cores=0,2,4,6
/proc/14787/task/14801/stat : 14801 (java) S 14785 14785 14254 0 -1 1077944384 3674 0 0 0 31 27 0 0 20 0 19 0 407578596 15789518848 106522 33554432000 4194304 4196468 140733776667888 139712212994352 139713078905474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=15596] ppid=14785 vsize=15419452 memory=6791534058613427641 CPUtime=10.73 cores=0,2,4,6
/proc/14787/task/15596/stat : 15596 (java) R 14785 14785 14254 0 -1 4202560 268 0 0 0 1073 0 0 0 20 0 19 0 407682189 15789518848 106522 33554432000 4194304 4196468 140733776667888 139712200633496 139712695288672 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=15597] ppid=14785 vsize=15419452 memory=776 CPUtime=10.69 cores=0,2,4,6
/proc/14787/task/15597/stat : 15597 (java) R 14785 14785 14254 0 -1 4202560 565 0 0 0 1069 0 0 0 20 0 19 0 407682189 15789518848 106522 33554432000 4194304 4196468 140733776667888 139712132013184 139712694753802 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=15598] ppid=14785 vsize=15419452 memory=1448 CPUtime=10.67 cores=0,2,4,6
/proc/14787/task/15598/stat : 15598 (java) R 14785 14785 14254 0 -1 4202560 328 0 0 0 1067 0 0 0 20 0 19 0 407682189 15789518848 106522 33554432000 4194304 4196468 140733776667888 139712201688216 139712695408256 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=15599] ppid=14785 vsize=15419452 memory=1448 CPUtime=10.8 cores=0,2,4,6
/proc/14787/task/15599/stat : 15599 (java) R 14785 14785 14254 0 -1 4202560 278 0 0 0 1080 0 0 0 20 0 19 0 407682189 15789518848 106522 33554432000 4194304 4196468 140733776667888 139712130956704 139712694754233 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
Current children cumulated CPU time: 2520.23 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 427536 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1046.93 s]
# the end of solver process 14785 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001221 s, system=0.001221 s
[startup+1046.98 s]
# the end of solver process 14787 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.51 s, system=2.01435 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+1046.9 s]
/proc/loadavg: 7.00 6.33 5.64 9/237 15601
/proc/meminfo: memFree=28890560/32770624 swapFree=66920648/67108860
[pid=14785] ppid=14782 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/14785/stat : 14785 (xcsp3-exec) S 14782 14785 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407578589 115843072 362 33554432000 4194304 5098028 140732137226864 140732137224968 140469565596284 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 36544512 140732137235322 140732137235565 140732137235565 140732137238474 0
/proc/14785/statm: 28282 362 304 221 0 87 0
[pid=14787] ppid=14785 vsize=15419452 memory=426088 CPUtime=2520.23 cores=0,2,4,6
/proc/14787/stat : 14787 (java) S 14785 14785 14254 0 -1 1077944320 249087 0 0 0 251823 200 0 0 20 0 19 0 407578590 15789518848 106522 33554432000 4194304 4196468 140733776667888 140733776650432 139713078894327 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
/proc/14787/statm: 3854863 106522 3537 1 0 3815965 0
[pid=14787/tid=14788] ppid=14785 vsize=15419452 memory=419948 CPUtime=0.86 cores=0,2,4,6
/proc/14787/task/14788/stat : 14788 (java) S 14785 14785 14254 0 -1 1077944384 14763 0 0 0 81 5 0 0 20 0 19 0 407578590 15789518848 106522 33554432000 4194304 4196468 140733776667888 139713083135104 139713078904533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14789] ppid=14785 vsize=15419452 memory=419948 CPUtime=0.88 cores=0,2,4,6
/proc/14787/task/14789/stat : 14789 (java) S 14785 14785 14254 0 -1 1077944384 12698 0 0 0 79 9 0 0 20 0 19 0 407578591 15789518848 106522 33554432000 4194304 4196468 140733776667888 139713006934800 139713078904533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14790] ppid=14785 vsize=15419452 memory=409284 CPUtime=0.86 cores=0,2,4,6
/proc/14787/task/14790/stat : 14790 (java) S 14785 14785 14254 0 -1 1077944384 18970 0 0 0 78 8 0 0 20 0 19 0 407578591 15789518848 106522 33554432000 4194304 4196468 140733776667888 139713005882256 139713078904533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14791] ppid=14785 vsize=15419452 memory=426088 CPUtime=0.87 cores=0,2,4,6
/proc/14787/task/14791/stat : 14791 (java) S 14785 14785 14254 0 -1 1077944384 18181 0 0 0 78 9 0 0 20 0 19 0 407578591 15789518848 106522 33554432000 4194304 4196468 140733776667888 139712669281296 139713078904533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14792] ppid=14785 vsize=15419452 memory=1448 CPUtime=0.86 cores=0,2,4,6
/proc/14787/task/14792/stat : 14792 (java) S 14785 14785 14254 0 -1 1077944384 13497 0 0 0 78 8 0 0 20 0 19 0 407578591 15789518848 106522 33554432000 4194304 4196468 140733776667888 139712668228752 139713078904533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14793] ppid=14785 vsize=15419452 memory=403052 CPUtime=1.82 cores=0,2,4,6
/proc/14787/task/14793/stat : 14793 (java) S 14785 14785 14254 0 -1 1077944384 20938 0 0 0 55 127 0 0 20 0 19 0 407578592 15789518848 106522 33554432000 4194304 4196468 140733776667888 139712221415408 139713078905474 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14794] ppid=14785 vsize=15419452 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14794/stat : 14794 (java) S 14785 14785 14254 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 19 0 407578593 15789518848 106522 33554432000 4194304 4196468 140733776667888 139712220361696 139713078904533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14795] ppid=14785 vsize=15419452 memory=411624 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14795/stat : 14795 (java) S 14785 14785 14254 0 -1 1077944384 105 0 0 0 0 0 0 0 20 0 19 0 407578593 15789518848 106522 33554432000 4194304 4196468 140733776667888 139712219309056 139713078904533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14796] ppid=14785 vsize=15419452 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14796/stat : 14796 (java) S 14785 14785 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407578595 15789518848 106522 33554432000 4194304 4196468 140733776667888 139712218257616 139713078912923 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14797] ppid=14785 vsize=15419452 memory=1448 CPUtime=4.2 cores=0,2,4,6
/proc/14787/task/14797/stat : 14797 (java) S 14785 14785 14254 0 -1 1077944384 27755 0 0 0 417 3 0 0 20 0 19 0 407578595 15789518848 106522 33554432000 4194304 4196468 140733776667888 139712217205232 139713078905474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14798] ppid=14785 vsize=15419452 memory=3592 CPUtime=3.77 cores=0,2,4,6
/proc/14787/task/14798/stat : 14798 (java) S 14785 14785 14254 0 -1 1077944384 22849 0 0 0 375 2 0 0 20 0 19 0 407578595 15789518848 106522 33554432000 4194304 4196468 140733776667888 139712216152688 139713078905474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14799] ppid=14785 vsize=15419452 memory=1448 CPUtime=1.01 cores=0,2,4,6
/proc/14787/task/14799/stat : 14799 (java) S 14785 14785 14254 0 -1 1077944384 23522 0 0 0 98 3 0 0 20 0 19 0 407578595 15789518848 106522 33554432000 4194304 4196468 140733776667888 139712215100144 139713078905474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14800] ppid=14785 vsize=15419452 memory=411604 CPUtime=0 cores=0,2,4,6
/proc/14787/task/14800/stat : 14800 (java) S 14785 14785 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407578595 15789518848 106522 33554432000 4194304 4196468 140733776667888 139712214047840 139713078904533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=14801] ppid=14785 vsize=15419452 memory=1448 CPUtime=0.58 cores=0,2,4,6
/proc/14787/task/14801/stat : 14801 (java) S 14785 14785 14254 0 -1 1077944384 3674 0 0 0 31 27 0 0 20 0 19 0 407578596 15789518848 106522 33554432000 4194304 4196468 140733776667888 139712212994352 139713078905474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=15596] ppid=14785 vsize=15419452 memory=6791534058613427641 CPUtime=10.73 cores=0,2,4,6
/proc/14787/task/15596/stat : 15596 (java) R 14785 14785 14254 0 -1 4202560 268 0 0 0 1073 0 0 0 20 0 19 0 407682189 15789518848 106522 33554432000 4194304 4196468 140733776667888 139712200633496 139712695288672 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=15597] ppid=14785 vsize=15419452 memory=776 CPUtime=10.69 cores=0,2,4,6
/proc/14787/task/15597/stat : 15597 (java) R 14785 14785 14254 0 -1 4202560 565 0 0 0 1069 0 0 0 20 0 19 0 407682189 15789518848 106522 33554432000 4194304 4196468 140733776667888 139712132013184 139712694753802 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=15598] ppid=14785 vsize=15419452 memory=1448 CPUtime=10.67 cores=0,2,4,6
/proc/14787/task/15598/stat : 15598 (java) R 14785 14785 14254 0 -1 4202560 328 0 0 0 1067 0 0 0 20 0 19 0 407682189 15789518848 106522 33554432000 4194304 4196468 140733776667888 139712201688216 139712695408256 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
[pid=14787/tid=15599] ppid=14785 vsize=15419452 memory=1448 CPUtime=10.8 cores=0,2,4,6
/proc/14787/task/15599/stat : 15599 (java) R 14785 14785 14254 0 -1 4202560 278 0 0 0 1080 0 0 0 20 0 19 0 407682189 15789518848 106522 33554432000 4194304 4196468 140733776667888 139712130956704 139712694754233 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31272960 140733776671727 140733776671898 140733776671898 140733776674767 0
Current children cumulated CPU time: 2520.23 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 427536 KiB
Child status: 143
Real time (s): 1046.98
CPU time (s): 2520.52
CPU user time (s): 2518.51
CPU system time (s): 2.01435
CPU usage (%): 240.742
Max. virtual memory (cumulated for all children) (KiB): 15537408
Max. memory (cumulated for all children) (KiB): 427928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.51
system time used= 2.01435
maximum resident set size= 426480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 250066
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37530
involuntary context switches= 33384
# summary of solver processes directly reported to runsolver:
# pid: 14785,14787
# total CPU time (s): 2520.52
# total CPU user time (s): 2518.51
# total CPU system time (s): 2.01435
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.57774 second user time and 10.41 second system time
The end