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 (15285 MiB free)
memory of node 1: 16384 MiB (15519 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399167-1568698294/watcher-4399167-1568698294 -o /tmp/evaluation-result-4399167-1568698294/solver-4399167-1568698294 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568693400-21537 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 64296116 HOME/instance-4399167-1568698294.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=25970, runsolver pid=25967
Current StackSize limit: 8192 KiB
[startup+0.100095 s]*
/proc/loadavg: 7.41 8.34 8.28 8/234 25986
/proc/meminfo: memFree=31528344/32770624 swapFree=66977056/67108860
[pid=25970] ppid=25967 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/25970/stat : 25970 (xcsp3-exec) S 25967 25970 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446092005 115843072 362 33554432000 4194304 5098028 140736250970352 140736250968456 140616437629564 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 8036352 140736250979196 140736250979437 140736250979437 140736250982346 0
/proc/25970/statm: 28282 362 304 221 0 87 0
[pid=25972] ppid=25970 vsize=15144776 memory=29428 CPUtime=0.13 cores=0,2,4,6
/proc/25972/stat : 25972 (java) S 25970 25970 21506 0 -1 1077944320 5834 0 0 0 12 1 0 0 20 0 15 0 446092005 15508250624 7357 33554432000 4194304 4196468 140727913121584 140727913104128 139775005462263 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
/proc/25972/statm: 3786194 7357 3119 1 0 3748377 0
[pid=25972/tid=25973] ppid=25970 vsize=15144776 memory=7682489639022458387 CPUtime=0.09 cores=0,2,4,6
/proc/25972/task/25973/stat : 25973 (java) R 25970 25970 21506 0 -1 4202560 3732 0 0 0 8 1 0 0 20 0 15 0 446092006 15508250624 7357 33554432000 4194304 4196468 140727913121584 139775009697280 139774997699390 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25974] ppid=25970 vsize=15144776 memory=3472467760747222224 CPUtime=0 cores=0,2,4,6
/proc/25972/task/25974/stat : 25974 (java) S 25970 25970 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446092006 15508250624 7423 33554432000 4194304 4196468 140727913121584 139774958082704 139775005472469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25975] ppid=25970 vsize=15144776 memory=139631852070528 CPUtime=0 cores=0,2,4,6
/proc/25972/task/25975/stat : 25975 (java) S 25970 25970 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446092006 15508250624 7423 33554432000 4194304 4196468 140727913121584 139774957029904 139775005472469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25976] ppid=25970 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25972/task/25976/stat : 25976 (java) S 25970 25970 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446092006 15508250624 7423 33554432000 4194304 4196468 140727913121584 139774955977104 139775005472469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25977] ppid=25970 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25972/task/25977/stat : 25977 (java) S 25970 25970 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446092006 15508250624 7423 33554432000 4194304 4196468 140727913121584 139774954924304 139775005472469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25978] ppid=25970 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25972/task/25978/stat : 25978 (java) S 25970 25970 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446092008 15508250624 7423 33554432000 4194304 4196468 140727913121584 139774574197616 139775005473410 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25979] ppid=25970 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25972/task/25979/stat : 25979 (java) S 25970 25970 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446092008 15508250624 7423 33554432000 4194304 4196468 140727913121584 139774573143584 139775005472469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25980] ppid=25970 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25972/task/25980/stat : 25980 (java) S 25970 25970 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446092008 15508250624 7423 33554432000 4194304 4196468 140727913121584 139774572090736 139775005472469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25981] ppid=25970 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25972/task/25981/stat : 25981 (java) S 25970 25970 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446092011 15508250624 7423 33554432000 4194304 4196468 140727913121584 139774571039056 139775005480859 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25982] ppid=25970 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25972/task/25982/stat : 25982 (java) R 25970 25970 21506 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 446092011 15508250624 7423 33554432000 4194304 4196468 140727913121584 139774569986416 139775005473410 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25983] ppid=25970 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25972/task/25983/stat : 25983 (java) R 25970 25970 21506 0 -1 4202560 144 0 0 0 0 0 0 0 20 0 15 0 446092011 15508250624 7423 33554432000 4194304 4196468 140727913121584 139774568933616 139774988898001 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25984] ppid=25970 vsize=15144776 memory=139631852070528 CPUtime=0.02 cores=0,2,4,6
/proc/25972/task/25984/stat : 25984 (java) R 25970 25970 21506 0 -1 4202560 371 0 0 0 2 0 0 0 20 0 15 0 446092011 15508250624 7423 33554432000 4194304 4196468 140727913121584 139774567880816 139774984447226 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25985] ppid=25970 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25972/task/25985/stat : 25985 (java) S 25970 25970 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446092011 15508250624 7423 33554432000 4194304 4196468 140727913121584 139774566828256 139775005472469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25986] ppid=25970 vsize=15144776 memory=139631852070528 CPUtime=0 cores=0,2,4,6
/proc/25972/task/25986/stat : 25986 (java) S 25970 25970 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446092011 15508250624 7423 33554432000 4194304 4196468 140727913121584 139774565776560 139775005473410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30876 KiB
[startup+0.210677 s]*
/proc/loadavg: 7.41 8.34 8.28 7/234 25986
/proc/meminfo: memFree=31516320/32770624 swapFree=66977056/67108860
[pid=25970] ppid=25967 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/25970/stat : 25970 (xcsp3-exec) S 25967 25970 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446092005 115843072 362 33554432000 4194304 5098028 140736250970352 140736250968456 140616437629564 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 8036352 140736250979196 140736250979437 140736250979437 140736250982346 0
/proc/25970/statm: 28282 362 304 221 0 87 0
[pid=25972] ppid=25970 vsize=15144776 memory=41268 CPUtime=0.34 cores=0,2,4,6
/proc/25972/stat : 25972 (java) S 25970 25970 21506 0 -1 1077944320 9492 0 0 0 32 2 0 0 20 0 15 0 446092005 15508250624 10317 33554432000 4194304 4196468 140727913121584 140727913104128 139775005462263 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
/proc/25972/statm: 3786194 10317 3318 1 0 3748377 0
[pid=25972/tid=25973] ppid=25970 vsize=15144776 memory=7682489639022458387 CPUtime=0.2 cores=0,2,4,6
/proc/25972/task/25973/stat : 25973 (java) R 25970 25970 21506 0 -1 4202560 6616 0 0 0 18 2 0 0 20 0 15 0 446092006 15508250624 10317 33554432000 4194304 4196468 140727913121584 139775009701264 139774989542750 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25974] ppid=25970 vsize=15144776 memory=3472467760747222224 CPUtime=0 cores=0,2,4,6
/proc/25972/task/25974/stat : 25974 (java) S 25970 25970 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446092006 15508250624 10317 33554432000 4194304 4196468 140727913121584 139774958082704 139775005472469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25975] ppid=25970 vsize=15144776 memory=139631852070528 CPUtime=0 cores=0,2,4,6
/proc/25972/task/25975/stat : 25975 (java) S 25970 25970 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446092006 15508250624 10317 33554432000 4194304 4196468 140727913121584 139774957029904 139775005472469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25976] ppid=25970 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25972/task/25976/stat : 25976 (java) S 25970 25970 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446092006 15508250624 10317 33554432000 4194304 4196468 140727913121584 139774955977104 139775005472469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25977] ppid=25970 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25972/task/25977/stat : 25977 (java) S 25970 25970 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446092006 15508250624 10317 33554432000 4194304 4196468 140727913121584 139774954924304 139775005472469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25978] ppid=25970 vsize=15144776 memory=139631852070528 CPUtime=0 cores=0,2,4,6
/proc/25972/task/25978/stat : 25978 (java) S 25970 25970 21506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446092008 15508250624 10317 33554432000 4194304 4196468 140727913121584 139774574197616 139775005473410 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25979] ppid=25970 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25972/task/25979/stat : 25979 (java) S 25970 25970 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446092008 15508250624 10317 33554432000 4194304 4196468 140727913121584 139774573143584 139775005472469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25980] ppid=25970 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25972/task/25980/stat : 25980 (java) S 25970 25970 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446092008 15508250624 10317 33554432000 4194304 4196468 140727913121584 139774572090736 139775005472469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25981] ppid=25970 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25972/task/25981/stat : 25981 (java) S 25970 25970 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446092011 15508250624 10317 33554432000 4194304 4196468 140727913121584 139774571039056 139775005480859 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25982] ppid=25970 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/25972/task/25982/stat : 25982 (java) S 25970 25970 21506 0 -1 1077944384 355 0 0 0 2 0 0 0 20 0 15 0 446092011 15508250624 10317 33554432000 4194304 4196468 140727913121584 139774569986416 139775005473410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25983] ppid=25970 vsize=15144776 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/25972/task/25983/stat : 25983 (java) S 25970 25970 21506 0 -1 1077944384 488 0 0 0 3 0 0 0 20 0 15 0 446092011 15508250624 10317 33554432000 4194304 4196468 140727913121584 139774568933616 139775005473410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25984] ppid=25970 vsize=15144776 memory=139631852070528 CPUtime=0.08 cores=0,2,4,6
/proc/25972/task/25984/stat : 25984 (java) R 25970 25970 21506 0 -1 4202560 727 0 0 0 8 0 0 0 20 0 15 0 446092011 15508250624 10317 33554432000 4194304 4196468 140727913121584 139774567880816 139774991142913 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25985] ppid=25970 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25972/task/25985/stat : 25985 (java) S 25970 25970 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446092011 15508250624 10317 33554432000 4194304 4196468 140727913121584 139774566828256 139775005472469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25986] ppid=25970 vsize=15144776 memory=139631852070528 CPUtime=0 cores=0,2,4,6
/proc/25972/task/25986/stat : 25986 (java) S 25970 25970 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446092011 15508250624 10317 33554432000 4194304 4196468 140727913121584 139774565776560 139775005473410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42716 KiB
[startup+0.310636 s]*
/proc/loadavg: 7.41 8.34 8.28 7/234 25986
/proc/meminfo: memFree=31508316/32770624 swapFree=66977056/67108860
[pid=25970] ppid=25967 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/25970/stat : 25970 (xcsp3-exec) S 25967 25970 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446092005 115843072 362 33554432000 4194304 5098028 140736250970352 140736250968456 140616437629564 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 8036352 140736250979196 140736250979437 140736250979437 140736250982346 0
/proc/25970/statm: 28282 362 304 221 0 87 0
[pid=25972] ppid=25970 vsize=15149032 memory=50268 CPUtime=0.53 cores=0,2,4,6
/proc/25972/stat : 25972 (java) S 25970 25970 21506 0 -1 1077944320 10836 0 0 0 50 3 0 0 20 0 15 0 446092005 15512608768 12567 33554432000 4194304 4196468 140727913121584 140727913104128 139775005462263 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
/proc/25972/statm: 3787258 12567 3367 1 0 3748377 0
[pid=25972/tid=25973] ppid=25970 vsize=15149032 memory=-8439527450518781933 CPUtime=0.3 cores=0,2,4,6
/proc/25972/task/25973/stat : 25973 (java) R 25970 25970 21506 0 -1 4202560 7763 0 0 0 28 2 0 0 20 0 15 0 446092006 15512608768 12567 33554432000 4194304 4196468 140727913121584 139775009693376 139774989542750 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25974] ppid=25970 vsize=15149032 memory=3472467760747222224 CPUtime=0 cores=0,2,4,6
/proc/25972/task/25974/stat : 25974 (java) S 25970 25970 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446092006 15512608768 12567 33554432000 4194304 4196468 140727913121584 139774958082704 139775005472469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25975] ppid=25970 vsize=15149032 memory=279263587785088 CPUtime=0 cores=0,2,4,6
/proc/25972/task/25975/stat : 25975 (java) S 25970 25970 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446092006 15512608768 12567 33554432000 4194304 4196468 140727913121584 139774957029904 139775005472469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25976] ppid=25970 vsize=15149032 memory=279263471461408 CPUtime=0 cores=0,2,4,6
/proc/25972/task/25976/stat : 25976 (java) S 25970 25970 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446092006 15512608768 12567 33554432000 4194304 4196468 140727913121584 139774955977104 139775005472469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25977] ppid=25970 vsize=15149032 memory=139631735714575 CPUtime=0 cores=0,2,4,6
/proc/25972/task/25977/stat : 25977 (java) S 25970 25970 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446092006 15512608768 12567 33554432000 4194304 4196468 140727913121584 139774954924304 139775005472469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25978] ppid=25970 vsize=15149032 memory=279263587792000 CPUtime=0 cores=0,2,4,6
/proc/25972/task/25978/stat : 25978 (java) S 25970 25970 21506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446092008 15512608768 12567 33554432000 4194304 4196468 140727913121584 139774574197616 139775005473410 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25979] ppid=25970 vsize=15149032 memory=139631735719183 CPUtime=0 cores=0,2,4,6
/proc/25972/task/25979/stat : 25979 (java) S 25970 25970 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446092008 15512608768 12567 33554432000 4194304 4196468 140727913121584 139774573143584 139775005472469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25980] ppid=25970 vsize=15149032 memory=139631735743026 CPUtime=0 cores=0,2,4,6
/proc/25972/task/25980/stat : 25980 (java) S 25970 25970 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446092008 15512608768 12567 33554432000 4194304 4196468 140727913121584 139774572090736 139775005472469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25981] ppid=25970 vsize=15149032 memory=139631735748734 CPUtime=0 cores=0,2,4,6
/proc/25972/task/25981/stat : 25981 (java) S 25970 25970 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446092011 15512608768 12567 33554432000 4194304 4196468 140727913121584 139774571039056 139775005480859 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25982] ppid=25970 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/25972/task/25982/stat : 25982 (java) R 25970 25970 21506 0 -1 4202560 466 0 0 0 5 0 0 0 20 0 15 0 446092011 15512608768 12567 33554432000 4194304 4196468 140727913121584 139774569976800 139774984709009 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25983] ppid=25970 vsize=15149032 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/25972/task/25983/stat : 25983 (java) S 25970 25970 21506 0 -1 1077944384 494 0 0 0 4 0 0 0 20 0 15 0 446092011 15512608768 12567 33554432000 4194304 4196468 140727913121584 139774568933616 139775005473410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25984] ppid=25970 vsize=15149032 memory=139631852070528 CPUtime=0.13 cores=0,2,4,6
/proc/25972/task/25984/stat : 25984 (java) S 25970 25970 21506 0 -1 1077944384 811 0 0 0 13 0 0 0 20 0 15 0 446092011 15512608768 12567 33554432000 4194304 4196468 140727913121584 139774567880816 139775005473410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25985] ppid=25970 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25972/task/25985/stat : 25985 (java) S 25970 25970 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446092011 15512608768 12567 33554432000 4194304 4196468 140727913121584 139774566828256 139775005472469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25986] ppid=25970 vsize=15149032 memory=139631852071976 CPUtime=0 cores=0,2,4,6
/proc/25972/task/25986/stat : 25986 (java) S 25970 25970 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446092011 15512608768 12567 33554432000 4194304 4196468 140727913121584 139774565776560 139775005473410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51716 KiB
[startup+0.702728 s]
/proc/loadavg: 7.41 8.34 8.28 8/238 26026
/proc/meminfo: memFree=31414372/32770624 swapFree=66977056/67108860
[pid=25970] ppid=25967 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/25970/stat : 25970 (xcsp3-exec) S 25967 25970 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446092005 115843072 362 33554432000 4194304 5098028 140736250970352 140736250968456 140616437629564 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 8036352 140736250979196 140736250979437 140736250979437 140736250982346 0
/proc/25970/statm: 28282 362 304 221 0 87 0
[pid=25972] ppid=25970 vsize=15552596 memory=190560 CPUtime=1.6 cores=0,2,4,6
/proc/25972/stat : 25972 (java) S 25970 25970 21506 0 -1 1077944320 19157 0 0 0 152 8 0 0 20 0 19 0 446092005 15925858304 47640 33554432000 4194304 4196468 140727913121584 140727913104128 139775005462263 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
/proc/25972/statm: 3888149 47640 3481 1 0 3849249 0
[pid=25972/tid=25973] ppid=25970 vsize=15552596 memory=7882800638288482663 CPUtime=0.46 cores=0,2,4,6
/proc/25972/task/25973/stat : 25973 (java) R 25970 25970 21506 0 -1 1077944384 9022 0 0 0 43 3 0 0 20 0 20 0 446092006 15925858304 47640 33554432000 4194304 4196468 140727913121584 139775009703040 139775005472469 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25974] ppid=25970 vsize=15552596 memory=7740951466249179473 CPUtime=0 cores=0,2,4,6
/proc/25972/task/25974/stat : 25974 (java) S 25970 25970 21506 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 20 0 446092006 15925858304 47640 33554432000 4194304 4196468 140727913121584 139774958082704 139775005472469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25975] ppid=25970 vsize=15552596 memory=7453282923495516522 CPUtime=0 cores=0,2,4,6
/proc/25972/task/25975/stat : 25975 (java) S 25970 25970 21506 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 446092006 15925858304 47640 33554432000 4194304 4196468 140727913121584 139774957029904 139775005472469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25976] ppid=25970 vsize=15552596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25972/task/25976/stat : 25976 (java) S 25970 25970 21506 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 20 0 446092006 15925858304 47640 33554432000 4194304 4196468 140727913121584 139774955977104 139775005472469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25977] ppid=25970 vsize=15552596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25972/task/25977/stat : 25977 (java) S 25970 25970 21506 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 446092006 15925858304 47640 33554432000 4194304 4196468 140727913121584 139774954924304 139775005472469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25978] ppid=25970 vsize=15552596 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/25972/task/25978/stat : 25978 (java) S 25970 25970 21506 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 446092008 15925858304 47640 33554432000 4194304 4196468 140727913121584 139774574197616 139775005473410 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25979] ppid=25970 vsize=15552596 memory=756 CPUtime=0 cores=0,2,4,6
/proc/25972/task/25979/stat : 25979 (java) S 25970 25970 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446092008 15925858304 47640 33554432000 4194304 4196468 140727913121584 139774573143648 139775005472469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25980] ppid=25970 vsize=15552596 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/25972/task/25980/stat : 25980 (java) S 25970 25970 21506 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 446092008 15925858304 47640 33554432000 4194304 4196468 140727913121584 139774572090752 139775005472469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25981] ppid=25970 vsize=15552596 memory=7872 CPUtime=0 cores=0,2,4,6
/proc/25972/task/25981/stat : 25981 (java) S 25970 25970 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446092011 15925858304 47640 33554432000 4194304 4196468 140727913121584 139774571039056 139775005480859 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25982] ppid=25970 vsize=15552596 memory=1164 CPUtime=0.27 cores=0,2,4,6
/proc/25972/task/25982/stat : 25982 (java) R 25970 25970 21506 0 -1 4202560 1448 0 0 0 27 0 0 0 20 0 20 0 446092011 15925858304 47640 33554432000 4194304 4196468 140727913121584 139774569972216 139774988848931 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25983] ppid=25970 vsize=15552596 memory=9448 CPUtime=0.23 cores=0,2,4,6
/proc/25972/task/25983/stat : 25983 (java) R 25970 25970 21506 0 -1 4202560 1456 0 0 0 23 0 0 0 20 0 20 0 446092011 15925858304 47640 33554432000 4194304 4196468 140727913121584 139774568921464 139774997751712 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25984] ppid=25970 vsize=15552596 memory=14008 CPUtime=0.3 cores=0,2,4,6
/proc/25972/task/25984/stat : 25984 (java) R 25970 25970 21506 0 -1 1077944384 1783 0 0 0 30 0 0 0 20 0 20 0 446092011 15925858304 47640 33554432000 4194304 4196468 140727913121584 139774567880816 139775005473410 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25985] ppid=25970 vsize=15552596 memory=2120 CPUtime=0 cores=0,2,4,6
/proc/25972/task/25985/stat : 25985 (java) S 25970 25970 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446092011 15925858304 47640 33554432000 4194304 4196468 140727913121584 139774566828256 139775005472469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25986] ppid=25970 vsize=15552596 memory=11976 CPUtime=0 cores=0,2,4,6
/proc/25972/task/25986/stat : 25986 (java) S 25970 25970 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446092011 15925858304 47640 33554432000 4194304 4196468 140727913121584 139774565776560 139775005473410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
Current children cumulated CPU time: 1.6 s
Current children cumulated vsize: 15665724 KiB
Current children cumulated memory: 192008 KiB
[startup+1.50282 s]
/proc/loadavg: 7.41 8.34 8.28 11/238 26254
/proc/meminfo: memFree=31344156/32770624 swapFree=66977056/67108860
[pid=25970] ppid=25967 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/25970/stat : 25970 (xcsp3-exec) S 25967 25970 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446092005 115843072 362 33554432000 4194304 5098028 140736250970352 140736250968456 140616437629564 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 8036352 140736250979196 140736250979437 140736250979437 140736250982346 0
/proc/25970/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/25972/task/25986/stat : 25986 (java) S 25970 25970 21506 0 -1 1077944384 1010 0 0 0 0 0 0 0 20 0 19 0 446092011 15925858304 141424 33554432000 4194304 4196468 140727913121584 139774565776560 139775005473410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 32 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=26299] ppid=25970 vsize=15552596 memory=3620 CPUtime=19.97 cores=0,2,4,6
/proc/25972/task/26299/stat : 26299 (java) R 25970 25970 21506 0 -1 4202560 317 0 0 0 1997 0 0 0 20 0 19 0 446092182 15925858304 141424 33554432000 4194304 4196468 140727913121584 139774553399264 139774632094300 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=26300] ppid=25970 vsize=15552596 memory=30672 CPUtime=19.73 cores=0,2,4,6
/proc/25972/task/26300/stat : 26300 (java) R 25970 25970 21506 0 -1 4202560 786 0 0 0 1972 1 0 0 20 0 19 0 446092182 15925858304 141424 33554432000 4194304 4196468 140727913121584 139774556558456 139774632891597 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=26301] ppid=25970 vsize=15552596 memory=2004 CPUtime=19.49 cores=0,2,4,6
/proc/25972/task/26301/stat : 26301 (java) R 25970 25970 21506 0 -1 4202560 997 0 0 0 1949 0 0 0 20 0 19 0 446092182 15925858304 141424 33554432000 4194304 4196468 140727913121584 139774549189688 139774631221132 0 4 0 16800975 0 0 0 -1 2 0 0 35 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=26302] ppid=25970 vsize=15552596 memory=984 CPUtime=20.04 cores=0,2,4,6
/proc/25972/task/26302/stat : 26302 (java) R 25970 25970 21506 0 -1 4202560 1005 0 0 0 2000 4 0 0 20 0 19 0 446092182 15925858304 141424 33554432000 4194304 4196468 140727913121584 139774551296752 139774631072926 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
Current children cumulated CPU time: 86.6 s
Current children cumulated vsize: 15665724 KiB
Current children cumulated memory: 567144 KiB
[startup+22.8018 s]
/proc/loadavg: 7.72 8.34 8.28 10/238 26302
/proc/meminfo: memFree=30982348/32770624 swapFree=66977056/67108860
[pid=25970] ppid=25967 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/25970/stat : 25970 (xcsp3-exec) S 25967 25970 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446092005 115843072 362 33554432000 4194304 5098028 140736250970352 140736250968456 140616437629564 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 8036352 140736250979196 140736250979437 140736250979437 140736250982346 0
/proc/25970/statm: 28282 362 304 221 0 87 0
[pid=25972] ppid=25970 vsize=15552596 memory=565180 CPUtime=88.2 cores=0,2,4,6
/proc/25972/stat : 25972 (java) S 25970 25970 21506 0 -1 1077944320 44213 0 0 0 8800 20 0 0 20 0 19 0 446092005 15925858304 141295 33554432000 4194304 4196468 140727913121584 140727913104128 139775005462263 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
/proc/25972/statm: 3888149 141295 3515 1 0 3849249 0
[pid=25972/tid=25973] ppid=25970 vsize=15552596 memory=3047711428313588876 CPUtime=0.46 cores=0,2,4,6
/proc/25972/task/25973/stat : 25973 (java) S 25970 25970 21506 0 -1 1077944384 9023 0 0 0 43 3 0 0 20 0 19 0 446092006 15925858304 141295 33554432000 4194304 4196468 140727913121584 139775009703040 139775005472469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25974] ppid=25970 vsize=15552596 memory=-8412658744800154483 CPUtime=0.02 cores=0,2,4,6
/proc/25972/task/25974/stat : 25974 (java) S 25970 25970 21506 0 -1 1077944384 196 0 0 0 2 0 0 0 20 0 19 0 446092006 15925858304 141295 33554432000 4194304 4196468 140727913121584 139774958082704 139775005472469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25975] ppid=25970 vsize=15552596 memory=512 CPUtime=0.02 cores=0,2,4,6
/proc/25972/task/25975/stat : 25975 (java) S 25970 25970 21506 0 -1 1077944384 187 0 0 0 2 0 0 0 20 0 19 0 446092006 15925858304 141295 33554432000 4194304 4196468 140727913121584 139774957029904 139775005472469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25976] ppid=25970 vsize=15552596 memory=1564 CPUtime=0.02 cores=0,2,4,6
/proc/25972/task/25976/stat : 25976 (java) S 25970 25970 21506 0 -1 1077944384 480 0 0 0 2 0 0 0 20 0 19 0 446092006 15925858304 141295 33554432000 4194304 4196468 140727913121584 139774955977104 139775005472469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25977] ppid=25970 vsize=15552596 memory=928 CPUtime=0.02 cores=0,2,4,6
/proc/25972/task/25977/stat : 25977 (java) S 25970 25970 21506 0 -1 1077944384 753 0 0 0 2 0 0 0 20 0 19 0 446092006 15925858304 141295 33554432000 4194304 4196468 140727913121584 139774954924304 139775005472469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25978] ppid=25970 vsize=15552596 memory=3784 CPUtime=0.02 cores=0,2,4,6
/proc/25972/task/25978/stat : 25978 (java) S 25970 25970 21506 0 -1 1077944384 911 0 0 0 2 0 0 0 20 0 19 0 446092008 15925858304 141295 33554432000 4194304 4196468 140727913121584 139774574197616 139775005473410 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25979] ppid=25970 vsize=15552596 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/25972/task/25979/stat : 25979 (java) S 25970 25970 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 446092008 15925858304 141295 33554432000 4194304 4196468 140727913121584 139774573143648 139775005472469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25980] ppid=25970 vsize=15552596 memory=904 CPUtime=0 cores=0,2,4,6
/proc/25972/task/25980/stat : 25980 (java) S 25970 25970 21506 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 446092008 15925858304 141295 33554432000 4194304 4196468 140727913121584 139774572090752 139775005472469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25981] ppid=25970 vsize=15552596 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/25972/task/25981/stat : 25981 (java) S 25970 25970 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446092011 15925858304 141295 33554432000 4194304 4196468 140727913121584 139774571039056 139775005480859 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25982] ppid=25970 vsize=15552596 memory=2528 CPUtime=1.82 cores=0,2,4,6
/proc/25972/task/25982/stat : 25982 (java) S 25970 25970 21506 0 -1 1077944384 10227 0 0 0 181 1 0 0 20 0 19 0 446092011 15925858304 141295 33554432000 4194304 4196468 140727913121584 139774569986416 139775005473410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25983] ppid=25970 vsize=15552596 memory=1764 CPUtime=1.79 cores=0,2,4,6
/proc/25972/task/25983/stat : 25983 (java) S 25970 25970 21506 0 -1 1077944384 8144 0 0 0 178 1 0 0 20 0 19 0 446092011 15925858304 141295 33554432000 4194304 4196468 140727913121584 139774568933616 139775005473410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25984] ppid=25970 vsize=15552596 memory=1548 CPUtime=0.48 cores=0,2,4,6
/proc/25972/task/25984/stat : 25984 (java) S 25970 25970 21506 0 -1 1077944384 3306 0 0 0 48 0 0 0 20 0 19 0 446092011 15925858304 141295 33554432000 4194304 4196468 140727913121584 139774567880816 139775005473410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25985] ppid=25970 vsize=15552596 memory=7872 CPUtime=0 cores=0,2,4,6
/proc/25972/task/25985/stat : 25985 (java) S 25970 25970 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446092011 15925858304 141295 33554432000 4194304 4196468 140727913121584 139774566828256 139775005472469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25986] ppid=25970 vsize=15552596 memory=1164 CPUtime=0 cores=0,2,4,6
/proc/25972/task/25986/stat : 25986 (java) S 25970 25970 21506 0 -1 1077944384 1010 0 0 0 0 0 0 0 20 0 19 0 446092011 15925858304 141295 33554432000 4194304 4196468 140727913121584 139774565776560 139775005473410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 32 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=26299] ppid=25970 vsize=15552596 memory=9448 CPUtime=20.36 cores=0,2,4,6
/proc/25972/task/26299/stat : 26299 (java) R 25970 25970 21506 0 -1 4202560 317 0 0 0 2036 0 0 0 20 0 19 0 446092182 15925858304 141295 33554432000 4194304 4196468 140727913121584 139774553399512 139774632094242 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=26300] ppid=25970 vsize=15552596 memory=14008 CPUtime=20.13 cores=0,2,4,6
/proc/25972/task/26300/stat : 26300 (java) R 25970 25970 21506 0 -1 4202560 787 0 0 0 2012 1 0 0 20 0 19 0 446092182 15925858304 141295 33554432000 4194304 4196468 140727913121584 139774556558456 139774632052676 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=26301] ppid=25970 vsize=15552596 memory=2120 CPUtime=19.88 cores=0,2,4,6
/proc/25972/task/26301/stat : 26301 (java) R 25970 25970 21506 0 -1 4202560 997 0 0 0 1988 0 0 0 20 0 19 0 446092182 15925858304 141295 33554432000 4194304 4196468 140727913121584 139774549191808 139774630796302 0 4 0 16800975 0 0 0 -1 4 0 0 35 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=26302] ppid=25970 vsize=15552596 memory=11976 CPUtime=20.44 cores=0,2,4,6
/proc/25972/task/26302/stat : 26302 (java) R 25970 25970 21506 0 -1 4202560 1009 0 0 0 2040 4 0 0 20 0 19 0 446092182 15925858304 141295 33554432000 4194304 4196468 140727913121584 139774551293584 139774631347864 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
Current children cumulated CPU time: 88.2 s
Current children cumulated vsize: 15665724 KiB
Current children cumulated memory: 566628 KiB
[startup+23.0008 s]*
/proc/loadavg: 7.72 8.34 8.28 11/238 26302
/proc/meminfo: memFree=30982608/32770624 swapFree=66977056/67108860
[pid=25970] ppid=25967 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/25970/stat : 25970 (xcsp3-exec) S 25967 25970 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446092005 115843072 362 33554432000 4194304 5098028 140736250970352 140736250968456 140616437629564 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 8036352 140736250979196 140736250979437 140736250979437 140736250982346 0
/proc/25970/statm: 28282 362 304 221 0 87 0
[pid=25972] ppid=25970 vsize=15552596 memory=565180 CPUtime=89.02 cores=0,2,4,6
/proc/25972/stat : 25972 (java) S 25970 25970 21506 0 -1 1077944320 44297 0 0 0 8882 20 0 0 20 0 19 0 446092005 15925858304 141295 33554432000 4194304 4196468 140727913121584 140727913104128 139775005462263 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
/proc/25972/statm: 3888149 141295 3515 1 0 3849249 0
[pid=25972/tid=25973] ppid=25970 vsize=15552596 memory=8317482817917895235 CPUtime=0.46 cores=0,2,4,6
/proc/25972/task/25973/stat : 25973 (java) S 25970 25970 21506 0 -1 1077944384 9023 0 0 0 43 3 0 0 20 0 19 0 446092006 15925858304 141295 33554432000 4194304 4196468 140727913121584 139775009703040 139775005472469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25974] ppid=25970 vsize=15552596 memory=-7003737579269690708 CPUtime=0.02 cores=0,2,4,6
/proc/25972/task/25974/stat : 25974 (java) S 25970 25970 21506 0 -1 1077944384 196 0 0 0 2 0 0 0 20 0 19 0 446092006 15925858304 141295 33554432000 4194304 4196468 140727913121584 139774958082704 139775005472469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25975] ppid=25970 vsize=15552596 memory=1448 CPUtime=0.02 cores=0,2,4,6
/proc/25972/task/25975/stat : 25975 (java) S 25970 25970 21506 0 -1 1077944384 187 0 0 0 2 0 0 0 20 0 19 0 446092006 15925858304 141295 33554432000 4194304 4196468 140727913121584 139774957029904 139775005472469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25976] ppid=25970 vsize=15552596 memory=571840 CPUtime=0.02 cores=0,2,4,6
/proc/25972/task/25976/stat : 25976 (java) S 25970 25970 21506 0 -1 1077944384 480 0 0 0 2 0 0 0 20 0 19 0 446092006 15925858304 141295 33554432000 4194304 4196468 140727913121584 139774955977104 139775005472469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25977] ppid=25970 vsize=15552596 memory=1628 CPUtime=0.02 cores=0,2,4,6
/proc/25972/task/25977/stat : 25977 (java) S 25970 25970 21506 0 -1 1077944384 753 0 0 0 2 0 0 0 20 0 19 0 446092006 15925858304 141295 33554432000 4194304 4196468 140727913121584 139774954924304 139775005472469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25978] ppid=25970 vsize=15552596 memory=8317482817917895235 CPUtime=0.02 cores=0,2,4,6
/proc/25972/task/25978/stat : 25978 (java) S 25970 25970 21506 0 -1 1077944384 911 0 0 0 2 0 0 0 20 0 19 0 446092008 15925858304 141295 33554432000 4194304 4196468 140727913121584 139774574197616 139775005473410 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25979] ppid=25970 vsize=15552596 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/25972/task/25979/stat : 25979 (java) S 25970 25970 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 446092008 15925858304 141295 33554432000 4194304 4196468 140727913121584 139774573143648 139775005472469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25980] ppid=25970 vsize=15552596 memory=3472467760631677769 CPUtime=0 cores=0,2,4,6
/proc/25972/task/25980/stat : 25980 (java) S 25970 25970 21506 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 446092008 15925858304 141295 33554432000 4194304 4196468 140727913121584 139774572090752 139775005472469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25981] ppid=25970 vsize=15552596 memory=3472467927963552937 CPUtime=0 cores=0,2,4,6
/proc/25972/task/25981/stat : 25981 (java) S 25970 25970 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446092011 15925858304 141295 33554432000 4194304 4196468 140727913121584 139774571039056 139775005480859 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25982] ppid=25970 vsize=15552596 memory=665104916618642963 CPUtime=1.82 cores=0,2,4,6
/proc/25972/task/25982/stat : 25982 (java) S 25970 25970 21506 0 -1 1077944384 10297 0 0 0 181 1 0 0 20 0 19 0 446092011 15925858304 141295 33554432000 4194304 4196468 140727913121584 139774569986416 139775005473410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25983] ppid=25970 vsize=15552596 memory=7955547607006652240 CPUtime=1.79 cores=0,2,4,6
/proc/25972/task/25983/stat : 25983 (java) S 25970 25970 21506 0 -1 1077944384 8144 0 0 0 178 1 0 0 20 0 19 0 446092011 15925858304 141295 33554432000 4194304 4196468 140727913121584 139774568933616 139775005473410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25984] ppid=25970 vsize=15552596 memory=3472467760631678153 CPUtime=0.48 cores=0,2,4,6
/proc/25972/task/25984/stat : 25984 (java) S 25970 25970 21506 0 -1 1077944384 3306 0 0 0 48 0 0 0 20 0 19 0 446092011 15925858304 141295 33554432000 4194304 4196468 140727913121584 139774567880816 139775005473410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25985] ppid=25970 vsize=15552596 memory=7441044343144468048 CPUtime=0 cores=0,2,4,6
/proc/25972/task/25985/stat : 25985 (java) S 25970 25970 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446092011 15925858304 141295 33554432000 4194304 4196468 140727913121584 139774566828256 139775005472469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25986] ppid=25970 vsize=15552596 memory=279263587942400 CPUtime=0 cores=0,2,4,6
/proc/25972/task/25986/stat : 25986 (java) S 25970 25970 21506 0 -1 1077944384 1010 0 0 0 0 0 0 0 20 0 19 0 446092011 15925858304 141295 33554432000 4194304 4196468 140727913121584 139774565776560 139775005473410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 32 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=26299] ppid=25970 vsize=15552596 memory=3545371085215520304 CPUtime=20.56 cores=0,2,4,6
/proc/25972/task/26299/stat : 26299 (java) R 25970 25970 21506 0 -1 4202560 319 0 0 0 2056 0 0 0 20 0 19 0 446092182 15925858304 141295 33554432000 4194304 4196468 140727913121584 139774553399512 139774632093917 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=26300] ppid=25970 vsize=15552596 memory=3543663504616865720 CPUtime=20.34 cores=0,2,4,6
/proc/25972/task/26300/stat : 26300 (java) R 25970 25970 21506 0 -1 4202560 788 0 0 0 2033 1 0 0 20 0 19 0 446092182 15925858304 141295 33554432000 4194304 4196468 140727913121584 139774556558456 139774632892287 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=26301] ppid=25970 vsize=15552596 memory=4122117710492164633 CPUtime=20.09 cores=0,2,4,6
/proc/25972/task/26301/stat : 26301 (java) R 25970 25970 21506 0 -1 4202560 1005 0 0 0 2009 0 0 0 20 0 19 0 446092182 15925858304 141295 33554432000 4194304 4196468 140727913121584 139774549189080 139774630769077 0 4 0 16800975 0 0 0 -1 4 0 0 35 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=26302] ppid=25970 vsize=15552596 memory=-1 CPUtime=20.65 cores=0,2,4,6
/proc/25972/task/26302/stat : 26302 (java) R 25970 25970 21506 0 -1 4202560 1012 0 0 0 2061 4 0 0 20 0 19 0 446092182 15925858304 141295 33554432000 4194304 4196468 140727913121584 139774551293584 139774631346771 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
Current children cumulated CPU time: 89.02 s
Current children cumulated vsize: 15665724 KiB
Current children cumulated memory: 566628 KiB
[startup+23.1108 s]
/proc/loadavg: 7.72 8.34 8.28 11/238 26302
/proc/meminfo: memFree=30982608/32770624 swapFree=66977056/67108860
[pid=25970] ppid=25967 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/25970/stat : 25970 (xcsp3-exec) S 25967 25970 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446092005 115843072 362 33554432000 4194304 5098028 140736250970352 140736250968456 140616437629564 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 8036352 140736250979196 140736250979437 140736250979437 140736250982346 0
/proc/25970/statm: 28282 362 304 221 0 87 0
[pid=25972] ppid=25970 vsize=15552596 memory=565180 CPUtime=89.42 cores=0,2,4,6
/proc/25972/stat : 25972 (java) S 25970 25970 21506 0 -1 1077944320 44433 0 0 0 8922 20 0 0 20 0 19 0 446092005 15925858304 141295 33554432000 4194304 4196468 140727913121584 140727913104128 139775005462263 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
/proc/25972/statm: 3888149 141295 3515 1 0 3849249 0
[pid=25972/tid=25973] ppid=25970 vsize=15552596 memory=279263471322344 CPUtime=0.46 cores=0,2,4,6
/proc/25972/task/25973/stat : 25973 (java) S 25970 25970 21506 0 -1 1077944384 9023 0 0 0 43 3 0 0 20 0 19 0 446092006 15925858304 141295 33554432000 4194304 4196468 140727913121584 139775009703040 139775005472469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25974] ppid=25970 vsize=15552596 memory=6656426216303648864 CPUtime=0.02 cores=0,2,4,6
/proc/25972/task/25974/stat : 25974 (java) S 25970 25970 21506 0 -1 1077944384 196 0 0 0 2 0 0 0 20 0 19 0 446092006 15925858304 141295 33554432000 4194304 4196468 140727913121584 139774958082704 139775005472469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25975] ppid=25970 vsize=15552596 memory=571840 CPUtime=0.02 cores=0,2,4,6
/proc/25972/task/25975/stat : 25975 (java) S 25970 25970 21506 0 -1 1077944384 187 0 0 0 2 0 0 0 20 0 19 0 446092006 15925858304 141295 33554432000 4194304 4196468 140727913121584 139774957029904 139775005472469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25976] ppid=25970 vsize=15552596 memory=11976 CPUtime=0.02 cores=0,2,4,6
/proc/25972/task/25976/stat : 25976 (java) S 25970 25970 21506 0 -1 1077944384 480 0 0 0 2 0 0 0 20 0 19 0 446092006 15925858304 141295 33554432000 4194304 4196468 140727913121584 139774955977104 139775005472469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25977] ppid=25970 vsize=15552596 memory=575396 CPUtime=0.02 cores=0,2,4,6
/proc/25972/task/25977/stat : 25977 (java) S 25970 25970 21506 0 -1 1077944384 753 0 0 0 2 0 0 0 20 0 19 0 446092006 15925858304 141295 33554432000 4194304 4196468 140727913121584 139774954924304 139775005472469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25978] ppid=25970 vsize=15552596 memory=345800 CPUtime=0.02 cores=0,2,4,6
/proc/25972/task/25978/stat : 25978 (java) S 25970 25970 21506 0 -1 1077944384 911 0 0 0 2 0 0 0 20 0 19 0 446092008 15925858304 141295 33554432000 4194304 4196468 140727913121584 139774574197616 139775005473410 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25979] ppid=25970 vsize=15552596 memory=1324 CPUtime=0 cores=0,2,4,6
/proc/25972/task/25979/stat : 25979 (java) S 25970 25970 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 446092008 15925858304 141295 33554432000 4194304 4196468 140727913121584 139774573143648 139775005472469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25980] ppid=25970 vsize=15552596 memory=780 CPUtime=0 cores=0,2,4,6
/proc/25972/task/25980/stat : 25980 (java) S 25970 25970 21506 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 446092008 15925858304 141295 33554432000 4194304 4196468 140727913121584 139774572090752 139775005472469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25981] ppid=25970 vsize=15552596 memory=904 CPUtime=0 cores=0,2,4,6
/proc/25972/task/25981/stat : 25981 (java) S 25970 25970 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446092011 15925858304 141295 33554432000 4194304 4196468 140727913121584 139774571039056 139775005480859 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25982] ppid=25970 vsize=15552596 memory=1984 CPUtime=1.82 cores=0,2,4,6
/proc/25972/task/25982/stat : 25982 (java) S 25970 25970 21506 0 -1 1077944384 10297 0 0 0 181 1 0 0 20 0 19 0 446092011 15925858304 141295 33554432000 4194304 4196468 140727913121584 139774569986416 139775005473410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25983] ppid=25970 vsize=15552596 memory=3620 CPUtime=1.79 cores=0,2,4,6
/proc/25972/task/25983/stat : 25983 (java) S 25970 25970 21506 0 -1 1077944384 8144 0 0 0 178 1 0 0 20 0 19 0 446092011 15925858304 141295 33554432000 4194304 4196468 140727913121584 139774568933616 139775005473410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25984] ppid=25970 vsize=15552596 memory=578952 CPUtime=0.48 cores=0,2,4,6
/proc/25972/task/25984/stat : 25984 (java) S 25970 25970 21506 0 -1 1077944384 3410 0 0 0 48 0 0 0 20 0 19 0 446092011 15925858304 141295 33554432000 4194304 4196468 140727913121584 139774567880816 139775005473410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25985] ppid=25970 vsize=15552596 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/25972/task/25985/stat : 25985 (java) S 25970 25970 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446092011 15925858304 141295 33554432000 4194304 4196468 140727913121584 139774566828256 139775005472469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=25986] ppid=25970 vsize=15552596 memory=585092 CPUtime=0 cores=0,2,4,6
/proc/25972/task/25986/stat : 25986 (java) S 25970 25970 21506 0 -1 1077944384 1010 0 0 0 0 0 0 0 20 0 19 0 446092011 15925858304 141295 33554432000 4194304 4196468 140727913121584 139774565776560 139775005473410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 32 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=26299] ppid=25970 vsize=15552596 memory=565696 CPUtime=20.66 cores=0,2,4,6
/proc/25972/task/26299/stat : 26299 (java) R 25970 25970 21506 0 -1 4202560 319 0 0 0 2066 0 0 0 20 0 19 0 446092182 15925858304 141295 33554432000 4194304 4196468 140727913121584 139774553399512 139774632094343 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=26300] ppid=25970 vsize=15552596 memory=3620 CPUtime=20.43 cores=0,2,4,6
/proc/25972/task/26300/stat : 26300 (java) R 25970 25970 21506 0 -1 4202560 801 0 0 0 2042 1 0 0 20 0 19 0 446092182 15925858304 141295 33554432000 4194304 4196468 140727913121584 139774556560008 139774632453432 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=26301] ppid=25970 vsize=15552596 memory=1448 CPUtime=20.19 cores=0,2,4,6
/proc/25972/task/26301/stat : 26301 (java) R 25970 25970 21506 0 -1 4202560 1005 0 0 0 2019 0 0 0 20 0 19 0 446092182 15925858304 141295 33554432000 4194304 4196468 140727913121584 139774549189080 139774632094221 0 4 0 16800975 0 0 0 -1 4 0 0 35 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
[pid=25972/tid=26302] ppid=25970 vsize=15552596 memory=565696 CPUtime=20.75 cores=0,2,4,6
/proc/25972/task/26302/stat : 26302 (java) R 25970 25970 21506 0 -1 4202560 1031 0 0 0 2071 4 0 0 20 0 19 0 446092182 15925858304 141295 33554432000 4194304 4196468 140727913121584 139774551293640 139774631345904 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29761536 140727913124847 140727913125018 140727913125018 140727913127887 0
Current children cumulated CPU time: 89.42 s
Current children cumulated vsize: 15665724 KiB
Current children cumulated memory: 566628 KiB
Child status: 0
Real time (s): 23.1351
CPU time (s): 89.4615
CPU user time (s): 89.2489
CPU system time (s): 0.212598
CPU usage (%): 386.692
Max. virtual memory (cumulated for all children) (KiB): 15667512
Max. memory (cumulated for all children) (KiB): 597600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 89.2489
system time used= 0.212598
maximum resident set size= 596712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45725
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5295
involuntary context switches= 2598
# summary of solver processes directly reported to runsolver:
# pid: 25970
# total CPU time (s): 89.4615
# total CPU user time (s): 89.2489
# total CPU system time (s): 0.212598
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.170174 second user time and 0.301874 second system time
The end