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 (15245 MiB free)
memory of node 1: 16384 MiB (13475 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399244-1568685420/watcher-4399244-1568685420 -o /tmp/evaluation-result-4399244-1568685420/solver-4399244-1568685420 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568682260-15014 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1873690455 HOME/instance-4399244-1568685420.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=20031, runsolver pid=20028
[startup+0.100175 s]*
/proc/loadavg: 8.11 8.67 8.68 8/233 20047
/proc/meminfo: memFree=29394548/32770624 swapFree=66997372/67108860
[pid=20031] ppid=20028 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/20031/stat : 20031 (xcsp3-exec) S 20028 20031 14983 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444795115 115843072 362 33554432000 4194304 5098028 140727524114064 140727524112168 140520235307644 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 1 0 0 7196144 7232144 27643904 140727524115322 140727524115565 140727524115565 140727524118474 0
/proc/20031/statm: 28282 362 304 221 0 87 0
[pid=20033] ppid=20031 vsize=15144776 memory=29608 CPUtime=0.11 cores=0,2,4,6
/proc/20033/stat : 20033 (java) S 20031 20031 14983 0 -1 1077944320 5788 0 0 0 9 2 0 0 20 0 15 0 444795117 15508250624 7402 33554432000 4194304 4196468 140728969130208 140728969112752 140650596966135 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
/proc/20033/statm: 3786194 7402 3146 1 0 3748377 0
[pid=20033/tid=20034] ppid=20031 vsize=15144776 memory=7100839870104831090 CPUtime=0.08 cores=0,2,4,6
/proc/20033/task/20034/stat : 20034 (java) R 20031 20031 14983 0 -1 4202560 3703 0 0 0 7 1 0 0 20 0 15 0 444795117 15508250624 7402 33554432000 4194304 4196468 140728969130208 140650601199616 140650596978070 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20035] ppid=20031 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/20033/task/20035/stat : 20035 (java) S 20031 20031 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444795118 15508250624 7402 33554432000 4194304 4196468 140728969130208 140650525006864 140650596976341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20036] ppid=20031 vsize=15144776 memory=139938200147584 CPUtime=0 cores=0,2,4,6
/proc/20033/task/20036/stat : 20036 (java) S 20031 20031 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444795118 15508250624 7402 33554432000 4194304 4196468 140728969130208 140650523954320 140650596976341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20037] ppid=20031 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20033/task/20037/stat : 20037 (java) S 20031 20031 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444795118 15508250624 7402 33554432000 4194304 4196468 140728969130208 140650522901264 140650596976341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20038] ppid=20031 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20033/task/20038/stat : 20038 (java) S 20031 20031 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444795118 15508250624 7402 33554432000 4194304 4196468 140728969130208 140650521848720 140650596976341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20039] ppid=20031 vsize=15144776 memory=139938200147584 CPUtime=0 cores=0,2,4,6
/proc/20033/task/20039/stat : 20039 (java) S 20031 20031 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444795119 15508250624 7402 33554432000 4194304 4196468 140728969130208 140650065553648 140650596977282 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20040] ppid=20031 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20033/task/20040/stat : 20040 (java) S 20031 20031 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444795120 15508250624 7402 33554432000 4194304 4196468 140728969130208 140650064499872 140650596976341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20041] ppid=20031 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20033/task/20041/stat : 20041 (java) S 20031 20031 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444795120 15508250624 7402 33554432000 4194304 4196468 140728969130208 140650063446768 140650596976341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20042] ppid=20031 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20033/task/20042/stat : 20042 (java) S 20031 20031 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444795122 15508250624 7402 33554432000 4194304 4196468 140728969130208 140650062395344 140650596984731 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20043] ppid=20031 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20033/task/20043/stat : 20043 (java) S 20031 20031 14983 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 15 0 444795122 15508250624 7402 33554432000 4194304 4196468 140728969130208 140650061343472 140650596977282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20044] ppid=20031 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20033/task/20044/stat : 20044 (java) S 20031 20031 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444795122 15508250624 7402 33554432000 4194304 4196468 140728969130208 140650060290928 140650596977282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20045] ppid=20031 vsize=15144776 memory=139938200147584 CPUtime=0.01 cores=0,2,4,6
/proc/20033/task/20045/stat : 20045 (java) R 20031 20031 14983 0 -1 4202560 358 0 0 0 1 0 0 0 20 0 15 0 444795122 15508250624 7402 33554432000 4194304 4196468 140728969130208 140650059237872 140650575456337 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20046] ppid=20031 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20033/task/20046/stat : 20046 (java) S 20031 20031 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444795123 15508250624 7402 33554432000 4194304 4196468 140728969130208 140650058185568 140650596976341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20047] ppid=20031 vsize=15144776 memory=139938200147584 CPUtime=0 cores=0,2,4,6
/proc/20033/task/20047/stat : 20047 (java) S 20031 20031 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444795123 15508250624 7402 33554432000 4194304 4196468 140728969130208 140650057132592 140650596977282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31056 KiB
[startup+0.210611 s]*
/proc/loadavg: 8.11 8.67 8.68 8/233 20047
/proc/meminfo: memFree=29382788/32770624 swapFree=66997372/67108860
[pid=20031] ppid=20028 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/20031/stat : 20031 (xcsp3-exec) S 20028 20031 14983 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444795115 115843072 362 33554432000 4194304 5098028 140727524114064 140727524112168 140520235307644 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 1 0 0 7196144 7232144 27643904 140727524115322 140727524115565 140727524115565 140727524118474 0
/proc/20031/statm: 28282 362 304 221 0 87 0
[pid=20033] ppid=20031 vsize=15144776 memory=40228 CPUtime=0.32 cores=0,2,4,6
/proc/20033/stat : 20033 (java) S 20031 20031 14983 0 -1 1077944320 9256 0 0 0 29 3 0 0 20 0 15 0 444795117 15508250624 10057 33554432000 4194304 4196468 140728969130208 140728969112752 140650596966135 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
/proc/20033/statm: 3786194 10057 3303 1 0 3748377 0
[pid=20033/tid=20034] ppid=20031 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/20033/task/20034/stat : 20034 (java) R 20031 20031 14983 0 -1 4202560 6538 0 0 0 17 2 0 0 20 0 15 0 444795117 15508250624 10057 33554432000 4194304 4196468 140728969130208 140650601198048 140650596988061 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20035] ppid=20031 vsize=15144776 memory=9100 CPUtime=0 cores=0,2,4,6
/proc/20033/task/20035/stat : 20035 (java) S 20031 20031 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444795118 15508250624 10057 33554432000 4194304 4196468 140728969130208 140650525006864 140650596976341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20036] ppid=20031 vsize=15144776 memory=139938203699450 CPUtime=0 cores=0,2,4,6
/proc/20033/task/20036/stat : 20036 (java) S 20031 20031 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444795118 15508250624 10057 33554432000 4194304 4196468 140728969130208 140650523954320 140650596976341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20037] ppid=20031 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20033/task/20037/stat : 20037 (java) S 20031 20031 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444795118 15508250624 10057 33554432000 4194304 4196468 140728969130208 140650522901264 140650596976341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20038] ppid=20031 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20033/task/20038/stat : 20038 (java) S 20031 20031 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444795118 15508250624 10057 33554432000 4194304 4196468 140728969130208 140650521848720 140650596976341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20039] ppid=20031 vsize=15144776 memory=139938200147584 CPUtime=0 cores=0,2,4,6
/proc/20033/task/20039/stat : 20039 (java) S 20031 20031 14983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444795119 15508250624 10057 33554432000 4194304 4196468 140728969130208 140650065553648 140650596977282 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20040] ppid=20031 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20033/task/20040/stat : 20040 (java) S 20031 20031 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444795120 15508250624 10057 33554432000 4194304 4196468 140728969130208 140650064499872 140650596976341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20041] ppid=20031 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20033/task/20041/stat : 20041 (java) S 20031 20031 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444795120 15508250624 10057 33554432000 4194304 4196468 140728969130208 140650063446768 140650596976341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20042] ppid=20031 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20033/task/20042/stat : 20042 (java) S 20031 20031 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444795122 15508250624 10057 33554432000 4194304 4196468 140728969130208 140650062395344 140650596984731 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20043] ppid=20031 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/20033/task/20043/stat : 20043 (java) S 20031 20031 14983 0 -1 1077944384 532 0 0 0 2 0 0 0 20 0 15 0 444795122 15508250624 10057 33554432000 4194304 4196468 140728969130208 140650061343472 140650596977282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20044] ppid=20031 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/20033/task/20044/stat : 20044 (java) S 20031 20031 14983 0 -1 1077944384 102 0 0 0 2 0 0 0 20 0 15 0 444795122 15508250624 10057 33554432000 4194304 4196468 140728969130208 140650060290928 140650596977282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20045] ppid=20031 vsize=15144776 memory=139938200147584 CPUtime=0.07 cores=0,2,4,6
/proc/20033/task/20045/stat : 20045 (java) R 20031 20031 14983 0 -1 4202560 790 0 0 0 7 0 0 0 20 0 15 0 444795122 15508250624 10057 33554432000 4194304 4196468 140728969130208 140650059232912 140650589301080 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20046] ppid=20031 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20033/task/20046/stat : 20046 (java) S 20031 20031 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444795123 15508250624 10057 33554432000 4194304 4196468 140728969130208 140650058185568 140650596976341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20047] ppid=20031 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20033/task/20047/stat : 20047 (java) S 20031 20031 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444795123 15508250624 10057 33554432000 4194304 4196468 140728969130208 140650057132592 140650596977282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41676 KiB
[startup+0.310609 s]*
/proc/loadavg: 8.11 8.67 8.68 7/233 20047
/proc/meminfo: memFree=29377312/32770624 swapFree=66997372/67108860
[pid=20031] ppid=20028 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/20031/stat : 20031 (xcsp3-exec) S 20028 20031 14983 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444795115 115843072 362 33554432000 4194304 5098028 140727524114064 140727524112168 140520235307644 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 1 0 0 7196144 7232144 27643904 140727524115322 140727524115565 140727524115565 140727524118474 0
/proc/20031/statm: 28282 362 304 221 0 87 0
[pid=20033] ppid=20031 vsize=15149032 memory=49108 CPUtime=0.51 cores=0,2,4,6
/proc/20033/stat : 20033 (java) S 20031 20031 14983 0 -1 1077944320 10570 0 0 0 47 4 0 0 20 0 15 0 444795117 15512608768 12277 33554432000 4194304 4196468 140728969130208 140728969112752 140650596966135 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
/proc/20033/statm: 3787258 12277 3354 1 0 3748377 0
[pid=20033/tid=20034] ppid=20031 vsize=15149032 memory=7883960649037381690 CPUtime=0.29 cores=0,2,4,6
/proc/20033/task/20034/stat : 20034 (java) R 20031 20031 14983 0 -1 4202560 7608 0 0 0 26 3 0 0 20 0 15 0 444795117 15512608768 12277 33554432000 4194304 4196468 140728969130208 140650601202752 140650596988061 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20035] ppid=20031 vsize=15149032 memory=9461 CPUtime=0 cores=0,2,4,6
/proc/20033/task/20035/stat : 20035 (java) S 20031 20031 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444795118 15512608768 12277 33554432000 4194304 4196468 140728969130208 140650525006864 140650596976341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20036] ppid=20031 vsize=15149032 memory=3570640 CPUtime=0 cores=0,2,4,6
/proc/20033/task/20036/stat : 20036 (java) S 20031 20031 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444795118 15512608768 12277 33554432000 4194304 4196468 140728969130208 140650523954320 140650596976341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20037] ppid=20031 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20033/task/20037/stat : 20037 (java) S 20031 20031 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444795118 15512608768 12277 33554432000 4194304 4196468 140728969130208 140650522901264 140650596976341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20038] ppid=20031 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20033/task/20038/stat : 20038 (java) S 20031 20031 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444795118 15512608768 12277 33554432000 4194304 4196468 140728969130208 140650521848720 140650596976341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20039] ppid=20031 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20033/task/20039/stat : 20039 (java) S 20031 20031 14983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444795119 15512608768 12277 33554432000 4194304 4196468 140728969130208 140650065553648 140650596977282 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20040] ppid=20031 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20033/task/20040/stat : 20040 (java) S 20031 20031 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444795120 15512608768 12277 33554432000 4194304 4196468 140728969130208 140650064499872 140650596976341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20041] ppid=20031 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20033/task/20041/stat : 20041 (java) S 20031 20031 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444795120 15512608768 12277 33554432000 4194304 4196468 140728969130208 140650063446768 140650596976341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20042] ppid=20031 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20033/task/20042/stat : 20042 (java) S 20031 20031 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444795122 15512608768 12277 33554432000 4194304 4196468 140728969130208 140650062395344 140650596984731 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20043] ppid=20031 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/20033/task/20043/stat : 20043 (java) R 20031 20031 14983 0 -1 1077944384 546 0 0 0 4 0 0 0 20 0 15 0 444795122 15512608768 12277 33554432000 4194304 4196468 140728969130208 140650061343568 140650596976341 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20044] ppid=20031 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/20033/task/20044/stat : 20044 (java) R 20031 20031 14983 0 -1 4202560 159 0 0 0 3 0 0 0 20 0 15 0 444795122 15512608768 12277 33554432000 4194304 4196468 140728969130208 140650060289328 140650580466227 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20045] ppid=20031 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/20033/task/20045/stat : 20045 (java) S 20031 20031 14983 0 -1 1077944384 963 0 0 0 12 0 0 0 20 0 15 0 444795122 15512608768 12277 33554432000 4194304 4196468 140728969130208 140650059237872 140650596977282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20046] ppid=20031 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20033/task/20046/stat : 20046 (java) S 20031 20031 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444795123 15512608768 12277 33554432000 4194304 4196468 140728969130208 140650058185568 140650596976341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20047] ppid=20031 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20033/task/20047/stat : 20047 (java) S 20031 20031 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444795123 15512608768 12277 33554432000 4194304 4196468 140728969130208 140650057132592 140650596977282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50556 KiB
[startup+0.700751 s]
/proc/loadavg: 8.11 8.67 8.68 9/233 20047
/proc/meminfo: memFree=29366460/32770624 swapFree=66997372/67108860
[pid=20031] ppid=20028 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/20031/stat : 20031 (xcsp3-exec) S 20028 20031 14983 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444795115 115843072 362 33554432000 4194304 5098028 140727524114064 140727524112168 140520235307644 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 1 0 0 7196144 7232144 27643904 140727524115322 140727524115565 140727524115565 140727524118474 0
/proc/20031/statm: 28282 362 304 221 0 87 0
[pid=20033] ppid=20031 vsize=15417412 memory=92700 CPUtime=1.57 cores=0,2,4,6
/proc/20033/stat : 20033 (java) S 20031 20031 14983 0 -1 1077944320 14658 0 0 0 151 6 0 0 20 0 19 0 444795117 15787429888 23175 33554432000 4194304 4196468 140728969130208 140728969112752 140650596966135 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
/proc/20033/statm: 3854353 23175 3455 1 0 3815453 0
[pid=20033/tid=20034] ppid=20031 vsize=15417412 memory=0 CPUtime=0.63 cores=0,2,4,6
/proc/20033/task/20034/stat : 20034 (java) S 20031 20031 14983 0 -1 1077944384 9316 0 0 0 59 4 0 0 20 0 19 0 444795117 15787429888 23175 33554432000 4194304 4196468 140728969130208 140650601206912 140650596976341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20035] ppid=20031 vsize=15417412 memory=500 CPUtime=0 cores=0,2,4,6
/proc/20033/task/20035/stat : 20035 (java) S 20031 20031 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 444795118 15787429888 23175 33554432000 4194304 4196468 140728969130208 140650525006864 140650596976341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20036] ppid=20031 vsize=15417412 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/20033/task/20036/stat : 20036 (java) S 20031 20031 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 444795118 15787429888 23175 33554432000 4194304 4196468 140728969130208 140650523954320 140650596976341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20037] ppid=20031 vsize=15417412 memory=932 CPUtime=0 cores=0,2,4,6
/proc/20033/task/20037/stat : 20037 (java) S 20031 20031 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 444795118 15787429888 23175 33554432000 4194304 4196468 140728969130208 140650522901264 140650596976341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20038] ppid=20031 vsize=15417412 memory=3768 CPUtime=0 cores=0,2,4,6
/proc/20033/task/20038/stat : 20038 (java) S 20031 20031 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 444795118 15787429888 23175 33554432000 4194304 4196468 140728969130208 140650521848720 140650596976341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20039] ppid=20031 vsize=15417412 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/20033/task/20039/stat : 20039 (java) S 20031 20031 14983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 444795119 15787429888 23175 33554432000 4194304 4196468 140728969130208 140650065553648 140650596977282 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20040] ppid=20031 vsize=15417412 memory=2512 CPUtime=0 cores=0,2,4,6
/proc/20033/task/20040/stat : 20040 (java) S 20031 20031 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 444795120 15787429888 23175 33554432000 4194304 4196468 140728969130208 140650064499872 140650596976341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20041] ppid=20031 vsize=15417412 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/20033/task/20041/stat : 20041 (java) S 20031 20031 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 444795120 15787429888 23175 33554432000 4194304 4196468 140728969130208 140650063446768 140650596976341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20042] ppid=20031 vsize=15417412 memory=812 CPUtime=0 cores=0,2,4,6
/proc/20033/task/20042/stat : 20042 (java) S 20031 20031 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444795122 15787429888 23175 33554432000 4194304 4196468 140728969130208 140650062395344 140650596984731 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20043] ppid=20031 vsize=15417412 memory=1764 CPUtime=0.23 cores=0,2,4,6
/proc/20033/task/20043/stat : 20043 (java) S 20031 20031 14983 0 -1 1077944384 1189 0 0 0 23 0 0 0 20 0 19 0 444795122 15787429888 23175 33554432000 4194304 4196468 140728969130208 140650061343472 140650596977282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20044] ppid=20031 vsize=15417412 memory=111628 CPUtime=0.19 cores=0,2,4,6
/proc/20033/task/20044/stat : 20044 (java) S 20031 20031 14983 0 -1 1077944384 730 0 0 0 19 0 0 0 20 0 19 0 444795122 15787429888 23175 33554432000 4194304 4196468 140728969130208 140650060290928 140650596977282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20045] ppid=20031 vsize=15417412 memory=796 CPUtime=0.41 cores=0,2,4,6
/proc/20033/task/20045/stat : 20045 (java) S 20031 20031 14983 0 -1 1077944384 1854 0 0 0 41 0 0 0 20 0 19 0 444795122 15787429888 23175 33554432000 4194304 4196468 140728969130208 140650059237872 140650596977282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20046] ppid=20031 vsize=15417412 memory=4096 CPUtime=0 cores=0,2,4,6
/proc/20033/task/20046/stat : 20046 (java) S 20031 20031 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444795123 15787429888 23175 33554432000 4194304 4196468 140728969130208 140650058185568 140650596976341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20047] ppid=20031 vsize=15417412 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/20033/task/20047/stat : 20047 (java) S 20031 20031 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 444795123 15787429888 23175 33554432000 4194304 4196468 140728969130208 140650057132592 140650596977282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
Current children cumulated CPU time: 1.57 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 94148 KiB
[startup+1.50117 s]
/proc/loadavg: 8.11 8.67 8.68 14/237 20095
/proc/meminfo: memFree=29244096/32770624 swapFree=66997372/67108860
[pid=20031] ppid=20028 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/20031/stat : 20031 (xcsp3-exec) S 20028 20031 14983 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444795115 115843072 362 33554432000 4194304 5098028 140727524114064 140727524112168 140520235307644 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 1 0 0 7196144 7232144 27643904 140727524115322 140727524115565 140727524115565 140727524118474 0
/proc/20031/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/20033/task/20047/stat : 20047 (java) S 20031 20031 14983 0 -1 1077944384 374 0 0 0 0 0 0 0 20 0 19 0 444795123 15926902784 41375 33554432000 4194304 4196468 140728969130208 140650057132592 140650596977282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 44 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20140] ppid=20031 vsize=15553616 memory=288230596050944315 CPUtime=14.73 cores=0,2,4,6
/proc/20033/task/20140/stat : 20140 (java) R 20031 20031 14983 0 -1 4202560 382 0 0 0 1472 1 0 0 20 0 19 0 444795454 15926902784 41375 33554432000 4194304 4196468 140728969130208 140649447792520 140650201912198 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20141] ppid=20031 vsize=15553616 memory=6791534058613427641 CPUtime=14.78 cores=0,2,4,6
/proc/20033/task/20141/stat : 20141 (java) R 20031 20031 14983 0 -1 4202560 631 0 0 0 1478 0 0 0 20 0 19 0 444795454 15926902784 41375 33554432000 4194304 4196468 140728969130208 140649446742160 140650204071718 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20142] ppid=20031 vsize=15553616 memory=204397493631623 CPUtime=14.86 cores=0,2,4,6
/proc/20033/task/20142/stat : 20142 (java) R 20031 20031 14983 0 -1 4202560 600 0 0 0 1486 0 0 0 20 0 19 0 444795454 15926902784 41375 33554432000 4194304 4196468 140728969130208 140649448846088 140650204436836 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20143] ppid=20031 vsize=15553616 memory=204401788598919 CPUtime=14.84 cores=0,2,4,6
/proc/20033/task/20143/stat : 20143 (java) R 20031 20031 14983 0 -1 4202560 366 0 0 0 1484 0 0 0 20 0 19 0 444795454 15926902784 41375 33554432000 4194304 4196468 140728969130208 140650047914240 140650201911740 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
Current children cumulated CPU time: 71.76 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 166948 KiB
[startup+19.2012 s]
/proc/loadavg: 8.08 8.62 8.67 10/237 20144
/proc/meminfo: memFree=29258524/32770624 swapFree=66997372/67108860
[pid=20031] ppid=20028 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/20031/stat : 20031 (xcsp3-exec) S 20028 20031 14983 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444795115 115843072 362 33554432000 4194304 5098028 140727524114064 140727524112168 140520235307644 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 1 0 0 7196144 7232144 27643904 140727524115322 140727524115565 140727524115565 140727524118474 0
/proc/20031/statm: 28282 362 304 221 0 87 0
[pid=20033] ppid=20031 vsize=15553616 memory=163448 CPUtime=74.94 cores=0,2,4,6
/proc/20033/stat : 20033 (java) S 20031 20031 14983 0 -1 1077944320 31829 0 0 0 7481 13 0 0 20 0 19 0 444795117 15926902784 40862 33554432000 4194304 4196468 140728969130208 140728969112752 140650596966135 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
/proc/20033/statm: 3888404 40862 3525 1 0 3849504 0
[pid=20033/tid=20034] ppid=20031 vsize=15553616 memory=48040 CPUtime=0.64 cores=0,2,4,6
/proc/20033/task/20034/stat : 20034 (java) S 20031 20031 14983 0 -1 1077944384 9343 0 0 0 60 4 0 0 20 0 19 0 444795117 15926902784 40862 33554432000 4194304 4196468 140728969130208 140650601206912 140650596976341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20035] ppid=20031 vsize=15553616 memory=3028 CPUtime=0.02 cores=0,2,4,6
/proc/20033/task/20035/stat : 20035 (java) S 20031 20031 14983 0 -1 1077944384 319 0 0 0 2 0 0 0 20 0 19 0 444795118 15926902784 40862 33554432000 4194304 4196468 140728969130208 140650525006864 140650596976341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20036] ppid=20031 vsize=15553616 memory=1448 CPUtime=0.02 cores=0,2,4,6
/proc/20033/task/20036/stat : 20036 (java) S 20031 20031 14983 0 -1 1077944384 645 0 0 0 2 0 0 0 20 0 19 0 444795118 15926902784 40862 33554432000 4194304 4196468 140728969130208 140650523954320 140650596976341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20037] ppid=20031 vsize=15553616 memory=1448 CPUtime=0.02 cores=0,2,4,6
/proc/20033/task/20037/stat : 20037 (java) S 20031 20031 14983 0 -1 1077944384 698 0 0 0 2 0 0 0 20 0 19 0 444795118 15926902784 40862 33554432000 4194304 4196468 140728969130208 140650522901264 140650596976341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20038] ppid=20031 vsize=15553616 memory=180372 CPUtime=0.03 cores=0,2,4,6
/proc/20033/task/20038/stat : 20038 (java) S 20031 20031 14983 0 -1 1077944384 562 0 0 0 3 0 0 0 20 0 19 0 444795118 15926902784 40862 33554432000 4194304 4196468 140728969130208 140650521848720 140650596976341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20039] ppid=20031 vsize=15553616 memory=1388 CPUtime=0.02 cores=0,2,4,6
/proc/20033/task/20039/stat : 20039 (java) S 20031 20031 14983 0 -1 1077944384 805 0 0 0 2 0 0 0 20 0 19 0 444795119 15926902784 40862 33554432000 4194304 4196468 140728969130208 140650065553648 140650596977282 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20040] ppid=20031 vsize=15553616 memory=776 CPUtime=0 cores=0,2,4,6
/proc/20033/task/20040/stat : 20040 (java) S 20031 20031 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 444795120 15926902784 40862 33554432000 4194304 4196468 140728969130208 140650064499936 140650596976341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20041] ppid=20031 vsize=15553616 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20033/task/20041/stat : 20041 (java) S 20031 20031 14983 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 444795120 15926902784 40862 33554432000 4194304 4196468 140728969130208 140650063446784 140650596976341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20042] ppid=20031 vsize=15553616 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20033/task/20042/stat : 20042 (java) S 20031 20031 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444795122 15926902784 40862 33554432000 4194304 4196468 140728969130208 140650062395344 140650596984731 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20043] ppid=20031 vsize=15553616 memory=0 CPUtime=1.72 cores=0,2,4,6
/proc/20033/task/20043/stat : 20043 (java) S 20031 20031 14983 0 -1 1077944384 5365 0 0 0 172 0 0 0 20 0 19 0 444795122 15926902784 40862 33554432000 4194304 4196468 140728969130208 140650061343472 140650596977282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20044] ppid=20031 vsize=15553616 memory=4122685360515375540 CPUtime=1.45 cores=0,2,4,6
/proc/20033/task/20044/stat : 20044 (java) S 20031 20031 14983 0 -1 1077944384 5194 0 0 0 144 1 0 0 20 0 19 0 444795122 15926902784 40862 33554432000 4194304 4196468 140728969130208 140650060290928 140650596977282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20045] ppid=20031 vsize=15553616 memory=170120 CPUtime=0.68 cores=0,2,4,6
/proc/20033/task/20045/stat : 20045 (java) S 20031 20031 14983 0 -1 1077944384 3175 0 0 0 68 0 0 0 20 0 19 0 444795122 15926902784 40862 33554432000 4194304 4196468 140728969130208 140650059237872 140650596977282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20046] ppid=20031 vsize=15553616 memory=139938624440606 CPUtime=0 cores=0,2,4,6
/proc/20033/task/20046/stat : 20046 (java) S 20031 20031 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444795123 15926902784 40862 33554432000 4194304 4196468 140728969130208 140650058185568 140650596976341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20047] ppid=20031 vsize=15553616 memory=139938624440676 CPUtime=0 cores=0,2,4,6
/proc/20033/task/20047/stat : 20047 (java) S 20031 20031 14983 0 -1 1077944384 374 0 0 0 0 0 0 0 20 0 19 0 444795123 15926902784 40862 33554432000 4194304 4196468 140728969130208 140650057132592 140650596977282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 44 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20140] ppid=20031 vsize=15553616 memory=139938624440695 CPUtime=15.52 cores=0,2,4,6
/proc/20033/task/20140/stat : 20140 (java) R 20031 20031 14983 0 -1 4202560 382 0 0 0 1551 1 0 0 20 0 19 0 444795454 15926902784 40862 33554432000 4194304 4196468 140728969130208 140649447792016 140650201669937 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20141] ppid=20031 vsize=15553616 memory=149280178309248 CPUtime=15.58 cores=0,2,4,6
/proc/20033/task/20141/stat : 20141 (java) R 20031 20031 14983 0 -1 4202560 631 0 0 0 1558 0 0 0 20 0 19 0 444795454 15926902784 40862 33554432000 4194304 4196468 140728969130208 140649446739968 140650577809081 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20142] ppid=20031 vsize=15553616 memory=150259430865543 CPUtime=15.65 cores=0,2,4,6
/proc/20033/task/20142/stat : 20142 (java) R 20031 20031 14983 0 -1 4202560 602 0 0 0 1565 0 0 0 20 0 19 0 444795454 15926902784 40862 33554432000 4194304 4196468 140728969130208 140649448848208 140650201670218 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20143] ppid=20031 vsize=15553616 memory=3992 CPUtime=15.62 cores=0,2,4,6
/proc/20033/task/20143/stat : 20143 (java) R 20031 20031 14983 0 -1 4202560 366 0 0 0 1562 0 0 0 20 0 19 0 444795454 15926902784 40862 33554432000 4194304 4196468 140728969130208 140650047914312 140650201671563 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
Current children cumulated CPU time: 74.94 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 164896 KiB
[startup+19.4012 s]
/proc/loadavg: 8.08 8.62 8.67 10/237 20144
/proc/meminfo: memFree=29258524/32770624 swapFree=66997372/67108860
[pid=20031] ppid=20028 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/20031/stat : 20031 (xcsp3-exec) S 20028 20031 14983 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444795115 115843072 362 33554432000 4194304 5098028 140727524114064 140727524112168 140520235307644 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 1 0 0 7196144 7232144 27643904 140727524115322 140727524115565 140727524115565 140727524118474 0
/proc/20031/statm: 28282 362 304 221 0 87 0
[pid=20033] ppid=20031 vsize=15553616 memory=163448 CPUtime=75.74 cores=0,2,4,6
/proc/20033/stat : 20033 (java) S 20031 20031 14983 0 -1 1077944320 31829 0 0 0 7561 13 0 0 20 0 19 0 444795117 15926902784 40862 33554432000 4194304 4196468 140728969130208 140728969112752 140650596966135 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
/proc/20033/statm: 3888404 40862 3525 1 0 3849504 0
[pid=20033/tid=20034] ppid=20031 vsize=15553616 memory=1060 CPUtime=0.64 cores=0,2,4,6
/proc/20033/task/20034/stat : 20034 (java) S 20031 20031 14983 0 -1 1077944384 9343 0 0 0 60 4 0 0 20 0 19 0 444795117 15926902784 40862 33554432000 4194304 4196468 140728969130208 140650601206912 140650596976341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20035] ppid=20031 vsize=15553616 memory=1548 CPUtime=0.02 cores=0,2,4,6
/proc/20033/task/20035/stat : 20035 (java) S 20031 20031 14983 0 -1 1077944384 319 0 0 0 2 0 0 0 20 0 19 0 444795118 15926902784 40862 33554432000 4194304 4196468 140728969130208 140650525006864 140650596976341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20036] ppid=20031 vsize=15553616 memory=8560 CPUtime=0.02 cores=0,2,4,6
/proc/20033/task/20036/stat : 20036 (java) S 20031 20031 14983 0 -1 1077944384 645 0 0 0 2 0 0 0 20 0 19 0 444795118 15926902784 40862 33554432000 4194304 4196468 140728969130208 140650523954320 140650596976341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20037] ppid=20031 vsize=15553616 memory=202888 CPUtime=0.02 cores=0,2,4,6
/proc/20033/task/20037/stat : 20037 (java) S 20031 20031 14983 0 -1 1077944384 698 0 0 0 2 0 0 0 20 0 19 0 444795118 15926902784 40862 33554432000 4194304 4196468 140728969130208 140650522901264 140650596976341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20038] ppid=20031 vsize=15553616 memory=48040 CPUtime=0.03 cores=0,2,4,6
/proc/20033/task/20038/stat : 20038 (java) S 20031 20031 14983 0 -1 1077944384 562 0 0 0 3 0 0 0 20 0 19 0 444795118 15926902784 40862 33554432000 4194304 4196468 140728969130208 140650521848720 140650596976341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20039] ppid=20031 vsize=15553616 memory=3028 CPUtime=0.02 cores=0,2,4,6
/proc/20033/task/20039/stat : 20039 (java) S 20031 20031 14983 0 -1 1077944384 805 0 0 0 2 0 0 0 20 0 19 0 444795119 15926902784 40862 33554432000 4194304 4196468 140728969130208 140650065553648 140650596977282 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20040] ppid=20031 vsize=15553616 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/20033/task/20040/stat : 20040 (java) S 20031 20031 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 444795120 15926902784 40862 33554432000 4194304 4196468 140728969130208 140650064499936 140650596976341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20041] ppid=20031 vsize=15553616 memory=204132 CPUtime=0 cores=0,2,4,6
/proc/20033/task/20041/stat : 20041 (java) S 20031 20031 14983 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 444795120 15926902784 40862 33554432000 4194304 4196468 140728969130208 140650063446784 140650596976341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20042] ppid=20031 vsize=15553616 memory=279876175758272 CPUtime=0 cores=0,2,4,6
/proc/20033/task/20042/stat : 20042 (java) S 20031 20031 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444795122 15926902784 40862 33554432000 4194304 4196468 140728969130208 140650062395344 140650596984731 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20043] ppid=20031 vsize=15553616 memory=0 CPUtime=1.72 cores=0,2,4,6
/proc/20033/task/20043/stat : 20043 (java) S 20031 20031 14983 0 -1 1077944384 5365 0 0 0 172 0 0 0 20 0 19 0 444795122 15926902784 40862 33554432000 4194304 4196468 140728969130208 140650061343472 140650596977282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20044] ppid=20031 vsize=15553616 memory=0 CPUtime=1.45 cores=0,2,4,6
/proc/20033/task/20044/stat : 20044 (java) S 20031 20031 14983 0 -1 1077944384 5194 0 0 0 144 1 0 0 20 0 19 0 444795122 15926902784 40862 33554432000 4194304 4196468 140728969130208 140650060290928 140650596977282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20045] ppid=20031 vsize=15553616 memory=1448 CPUtime=0.68 cores=0,2,4,6
/proc/20033/task/20045/stat : 20045 (java) S 20031 20031 14983 0 -1 1077944384 3175 0 0 0 68 0 0 0 20 0 19 0 444795122 15926902784 40862 33554432000 4194304 4196468 140728969130208 140650059237872 140650596977282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20046] ppid=20031 vsize=15553616 memory=165500 CPUtime=0 cores=0,2,4,6
/proc/20033/task/20046/stat : 20046 (java) S 20031 20031 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444795123 15926902784 40862 33554432000 4194304 4196468 140728969130208 140650058185568 140650596976341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20047] ppid=20031 vsize=15553616 memory=224532300315271 CPUtime=0 cores=0,2,4,6
/proc/20033/task/20047/stat : 20047 (java) S 20031 20031 14983 0 -1 1077944384 374 0 0 0 0 0 0 0 20 0 19 0 444795123 15926902784 40862 33554432000 4194304 4196468 140728969130208 140650057132592 140650596977282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 44 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20140] ppid=20031 vsize=15553616 memory=224536595287285 CPUtime=15.72 cores=0,2,4,6
/proc/20033/task/20140/stat : 20140 (java) R 20031 20031 14983 0 -1 4202560 382 0 0 0 1571 1 0 0 20 0 19 0 444795454 15926902784 40862 33554432000 4194304 4196468 140728969130208 140649447792016 140650201994821 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20141] ppid=20031 vsize=15553616 memory=224549480189173 CPUtime=15.78 cores=0,2,4,6
/proc/20033/task/20141/stat : 20141 (java) R 20031 20031 14983 0 -1 4202560 631 0 0 0 1578 0 0 0 20 0 19 0 444795454 15926902784 40862 33554432000 4194304 4196468 140728969130208 140649446739968 140650201911688 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20142] ppid=20031 vsize=15553616 memory=204418968468103 CPUtime=15.85 cores=0,2,4,6
/proc/20033/task/20142/stat : 20142 (java) R 20031 20031 14983 0 -1 4202560 602 0 0 0 1585 0 0 0 20 0 19 0 444795454 15926902784 40862 33554432000 4194304 4196468 140728969130208 140649448848208 140650200051067 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20143] ppid=20031 vsize=15553616 memory=225949639522951 CPUtime=15.82 cores=0,2,4,6
/proc/20033/task/20143/stat : 20143 (java) R 20031 20031 14983 0 -1 4202560 366 0 0 0 1582 0 0 0 20 0 19 0 444795454 15926902784 40862 33554432000 4194304 4196468 140728969130208 140650047914312 140650203900167 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
Current children cumulated CPU time: 75.74 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 164896 KiB
[startup+19.5012 s]
/proc/loadavg: 8.08 8.62 8.67 10/237 20144
/proc/meminfo: memFree=29258524/32770624 swapFree=66997372/67108860
[pid=20031] ppid=20028 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/20031/stat : 20031 (xcsp3-exec) S 20028 20031 14983 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444795115 115843072 362 33554432000 4194304 5098028 140727524114064 140727524112168 140520235307644 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 1 0 0 7196144 7232144 27643904 140727524115322 140727524115565 140727524115565 140727524118474 0
/proc/20031/statm: 28282 362 304 221 0 87 0
[pid=20033] ppid=20031 vsize=15553616 memory=163448 CPUtime=76.14 cores=0,2,4,6
/proc/20033/stat : 20033 (java) S 20031 20031 14983 0 -1 1077944320 31829 0 0 0 7601 13 0 0 20 0 19 0 444795117 15926902784 40862 33554432000 4194304 4196468 140728969130208 140728969112752 140650596966135 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
/proc/20033/statm: 3888404 40862 3525 1 0 3849504 0
[pid=20033/tid=20034] ppid=20031 vsize=15553616 memory=1448 CPUtime=0.64 cores=0,2,4,6
/proc/20033/task/20034/stat : 20034 (java) S 20031 20031 14983 0 -1 1077944384 9343 0 0 0 60 4 0 0 20 0 19 0 444795117 15926902784 40862 33554432000 4194304 4196468 140728969130208 140650601206912 140650596976341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20035] ppid=20031 vsize=15553616 memory=163448 CPUtime=0.02 cores=0,2,4,6
/proc/20033/task/20035/stat : 20035 (java) S 20031 20031 14983 0 -1 1077944384 319 0 0 0 2 0 0 0 20 0 19 0 444795118 15926902784 40862 33554432000 4194304 4196468 140728969130208 140650525006864 140650596976341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20036] ppid=20031 vsize=15553616 memory=225953934495295 CPUtime=0.02 cores=0,2,4,6
/proc/20033/task/20036/stat : 20036 (java) S 20031 20031 14983 0 -1 1077944384 645 0 0 0 2 0 0 0 20 0 19 0 444795118 15926902784 40862 33554432000 4194304 4196468 140728969130208 140650523954320 140650596976341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20037] ppid=20031 vsize=15553616 memory=615 CPUtime=0.02 cores=0,2,4,6
/proc/20033/task/20037/stat : 20037 (java) S 20031 20031 14983 0 -1 1077944384 698 0 0 0 2 0 0 0 20 0 19 0 444795118 15926902784 40862 33554432000 4194304 4196468 140728969130208 140650522901264 140650596976341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20038] ppid=20031 vsize=15553616 memory=613 CPUtime=0.03 cores=0,2,4,6
/proc/20033/task/20038/stat : 20038 (java) S 20031 20031 14983 0 -1 1077944384 562 0 0 0 3 0 0 0 20 0 19 0 444795118 15926902784 40862 33554432000 4194304 4196468 140728969130208 140650521848720 140650596976341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20039] ppid=20031 vsize=15553616 memory=167552 CPUtime=0.02 cores=0,2,4,6
/proc/20033/task/20039/stat : 20039 (java) S 20031 20031 14983 0 -1 1077944384 805 0 0 0 2 0 0 0 20 0 19 0 444795119 15926902784 40862 33554432000 4194304 4196468 140728969130208 140650065553648 140650596977282 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20040] ppid=20031 vsize=15553616 memory=167552 CPUtime=0 cores=0,2,4,6
/proc/20033/task/20040/stat : 20040 (java) S 20031 20031 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 444795120 15926902784 40862 33554432000 4194304 4196468 140728969130208 140650064499936 140650596976341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20041] ppid=20031 vsize=15553616 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/20033/task/20041/stat : 20041 (java) S 20031 20031 14983 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 444795120 15926902784 40862 33554432000 4194304 4196468 140728969130208 140650063446784 140650596976341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20042] ppid=20031 vsize=15553616 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20033/task/20042/stat : 20042 (java) S 20031 20031 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444795122 15926902784 40862 33554432000 4194304 4196468 140728969130208 140650062395344 140650596984731 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20043] ppid=20031 vsize=15553616 memory=1448 CPUtime=1.72 cores=0,2,4,6
/proc/20033/task/20043/stat : 20043 (java) S 20031 20031 14983 0 -1 1077944384 5365 0 0 0 172 0 0 0 20 0 19 0 444795122 15926902784 40862 33554432000 4194304 4196468 140728969130208 140650061343472 140650596977282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20044] ppid=20031 vsize=15553616 memory=173196 CPUtime=1.45 cores=0,2,4,6
/proc/20033/task/20044/stat : 20044 (java) S 20031 20031 14983 0 -1 1077944384 5194 0 0 0 144 1 0 0 20 0 19 0 444795122 15926902784 40862 33554432000 4194304 4196468 140728969130208 140650060290928 140650596977282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20045] ppid=20031 vsize=15553616 memory=3504 CPUtime=0.68 cores=0,2,4,6
/proc/20033/task/20045/stat : 20045 (java) S 20031 20031 14983 0 -1 1077944384 3175 0 0 0 68 0 0 0 20 0 19 0 444795122 15926902784 40862 33554432000 4194304 4196468 140728969130208 140650059237872 140650596977282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20046] ppid=20031 vsize=15553616 memory=187040 CPUtime=0 cores=0,2,4,6
/proc/20033/task/20046/stat : 20046 (java) S 20031 20031 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444795123 15926902784 40862 33554432000 4194304 4196468 140728969130208 140650058185568 140650596976341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20047] ppid=20031 vsize=15553616 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/20033/task/20047/stat : 20047 (java) S 20031 20031 14983 0 -1 1077944384 374 0 0 0 0 0 0 0 20 0 19 0 444795123 15926902784 40862 33554432000 4194304 4196468 140728969130208 140650057132592 140650596977282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 44 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20140] ppid=20031 vsize=15553616 memory=0 CPUtime=15.82 cores=0,2,4,6
/proc/20033/task/20140/stat : 20140 (java) R 20031 20031 14983 0 -1 4202560 382 0 0 0 1581 1 0 0 20 0 19 0 444795454 15926902784 40862 33554432000 4194304 4196468 140728969130208 140649447792016 140650201671257 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20141] ppid=20031 vsize=15553616 memory=3028 CPUtime=15.88 cores=0,2,4,6
/proc/20033/task/20141/stat : 20141 (java) R 20031 20031 14983 0 -1 4202560 631 0 0 0 1588 0 0 0 20 0 19 0 444795454 15926902784 40862 33554432000 4194304 4196468 140728969130208 140649446739968 140650201911530 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20142] ppid=20031 vsize=15553616 memory=2012 CPUtime=15.95 cores=0,2,4,6
/proc/20033/task/20142/stat : 20142 (java) R 20031 20031 14983 0 -1 4202560 602 0 0 0 1595 0 0 0 20 0 19 0 444795454 15926902784 40862 33554432000 4194304 4196468 140728969130208 140649448848208 140650204436693 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
[pid=20033/tid=20143] ppid=20031 vsize=15553616 memory=1388 CPUtime=15.92 cores=0,2,4,6
/proc/20033/task/20143/stat : 20143 (java) R 20031 20031 14983 0 -1 4202560 366 0 0 0 1592 0 0 0 20 0 19 0 444795454 15926902784 40862 33554432000 4194304 4196468 140728969130208 140650047914312 140650582176750 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33660928 140728969139183 140728969139354 140728969139354 140728969142223 0
Current children cumulated CPU time: 76.14 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 164896 KiB
Child status: 0
Real time (s): 19.5864
CPU time (s): 76.4613
CPU user time (s): 76.3241
CPU system time (s): 0.137254
CPU usage (%): 390.38
Max. virtual memory (cumulated for all children) (KiB): 15666744
Max. memory (cumulated for all children) (KiB): 208332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 76.3241
system time used= 0.137254
maximum resident set size= 209960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33328
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= 4094
involuntary context switches= 1591
# summary of solver processes directly reported to runsolver:
# pid: 20031
# total CPU time (s): 76.4613
# total CPU user time (s): 76.3241
# total CPU system time (s): 0.137254
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.151656 second user time and 0.252396 second system time
The end