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 (14420 MiB free)
memory of node 1: 16384 MiB (14902 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398840-1568697227/watcher-4398840-1568697227 -o /tmp/evaluation-result-4398840-1568697227/solver-4398840-1568697227 -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 283367687 HOME/instance-4398840-1568697227.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
Current StackSize limit: 8192 KiB
solver pid=27450, runsolver pid=27447
[startup+0.106478 s]*
/proc/loadavg: 8.19 8.53 7.79 7/233 27466
/proc/meminfo: memFree=30010576/32770624 swapFree=67000028/67108860
[pid=27450] ppid=27447 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/27450/stat : 27450 (xcsp3-exec) S 27447 27450 25933 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445977153 115843072 362 33554432000 4194304 5098028 140731790454656 140731790452760 140191720575612 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 21049344 140731790459771 140731790460013 140731790460013 140731790462922 0
/proc/27450/statm: 28282 362 304 221 0 87 0
[pid=27452] ppid=27450 vsize=15144776 memory=29452 CPUtime=0.15 cores=0,2,4,6
/proc/27452/stat : 27452 (java) S 27450 27450 25933 0 -1 1077944320 5735 0 0 0 14 1 0 0 20 0 15 0 445977153 15508250624 7363 33554432000 4194304 4196468 140736548519296 140736548501840 139818554158839 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
/proc/27452/statm: 3786194 7363 3217 1 0 3748377 0
[pid=27452/tid=27453] ppid=27450 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=0,2,4,6
/proc/27452/task/27453/stat : 27453 (java) R 27450 27450 25933 0 -1 4202560 3592 0 0 0 9 0 0 0 20 0 15 0 445977153 15508250624 7363 33554432000 4194304 4196468 140736548519296 139818558381536 139818182017087 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27454] ppid=27450 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27452/task/27454/stat : 27454 (java) S 27450 27450 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445977154 15508250624 7363 33554432000 4194304 4196468 140736548519296 139818506779280 139818554169045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27455] ppid=27450 vsize=15144776 memory=3979411802570266272 CPUtime=0 cores=0,2,4,6
/proc/27452/task/27455/stat : 27455 (java) S 27450 27450 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445977154 15508250624 7363 33554432000 4194304 4196468 140736548519296 139818505726480 139818554169045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27456] ppid=27450 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27452/task/27456/stat : 27456 (java) S 27450 27450 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445977154 15508250624 7363 33554432000 4194304 4196468 140736548519296 139818504673680 139818554169045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27457] ppid=27450 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27452/task/27457/stat : 27457 (java) S 27450 27450 25933 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445977154 15508250624 7363 33554432000 4194304 4196468 140736548519296 139818503620880 139818554169045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27458] ppid=27450 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27452/task/27458/stat : 27458 (java) S 27450 27450 25933 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445977155 15508250624 7363 33554432000 4194304 4196468 140736548519296 139818022435696 139818554169986 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27459] ppid=27450 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27452/task/27459/stat : 27459 (java) S 27450 27450 25933 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445977156 15508250624 7363 33554432000 4194304 4196468 140736548519296 139818021381664 139818554169045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27460] ppid=27450 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27452/task/27460/stat : 27460 (java) S 27450 27450 25933 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445977156 15508250624 7363 33554432000 4194304 4196468 140736548519296 139818020328816 139818554169045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27461] ppid=27450 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27452/task/27461/stat : 27461 (java) S 27450 27450 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445977158 15508250624 7363 33554432000 4194304 4196468 140736548519296 139818019277136 139818554177435 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27462] ppid=27450 vsize=15144776 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/27452/task/27462/stat : 27462 (java) S 27450 27450 25933 0 -1 1077944384 467 0 0 0 1 0 0 0 20 0 15 0 445977158 15508250624 7363 33554432000 4194304 4196468 140736548519296 139818018224496 139818554169986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27463] ppid=27450 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27452/task/27463/stat : 27463 (java) S 27450 27450 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445977158 15508250624 7363 33554432000 4194304 4196468 140736548519296 139818017171696 139818554169986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27464] ppid=27450 vsize=15144776 memory=140454711432832 CPUtime=0.03 cores=0,2,4,6
/proc/27452/task/27464/stat : 27464 (java) R 27450 27450 25933 0 -1 4202560 373 0 0 0 3 0 0 0 20 0 15 0 445977158 15508250624 7363 33554432000 4194304 4196468 140736548519296 139818016118896 139818538239326 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27465] ppid=27450 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27452/task/27465/stat : 27465 (java) S 27450 27450 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445977159 15508250624 7363 33554432000 4194304 4196468 140736548519296 139818015066336 139818554169045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27466] ppid=27450 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27452/task/27466/stat : 27466 (java) S 27450 27450 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445977159 15508250624 7363 33554432000 4194304 4196468 140736548519296 139818014014640 139818554169986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30900 KiB
[startup+0.210686 s]*
/proc/loadavg: 8.19 8.53 7.79 6/233 27466
/proc/meminfo: memFree=29998220/32770624 swapFree=67000028/67108860
[pid=27450] ppid=27447 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/27450/stat : 27450 (xcsp3-exec) S 27447 27450 25933 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445977153 115843072 362 33554432000 4194304 5098028 140731790454656 140731790452760 140191720575612 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 21049344 140731790459771 140731790460013 140731790460013 140731790462922 0
/proc/27450/statm: 28282 362 304 221 0 87 0
[pid=27452] ppid=27450 vsize=15144776 memory=40724 CPUtime=0.34 cores=0,2,4,6
/proc/27452/stat : 27452 (java) S 27450 27450 25933 0 -1 1077944320 9453 0 0 0 31 3 0 0 20 0 15 0 445977153 15508250624 10181 33554432000 4194304 4196468 140736548519296 140736548501840 139818554158839 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
/proc/27452/statm: 3786194 10181 3284 1 0 3748377 0
[pid=27452/tid=27453] ppid=27450 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/27452/task/27453/stat : 27453 (java) R 27450 27450 25933 0 -1 4202560 6580 0 0 0 18 2 0 0 20 0 15 0 445977153 15508250624 10181 33554432000 4194304 4196468 140736548519296 139818558396656 139818554170774 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27454] ppid=27450 vsize=15144776 memory=2669799 CPUtime=0 cores=0,2,4,6
/proc/27452/task/27454/stat : 27454 (java) S 27450 27450 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445977154 15508250624 10181 33554432000 4194304 4196468 140736548519296 139818506779280 139818554169045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27455] ppid=27450 vsize=15144776 memory=140454714596510 CPUtime=0 cores=0,2,4,6
/proc/27452/task/27455/stat : 27455 (java) S 27450 27450 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445977154 15508250624 10181 33554432000 4194304 4196468 140736548519296 139818505726480 139818554169045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27456] ppid=27450 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27452/task/27456/stat : 27456 (java) S 27450 27450 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445977154 15508250624 10181 33554432000 4194304 4196468 140736548519296 139818504673680 139818554169045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27457] ppid=27450 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27452/task/27457/stat : 27457 (java) S 27450 27450 25933 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445977154 15508250624 10181 33554432000 4194304 4196468 140736548519296 139818503620880 139818554169045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27458] ppid=27450 vsize=15144776 memory=140454711432832 CPUtime=0 cores=0,2,4,6
/proc/27452/task/27458/stat : 27458 (java) S 27450 27450 25933 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445977155 15508250624 10181 33554432000 4194304 4196468 140736548519296 139818022435696 139818554169986 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27459] ppid=27450 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27452/task/27459/stat : 27459 (java) S 27450 27450 25933 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445977156 15508250624 10181 33554432000 4194304 4196468 140736548519296 139818021381664 139818554169045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27460] ppid=27450 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27452/task/27460/stat : 27460 (java) S 27450 27450 25933 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445977156 15508250624 10181 33554432000 4194304 4196468 140736548519296 139818020328816 139818554169045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27461] ppid=27450 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27452/task/27461/stat : 27461 (java) S 27450 27450 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445977158 15508250624 10181 33554432000 4194304 4196468 140736548519296 139818019277136 139818554177435 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27462] ppid=27450 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/27452/task/27462/stat : 27462 (java) S 27450 27450 25933 0 -1 1077944384 671 0 0 0 2 0 0 0 20 0 15 0 445977158 15508250624 10181 33554432000 4194304 4196468 140736548519296 139818018224496 139818554169986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27463] ppid=27450 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/27452/task/27463/stat : 27463 (java) S 27450 27450 25933 0 -1 1077944384 108 0 0 0 2 0 0 0 20 0 15 0 445977158 15508250624 10181 33554432000 4194304 4196468 140736548519296 139818017171696 139818554169986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27464] ppid=27450 vsize=15144776 memory=140454711432832 CPUtime=0.08 cores=0,2,4,6
/proc/27452/task/27464/stat : 27464 (java) S 27450 27450 25933 0 -1 1077944384 789 0 0 0 8 0 0 0 20 0 15 0 445977158 15508250624 10181 33554432000 4194304 4196468 140736548519296 139818016118896 139818554169986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27465] ppid=27450 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27452/task/27465/stat : 27465 (java) S 27450 27450 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445977159 15508250624 10181 33554432000 4194304 4196468 140736548519296 139818015066336 139818554169045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27466] ppid=27450 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27452/task/27466/stat : 27466 (java) S 27450 27450 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445977159 15508250624 10181 33554432000 4194304 4196468 140736548519296 139818014014640 139818554169986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42172 KiB
[startup+0.315411 s]*
/proc/loadavg: 7.94 8.48 7.78 7/233 27466
/proc/meminfo: memFree=29989720/32770624 swapFree=67000028/67108860
[pid=27450] ppid=27447 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/27450/stat : 27450 (xcsp3-exec) S 27447 27450 25933 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445977153 115843072 362 33554432000 4194304 5098028 140731790454656 140731790452760 140191720575612 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 21049344 140731790459771 140731790460013 140731790460013 140731790462922 0
/proc/27450/statm: 28282 362 304 221 0 87 0
[pid=27452] ppid=27450 vsize=15149032 memory=50276 CPUtime=0.53 cores=0,2,4,6
/proc/27452/stat : 27452 (java) S 27450 27450 25933 0 -1 1077944320 10918 0 0 0 50 3 0 0 20 0 15 0 445977153 15512608768 12569 33554432000 4194304 4196468 140736548519296 140736548501840 139818554158839 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
/proc/27452/statm: 3787258 12569 3332 1 0 3748377 0
[pid=27452/tid=27453] ppid=27450 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/27452/task/27453/stat : 27453 (java) R 27450 27450 25933 0 -1 4202560 7838 0 0 0 28 2 0 0 20 0 15 0 445977153 15512608768 12569 33554432000 4194304 4196468 140736548519296 139818558395152 139818538239326 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27454] ppid=27450 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/27452/task/27454/stat : 27454 (java) S 27450 27450 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445977154 15512608768 12569 33554432000 4194304 4196468 140736548519296 139818506779280 139818554169045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27455] ppid=27450 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/27452/task/27455/stat : 27455 (java) S 27450 27450 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445977154 15512608768 12569 33554432000 4194304 4196468 140736548519296 139818505726480 139818554169045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27456] ppid=27450 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/27452/task/27456/stat : 27456 (java) S 27450 27450 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445977154 15512608768 12569 33554432000 4194304 4196468 140736548519296 139818504673680 139818554169045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27457] ppid=27450 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/27452/task/27457/stat : 27457 (java) S 27450 27450 25933 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445977154 15512608768 12569 33554432000 4194304 4196468 140736548519296 139818503620880 139818554169045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27458] ppid=27450 vsize=15149032 memory=4572146057552828020 CPUtime=0 cores=0,2,4,6
/proc/27452/task/27458/stat : 27458 (java) S 27450 27450 25933 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445977155 15512608768 12569 33554432000 4194304 4196468 140736548519296 139818022435696 139818554169986 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27459] ppid=27450 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/27452/task/27459/stat : 27459 (java) S 27450 27450 25933 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445977156 15512608768 12569 33554432000 4194304 4196468 140736548519296 139818021381664 139818554169045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27460] ppid=27450 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/27452/task/27460/stat : 27460 (java) S 27450 27450 25933 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445977156 15512608768 12569 33554432000 4194304 4196468 140736548519296 139818020328816 139818554169045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27461] ppid=27450 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/27452/task/27461/stat : 27461 (java) S 27450 27450 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445977158 15512608768 12569 33554432000 4194304 4196468 140736548519296 139818019277136 139818554177435 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27462] ppid=27450 vsize=15149032 memory=7827413994055111515 CPUtime=0.05 cores=0,2,4,6
/proc/27452/task/27462/stat : 27462 (java) S 27450 27450 25933 0 -1 1077944384 772 0 0 0 5 0 0 0 20 0 15 0 445977158 15512608768 12569 33554432000 4194304 4196468 140736548519296 139818018224496 139818554169986 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27463] ppid=27450 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/27452/task/27463/stat : 27463 (java) S 27450 27450 25933 0 -1 1077944384 126 0 0 0 3 0 0 0 20 0 15 0 445977158 15512608768 12569 33554432000 4194304 4196468 140736548519296 139818017171696 139818554169986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27464] ppid=27450 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/27452/task/27464/stat : 27464 (java) S 27450 27450 25933 0 -1 1077944384 883 0 0 0 12 0 0 0 20 0 15 0 445977158 15512608768 12569 33554432000 4194304 4196468 140736548519296 139818016118896 139818554169986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27465] ppid=27450 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27452/task/27465/stat : 27465 (java) S 27450 27450 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445977159 15512608768 12569 33554432000 4194304 4196468 140736548519296 139818015066336 139818554169045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27466] ppid=27450 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27452/task/27466/stat : 27466 (java) S 27450 27450 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445977159 15512608768 12569 33554432000 4194304 4196468 140736548519296 139818014014640 139818554169986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51724 KiB
[startup+0.702843 s]
/proc/loadavg: 7.94 8.48 7.78 8/233 27466
/proc/meminfo: memFree=29975888/32770624 swapFree=67000028/67108860
[pid=27450] ppid=27447 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/27450/stat : 27450 (xcsp3-exec) S 27447 27450 25933 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445977153 115843072 362 33554432000 4194304 5098028 140731790454656 140731790452760 140191720575612 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 21049344 140731790459771 140731790460013 140731790460013 140731790462922 0
/proc/27450/statm: 28282 362 304 221 0 87 0
[pid=27452] ppid=27450 vsize=15417412 memory=87172 CPUtime=1.58 cores=0,2,4,6
/proc/27452/stat : 27452 (java) S 27450 27450 25933 0 -1 1077944320 16092 0 0 0 153 5 0 0 20 0 19 0 445977153 15787429888 21793 33554432000 4194304 4196468 140736548519296 140736548501840 139818554158839 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
/proc/27452/statm: 3854353 21793 3456 1 0 3815453 0
[pid=27452/tid=27453] ppid=27450 vsize=15417412 memory=-3704326594973231466 CPUtime=0.59 cores=0,2,4,6
/proc/27452/task/27453/stat : 27453 (java) S 27450 27450 25933 0 -1 1077944384 9299 0 0 0 56 3 0 0 20 0 19 0 445977153 15787429888 21793 33554432000 4194304 4196468 140736548519296 139818558399616 139818554169045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27454] ppid=27450 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27452/task/27454/stat : 27454 (java) S 27450 27450 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445977154 15787429888 21793 33554432000 4194304 4196468 140736548519296 139818506779280 139818554169045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27455] ppid=27450 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27452/task/27455/stat : 27455 (java) S 27450 27450 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445977154 15787429888 21793 33554432000 4194304 4196468 140736548519296 139818505726480 139818554169045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27456] ppid=27450 vsize=15417412 memory=772 CPUtime=0 cores=0,2,4,6
/proc/27452/task/27456/stat : 27456 (java) S 27450 27450 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445977154 15787429888 21793 33554432000 4194304 4196468 140736548519296 139818504673680 139818554169045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27457] ppid=27450 vsize=15417412 memory=4168 CPUtime=0 cores=0,2,4,6
/proc/27452/task/27457/stat : 27457 (java) S 27450 27450 25933 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 445977154 15787429888 21793 33554432000 4194304 4196468 140736548519296 139818503620880 139818554169045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27458] ppid=27450 vsize=15417412 memory=948 CPUtime=0 cores=0,2,4,6
/proc/27452/task/27458/stat : 27458 (java) S 27450 27450 25933 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 445977155 15787429888 21793 33554432000 4194304 4196468 140736548519296 139818022435696 139818554169986 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27459] ppid=27450 vsize=15417412 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/27452/task/27459/stat : 27459 (java) S 27450 27450 25933 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445977156 15787429888 21793 33554432000 4194304 4196468 140736548519296 139818021381664 139818554169045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27460] ppid=27450 vsize=15417412 memory=9492 CPUtime=0 cores=0,2,4,6
/proc/27452/task/27460/stat : 27460 (java) S 27450 27450 25933 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 445977156 15787429888 21793 33554432000 4194304 4196468 140736548519296 139818020328816 139818554169045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27461] ppid=27450 vsize=15417412 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/27452/task/27461/stat : 27461 (java) S 27450 27450 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445977158 15787429888 21793 33554432000 4194304 4196468 140736548519296 139818019277136 139818554177435 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27462] ppid=27450 vsize=15417412 memory=628 CPUtime=0.22 cores=0,2,4,6
/proc/27452/task/27462/stat : 27462 (java) D 27450 27450 25933 0 -1 4202560 1489 0 0 0 22 0 0 0 20 0 19 0 445977158 15787429888 21793 33554432000 4194304 4196468 140736548519296 139818018206200 139818540181113 0 4 0 16800975 18446744071582151416 0 0 -1 6 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27463] ppid=27450 vsize=15417412 memory=1056 CPUtime=0.2 cores=0,2,4,6
/proc/27452/task/27463/stat : 27463 (java) D 27450 27450 25933 0 -1 4202560 1286 0 0 0 20 0 0 0 20 0 19 0 445977158 15787429888 21793 33554432000 4194304 4196468 140736548519296 139818017153944 139818546395966 0 4 0 16800975 18446744071582151416 0 0 -1 2 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27464] ppid=27450 vsize=15417412 memory=1724 CPUtime=0.37 cores=0,2,4,6
/proc/27452/task/27464/stat : 27464 (java) R 27450 27450 25933 0 -1 4202560 1983 0 0 0 37 0 0 0 20 0 19 0 445977158 15787429888 21793 33554432000 4194304 4196468 140736548519296 139818016114840 139818546875991 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27465] ppid=27450 vsize=15417412 memory=6056 CPUtime=0 cores=0,2,4,6
/proc/27452/task/27465/stat : 27465 (java) S 27450 27450 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445977159 15787429888 21793 33554432000 4194304 4196468 140736548519296 139818015066336 139818554169045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27466] ppid=27450 vsize=15417412 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/27452/task/27466/stat : 27466 (java) S 27450 27450 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445977159 15787429888 21793 33554432000 4194304 4196468 140736548519296 139818014014640 139818554169986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
Current children cumulated CPU time: 1.58 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 88620 KiB
[startup+1.50138 s]
/proc/loadavg: 7.94 8.48 7.78 11/237 27470
/proc/meminfo: memFree=29947848/32770624 swapFree=67000028/67108860
[pid=27450] ppid=27447 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/27450/stat : 27450 (xcsp3-exec) S 27447 27450 25933 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445977153 115843072 362 33554432000 4194304 5098028 140731790454656 140731790452760 140191720575612 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 21049344 140731790459771 140731790460013 140731790460013 140731790462922 0
/proc/27450/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/27452/stat : 27452 (java) S 27450 27450 25933 0 -1 1077944320 98240 0 0 0 229961 350 0 0 20 0 19 0 445977153 15789527040 84454 33554432000 4194304 4196468 140736548519296 140736548501840 139818554158839 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
/proc/27452/statm: 3854865 84454 3543 1 0 3815965 0
[pid=27452/tid=27453] ppid=27450 vsize=15419460 memory=334348 CPUtime=0.59 cores=0,2,4,6
/proc/27452/task/27453/stat : 27453 (java) S 27450 27450 25933 0 -1 1077944384 9299 0 0 0 56 3 0 0 20 0 19 0 445977153 15789527040 84454 33554432000 4194304 4196468 140736548519296 139818558399616 139818554169045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27454] ppid=27450 vsize=15419460 memory=334548 CPUtime=1.51 cores=0,2,4,6
/proc/27452/task/27454/stat : 27454 (java) S 27450 27450 25933 0 -1 1077944384 2103 0 0 0 144 7 0 0 20 0 19 0 445977154 15789527040 84454 33554432000 4194304 4196468 140736548519296 139818506779280 139818554169045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27455] ppid=27450 vsize=15419460 memory=334548 CPUtime=1.52 cores=0,2,4,6
/proc/27452/task/27455/stat : 27455 (java) S 27450 27450 25933 0 -1 1077944384 3494 0 0 0 143 9 0 0 20 0 19 0 445977154 15789527040 84454 33554432000 4194304 4196468 140736548519296 139818505726480 139818554169045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27456] ppid=27450 vsize=15419460 memory=337816 CPUtime=1.51 cores=0,2,4,6
/proc/27452/task/27456/stat : 27456 (java) S 27450 27450 25933 0 -1 1077944384 3312 0 0 0 143 8 0 0 20 0 19 0 445977154 15789527040 84454 33554432000 4194304 4196468 140736548519296 139818504673680 139818554169045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27457] ppid=27450 vsize=15419460 memory=1448 CPUtime=1.51 cores=0,2,4,6
/proc/27452/task/27457/stat : 27457 (java) S 27450 27450 25933 0 -1 1077944384 2307 0 0 0 142 9 0 0 20 0 19 0 445977154 15789527040 84454 33554432000 4194304 4196468 140736548519296 139818503620880 139818554169045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27458] ppid=27450 vsize=15419460 memory=1448 CPUtime=4.58 cores=0,2,4,6
/proc/27452/task/27458/stat : 27458 (java) S 27450 27450 25933 0 -1 1077944384 10694 0 0 0 145 313 0 0 20 0 19 0 445977155 15789527040 84454 33554432000 4194304 4196468 140736548519296 139818022435696 139818554169986 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27459] ppid=27450 vsize=15419460 memory=353 CPUtime=0 cores=0,2,4,6
/proc/27452/task/27459/stat : 27459 (java) S 27450 27450 25933 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 445977156 15789527040 84454 33554432000 4194304 4196468 140736548519296 139818021381728 139818554169045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27460] ppid=27450 vsize=15419460 memory=334168 CPUtime=0 cores=0,2,4,6
/proc/27452/task/27460/stat : 27460 (java) S 27450 27450 25933 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 19 0 445977156 15789527040 84454 33554432000 4194304 4196468 140736548519296 139818020328832 139818554169045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27461] ppid=27450 vsize=15419460 memory=334348 CPUtime=0 cores=0,2,4,6
/proc/27452/task/27461/stat : 27461 (java) S 27450 27450 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445977158 15789527040 84454 33554432000 4194304 4196468 140736548519296 139818019277136 139818554177435 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27462] ppid=27450 vsize=15419460 memory=334348 CPUtime=3.56 cores=0,2,4,6
/proc/27452/task/27462/stat : 27462 (java) S 27450 27450 25933 0 -1 1077944384 20289 0 0 0 354 2 0 0 20 0 19 0 445977158 15789527040 84454 33554432000 4194304 4196468 140736548519296 139818018224496 139818554169986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27463] ppid=27450 vsize=15419460 memory=2024 CPUtime=3.4 cores=0,2,4,6
/proc/27452/task/27463/stat : 27463 (java) S 27450 27450 25933 0 -1 1077944384 23252 0 0 0 338 2 0 0 20 0 19 0 445977158 15789527040 84454 33554432000 4194304 4196468 140736548519296 139818017171696 139818554169986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 40 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27464] ppid=27450 vsize=15419460 memory=1380 CPUtime=0.66 cores=0,2,4,6
/proc/27452/task/27464/stat : 27464 (java) S 27450 27450 25933 0 -1 1077944384 9314 0 0 0 65 1 0 0 20 0 19 0 445977158 15789527040 84454 33554432000 4194304 4196468 140736548519296 139818016118896 139818554169986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 27 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27465] ppid=27450 vsize=15419460 memory=1128 CPUtime=0 cores=0,2,4,6
/proc/27452/task/27465/stat : 27465 (java) S 27450 27450 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445977159 15789527040 84454 33554432000 4194304 4196468 140736548519296 139818015066336 139818554169045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27466] ppid=27450 vsize=15419460 memory=772 CPUtime=0.16 cores=0,2,4,6
/proc/27452/task/27466/stat : 27466 (java) S 27450 27450 25933 0 -1 1077944384 416 0 0 0 0 16 0 0 20 0 19 0 445977159 15789527040 84454 33554432000 4194304 4196468 140736548519296 139818014014640 139818554169986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 38 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27467] ppid=27450 vsize=15419460 memory=1448 CPUtime=570.19 cores=0,2,4,6
/proc/27452/task/27467/stat : 27467 (java) R 27450 27450 25933 0 -1 4202560 2778 0 0 0 57018 1 0 0 20 0 19 0 445977215 15789527040 84454 33554432000 4194304 4196468 140736548519296 139818005032232 139818188259983 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27468] ppid=27450 vsize=15419460 memory=1448 CPUtime=573.75 cores=0,2,4,6
/proc/27452/task/27468/stat : 27468 (java) R 27450 27450 25933 0 -1 4202560 2913 0 0 0 57372 3 0 0 20 0 19 0 445977215 15789527040 84454 33554432000 4194304 4196468 140736548519296 139818003980176 139818188459908 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27469] ppid=27450 vsize=15419460 memory=1448 CPUtime=569.92 cores=0,2,4,6
/proc/27452/task/27469/stat : 27469 (java) R 27450 27450 25933 0 -1 4202560 2647 0 0 0 56989 3 0 0 20 0 19 0 445977215 15789527040 84454 33554432000 4194304 4196468 140736548519296 139818002927480 139818535001109 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27470] ppid=27450 vsize=15419460 memory=337816 CPUtime=570.1 cores=0,2,4,6
/proc/27452/task/27470/stat : 27470 (java) R 27450 27450 25933 0 -1 4202560 4054 0 0 0 57007 3 0 0 20 0 19 0 445977215 15789527040 84454 33554432000 4194304 4196468 140736548519296 139818001877584 139818188230857 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
Current children cumulated CPU time: 2303.11 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 339264 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+637.501 s]
/proc/loadavg: 9.20 8.79 8.23 11/237 28572
/proc/meminfo: memFree=29857512/32770624 swapFree=67000028/67108860
[pid=27450] ppid=27447 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/27450/stat : 27450 (xcsp3-exec) S 27447 27450 25933 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445977153 115843072 362 33554432000 4194304 5098028 140731790454656 140731790452760 140191720575612 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 21049344 140731790459771 140731790460013 140731790460013 140731790462922 0
/proc/27450/statm: 28282 362 304 221 0 87 0
[pid=27452] ppid=27450 vsize=15419460 memory=347848 CPUtime=2520.38 cores=0,2,4,6
/proc/27452/stat : 27452 (java) S 27450 27450 25933 0 -1 1077944320 99728 0 0 0 251613 425 0 0 20 0 19 0 445977153 15789527040 86962 33554432000 4194304 4196468 140736548519296 140736548501840 139818554158839 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
/proc/27452/statm: 3854865 86962 3543 1 0 3815965 0
[pid=27452/tid=27453] ppid=27450 vsize=15419460 memory=338684 CPUtime=0.59 cores=0,2,4,6
/proc/27452/task/27453/stat : 27453 (java) S 27450 27450 25933 0 -1 1077944384 9299 0 0 0 56 3 0 0 20 0 19 0 445977153 15789527040 86962 33554432000 4194304 4196468 140736548519296 139818558399616 139818554169045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27454] ppid=27450 vsize=15419460 memory=347848 CPUtime=1.71 cores=0,2,4,6
/proc/27452/task/27454/stat : 27454 (java) S 27450 27450 25933 0 -1 1077944384 2440 0 0 0 163 8 0 0 20 0 19 0 445977154 15789527040 86962 33554432000 4194304 4196468 140736548519296 139818506779280 139818554169045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27455] ppid=27450 vsize=15419460 memory=1448 CPUtime=1.71 cores=0,2,4,6
/proc/27452/task/27455/stat : 27455 (java) S 27450 27450 25933 0 -1 1077944384 3593 0 0 0 162 9 0 0 20 0 19 0 445977154 15789527040 86962 33554432000 4194304 4196468 140736548519296 139818505726480 139818554169045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27456] ppid=27450 vsize=15419460 memory=1448 CPUtime=1.71 cores=0,2,4,6
/proc/27452/task/27456/stat : 27456 (java) S 27450 27450 25933 0 -1 1077944384 3391 0 0 0 162 9 0 0 20 0 19 0 445977154 15789527040 86962 33554432000 4194304 4196468 140736548519296 139818504673680 139818554169045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27457] ppid=27450 vsize=15419460 memory=2832 CPUtime=1.71 cores=0,2,4,6
/proc/27452/task/27457/stat : 27457 (java) S 27450 27450 25933 0 -1 1077944384 2886 0 0 0 162 9 0 0 20 0 19 0 445977154 15789527040 86962 33554432000 4194304 4196468 140736548519296 139818503620880 139818554169045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27458] ppid=27450 vsize=15419460 memory=347848 CPUtime=5.54 cores=0,2,4,6
/proc/27452/task/27458/stat : 27458 (java) S 27450 27450 25933 0 -1 1077944384 10759 0 0 0 172 382 0 0 20 0 19 0 445977155 15789527040 86962 33554432000 4194304 4196468 140736548519296 139818022435696 139818554169986 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27459] ppid=27450 vsize=15419460 memory=347848 CPUtime=0 cores=0,2,4,6
/proc/27452/task/27459/stat : 27459 (java) S 27450 27450 25933 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 445977156 15789527040 86962 33554432000 4194304 4196468 140736548519296 139818021381728 139818554169045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27460] ppid=27450 vsize=15419460 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/27452/task/27460/stat : 27460 (java) S 27450 27450 25933 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 19 0 445977156 15789527040 86962 33554432000 4194304 4196468 140736548519296 139818020328832 139818554169045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27461] ppid=27450 vsize=15419460 memory=347848 CPUtime=0 cores=0,2,4,6
/proc/27452/task/27461/stat : 27461 (java) S 27450 27450 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445977158 15789527040 86962 33554432000 4194304 4196468 140736548519296 139818019277136 139818554177435 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27462] ppid=27450 vsize=15419460 memory=1448 CPUtime=3.56 cores=0,2,4,6
/proc/27452/task/27462/stat : 27462 (java) S 27450 27450 25933 0 -1 1077944384 20289 0 0 0 354 2 0 0 20 0 19 0 445977158 15789527040 86962 33554432000 4194304 4196468 140736548519296 139818018224496 139818554169986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27463] ppid=27450 vsize=15419460 memory=0 CPUtime=3.4 cores=0,2,4,6
/proc/27452/task/27463/stat : 27463 (java) S 27450 27450 25933 0 -1 1077944384 23252 0 0 0 338 2 0 0 20 0 19 0 445977158 15789527040 86962 33554432000 4194304 4196468 140736548519296 139818017171696 139818554169986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 40 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27464] ppid=27450 vsize=15419460 memory=1448 CPUtime=0.66 cores=0,2,4,6
/proc/27452/task/27464/stat : 27464 (java) S 27450 27450 25933 0 -1 1077944384 9314 0 0 0 65 1 0 0 20 0 19 0 445977158 15789527040 86962 33554432000 4194304 4196468 140736548519296 139818016118896 139818554169986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 27 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27465] ppid=27450 vsize=15419460 memory=347848 CPUtime=0 cores=0,2,4,6
/proc/27452/task/27465/stat : 27465 (java) S 27450 27450 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445977159 15789527040 86962 33554432000 4194304 4196468 140736548519296 139818015066336 139818554169045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27466] ppid=27450 vsize=15419460 memory=3624 CPUtime=0.17 cores=0,2,4,6
/proc/27452/task/27466/stat : 27466 (java) S 27450 27450 25933 0 -1 1077944384 420 0 0 0 0 17 0 0 20 0 19 0 445977159 15789527040 86962 33554432000 4194304 4196468 140736548519296 139818014014640 139818554169986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 38 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27467] ppid=27450 vsize=15419460 memory=1448 CPUtime=623.91 cores=0,2,4,6
/proc/27452/task/27467/stat : 27467 (java) R 27450 27450 25933 0 -1 4202560 2899 0 0 0 62389 2 0 0 20 0 19 0 445977215 15789527040 86962 33554432000 4194304 4196468 140736548519296 139818005032936 139818538731120 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27468] ppid=27450 vsize=15419460 memory=347848 CPUtime=628.18 cores=0,2,4,6
/proc/27452/task/27468/stat : 27468 (java) R 27450 27450 25933 0 -1 4202560 2958 0 0 0 62813 5 0 0 20 0 19 0 445977215 15789527040 86962 33554432000 4194304 4196468 140736548519296 139818003980176 139818188459888 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27469] ppid=27450 vsize=15419460 memory=1448 CPUtime=623.63 cores=0,2,4,6
/proc/27452/task/27469/stat : 27469 (java) R 27450 27450 25933 0 -1 4202560 2722 0 0 0 62358 5 0 0 20 0 19 0 445977215 15789527040 86962 33554432000 4194304 4196468 140736548519296 139818002930704 139818187372900 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27470] ppid=27450 vsize=15419460 memory=347848 CPUtime=623.76 cores=0,2,4,6
/proc/27452/task/27470/stat : 27470 (java) R 27450 27450 25933 0 -1 4202560 4138 0 0 0 62371 5 0 0 20 0 19 0 445977215 15789527040 86962 33554432000 4194304 4196468 140736548519296 139818001875048 139818186893134 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
Current children cumulated CPU time: 2520.38 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 349296 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+637.525 s]
# the end of solver process 27450 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002155 s, system=0 s
[startup+637.593 s]
# the end of solver process 27452 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.44 s, system=4.2697 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+637.501 s]
/proc/loadavg: 9.20 8.79 8.23 11/237 28572
/proc/meminfo: memFree=29857512/32770624 swapFree=67000028/67108860
[pid=27450] ppid=27447 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/27450/stat : 27450 (xcsp3-exec) S 27447 27450 25933 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445977153 115843072 362 33554432000 4194304 5098028 140731790454656 140731790452760 140191720575612 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 21049344 140731790459771 140731790460013 140731790460013 140731790462922 0
/proc/27450/statm: 28282 362 304 221 0 87 0
[pid=27452] ppid=27450 vsize=15419460 memory=347848 CPUtime=2520.38 cores=0,2,4,6
/proc/27452/stat : 27452 (java) S 27450 27450 25933 0 -1 1077944320 99728 0 0 0 251613 425 0 0 20 0 19 0 445977153 15789527040 86962 33554432000 4194304 4196468 140736548519296 140736548501840 139818554158839 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
/proc/27452/statm: 3854865 86962 3543 1 0 3815965 0
[pid=27452/tid=27453] ppid=27450 vsize=15419460 memory=338684 CPUtime=0.59 cores=0,2,4,6
/proc/27452/task/27453/stat : 27453 (java) S 27450 27450 25933 0 -1 1077944384 9299 0 0 0 56 3 0 0 20 0 19 0 445977153 15789527040 86962 33554432000 4194304 4196468 140736548519296 139818558399616 139818554169045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27454] ppid=27450 vsize=15419460 memory=347848 CPUtime=1.71 cores=0,2,4,6
/proc/27452/task/27454/stat : 27454 (java) S 27450 27450 25933 0 -1 1077944384 2440 0 0 0 163 8 0 0 20 0 19 0 445977154 15789527040 86962 33554432000 4194304 4196468 140736548519296 139818506779280 139818554169045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27455] ppid=27450 vsize=15419460 memory=1448 CPUtime=1.71 cores=0,2,4,6
/proc/27452/task/27455/stat : 27455 (java) S 27450 27450 25933 0 -1 1077944384 3593 0 0 0 162 9 0 0 20 0 19 0 445977154 15789527040 86962 33554432000 4194304 4196468 140736548519296 139818505726480 139818554169045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27456] ppid=27450 vsize=15419460 memory=1448 CPUtime=1.71 cores=0,2,4,6
/proc/27452/task/27456/stat : 27456 (java) S 27450 27450 25933 0 -1 1077944384 3391 0 0 0 162 9 0 0 20 0 19 0 445977154 15789527040 86962 33554432000 4194304 4196468 140736548519296 139818504673680 139818554169045 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27457] ppid=27450 vsize=15419460 memory=2832 CPUtime=1.71 cores=0,2,4,6
/proc/27452/task/27457/stat : 27457 (java) S 27450 27450 25933 0 -1 1077944384 2886 0 0 0 162 9 0 0 20 0 19 0 445977154 15789527040 86962 33554432000 4194304 4196468 140736548519296 139818503620880 139818554169045 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27458] ppid=27450 vsize=15419460 memory=347848 CPUtime=5.54 cores=0,2,4,6
/proc/27452/task/27458/stat : 27458 (java) S 27450 27450 25933 0 -1 1077944384 10759 0 0 0 172 382 0 0 20 0 19 0 445977155 15789527040 86962 33554432000 4194304 4196468 140736548519296 139818022435696 139818554169986 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27459] ppid=27450 vsize=15419460 memory=347848 CPUtime=0 cores=0,2,4,6
/proc/27452/task/27459/stat : 27459 (java) S 27450 27450 25933 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 445977156 15789527040 86962 33554432000 4194304 4196468 140736548519296 139818021381728 139818554169045 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27460] ppid=27450 vsize=15419460 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/27452/task/27460/stat : 27460 (java) S 27450 27450 25933 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 19 0 445977156 15789527040 86962 33554432000 4194304 4196468 140736548519296 139818020328832 139818554169045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27461] ppid=27450 vsize=15419460 memory=347848 CPUtime=0 cores=0,2,4,6
/proc/27452/task/27461/stat : 27461 (java) S 27450 27450 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445977158 15789527040 86962 33554432000 4194304 4196468 140736548519296 139818019277136 139818554177435 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27462] ppid=27450 vsize=15419460 memory=1448 CPUtime=3.56 cores=0,2,4,6
/proc/27452/task/27462/stat : 27462 (java) S 27450 27450 25933 0 -1 1077944384 20289 0 0 0 354 2 0 0 20 0 19 0 445977158 15789527040 86962 33554432000 4194304 4196468 140736548519296 139818018224496 139818554169986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27463] ppid=27450 vsize=15419460 memory=0 CPUtime=3.4 cores=0,2,4,6
/proc/27452/task/27463/stat : 27463 (java) S 27450 27450 25933 0 -1 1077944384 23252 0 0 0 338 2 0 0 20 0 19 0 445977158 15789527040 86962 33554432000 4194304 4196468 140736548519296 139818017171696 139818554169986 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 40 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27464] ppid=27450 vsize=15419460 memory=1448 CPUtime=0.66 cores=0,2,4,6
/proc/27452/task/27464/stat : 27464 (java) S 27450 27450 25933 0 -1 1077944384 9314 0 0 0 65 1 0 0 20 0 19 0 445977158 15789527040 86962 33554432000 4194304 4196468 140736548519296 139818016118896 139818554169986 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 27 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27465] ppid=27450 vsize=15419460 memory=347848 CPUtime=0 cores=0,2,4,6
/proc/27452/task/27465/stat : 27465 (java) S 27450 27450 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445977159 15789527040 86962 33554432000 4194304 4196468 140736548519296 139818015066336 139818554169045 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27466] ppid=27450 vsize=15419460 memory=3624 CPUtime=0.17 cores=0,2,4,6
/proc/27452/task/27466/stat : 27466 (java) S 27450 27450 25933 0 -1 1077944384 420 0 0 0 0 17 0 0 20 0 19 0 445977159 15789527040 86962 33554432000 4194304 4196468 140736548519296 139818014014640 139818554169986 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 38 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27467] ppid=27450 vsize=15419460 memory=1448 CPUtime=623.91 cores=0,2,4,6
/proc/27452/task/27467/stat : 27467 (java) R 27450 27450 25933 0 -1 4202560 2899 0 0 0 62389 2 0 0 20 0 19 0 445977215 15789527040 86962 33554432000 4194304 4196468 140736548519296 139818005032936 139818538731120 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27468] ppid=27450 vsize=15419460 memory=347848 CPUtime=628.18 cores=0,2,4,6
/proc/27452/task/27468/stat : 27468 (java) R 27450 27450 25933 0 -1 4202560 2958 0 0 0 62813 5 0 0 20 0 19 0 445977215 15789527040 86962 33554432000 4194304 4196468 140736548519296 139818003980176 139818188459888 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27469] ppid=27450 vsize=15419460 memory=1448 CPUtime=623.63 cores=0,2,4,6
/proc/27452/task/27469/stat : 27469 (java) R 27450 27450 25933 0 -1 4202560 2722 0 0 0 62358 5 0 0 20 0 19 0 445977215 15789527040 86962 33554432000 4194304 4196468 140736548519296 139818002930704 139818187372900 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
[pid=27452/tid=27470] ppid=27450 vsize=15419460 memory=347848 CPUtime=623.76 cores=0,2,4,6
/proc/27452/task/27470/stat : 27470 (java) R 27450 27450 25933 0 -1 4202560 4138 0 0 0 62371 5 0 0 20 0 19 0 445977215 15789527040 86962 33554432000 4194304 4196468 140736548519296 139818001875048 139818186893134 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22708224 140736548520943 140736548521114 140736548521114 140736548523983 0
Current children cumulated CPU time: 2520.38 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 349296 KiB
Child status: 143
Real time (s): 637.593
CPU time (s): 2520.71
CPU user time (s): 2516.44
CPU system time (s): 4.2697
CPU usage (%): 395.348
Max. virtual memory (cumulated for all children) (KiB): 15536480
Max. memory (cumulated for all children) (KiB): 531432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.44
system time used= 4.26971
maximum resident set size= 530444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100439
page faults= 0
swaps= 0
block input operations= 0
block output operations= 840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 46354
involuntary context switches= 46165
# summary of solver processes directly reported to runsolver:
# pid: 27450,27452
# total CPU time (s): 2520.71
# total CPU user time (s): 2516.44
# total CPU system time (s): 4.2697
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.09601 second user time and 6.88544 second system time
The end