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 (1115 MiB free)
memory of node 1: 16384 MiB (3375 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4402984-1568970220/watcher-4402984-1568970220 -o /var/tmp/evaluation-result-4402984-1568970220/solver-4402984-1568970220 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node150-1568967596-1429 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=251912797 HOME/instance-4402984-1568970220.xml
running on 4 cores: 1,3,5,7
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=2308, runsolver pid=2305
Current StackSize limit: 8192 KiB
[startup+0.10013 s]*
/proc/loadavg: 1.61 1.43 1.31 3/216 2362
/proc/meminfo: memFree=4596596/32770624 swapFree=67021608/67108860
[pid=2308] ppid=2305 vsize=9970504 memory=9016 CPUtime=0.08 cores=1,3,5,7
/proc/2308/stat : 2308 (java) S 2305 2308 1397 0 -1 1077944320 3524 12974 0 0 0 0 5 3 20 0 6 0 473294582 10209796096 2254 33554432000 4194304 4196468 140737001983840 140737001966384 140082032426743 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
/proc/2308/statm: 2492626 2254 1273 1 0 2481537 0
[pid=2308/tid=2362] ppid=2305 vsize=9972712 memory=-7390251449858225344 CPUtime=0.08 cores=1,3,5,7
/proc/2308/task/2362/stat : 2362 (java) R 2305 2308 1397 0 -1 4202560 1574 12974 0 0 0 0 5 3 20 0 6 0 473294592 10212057088 3001 33554432000 4194304 4196468 140737001983840 140082004263504 140081886649923 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2363] ppid=2305 vsize=9972712 memory=-7025452035940392864 CPUtime=0.08 cores=1,3,5,7
/proc/2308/task/2363/stat : 2363 (java) S 2305 2308 1397 0 -1 1077944384 2 12974 0 0 0 0 5 3 20 0 6 0 473294593 10212057088 3001 33554432000 4194304 4196468 140737001983840 140082036669072 140082032436949 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2364] ppid=2305 vsize=9972712 memory=139863165519488 CPUtime=0.08 cores=1,3,5,7
/proc/2308/task/2364/stat : 2364 (java) S 2305 2308 1397 0 -1 1077944384 1 12974 0 0 0 0 5 3 20 0 6 0 473294593 10212057088 3067 33554432000 4194304 4196468 140737001983840 140081970711056 140082032436949 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2365] ppid=2305 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2308/task/2365/stat : 2365 (java) S 2305 2308 1397 0 -1 1077944384 2 12974 0 0 0 0 5 3 20 0 6 0 473294593 10212057088 3067 33554432000 4194304 4196468 140737001983840 140081604430224 140082032436949 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2366] ppid=2305 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/2308/task/2366/stat : 2366 (java) S 2305 2308 1397 0 -1 1077944384 1 12974 0 0 0 0 5 3 20 0 6 0 473294593 10212057088 3067 33554432000 4194304 4196468 140737001983840 140081603377424 140082032436949 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9970504 KiB
Current children cumulated memory: 9016 KiB
[startup+0.210254 s]*
/proc/loadavg: 1.61 1.43 1.31 4/229 2375
/proc/meminfo: memFree=4575684/32770624 swapFree=67021608/67108860
[pid=2308] ppid=2305 vsize=10819716 memory=35504 CPUtime=0.25 cores=1,3,5,7
/proc/2308/stat : 2308 (java) S 2305 2308 1397 0 -1 1077944320 7240 12974 0 0 16 1 5 3 20 0 15 0 473294582 11079389184 8876 33554432000 4194304 4196468 140737001983840 140737001966384 140082032426743 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
/proc/2308/statm: 2704929 8876 3180 1 0 2667149 0
[pid=2308/tid=2362] ppid=2305 vsize=10819716 memory=-7390251449858225344 CPUtime=0.18 cores=1,3,5,7
/proc/2308/task/2362/stat : 2362 (java) R 2305 2308 1397 0 -1 4202560 3654 12974 0 0 10 0 5 3 20 0 15 0 473294592 11079389184 8876 33554432000 4194304 4196468 140737001983840 140082004241416 140082016507230 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2363] ppid=2305 vsize=10819716 memory=-7025452035940392864 CPUtime=0.08 cores=1,3,5,7
/proc/2308/task/2363/stat : 2363 (java) S 2305 2308 1397 0 -1 1077944384 2 12974 0 0 0 0 5 3 20 0 15 0 473294593 11079389184 8876 33554432000 4194304 4196468 140737001983840 140082036669072 140082032436949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2364] ppid=2305 vsize=10819716 memory=139863165519488 CPUtime=0.08 cores=1,3,5,7
/proc/2308/task/2364/stat : 2364 (java) S 2305 2308 1397 0 -1 1077944384 1 12974 0 0 0 0 5 3 20 0 15 0 473294593 11079389184 8876 33554432000 4194304 4196468 140737001983840 140081970711056 140082032436949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2365] ppid=2305 vsize=10819716 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2308/task/2365/stat : 2365 (java) S 2305 2308 1397 0 -1 1077944384 2 12974 0 0 0 0 5 3 20 0 15 0 473294593 11079389184 8876 33554432000 4194304 4196468 140737001983840 140081604430224 140082032436949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2366] ppid=2305 vsize=10819716 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/2308/task/2366/stat : 2366 (java) S 2305 2308 1397 0 -1 1077944384 1 12974 0 0 0 0 5 3 20 0 15 0 473294593 11079389184 8876 33554432000 4194304 4196468 140737001983840 140081603377424 140082032436949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2367] ppid=2305 vsize=10819716 memory=139863165519488 CPUtime=0.08 cores=1,3,5,7
/proc/2308/task/2367/stat : 2367 (java) S 2305 2308 1397 0 -1 1077944384 2 12974 0 0 0 0 5 3 20 0 15 0 473294594 11079389184 8876 33554432000 4194304 4196468 140737001983840 140081357618032 140082032437890 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2368] ppid=2305 vsize=10819716 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/2308/task/2368/stat : 2368 (java) S 2305 2308 1397 0 -1 1077944384 33 12974 0 0 0 0 5 3 20 0 15 0 473294595 11079389184 8876 33554432000 4194304 4196468 140737001983840 140081356564000 140082032436949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2369] ppid=2305 vsize=10819716 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2308/task/2369/stat : 2369 (java) S 2305 2308 1397 0 -1 1077944384 1 12974 0 0 0 0 5 3 20 0 15 0 473294595 11079389184 8876 33554432000 4194304 4196468 140737001983840 140080895223152 140082032436949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2370] ppid=2305 vsize=10819716 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2308/task/2370/stat : 2370 (java) S 2305 2308 1397 0 -1 1077944384 3 12974 0 0 0 0 5 3 20 0 15 0 473294598 11079389184 8876 33554432000 4194304 4196468 140737001983840 140080587823440 140082032445339 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2371] ppid=2305 vsize=10819716 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/2308/task/2371/stat : 2371 (java) S 2305 2308 1397 0 -1 1077944384 484 12974 0 0 1 0 5 3 20 0 15 0 473294598 11079389184 8876 33554432000 4194304 4196468 140737001983840 140081323006320 140082032437890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2372] ppid=2305 vsize=10819716 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/2308/task/2372/stat : 2372 (java) S 2305 2308 1397 0 -1 1077944384 184 12974 0 0 1 0 5 3 20 0 15 0 473294598 11079389184 8876 33554432000 4194304 4196468 140737001983840 140081321953520 140082032437890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2373] ppid=2305 vsize=10819716 memory=139863165519488 CPUtime=0.11 cores=1,3,5,7
/proc/2308/task/2373/stat : 2373 (java) S 2305 2308 1397 0 -1 1077944384 670 12974 0 0 3 0 5 3 20 0 15 0 473294598 11079389184 8876 33554432000 4194304 4196468 140737001983840 140081320900720 140082032437890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2374] ppid=2305 vsize=10819716 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/2308/task/2374/stat : 2374 (java) S 2305 2308 1397 0 -1 1077944384 3 12974 0 0 0 0 5 3 20 0 15 0 473294598 11079389184 8876 33554432000 4194304 4196468 140737001983840 140080554264800 140082032436949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2375] ppid=2305 vsize=10819716 memory=139863165519488 CPUtime=0.08 cores=1,3,5,7
/proc/2308/task/2375/stat : 2375 (java) S 2305 2308 1397 0 -1 1077944384 1 12974 0 0 0 0 5 3 20 0 15 0 473294598 11079389184 8876 33554432000 4194304 4196468 140737001983840 140081319849136 140082032437890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10819716 KiB
Current children cumulated memory: 35504 KiB
[startup+0.310336 s]*
/proc/loadavg: 1.61 1.43 1.31 3/229 2375
/proc/meminfo: memFree=4563376/32770624 swapFree=67021608/67108860
[pid=2308] ppid=2305 vsize=10820196 memory=46648 CPUtime=0.39 cores=1,3,5,7
/proc/2308/stat : 2308 (java) S 2305 2308 1397 0 -1 1077944320 10950 12974 0 0 28 3 5 3 20 0 15 0 473294582 11079880704 11662 33554432000 4194304 4196468 140737001983840 140737001966384 140082032426743 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
/proc/2308/statm: 2705049 11662 3311 1 0 2667149 0
[pid=2308/tid=2362] ppid=2305 vsize=10820196 memory=1399051139730258233 CPUtime=0.28 cores=1,3,5,7
/proc/2308/task/2362/stat : 2362 (java) R 2305 2308 1397 0 -1 4202560 7308 12974 0 0 18 2 5 3 20 0 15 0 473294592 11079880704 11662 33554432000 4194304 4196468 140737001983840 140082004236992 140082032448669 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2363] ppid=2305 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2308/task/2363/stat : 2363 (java) S 2305 2308 1397 0 -1 1077944384 2 12974 0 0 0 0 5 3 20 0 15 0 473294593 11079880704 11662 33554432000 4194304 4196468 140737001983840 140082036669072 140082032436949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2364] ppid=2305 vsize=10820196 memory=7665504159687010663 CPUtime=0.08 cores=1,3,5,7
/proc/2308/task/2364/stat : 2364 (java) S 2305 2308 1397 0 -1 1077944384 1 12974 0 0 0 0 5 3 20 0 15 0 473294593 11079880704 11662 33554432000 4194304 4196468 140737001983840 140081970711056 140082032436949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2365] ppid=2305 vsize=10820196 memory=4126316290023845779 CPUtime=0.08 cores=1,3,5,7
/proc/2308/task/2365/stat : 2365 (java) S 2305 2308 1397 0 -1 1077944384 2 12974 0 0 0 0 5 3 20 0 15 0 473294593 11079880704 11662 33554432000 4194304 4196468 140737001983840 140081604430224 140082032436949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2366] ppid=2305 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2308/task/2366/stat : 2366 (java) S 2305 2308 1397 0 -1 1077944384 1 12974 0 0 0 0 5 3 20 0 15 0 473294593 11079880704 11662 33554432000 4194304 4196468 140737001983840 140081603377424 140082032436949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2367] ppid=2305 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2308/task/2367/stat : 2367 (java) S 2305 2308 1397 0 -1 1077944384 2 12974 0 0 0 0 5 3 20 0 15 0 473294594 11079880704 11662 33554432000 4194304 4196468 140737001983840 140081357618032 140082032437890 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2368] ppid=2305 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2308/task/2368/stat : 2368 (java) S 2305 2308 1397 0 -1 1077944384 33 12974 0 0 0 0 5 3 20 0 15 0 473294595 11079880704 11662 33554432000 4194304 4196468 140737001983840 140081356564000 140082032436949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2369] ppid=2305 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2308/task/2369/stat : 2369 (java) S 2305 2308 1397 0 -1 1077944384 1 12974 0 0 0 0 5 3 20 0 15 0 473294595 11079880704 11662 33554432000 4194304 4196468 140737001983840 140080895223152 140082032436949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2370] ppid=2305 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2308/task/2370/stat : 2370 (java) S 2305 2308 1397 0 -1 1077944384 3 12974 0 0 0 0 5 3 20 0 15 0 473294598 11079880704 11662 33554432000 4194304 4196468 140737001983840 140080587823440 140082032445339 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2371] ppid=2305 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/2308/task/2371/stat : 2371 (java) S 2305 2308 1397 0 -1 1077944384 500 12974 0 0 1 0 5 3 20 0 15 0 473294598 11079880704 11662 33554432000 4194304 4196468 140737001983840 140081323006320 140082032437890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2372] ppid=2305 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/2308/task/2372/stat : 2372 (java) S 2305 2308 1397 0 -1 1077944384 193 12974 0 0 1 0 5 3 20 0 15 0 473294598 11079880704 11662 33554432000 4194304 4196468 140737001983840 140081321953520 140082032437890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2373] ppid=2305 vsize=10820196 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/2308/task/2373/stat : 2373 (java) R 2305 2308 1397 0 -1 4202560 702 12974 0 0 5 0 5 3 20 0 15 0 473294598 11079880704 11662 33554432000 4194304 4196468 140737001983840 140081320900720 140082011388056 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2374] ppid=2305 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2308/task/2374/stat : 2374 (java) S 2305 2308 1397 0 -1 1077944384 3 12974 0 0 0 0 5 3 20 0 15 0 473294598 11079880704 11662 33554432000 4194304 4196468 140737001983840 140080554264800 140082032436949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2375] ppid=2305 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2308/task/2375/stat : 2375 (java) S 2305 2308 1397 0 -1 1077944384 1 12974 0 0 0 0 5 3 20 0 15 0 473294598 11079880704 11662 33554432000 4194304 4196468 140737001983840 140081319849136 140082032437890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 46648 KiB
[startup+0.700732 s]
/proc/loadavg: 1.61 1.43 1.31 3/229 2375
/proc/meminfo: memFree=4549632/32770624 swapFree=67021608/67108860
[pid=2308] ppid=2305 vsize=10824364 memory=78508 CPUtime=1.13 cores=1,3,5,7
/proc/2308/stat : 2308 (java) S 2305 2308 1397 0 -1 1077944320 15416 12974 0 0 100 5 5 3 20 0 15 0 473294582 11084148736 19627 33554432000 4194304 4196468 140737001983840 140737001966384 140082032426743 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
/proc/2308/statm: 2706091 19627 3512 1 0 2668173 0
[pid=2308/tid=2362] ppid=2305 vsize=10824364 memory=64 CPUtime=0.67 cores=1,3,5,7
/proc/2308/task/2362/stat : 2362 (java) R 2305 2308 1397 0 -1 4202560 10475 12974 0 0 55 4 5 3 20 0 15 0 473294592 11084148736 19627 33554432000 4194304 4196468 140737001983840 140082004253296 140081637296725 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2363] ppid=2305 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2308/task/2363/stat : 2363 (java) S 2305 2308 1397 0 -1 1077944384 2 12974 0 0 0 0 5 3 20 0 15 0 473294593 11084148736 19627 33554432000 4194304 4196468 140737001983840 140082036669072 140082032436949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2364] ppid=2305 vsize=10824364 memory=8458433173656975157 CPUtime=0.08 cores=1,3,5,7
/proc/2308/task/2364/stat : 2364 (java) S 2305 2308 1397 0 -1 1077944384 1 12974 0 0 0 0 5 3 20 0 15 0 473294593 11084148736 19627 33554432000 4194304 4196468 140737001983840 140081970711056 140082032436949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2365] ppid=2305 vsize=10824364 memory=7012755875744993364 CPUtime=0.08 cores=1,3,5,7
/proc/2308/task/2365/stat : 2365 (java) S 2305 2308 1397 0 -1 1077944384 2 12974 0 0 0 0 5 3 20 0 15 0 473294593 11084148736 20139 33554432000 4194304 4196468 140737001983840 140081604430224 140082032436949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2366] ppid=2305 vsize=10824364 memory=4639059895069856102 CPUtime=0.08 cores=1,3,5,7
/proc/2308/task/2366/stat : 2366 (java) S 2305 2308 1397 0 -1 1077944384 1 12974 0 0 0 0 5 3 20 0 15 0 473294593 11084148736 20139 33554432000 4194304 4196468 140737001983840 140081603377424 140082032436949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2367] ppid=2305 vsize=10824364 memory=3648 CPUtime=0.08 cores=1,3,5,7
/proc/2308/task/2367/stat : 2367 (java) S 2305 2308 1397 0 -1 1077944384 5 12974 0 0 0 0 5 3 20 0 15 0 473294594 11084148736 20139 33554432000 4194304 4196468 140737001983840 140081357618032 140082032437890 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2368] ppid=2305 vsize=10824364 memory=2241 CPUtime=0.08 cores=1,3,5,7
/proc/2308/task/2368/stat : 2368 (java) S 2305 2308 1397 0 -1 1077944384 33 12974 0 0 0 0 5 3 20 0 15 0 473294595 11084148736 20139 33554432000 4194304 4196468 140737001983840 140081356564000 140082032436949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2369] ppid=2305 vsize=10824364 memory=2244 CPUtime=0.08 cores=1,3,5,7
/proc/2308/task/2369/stat : 2369 (java) S 2305 2308 1397 0 -1 1077944384 1 12974 0 0 0 0 5 3 20 0 15 0 473294595 11084148736 20139 33554432000 4194304 4196468 140737001983840 140080895223152 140082032436949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2370] ppid=2305 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2308/task/2370/stat : 2370 (java) S 2305 2308 1397 0 -1 1077944384 3 12974 0 0 0 0 5 3 20 0 15 0 473294598 11084148736 20139 33554432000 4194304 4196468 140737001983840 140080587823440 140082032445339 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2371] ppid=2305 vsize=10824364 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/2308/task/2371/stat : 2371 (java) S 2305 2308 1397 0 -1 1077944384 1007 12974 0 0 12 0 5 3 20 0 15 0 473294598 11084148736 20139 33554432000 4194304 4196468 140737001983840 140081323006320 140082032437890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2372] ppid=2305 vsize=10824364 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/2308/task/2372/stat : 2372 (java) S 2305 2308 1397 0 -1 1077944384 694 12974 0 0 14 0 5 3 20 0 15 0 473294598 11084148736 20139 33554432000 4194304 4196468 140737001983840 140081321953520 140082032437890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2373] ppid=2305 vsize=10824364 memory=19265 CPUtime=0.25 cores=1,3,5,7
/proc/2308/task/2373/stat : 2373 (java) S 2305 2308 1397 0 -1 1077944384 981 12974 0 0 17 0 5 3 20 0 15 0 473294598 11084148736 20139 33554432000 4194304 4196468 140737001983840 140081320900720 140082032437890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2374] ppid=2305 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2308/task/2374/stat : 2374 (java) S 2305 2308 1397 0 -1 1077944384 3 12974 0 0 0 0 5 3 20 0 15 0 473294598 11084148736 20139 33554432000 4194304 4196468 140737001983840 140080554264800 140082032436949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2375] ppid=2305 vsize=10824364 memory=-1664385933527490352 CPUtime=0.08 cores=1,3,5,7
/proc/2308/task/2375/stat : 2375 (java) S 2305 2308 1397 0 -1 1077944384 1 12974 0 0 0 0 5 3 20 0 15 0 473294598 11084148736 20139 33554432000 4194304 4196468 140737001983840 140081319849136 140082032437890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 78508 KiB
[startup+1.50077 s]
/proc/loadavg: 1.64 1.44 1.31 3/229 2375
/proc/meminfo: memFree=4504964/32770624 swapFree=67021608/67108860
[pid=2308] ppid=2305 vsize=10834680 memory=168540 CPUtime=2.53 cores=1,3,5,7
/proc/2308/stat : 2308 (java) S 2305 2308 1397 0 -1 1077944320 22142 12974 0 0 235 10 5 3 20 0 15 0 473294582 11094712320 42135 33554432000 4194304 4196468 140737001983840 140737001966384 140082032426743 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
/proc/2308/statm: 2708670 42135 3583 1 0 2670733 0
[pid=2308/tid=2362] ppid=2305 vsize=10834680 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/2308/task/2362/stat : 2362 (java) R 2305 2308 1397 0 -1 4202560 15377 12974 0 0 129 6 5 3 20 0 15 0 473294592 11094712320 42135 33554432000 4194304 4196468 140737001983840 140082004224896 140082032438678 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2363] ppid=2305 vsize=10834680 memory=2984942740838787945 CPUtime=0.09 cores=1,3,5,7
/proc/2308/task/2363/stat : 2363 (java) S 2305 2308 1397 0 -1 1077944384 50 12974 0 0 1 0 5 3 20 0 15 0 473294593 11094712320 42135 33554432000 4194304 4196468 140737001983840 140082036669072 140082032436949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2364] ppid=2305 vsize=10834680 memory=8695786387416391689 CPUtime=0.09 cores=1,3,5,7
/proc/2308/task/2364/stat : 2364 (java) S 2305 2308 1397 0 -1 1077944384 346 12974 0 0 1 0 5 3 20 0 15 0 473294593 11094712320 42135 33554432000 4194304 4196468 140737001983840 140081970711056 140082032436949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2365] ppid=2305 vsize=10834680 memory=-3535359994705173198 CPUtime=0.08 cores=1,3,5,7
/proc/2308/task/2365/stat : 2365 (java) S 2305 2308 1397 0 -1 1077944384 66 12974 0 0 0 0 5 3 20 0 15 0 473294593 11094712320 42135 33554432000 4194304 4196468 140737001983840 140081604430224 140082032436949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2366] ppid=2305 vsize=10834680 memory=7157735280280949553 CPUtime=0.09 cores=1,3,5,7
/proc/2308/task/2366/stat : 2366 (java) S 2305 2308 1397 0 -1 1077944384 32 12974 0 0 1 0 5 3 20 0 15 0 473294593 11094712320 42135 33554432000 4194304 4196468 140737001983840 140081603377424 140082032436949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2367] ppid=2305 vsize=10834680 memory=5 CPUtime=0.09 cores=1,3,5,7
/proc/2308/task/2367/stat : 2367 (java) S 2305 2308 1397 0 -1 1077944384 163 12974 0 0 1 0 5 3 20 0 15 0 473294594 11094712320 42135 33554432000 4194304 4196468 140737001983840 140081357618032 140082032437890 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2368] ppid=2305 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2308/task/2368/stat : 2368 (java) S 2305 2308 1397 0 -1 1077944384 34 12974 0 0 0 0 5 3 20 0 15 0 473294595 11094712320 42135 33554432000 4194304 4196468 140737001983840 140081356564064 140082032436949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2369] ppid=2305 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2308/task/2369/stat : 2369 (java) S 2305 2308 1397 0 -1 1077944384 1 12974 0 0 0 0 5 3 20 0 15 0 473294595 11094712320 42135 33554432000 4194304 4196468 140737001983840 140080895223168 140082032436949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2370] ppid=2305 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2308/task/2370/stat : 2370 (java) S 2305 2308 1397 0 -1 1077944384 3 12974 0 0 0 0 5 3 20 0 15 0 473294598 11094712320 42135 33554432000 4194304 4196468 140737001983840 140080587823440 140082032445339 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2371] ppid=2305 vsize=10834680 memory=0 CPUtime=0.34 cores=1,3,5,7
/proc/2308/task/2371/stat : 2371 (java) S 2305 2308 1397 0 -1 1077944384 1197 12974 0 0 25 1 5 3 20 0 15 0 473294598 11094712320 42135 33554432000 4194304 4196468 140737001983840 140081323006320 140082032437890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2372] ppid=2305 vsize=10834680 memory=18 CPUtime=0.41 cores=1,3,5,7
/proc/2308/task/2372/stat : 2372 (java) S 2305 2308 1397 0 -1 1077944384 922 12974 0 0 33 0 5 3 20 0 15 0 473294598 11094712320 42135 33554432000 4194304 4196468 140737001983840 140081321953520 140082032437890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2373] ppid=2305 vsize=10834680 memory=23 CPUtime=0.48 cores=1,3,5,7
/proc/2308/task/2373/stat : 2373 (java) R 2305 2308 1397 0 -1 4202560 1740 12974 0 0 40 0 5 3 20 0 15 0 473294598 11094712320 42135 33554432000 4194304 4196468 140737001983840 140081320900720 140082011565265 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2374] ppid=2305 vsize=10834680 memory=28 CPUtime=0.08 cores=1,3,5,7
/proc/2308/task/2374/stat : 2374 (java) S 2305 2308 1397 0 -1 1077944384 3 12974 0 0 0 0 5 3 20 0 15 0 473294598 11094712320 42135 33554432000 4194304 4196468 140737001983840 140080554264800 140082032436949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2375] ppid=2305 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2308/task/2375/stat : 2375 (java) S 2305 2308 1397 0 -1 1077944384 1 12974 0 0 0 0 5 3 20 0 15 0 473294598 11094712320 42135 33554432000 4194304 4196468 140737001983840 140081319849136 140082032437890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
Current children cumulated CPU time: 2.53 s
Current children cumulated vsize: 10834680 KiB
################
# More data... #
################
/proc/2308/task/2362/stat : 2362 (java) R 2305 2308 1397 0 -1 4202560 113710 12974 0 0 235647 59 5 3 20 0 15 0 473294592 11107315712 119538 33554432000 4194304 4196468 140737001983840 140082004262848 140081654334150 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2363] ppid=2305 vsize=10846988 memory=484368 CPUtime=14.69 cores=1,3,5,7
/proc/2308/task/2363/stat : 2363 (java) S 2305 2308 1397 0 -1 1077944384 16032 12974 0 0 1407 54 5 3 20 0 15 0 473294593 11107315712 119538 33554432000 4194304 4196468 140737001983840 140082036669072 140082032436949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2364] ppid=2305 vsize=10846988 memory=457692 CPUtime=14.66 cores=1,3,5,7
/proc/2308/task/2364/stat : 2364 (java) S 2305 2308 1397 0 -1 1077944384 19446 12974 0 0 1407 51 5 3 20 0 15 0 473294593 11107315712 119538 33554432000 4194304 4196468 140737001983840 140081970711056 140082032436949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2365] ppid=2305 vsize=10846988 memory=467368 CPUtime=14.65 cores=1,3,5,7
/proc/2308/task/2365/stat : 2365 (java) S 2305 2308 1397 0 -1 1077944384 16326 12974 0 0 1404 53 5 3 20 0 15 0 473294593 11107315712 119538 33554432000 4194304 4196468 140737001983840 140081604430224 140082032436949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2366] ppid=2305 vsize=10846988 memory=469416 CPUtime=14.69 cores=1,3,5,7
/proc/2308/task/2366/stat : 2366 (java) S 2305 2308 1397 0 -1 1077944384 21425 12974 0 0 1409 52 5 3 20 0 15 0 473294593 11107315712 119538 33554432000 4194304 4196468 140737001983840 140081603377424 140082032436949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2367] ppid=2305 vsize=10846988 memory=478664 CPUtime=7.96 cores=1,3,5,7
/proc/2308/task/2367/stat : 2367 (java) S 2305 2308 1397 0 -1 1077944384 15697 12974 0 0 715 73 5 3 20 0 15 0 473294594 11107315712 119538 33554432000 4194304 4196468 140737001983840 140081357618032 140082032437890 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2368] ppid=2305 vsize=10846988 memory=279726120781072 CPUtime=0.08 cores=1,3,5,7
/proc/2308/task/2368/stat : 2368 (java) S 2305 2308 1397 0 -1 1077944384 42 12974 0 0 0 0 5 3 20 0 15 0 473294595 11107315712 119538 33554432000 4194304 4196468 140737001983840 140081356564064 140082032436949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2369] ppid=2305 vsize=10846988 memory=478664 CPUtime=0.08 cores=1,3,5,7
/proc/2308/task/2369/stat : 2369 (java) S 2305 2308 1397 0 -1 1077944384 10 12974 0 0 0 0 5 3 20 0 15 0 473294595 11107315712 119538 33554432000 4194304 4196468 140737001983840 140080895223168 140082032436949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2370] ppid=2305 vsize=10846988 memory=139863060332782 CPUtime=0.08 cores=1,3,5,7
/proc/2308/task/2370/stat : 2370 (java) S 2305 2308 1397 0 -1 1077944384 3 12974 0 0 0 0 5 3 20 0 15 0 473294598 11107315712 119538 33554432000 4194304 4196468 140737001983840 140080587823440 140082032445339 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2371] ppid=2305 vsize=10846988 memory=478664 CPUtime=5.04 cores=1,3,5,7
/proc/2308/task/2371/stat : 2371 (java) S 2305 2308 1397 0 -1 1077944384 13471 12974 0 0 492 4 5 3 20 0 15 0 473294598 11107315712 119538 33554432000 4194304 4196468 140737001983840 140081323006320 140082032437890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2372] ppid=2305 vsize=10846988 memory=2084 CPUtime=5.06 cores=1,3,5,7
/proc/2308/task/2372/stat : 2372 (java) S 2305 2308 1397 0 -1 1077944384 12111 12974 0 0 496 2 5 3 20 0 15 0 473294598 11107315712 119538 33554432000 4194304 4196468 140737001983840 140081321953520 140082032437890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2373] ppid=2305 vsize=10846988 memory=468464 CPUtime=2.14 cores=1,3,5,7
/proc/2308/task/2373/stat : 2373 (java) S 2305 2308 1397 0 -1 1077944384 8999 12974 0 0 202 4 5 3 20 0 15 0 473294598 11107315712 119538 33554432000 4194304 4196468 140737001983840 140081320900720 140082032437890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2374] ppid=2305 vsize=10846988 memory=468976 CPUtime=0.08 cores=1,3,5,7
/proc/2308/task/2374/stat : 2374 (java) S 2305 2308 1397 0 -1 1077944384 3 12974 0 0 0 0 5 3 20 0 15 0 473294598 11107315712 119538 33554432000 4194304 4196468 140737001983840 140080554264800 140082032436949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2375] ppid=2305 vsize=10846988 memory=1804 CPUtime=1.4 cores=1,3,5,7
/proc/2308/task/2375/stat : 2375 (java) S 2305 2308 1397 0 -1 1077944384 907 12974 0 0 58 74 5 3 20 0 15 0 473294598 11107315712 119538 33554432000 4194304 4196468 140737001983840 140081319849136 140082032437890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
Current children cumulated CPU time: 2436.81 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 478152 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 1.67 1.52 3/227 2737
/proc/meminfo: memFree=1570404/32770624 swapFree=67021624/67108860
[pid=2308] ppid=2305 vsize=10846988 memory=481352 CPUtime=2498.04 cores=1,3,5,7
/proc/2308/stat : 2308 (java) S 2305 2308 1397 0 -1 1077944320 253819 12974 0 0 249397 399 5 3 20 0 15 0 473294582 11107315712 120338 33554432000 4194304 4196468 140737001983840 140737001966384 140082032426743 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
/proc/2308/statm: 2711747 120338 3633 1 0 2673805 0
[pid=2308/tid=2362] ppid=2305 vsize=10846988 memory=489560 CPUtime=2416.48 cores=1,3,5,7
/proc/2308/task/2362/stat : 2362 (java) R 2305 2308 1397 0 -1 4202560 123162 12974 0 0 241578 62 5 3 20 0 15 0 473294592 11107315712 120338 33554432000 4194304 4196468 140737001983840 140082004262912 140081642647010 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2363] ppid=2305 vsize=10846988 memory=493152 CPUtime=15.11 cores=1,3,5,7
/proc/2308/task/2363/stat : 2363 (java) S 2305 2308 1397 0 -1 1077944384 16929 12974 0 0 1447 56 5 3 20 0 15 0 473294593 11107315712 120338 33554432000 4194304 4196468 140737001983840 140082036669072 140082032436949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2364] ppid=2305 vsize=10846988 memory=494496 CPUtime=15.08 cores=1,3,5,7
/proc/2308/task/2364/stat : 2364 (java) S 2305 2308 1397 0 -1 1077944384 20567 12974 0 0 1447 53 5 3 20 0 15 0 473294593 11107315712 120338 33554432000 4194304 4196468 140737001983840 140081970711056 140082032436949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2365] ppid=2305 vsize=10846988 memory=491692 CPUtime=15.08 cores=1,3,5,7
/proc/2308/task/2365/stat : 2365 (java) S 2305 2308 1397 0 -1 1077944384 17058 12974 0 0 1444 56 5 3 20 0 15 0 473294593 11107315712 120338 33554432000 4194304 4196468 140737001983840 140081604430224 140082032436949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2366] ppid=2305 vsize=10846988 memory=503732 CPUtime=15.11 cores=1,3,5,7
/proc/2308/task/2366/stat : 2366 (java) S 2305 2308 1397 0 -1 1077944384 22368 12974 0 0 1448 55 5 3 20 0 15 0 473294593 11107315712 120338 33554432000 4194304 4196468 140737001983840 140081603377424 140082032436949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2367] ppid=2305 vsize=10846988 memory=493472 CPUtime=8.13 cores=1,3,5,7
/proc/2308/task/2367/stat : 2367 (java) S 2305 2308 1397 0 -1 1077944384 15958 12974 0 0 730 75 5 3 20 0 15 0 473294594 11107315712 120338 33554432000 4194304 4196468 140737001983840 140081357618032 140082032437890 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2368] ppid=2305 vsize=10846988 memory=484432 CPUtime=0.08 cores=1,3,5,7
/proc/2308/task/2368/stat : 2368 (java) S 2305 2308 1397 0 -1 1077944384 42 12974 0 0 0 0 5 3 20 0 15 0 473294595 11107315712 120338 33554432000 4194304 4196468 140737001983840 140081356564064 140082032436949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2369] ppid=2305 vsize=10846988 memory=532776 CPUtime=0.08 cores=1,3,5,7
/proc/2308/task/2369/stat : 2369 (java) S 2305 2308 1397 0 -1 1077944384 10 12974 0 0 0 0 5 3 20 0 15 0 473294595 11107315712 120338 33554432000 4194304 4196468 140737001983840 140080895223168 140082032436949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2370] ppid=2305 vsize=10846988 memory=482380 CPUtime=0.08 cores=1,3,5,7
/proc/2308/task/2370/stat : 2370 (java) S 2305 2308 1397 0 -1 1077944384 3 12974 0 0 0 0 5 3 20 0 15 0 473294598 11107315712 120338 33554432000 4194304 4196468 140737001983840 140080587823440 140082032445339 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2371] ppid=2305 vsize=10846988 memory=482380 CPUtime=5.04 cores=1,3,5,7
/proc/2308/task/2371/stat : 2371 (java) S 2305 2308 1397 0 -1 1077944384 13473 12974 0 0 492 4 5 3 20 0 15 0 473294598 11107315712 120338 33554432000 4194304 4196468 140737001983840 140081323006320 140082032437890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2372] ppid=2305 vsize=10846988 memory=485972 CPUtime=5.06 cores=1,3,5,7
/proc/2308/task/2372/stat : 2372 (java) S 2305 2308 1397 0 -1 1077944384 12113 12974 0 0 496 2 5 3 20 0 15 0 473294598 11107315712 120338 33554432000 4194304 4196468 140737001983840 140081321953520 140082032437890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2373] ppid=2305 vsize=10846988 memory=8112282956445269571 CPUtime=2.14 cores=1,3,5,7
/proc/2308/task/2373/stat : 2373 (java) S 2305 2308 1397 0 -1 1077944384 9001 12974 0 0 202 4 5 3 20 0 15 0 473294598 11107315712 120338 33554432000 4194304 4196468 140737001983840 140081320900720 140082032437890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2374] ppid=2305 vsize=10846988 memory=1584 CPUtime=0.08 cores=1,3,5,7
/proc/2308/task/2374/stat : 2374 (java) S 2305 2308 1397 0 -1 1077944384 3 12974 0 0 0 0 5 3 20 0 15 0 473294598 11107315712 120338 33554432000 4194304 4196468 140737001983840 140080554264800 140082032436949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2375] ppid=2305 vsize=10846988 memory=481868 CPUtime=1.44 cores=1,3,5,7
/proc/2308/task/2375/stat : 2375 (java) S 2305 2308 1397 0 -1 1077944384 925 12974 0 0 60 76 5 3 20 0 15 0 473294598 11107315712 120338 33554432000 4194304 4196468 140737001983840 140081319849136 140082032437890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
Current children cumulated CPU time: 2498.04 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 481352 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2463.9 s]
/proc/loadavg: 1.78 1.65 1.52 3/227 2739
/proc/meminfo: memFree=1529280/32770624 swapFree=67021624/67108860
[pid=2308] ppid=2305 vsize=10846988 memory=494364 CPUtime=2520.07 cores=1,3,5,7
/proc/2308/stat : 2308 (java) S 2305 2308 1397 0 -1 1077944320 264632 12974 0 0 251594 405 5 3 20 0 15 0 473294582 11107315712 123591 33554432000 4194304 4196468 140737001983840 140737001966384 140082032426743 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
/proc/2308/statm: 2711747 123591 3633 1 0 2673805 0
[pid=2308/tid=2362] ppid=2305 vsize=10846988 memory=506528 CPUtime=2437.83 cores=1,3,5,7
/proc/2308/task/2362/stat : 2362 (java) R 2305 2308 1397 0 -1 4202560 130475 12974 0 0 243712 63 5 3 20 0 15 0 473294592 11107315712 123591 33554432000 4194304 4196468 140737001983840 140082004262480 140081653472448 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2363] ppid=2305 vsize=10846988 memory=496932 CPUtime=15.26 cores=1,3,5,7
/proc/2308/task/2363/stat : 2363 (java) S 2305 2308 1397 0 -1 1077944384 17802 12974 0 0 1461 57 5 3 20 0 15 0 473294593 11107315712 123591 33554432000 4194304 4196468 140737001983840 140082036669072 140082032436949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2364] ppid=2305 vsize=10846988 memory=495392 CPUtime=15.23 cores=1,3,5,7
/proc/2308/task/2364/stat : 2364 (java) S 2305 2308 1397 0 -1 1077944384 21410 12974 0 0 1461 54 5 3 20 0 15 0 473294593 11107315712 123591 33554432000 4194304 4196468 140737001983840 140081970711056 140082032436949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2365] ppid=2305 vsize=10846988 memory=494880 CPUtime=15.22 cores=1,3,5,7
/proc/2308/task/2365/stat : 2365 (java) S 2305 2308 1397 0 -1 1077944384 17907 12974 0 0 1458 56 5 3 20 0 15 0 473294593 11107315712 123591 33554432000 4194304 4196468 140737001983840 140081604430224 140082032436949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2366] ppid=2305 vsize=10846988 memory=506016 CPUtime=15.27 cores=1,3,5,7
/proc/2308/task/2366/stat : 2366 (java) S 2305 2308 1397 0 -1 1077944384 23271 12974 0 0 1463 56 5 3 20 0 15 0 473294593 11107315712 123591 33554432000 4194304 4196468 140737001983840 140081603377424 140082032436949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2367] ppid=2305 vsize=10846988 memory=497956 CPUtime=8.19 cores=1,3,5,7
/proc/2308/task/2367/stat : 2367 (java) S 2305 2308 1397 0 -1 1077944384 15988 12974 0 0 735 76 5 3 20 0 15 0 473294594 11107315712 123591 33554432000 4194304 4196468 140737001983840 140081357618032 140082032437890 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2368] ppid=2305 vsize=10846988 memory=496416 CPUtime=0.08 cores=1,3,5,7
/proc/2308/task/2368/stat : 2368 (java) S 2305 2308 1397 0 -1 1077944384 42 12974 0 0 0 0 5 3 20 0 15 0 473294595 11107315712 123591 33554432000 4194304 4196468 140737001983840 140081356564064 140082032436949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2369] ppid=2305 vsize=10846988 memory=496416 CPUtime=0.08 cores=1,3,5,7
/proc/2308/task/2369/stat : 2369 (java) S 2305 2308 1397 0 -1 1077944384 10 12974 0 0 0 0 5 3 20 0 15 0 473294595 11107315712 123591 33554432000 4194304 4196468 140737001983840 140080895223168 140082032436949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2370] ppid=2305 vsize=10846988 memory=7712 CPUtime=0.08 cores=1,3,5,7
/proc/2308/task/2370/stat : 2370 (java) S 2305 2308 1397 0 -1 1077944384 3 12974 0 0 0 0 5 3 20 0 15 0 473294598 11107315712 123591 33554432000 4194304 4196468 140737001983840 140080587823440 140082032445339 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2371] ppid=2305 vsize=10846988 memory=1760 CPUtime=5.04 cores=1,3,5,7
/proc/2308/task/2371/stat : 2371 (java) S 2305 2308 1397 0 -1 1077944384 13473 12974 0 0 492 4 5 3 20 0 15 0 473294598 11107315712 123591 33554432000 4194304 4196468 140737001983840 140081323006320 140082032437890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2372] ppid=2305 vsize=10846988 memory=500008 CPUtime=5.06 cores=1,3,5,7
/proc/2308/task/2372/stat : 2372 (java) S 2305 2308 1397 0 -1 1077944384 12113 12974 0 0 496 2 5 3 20 0 15 0 473294598 11107315712 123591 33554432000 4194304 4196468 140737001983840 140081321953520 140082032437890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2373] ppid=2305 vsize=10846988 memory=503452 CPUtime=2.14 cores=1,3,5,7
/proc/2308/task/2373/stat : 2373 (java) S 2305 2308 1397 0 -1 1077944384 9001 12974 0 0 202 4 5 3 20 0 15 0 473294598 11107315712 123591 33554432000 4194304 4196468 140737001983840 140081320900720 140082032437890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2374] ppid=2305 vsize=10846988 memory=503964 CPUtime=0.08 cores=1,3,5,7
/proc/2308/task/2374/stat : 2374 (java) S 2305 2308 1397 0 -1 1077944384 3 12974 0 0 0 0 5 3 20 0 15 0 473294598 11107315712 123591 33554432000 4194304 4196468 140737001983840 140080554264800 140082032436949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2375] ppid=2305 vsize=10846988 memory=503964 CPUtime=1.45 cores=1,3,5,7
/proc/2308/task/2375/stat : 2375 (java) S 2305 2308 1397 0 -1 1077944384 927 12974 0 0 61 76 5 3 20 0 15 0 473294598 11107315712 123591 33554432000 4194304 4196468 140737001983840 140081319849136 140082032437890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 494364 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2463.93 s]
# the end of solver process 2308 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.01 s, system=4.09101 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2463.9 s]
/proc/loadavg: 1.78 1.65 1.52 3/227 2739
/proc/meminfo: memFree=1529280/32770624 swapFree=67021624/67108860
[pid=2308] ppid=2305 vsize=10846988 memory=494364 CPUtime=2520.07 cores=1,3,5,7
/proc/2308/stat : 2308 (java) S 2305 2308 1397 0 -1 1077944320 264632 12974 0 0 251594 405 5 3 20 0 15 0 473294582 11107315712 123591 33554432000 4194304 4196468 140737001983840 140737001966384 140082032426743 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
/proc/2308/statm: 2711747 123591 3633 1 0 2673805 0
[pid=2308/tid=2362] ppid=2305 vsize=10846988 memory=506528 CPUtime=2437.83 cores=1,3,5,7
/proc/2308/task/2362/stat : 2362 (java) R 2305 2308 1397 0 -1 4202560 130475 12974 0 0 243712 63 5 3 20 0 15 0 473294592 11107315712 123591 33554432000 4194304 4196468 140737001983840 140082004262480 140081653472448 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2363] ppid=2305 vsize=10846988 memory=496932 CPUtime=15.26 cores=1,3,5,7
/proc/2308/task/2363/stat : 2363 (java) S 2305 2308 1397 0 -1 1077944384 17802 12974 0 0 1461 57 5 3 20 0 15 0 473294593 11107315712 123591 33554432000 4194304 4196468 140737001983840 140082036669072 140082032436949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2364] ppid=2305 vsize=10846988 memory=495392 CPUtime=15.23 cores=1,3,5,7
/proc/2308/task/2364/stat : 2364 (java) S 2305 2308 1397 0 -1 1077944384 21410 12974 0 0 1461 54 5 3 20 0 15 0 473294593 11107315712 123591 33554432000 4194304 4196468 140737001983840 140081970711056 140082032436949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2365] ppid=2305 vsize=10846988 memory=494880 CPUtime=15.22 cores=1,3,5,7
/proc/2308/task/2365/stat : 2365 (java) S 2305 2308 1397 0 -1 1077944384 17907 12974 0 0 1458 56 5 3 20 0 15 0 473294593 11107315712 123591 33554432000 4194304 4196468 140737001983840 140081604430224 140082032436949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2366] ppid=2305 vsize=10846988 memory=506016 CPUtime=15.27 cores=1,3,5,7
/proc/2308/task/2366/stat : 2366 (java) S 2305 2308 1397 0 -1 1077944384 23271 12974 0 0 1463 56 5 3 20 0 15 0 473294593 11107315712 123591 33554432000 4194304 4196468 140737001983840 140081603377424 140082032436949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2367] ppid=2305 vsize=10846988 memory=497956 CPUtime=8.19 cores=1,3,5,7
/proc/2308/task/2367/stat : 2367 (java) S 2305 2308 1397 0 -1 1077944384 15988 12974 0 0 735 76 5 3 20 0 15 0 473294594 11107315712 123591 33554432000 4194304 4196468 140737001983840 140081357618032 140082032437890 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2368] ppid=2305 vsize=10846988 memory=496416 CPUtime=0.08 cores=1,3,5,7
/proc/2308/task/2368/stat : 2368 (java) S 2305 2308 1397 0 -1 1077944384 42 12974 0 0 0 0 5 3 20 0 15 0 473294595 11107315712 123591 33554432000 4194304 4196468 140737001983840 140081356564064 140082032436949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2369] ppid=2305 vsize=10846988 memory=496416 CPUtime=0.08 cores=1,3,5,7
/proc/2308/task/2369/stat : 2369 (java) S 2305 2308 1397 0 -1 1077944384 10 12974 0 0 0 0 5 3 20 0 15 0 473294595 11107315712 123591 33554432000 4194304 4196468 140737001983840 140080895223168 140082032436949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2370] ppid=2305 vsize=10846988 memory=7712 CPUtime=0.08 cores=1,3,5,7
/proc/2308/task/2370/stat : 2370 (java) S 2305 2308 1397 0 -1 1077944384 3 12974 0 0 0 0 5 3 20 0 15 0 473294598 11107315712 123591 33554432000 4194304 4196468 140737001983840 140080587823440 140082032445339 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2371] ppid=2305 vsize=10846988 memory=1760 CPUtime=5.04 cores=1,3,5,7
/proc/2308/task/2371/stat : 2371 (java) S 2305 2308 1397 0 -1 1077944384 13473 12974 0 0 492 4 5 3 20 0 15 0 473294598 11107315712 123591 33554432000 4194304 4196468 140737001983840 140081323006320 140082032437890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2372] ppid=2305 vsize=10846988 memory=500008 CPUtime=5.06 cores=1,3,5,7
/proc/2308/task/2372/stat : 2372 (java) S 2305 2308 1397 0 -1 1077944384 12113 12974 0 0 496 2 5 3 20 0 15 0 473294598 11107315712 123591 33554432000 4194304 4196468 140737001983840 140081321953520 140082032437890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2373] ppid=2305 vsize=10846988 memory=503452 CPUtime=2.14 cores=1,3,5,7
/proc/2308/task/2373/stat : 2373 (java) S 2305 2308 1397 0 -1 1077944384 9001 12974 0 0 202 4 5 3 20 0 15 0 473294598 11107315712 123591 33554432000 4194304 4196468 140737001983840 140081320900720 140082032437890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2374] ppid=2305 vsize=10846988 memory=503964 CPUtime=0.08 cores=1,3,5,7
/proc/2308/task/2374/stat : 2374 (java) S 2305 2308 1397 0 -1 1077944384 3 12974 0 0 0 0 5 3 20 0 15 0 473294598 11107315712 123591 33554432000 4194304 4196468 140737001983840 140080554264800 140082032436949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
[pid=2308/tid=2375] ppid=2305 vsize=10846988 memory=503964 CPUtime=1.45 cores=1,3,5,7
/proc/2308/task/2375/stat : 2375 (java) S 2305 2308 1397 0 -1 1077944384 927 12974 0 0 61 76 5 3 20 0 15 0 473294598 11107315712 123591 33554432000 4194304 4196468 140737001983840 140081319849136 140082032437890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21671936 140737001986660 140737001989301 140737001989301 140737001992143 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 494364 KiB
Child status: 143
Real time (s): 2463.93
CPU time (s): 2520.1
CPU user time (s): 2516.01
CPU system time (s): 4.09101
CPU usage (%): 102.28
Max. virtual memory (cumulated for all children) (KiB): 10846988
Max. memory (cumulated for all children) (KiB): 1556772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.01
system time used= 4.09101
maximum resident set size= 1557284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 278636
page faults= 0
swaps= 0
block input operations= 8
block output operations= 2816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 225094
involuntary context switches= 5452
# summary of solver processes directly reported to runsolver:
# pid: 2308
# total CPU time (s): 2520.1
# total CPU user time (s): 2516.01
# total CPU system time (s): 4.09101
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.7759 second user time and 23.5849 second system time
The end