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 (14133 MiB free)
memory of node 1: 16384 MiB (15250 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400910-1568678587/watcher-4400910-1568678587 -o /tmp/evaluation-result-4400910-1568678587/solver-4400910-1568678587 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568669613-18173 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1273672677 HOME/instance-4400910-1568678587.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
Current StackSize limit: 8192 KiB
solver pid=19847, runsolver pid=19844
[startup+0.100093 s]*
/proc/loadavg: 1.37 1.43 1.41 3/219 19904
/proc/meminfo: memFree=30081092/32770624 swapFree=66926500/67108860
[pid=19847] ppid=19844 vsize=9972712 memory=17080 CPUtime=0.1 cores=1,3,5,7
/proc/19847/stat : 19847 (java) S 19844 19847 18141 0 -1 1077944320 4544 13134 0 0 1 1 5 3 20 0 6 0 444114505 10212057088 4270 33554432000 4194304 4196468 140725758456608 140725758439152 140610222489335 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
/proc/19847/statm: 2493178 4270 1935 1 0 2481616 0
[pid=19847/tid=19900] ppid=19844 vsize=9972712 memory=720575944405811505 CPUtime=0.09 cores=1,3,5,7
/proc/19847/task/19900/stat : 19900 (java) R 19844 19847 18141 0 -1 4202560 2347 13134 0 0 1 0 5 3 20 0 6 0 444114514 10212057088 4336 33554432000 4194304 4196468 140725758456608 140610194326096 140610222503191 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19901] ppid=19844 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19847/task/19901/stat : 19901 (java) S 19844 19847 18141 0 -1 1077944384 1 13134 0 0 0 0 5 3 20 0 6 0 444114515 10212057088 4336 33554432000 4194304 4196468 140725758456608 140610226731280 140610222499541 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19902] ppid=19844 vsize=9972712 memory=139654817042046 CPUtime=0.08 cores=1,3,5,7
/proc/19847/task/19902/stat : 19902 (java) S 19844 19847 18141 0 -1 1077944384 1 13134 0 0 0 0 5 3 20 0 6 0 444114515 10212057088 4336 33554432000 4194304 4196468 140725758456608 140610125621648 140610222499541 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19903] ppid=19844 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19847/task/19903/stat : 19903 (java) S 19844 19847 18141 0 -1 1077944384 1 13134 0 0 0 0 5 3 20 0 6 0 444114515 10212057088 4336 33554432000 4194304 4196468 140725758456608 140610124569104 140610222499541 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19904] ppid=19844 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19847/task/19904/stat : 19904 (java) S 19844 19847 18141 0 -1 1077944384 2 13134 0 0 0 0 5 3 20 0 6 0 444114515 10212057088 4336 33554432000 4194304 4196468 140725758456608 140610123516560 140610222499541 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17080 KiB
[startup+0.209994 s]*
/proc/loadavg: 1.37 1.43 1.41 4/228 19913
/proc/meminfo: memFree=30060604/32770624 swapFree=66926500/67108860
[pid=19847] ppid=19844 vsize=10820196 memory=44312 CPUtime=0.27 cores=1,3,5,7
/proc/19847/stat : 19847 (java) S 19844 19847 18141 0 -1 1077944320 7435 13134 0 0 17 2 5 3 20 0 15 0 444114505 11079880704 11078 33554432000 4194304 4196468 140725758456608 140725758439152 140610222489335 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
/proc/19847/statm: 2705049 11078 3292 1 0 2667149 0
[pid=19847/tid=19900] ppid=19844 vsize=10820196 memory=729618466009055537 CPUtime=0.2 cores=1,3,5,7
/proc/19847/task/19900/stat : 19900 (java) R 19844 19847 18141 0 -1 4202560 3913 13134 0 0 11 1 5 3 20 0 15 0 444114514 11079880704 11078 33554432000 4194304 4196468 140725758456608 140610194294416 140610222511261 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19901] ppid=19844 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19847/task/19901/stat : 19901 (java) S 19844 19847 18141 0 -1 1077944384 1 13134 0 0 0 0 5 3 20 0 15 0 444114515 11079880704 11078 33554432000 4194304 4196468 140725758456608 140610226731280 140610222499541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19902] ppid=19844 vsize=10820196 memory=139654817042046 CPUtime=0.08 cores=1,3,5,7
/proc/19847/task/19902/stat : 19902 (java) S 19844 19847 18141 0 -1 1077944384 1 13134 0 0 0 0 5 3 20 0 15 0 444114515 11079880704 11078 33554432000 4194304 4196468 140725758456608 140610125621648 140610222499541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19903] ppid=19844 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19847/task/19903/stat : 19903 (java) S 19844 19847 18141 0 -1 1077944384 1 13134 0 0 0 0 5 3 20 0 15 0 444114515 11079880704 11078 33554432000 4194304 4196468 140725758456608 140610124569104 140610222499541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19904] ppid=19844 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19847/task/19904/stat : 19904 (java) S 19844 19847 18141 0 -1 1077944384 2 13134 0 0 0 0 5 3 20 0 15 0 444114515 11079880704 11078 33554432000 4194304 4196468 140725758456608 140610123516560 140610222499541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19905] ppid=19844 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19847/task/19905/stat : 19905 (java) S 19844 19847 18141 0 -1 1077944384 2 13134 0 0 0 0 5 3 20 0 15 0 444114516 11079880704 11078 33554432000 4194304 4196468 140725758456608 140609681390064 140610222500482 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19906] ppid=19844 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/19847/task/19906/stat : 19906 (java) S 19844 19847 18141 0 -1 1077944384 33 13134 0 0 0 0 5 3 20 0 15 0 444114516 11079880704 11078 33554432000 4194304 4196468 140725758456608 140609680336288 140610222499541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19907] ppid=19844 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19847/task/19907/stat : 19907 (java) S 19844 19847 18141 0 -1 1077944384 1 13134 0 0 0 0 5 3 20 0 15 0 444114517 11079880704 11078 33554432000 4194304 4196468 140725758456608 140609578853872 140610222499541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19908] ppid=19844 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19847/task/19908/stat : 19908 (java) S 19844 19847 18141 0 -1 1077944384 2 13134 0 0 0 0 5 3 20 0 15 0 444114519 11079880704 11078 33554432000 4194304 4196468 140725758456608 140608974875344 140610222507931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19909] ppid=19844 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/19847/task/19909/stat : 19909 (java) S 19844 19847 18141 0 -1 1077944384 486 13134 0 0 1 0 5 3 20 0 15 0 444114519 11079880704 11078 33554432000 4194304 4196468 140725758456608 140609545295856 140610222500482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19910] ppid=19844 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/19847/task/19910/stat : 19910 (java) S 19844 19847 18141 0 -1 1077944384 188 13134 0 0 1 0 5 3 20 0 15 0 444114519 11079880704 11078 33554432000 4194304 4196468 140725758456608 140609544243312 140610222500482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19911] ppid=19844 vsize=10820196 memory=139654817023616 CPUtime=0.11 cores=1,3,5,7
/proc/19847/task/19911/stat : 19911 (java) S 19844 19847 18141 0 -1 1077944384 594 13134 0 0 3 0 5 3 20 0 15 0 444114519 11079880704 11078 33554432000 4194304 4196468 140725758456608 140609543190768 140610222500482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19912] ppid=19844 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/19847/task/19912/stat : 19912 (java) S 19844 19847 18141 0 -1 1077944384 3 13134 0 0 0 0 5 3 20 0 15 0 444114520 11079880704 11078 33554432000 4194304 4196468 140725758456608 140608505113184 140610222499541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19913] ppid=19844 vsize=10820196 memory=139654817023616 CPUtime=0.08 cores=1,3,5,7
/proc/19847/task/19913/stat : 19913 (java) S 19844 19847 18141 0 -1 1077944384 1 13134 0 0 0 0 5 3 20 0 15 0 444114520 11079880704 11078 33554432000 4194304 4196468 140725758456608 140609542138672 140610222500482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 44312 KiB
[startup+0.310542 s]*
/proc/loadavg: 1.37 1.43 1.41 4/228 19913
/proc/meminfo: memFree=30047912/32770624 swapFree=66926500/67108860
[pid=19847] ppid=19844 vsize=10820196 memory=52608 CPUtime=0.4 cores=1,3,5,7
/proc/19847/stat : 19847 (java) S 19844 19847 18141 0 -1 1077944320 10900 13134 0 0 29 3 5 3 20 0 15 0 444114505 11079880704 13152 33554432000 4194304 4196468 140725758456608 140725758439152 140610222489335 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
/proc/19847/statm: 2705049 13152 3307 1 0 2667149 0
[pid=19847/tid=19900] ppid=19844 vsize=10820196 memory=8317482817917895235 CPUtime=0.29 cores=1,3,5,7
/proc/19847/task/19900/stat : 19900 (java) R 19844 19847 18141 0 -1 4202560 7366 13134 0 0 19 2 5 3 20 0 15 0 444114514 11079880704 13152 33554432000 4194304 4196468 140725758456608 140610194307424 140610222511261 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19901] ppid=19844 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19847/task/19901/stat : 19901 (java) S 19844 19847 18141 0 -1 1077944384 1 13134 0 0 0 0 5 3 20 0 15 0 444114515 11079880704 13152 33554432000 4194304 4196468 140725758456608 140610226731280 140610222499541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19902] ppid=19844 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19847/task/19902/stat : 19902 (java) S 19844 19847 18141 0 -1 1077944384 1 13134 0 0 0 0 5 3 20 0 15 0 444114515 11079880704 13152 33554432000 4194304 4196468 140725758456608 140610125621648 140610222499541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19903] ppid=19844 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19847/task/19903/stat : 19903 (java) S 19844 19847 18141 0 -1 1077944384 1 13134 0 0 0 0 5 3 20 0 15 0 444114515 11079880704 13152 33554432000 4194304 4196468 140725758456608 140610124569104 140610222499541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19904] ppid=19844 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19847/task/19904/stat : 19904 (java) S 19844 19847 18141 0 -1 1077944384 2 13134 0 0 0 0 5 3 20 0 15 0 444114515 11079880704 13152 33554432000 4194304 4196468 140725758456608 140610123516560 140610222499541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19905] ppid=19844 vsize=10820196 memory=139654817023615 CPUtime=0.08 cores=1,3,5,7
/proc/19847/task/19905/stat : 19905 (java) S 19844 19847 18141 0 -1 1077944384 2 13134 0 0 0 0 5 3 20 0 15 0 444114516 11079880704 13152 33554432000 4194304 4196468 140725758456608 140609681390064 140610222500482 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19906] ppid=19844 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/19847/task/19906/stat : 19906 (java) S 19844 19847 18141 0 -1 1077944384 33 13134 0 0 0 0 5 3 20 0 15 0 444114516 11079880704 13152 33554432000 4194304 4196468 140725758456608 140609680336288 140610222499541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19907] ppid=19844 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19847/task/19907/stat : 19907 (java) S 19844 19847 18141 0 -1 1077944384 1 13134 0 0 0 0 5 3 20 0 15 0 444114517 11079880704 13152 33554432000 4194304 4196468 140725758456608 140609578853872 140610222499541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19908] ppid=19844 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19847/task/19908/stat : 19908 (java) S 19844 19847 18141 0 -1 1077944384 2 13134 0 0 0 0 5 3 20 0 15 0 444114519 11079880704 13152 33554432000 4194304 4196468 140725758456608 140608974875344 140610222507931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19909] ppid=19844 vsize=10820196 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/19847/task/19909/stat : 19909 (java) S 19844 19847 18141 0 -1 1077944384 487 13134 0 0 2 0 5 3 20 0 15 0 444114519 11079880704 13152 33554432000 4194304 4196468 140725758456608 140609545295856 140610222500482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19910] ppid=19844 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/19847/task/19910/stat : 19910 (java) S 19844 19847 18141 0 -1 1077944384 188 13134 0 0 1 0 5 3 20 0 15 0 444114519 11079880704 13152 33554432000 4194304 4196468 140725758456608 140609544243312 140610222500482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19911] ppid=19844 vsize=10820196 memory=139654817023616 CPUtime=0.13 cores=1,3,5,7
/proc/19847/task/19911/stat : 19911 (java) R 19844 19847 18141 0 -1 4202560 602 13134 0 0 5 0 5 3 20 0 15 0 444114519 11079880704 13152 33554432000 4194304 4196468 140725758456608 140609543190768 140610222510682 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19912] ppid=19844 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/19847/task/19912/stat : 19912 (java) S 19844 19847 18141 0 -1 1077944384 3 13134 0 0 0 0 5 3 20 0 15 0 444114520 11079880704 13152 33554432000 4194304 4196468 140725758456608 140608505113184 140610222499541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19913] ppid=19844 vsize=10820196 memory=139654817023616 CPUtime=0.08 cores=1,3,5,7
/proc/19847/task/19913/stat : 19913 (java) S 19844 19847 18141 0 -1 1077944384 1 13134 0 0 0 0 5 3 20 0 15 0 444114520 11079880704 13152 33554432000 4194304 4196468 140725758456608 140609542138672 140610222500482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 52608 KiB
[startup+0.700698 s]
/proc/loadavg: 1.37 1.43 1.41 3/228 19913
/proc/meminfo: memFree=30033260/32770624 swapFree=66926500/67108860
[pid=19847] ppid=19844 vsize=10824364 memory=85888 CPUtime=1.16 cores=1,3,5,7
/proc/19847/stat : 19847 (java) S 19844 19847 18141 0 -1 1077944320 15148 13134 0 0 103 5 5 3 20 0 15 0 444114505 11084148736 21472 33554432000 4194304 4196468 140725758456608 140725758439152 140610222489335 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
/proc/19847/statm: 2706091 21472 3514 1 0 2668173 0
[pid=19847/tid=19900] ppid=19844 vsize=10824364 memory=5795117241467496816 CPUtime=0.67 cores=1,3,5,7
/proc/19847/task/19900/stat : 19900 (java) R 19844 19847 18141 0 -1 4202560 10461 13134 0 0 56 3 5 3 20 0 15 0 444114514 11084148736 21472 33554432000 4194304 4196468 140725758456608 140610194316496 140610204074436 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19901] ppid=19844 vsize=10824364 memory=1284 CPUtime=0.08 cores=1,3,5,7
/proc/19847/task/19901/stat : 19901 (java) S 19844 19847 18141 0 -1 1077944384 1 13134 0 0 0 0 5 3 20 0 15 0 444114515 11084148736 21472 33554432000 4194304 4196468 140725758456608 140610226731280 140610222499541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19902] ppid=19844 vsize=10824364 memory=1044 CPUtime=0.08 cores=1,3,5,7
/proc/19847/task/19902/stat : 19902 (java) S 19844 19847 18141 0 -1 1077944384 1 13134 0 0 0 0 5 3 20 0 15 0 444114515 11084148736 21472 33554432000 4194304 4196468 140725758456608 140610125621648 140610222499541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19903] ppid=19844 vsize=10824364 memory=33 CPUtime=0.08 cores=1,3,5,7
/proc/19847/task/19903/stat : 19903 (java) S 19844 19847 18141 0 -1 1077944384 1 13134 0 0 0 0 5 3 20 0 15 0 444114515 11084148736 21472 33554432000 4194304 4196468 140725758456608 140610124569104 140610222499541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19904] ppid=19844 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19847/task/19904/stat : 19904 (java) S 19844 19847 18141 0 -1 1077944384 2 13134 0 0 0 0 5 3 20 0 15 0 444114515 11084148736 21472 33554432000 4194304 4196468 140725758456608 140610123516560 140610222499541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19905] ppid=19844 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19847/task/19905/stat : 19905 (java) S 19844 19847 18141 0 -1 1077944384 5 13134 0 0 0 0 5 3 20 0 15 0 444114516 11084148736 21472 33554432000 4194304 4196468 140725758456608 140609681390064 140610222500482 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19906] ppid=19844 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19847/task/19906/stat : 19906 (java) S 19844 19847 18141 0 -1 1077944384 33 13134 0 0 0 0 5 3 20 0 15 0 444114516 11084148736 21472 33554432000 4194304 4196468 140725758456608 140609680336288 140610222499541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19907] ppid=19844 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19847/task/19907/stat : 19907 (java) S 19844 19847 18141 0 -1 1077944384 1 13134 0 0 0 0 5 3 20 0 15 0 444114517 11084148736 21472 33554432000 4194304 4196468 140725758456608 140609578853872 140610222499541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19908] ppid=19844 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19847/task/19908/stat : 19908 (java) S 19844 19847 18141 0 -1 1077944384 2 13134 0 0 0 0 5 3 20 0 15 0 444114519 11084148736 21472 33554432000 4194304 4196468 140725758456608 140608974875344 140610222507931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19909] ppid=19844 vsize=10824364 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/19847/task/19909/stat : 19909 (java) S 19844 19847 18141 0 -1 1077944384 867 13134 0 0 15 0 5 3 20 0 15 0 444114519 11084148736 21472 33554432000 4194304 4196468 140725758456608 140609545295856 140610222500482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19910] ppid=19844 vsize=10824364 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/19847/task/19910/stat : 19910 (java) R 19844 19847 18141 0 -1 4202560 696 13134 0 0 13 0 5 3 20 0 15 0 444114519 11084148736 21472 33554432000 4194304 4196468 140725758456608 140609544243312 140610201731527 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19911] ppid=19844 vsize=10824364 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/19847/task/19911/stat : 19911 (java) R 19844 19847 18141 0 -1 4202560 864 13134 0 0 17 0 5 3 20 0 15 0 444114519 11084148736 21472 33554432000 4194304 4196468 140725758456608 140609543190768 140610200605237 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19912] ppid=19844 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19847/task/19912/stat : 19912 (java) S 19844 19847 18141 0 -1 1077944384 3 13134 0 0 0 0 5 3 20 0 15 0 444114520 11084148736 21472 33554432000 4194304 4196468 140725758456608 140608505113184 140610222499541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19913] ppid=19844 vsize=10824364 memory=3580 CPUtime=0.08 cores=1,3,5,7
/proc/19847/task/19913/stat : 19913 (java) R 19844 19847 18141 0 -1 1077944384 1 13134 0 0 0 0 5 3 20 0 15 0 444114520 11084148736 21472 33554432000 4194304 4196468 140725758456608 140609542138672 140610222500482 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 85888 KiB
[startup+1.50078 s]
/proc/loadavg: 1.37 1.43 1.41 3/228 19913
/proc/meminfo: memFree=29988036/32770624 swapFree=66926500/67108860
[pid=19847] ppid=19844 vsize=10834680 memory=173628 CPUtime=2.47 cores=1,3,5,7
/proc/19847/stat : 19847 (java) S 19844 19847 18141 0 -1 1077944320 24490 13134 0 0 229 10 5 3 20 0 15 0 444114505 11094712320 43407 33554432000 4194304 4196468 140725758456608 140725758439152 140610222489335 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
/proc/19847/statm: 2708670 43407 3585 1 0 2670733 0
[pid=19847/tid=19900] ppid=19844 vsize=10834680 memory=0 CPUtime=1.44 cores=1,3,5,7
/proc/19847/task/19900/stat : 19900 (java) R 19844 19847 18141 0 -1 4202560 15573 13134 0 0 130 6 5 3 20 0 15 0 444114514 11094712320 43407 33554432000 4194304 4196468 140725758456608 140610194301680 140610206569822 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19901] ppid=19844 vsize=10834680 memory=7451599643855515223 CPUtime=0.09 cores=1,3,5,7
/proc/19847/task/19901/stat : 19901 (java) S 19844 19847 18141 0 -1 1077944384 76 13134 0 0 1 0 5 3 20 0 15 0 444114515 11094712320 43407 33554432000 4194304 4196468 140725758456608 140610226731280 140610222499541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19902] ppid=19844 vsize=10834680 memory=7308045134114548567 CPUtime=0.08 cores=1,3,5,7
/proc/19847/task/19902/stat : 19902 (java) S 19844 19847 18141 0 -1 1077944384 429 13134 0 0 0 0 5 3 20 0 15 0 444114515 11094712320 43407 33554432000 4194304 4196468 140725758456608 140610125621648 140610222499541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19903] ppid=19844 vsize=10834680 memory=7451599643855710295 CPUtime=0.09 cores=1,3,5,7
/proc/19847/task/19903/stat : 19903 (java) S 19844 19847 18141 0 -1 1077944384 19 13134 0 0 1 0 5 3 20 0 15 0 444114515 11094712320 43407 33554432000 4194304 4196468 140725758456608 140610124569104 140610222499541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19904] ppid=19844 vsize=10834680 memory=279309374025504 CPUtime=0.09 cores=1,3,5,7
/proc/19847/task/19904/stat : 19904 (java) S 19844 19847 18141 0 -1 1077944384 111 13134 0 0 1 0 5 3 20 0 15 0 444114515 11094712320 43407 33554432000 4194304 4196468 140725758456608 140610123516560 140610222499541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19905] ppid=19844 vsize=10834680 memory=3540060359398370961 CPUtime=0.09 cores=1,3,5,7
/proc/19847/task/19905/stat : 19905 (java) S 19844 19847 18141 0 -1 1077944384 2321 13134 0 0 1 0 5 3 20 0 15 0 444114516 11094712320 43407 33554432000 4194304 4196468 140725758456608 140609681390064 140610222500482 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19906] ppid=19844 vsize=10834680 memory=279309373692928 CPUtime=0.08 cores=1,3,5,7
/proc/19847/task/19906/stat : 19906 (java) S 19844 19847 18141 0 -1 1077944384 34 13134 0 0 0 0 5 3 20 0 15 0 444114516 11094712320 43407 33554432000 4194304 4196468 140725758456608 140609680336352 140610222499541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19907] ppid=19844 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19847/task/19907/stat : 19907 (java) S 19844 19847 18141 0 -1 1077944384 2 13134 0 0 0 0 5 3 20 0 15 0 444114517 11094712320 43407 33554432000 4194304 4196468 140725758456608 140609578853888 140610222499541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19908] ppid=19844 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/19847/task/19908/stat : 19908 (java) S 19844 19847 18141 0 -1 1077944384 2 13134 0 0 0 0 5 3 20 0 15 0 444114519 11094712320 43407 33554432000 4194304 4196468 140725758456608 140608974875344 140610222507931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19909] ppid=19844 vsize=10834680 memory=0 CPUtime=0.34 cores=1,3,5,7
/proc/19847/task/19909/stat : 19909 (java) S 19844 19847 18141 0 -1 1077944384 1070 13134 0 0 26 0 5 3 20 0 15 0 444114519 11094712320 43407 33554432000 4194304 4196468 140725758456608 140609545295856 140610222500482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19910] ppid=19844 vsize=10834680 memory=0 CPUtime=0.33 cores=1,3,5,7
/proc/19847/task/19910/stat : 19910 (java) S 19844 19847 18141 0 -1 1077944384 888 13134 0 0 24 1 5 3 20 0 15 0 444114519 11094712320 43407 33554432000 4194304 4196468 140725758456608 140609544243312 140610222500482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19911] ppid=19844 vsize=10834680 memory=0 CPUtime=0.49 cores=1,3,5,7
/proc/19847/task/19911/stat : 19911 (java) S 19844 19847 18141 0 -1 1077944384 1752 13134 0 0 41 0 5 3 20 0 15 0 444114519 11094712320 43407 33554432000 4194304 4196468 140725758456608 140609543190768 140610222500482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19912] ppid=19844 vsize=10834680 memory=279309374234624 CPUtime=0.08 cores=1,3,5,7
/proc/19847/task/19912/stat : 19912 (java) S 19844 19847 18141 0 -1 1077944384 3 13134 0 0 0 0 5 3 20 0 15 0 444114520 11094712320 43407 33554432000 4194304 4196468 140725758456608 140608505113184 140610222499541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19913] ppid=19844 vsize=10834680 memory=6944656592387989600 CPUtime=0.08 cores=1,3,5,7
/proc/19847/task/19913/stat : 19913 (java) S 19844 19847 18141 0 -1 1077944384 3 13134 0 0 0 0 5 3 20 0 15 0 444114520 11094712320 43407 33554432000 4194304 4196468 140725758456608 140609542138672 140610222500482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
Current children cumulated CPU time: 2.47 s
Current children cumulated vsize: 10834680 KiB
################
# More data... #
################
/proc/19847/task/19900/stat : 19900 (java) R 19844 19847 18141 0 -1 4202560 57853 13134 0 0 235515 45 5 3 20 0 15 0 444114514 11107328000 206606 33554432000 4194304 4196468 140725758456608 140610194325232 140609811035580 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19901] ppid=19844 vsize=10847000 memory=12020 CPUtime=12.39 cores=1,3,5,7
/proc/19847/task/19901/stat : 19901 (java) S 19844 19847 18141 0 -1 1077944384 9603 13134 0 0 1170 61 5 3 20 0 15 0 444114515 11107328000 206606 33554432000 4194304 4196468 140725758456608 140610226731280 140610222499541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19902] ppid=19844 vsize=10847000 memory=826424 CPUtime=12.37 cores=1,3,5,7
/proc/19847/task/19902/stat : 19902 (java) S 19844 19847 18141 0 -1 1077944384 9421 13134 0 0 1165 64 5 3 20 0 15 0 444114515 11107328000 206606 33554432000 4194304 4196468 140725758456608 140610125621648 140610222499541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19903] ppid=19844 vsize=10847000 memory=826392 CPUtime=12.35 cores=1,3,5,7
/proc/19847/task/19903/stat : 19903 (java) S 19844 19847 18141 0 -1 1077944384 11413 13134 0 0 1164 63 5 3 20 0 15 0 444114515 11107328000 206606 33554432000 4194304 4196468 140725758456608 140610124569104 140610222499541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19904] ppid=19844 vsize=10847000 memory=826424 CPUtime=12.42 cores=1,3,5,7
/proc/19847/task/19904/stat : 19904 (java) S 19844 19847 18141 0 -1 1077944384 8701 13134 0 0 1172 62 5 3 20 0 15 0 444114515 11107328000 206606 33554432000 4194304 4196468 140725758456608 140610123516560 140610222499541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19905] ppid=19844 vsize=10847000 memory=826424 CPUtime=11.29 cores=1,3,5,7
/proc/19847/task/19905/stat : 19905 (java) S 19844 19847 18141 0 -1 1077944384 14106 13134 0 0 1062 59 5 3 20 0 15 0 444114516 11107328000 206606 33554432000 4194304 4196468 140725758456608 140609681390064 140610222500482 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19906] ppid=19844 vsize=10847000 memory=826404 CPUtime=0.08 cores=1,3,5,7
/proc/19847/task/19906/stat : 19906 (java) S 19844 19847 18141 0 -1 1077944384 38 13134 0 0 0 0 5 3 20 0 15 0 444114516 11107328000 206606 33554432000 4194304 4196468 140725758456608 140609680336352 140610222499541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19907] ppid=19844 vsize=10847000 memory=826392 CPUtime=0.08 cores=1,3,5,7
/proc/19847/task/19907/stat : 19907 (java) S 19844 19847 18141 0 -1 1077944384 2 13134 0 0 0 0 5 3 20 0 15 0 444114517 11107328000 206606 33554432000 4194304 4196468 140725758456608 140609578853888 140610222499541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19908] ppid=19844 vsize=10847000 memory=826392 CPUtime=0.08 cores=1,3,5,7
/proc/19847/task/19908/stat : 19908 (java) S 19844 19847 18141 0 -1 1077944384 2 13134 0 0 0 0 5 3 20 0 15 0 444114519 11107328000 206606 33554432000 4194304 4196468 140725758456608 140608974875344 140610222507931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19909] ppid=19844 vsize=10847000 memory=826424 CPUtime=2.75 cores=1,3,5,7
/proc/19847/task/19909/stat : 19909 (java) S 19844 19847 18141 0 -1 1077944384 9699 13134 0 0 265 2 5 3 20 0 15 0 444114519 11107328000 206606 33554432000 4194304 4196468 140725758456608 140609545295856 140610222500482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19910] ppid=19844 vsize=10847000 memory=826424 CPUtime=2.8 cores=1,3,5,7
/proc/19847/task/19910/stat : 19910 (java) S 19844 19847 18141 0 -1 1077944384 15400 13134 0 0 269 3 5 3 20 0 15 0 444114519 11107328000 206606 33554432000 4194304 4196468 140725758456608 140609544243312 140610222500482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19911] ppid=19844 vsize=10847000 memory=139654687686600 CPUtime=1.5 cores=1,3,5,7
/proc/19847/task/19911/stat : 19911 (java) S 19844 19847 18141 0 -1 1077944384 10891 13134 0 0 139 3 5 3 20 0 15 0 444114519 11107328000 206606 33554432000 4194304 4196468 140725758456608 140609543190768 140610222500482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19912] ppid=19844 vsize=10847000 memory=826424 CPUtime=0.08 cores=1,3,5,7
/proc/19847/task/19912/stat : 19912 (java) S 19844 19847 18141 0 -1 1077944384 3 13134 0 0 0 0 5 3 20 0 15 0 444114520 11107328000 206606 33554432000 4194304 4196468 140725758456608 140608505113184 140610222499541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19913] ppid=19844 vsize=10847000 memory=826424 CPUtime=1.44 cores=1,3,5,7
/proc/19847/task/19913/stat : 19913 (java) S 19844 19847 18141 0 -1 1077944384 835 13134 0 0 61 75 5 3 20 0 15 0 444114520 11107328000 206606 33554432000 4194304 4196468 140725758456608 140609542138672 140610222500482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
Current children cumulated CPU time: 2424.36 s
Current children cumulated vsize: 10847000 KiB
Current children cumulated memory: 826424 KiB
[startup+2442.3 s]
/proc/loadavg: 4.29 2.95 2.07 6/226 20523
/proc/meminfo: memFree=21415972/32770624 swapFree=66926512/67108860
[pid=19847] ppid=19844 vsize=10847000 memory=828536 CPUtime=2485.27 cores=1,3,5,7
/proc/19847/stat : 19847 (java) S 19844 19847 18141 0 -1 1077944320 151750 13134 0 0 248144 375 5 3 20 0 15 0 444114505 11107328000 207134 33554432000 4194304 4196468 140725758456608 140725758439152 140610222489335 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
/proc/19847/statm: 2711750 207134 3632 1 0 2673805 0
[pid=19847/tid=19900] ppid=19844 vsize=10847000 memory=826472 CPUtime=2415.01 cores=1,3,5,7
/proc/19847/task/19900/stat : 19900 (java) R 19844 19847 18141 0 -1 4202560 58678 13134 0 0 241448 45 5 3 20 0 15 0 444114514 11107328000 207134 33554432000 4194304 4196468 140725758456608 140610194324672 140609808137122 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19901] ppid=19844 vsize=10847000 memory=826472 CPUtime=12.71 cores=1,3,5,7
/proc/19847/task/19901/stat : 19901 (java) S 19844 19847 18141 0 -1 1077944384 9685 13134 0 0 1201 62 5 3 20 0 15 0 444114515 11107328000 207134 33554432000 4194304 4196468 140725758456608 140610226731280 140610222499541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19902] ppid=19844 vsize=10847000 memory=826472 CPUtime=12.69 cores=1,3,5,7
/proc/19847/task/19902/stat : 19902 (java) S 19844 19847 18141 0 -1 1077944384 9481 13134 0 0 1196 65 5 3 20 0 15 0 444114515 11107328000 207134 33554432000 4194304 4196468 140725758456608 140610125621648 140610222499541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19903] ppid=19844 vsize=10847000 memory=279309375371264 CPUtime=12.66 cores=1,3,5,7
/proc/19847/task/19903/stat : 19903 (java) S 19844 19847 18141 0 -1 1077944384 11608 13134 0 0 1194 64 5 3 20 0 15 0 444114515 11107328000 207134 33554432000 4194304 4196468 140725758456608 140610124569104 140610222499541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19904] ppid=19844 vsize=10847000 memory=826472 CPUtime=12.74 cores=1,3,5,7
/proc/19847/task/19904/stat : 19904 (java) S 19844 19847 18141 0 -1 1077944384 8891 13134 0 0 1201 65 5 3 20 0 15 0 444114515 11107328000 207134 33554432000 4194304 4196468 140725758456608 140610123516560 140610222499541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19905] ppid=19844 vsize=10847000 memory=826472 CPUtime=11.57 cores=1,3,5,7
/proc/19847/task/19905/stat : 19905 (java) S 19844 19847 18141 0 -1 1077944384 14303 13134 0 0 1089 60 5 3 20 0 15 0 444114516 11107328000 207134 33554432000 4194304 4196468 140725758456608 140609681390064 140610222500482 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19906] ppid=19844 vsize=10847000 memory=826488 CPUtime=0.08 cores=1,3,5,7
/proc/19847/task/19906/stat : 19906 (java) S 19844 19847 18141 0 -1 1077944384 38 13134 0 0 0 0 5 3 20 0 15 0 444114516 11107328000 207134 33554432000 4194304 4196468 140725758456608 140609680336352 140610222499541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19907] ppid=19844 vsize=10847000 memory=826472 CPUtime=0.08 cores=1,3,5,7
/proc/19847/task/19907/stat : 19907 (java) S 19844 19847 18141 0 -1 1077944384 2 13134 0 0 0 0 5 3 20 0 15 0 444114517 11107328000 207134 33554432000 4194304 4196468 140725758456608 140609578853888 140610222499541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19908] ppid=19844 vsize=10847000 memory=828536 CPUtime=0.08 cores=1,3,5,7
/proc/19847/task/19908/stat : 19908 (java) S 19844 19847 18141 0 -1 1077944384 2 13134 0 0 0 0 5 3 20 0 15 0 444114519 11107328000 207134 33554432000 4194304 4196468 140725758456608 140608974875344 140610222507931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19909] ppid=19844 vsize=10847000 memory=828536 CPUtime=2.75 cores=1,3,5,7
/proc/19847/task/19909/stat : 19909 (java) S 19844 19847 18141 0 -1 1077944384 9701 13134 0 0 265 2 5 3 20 0 15 0 444114519 11107328000 207134 33554432000 4194304 4196468 140725758456608 140609545295856 140610222500482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19910] ppid=19844 vsize=10847000 memory=3580 CPUtime=2.8 cores=1,3,5,7
/proc/19847/task/19910/stat : 19910 (java) S 19844 19847 18141 0 -1 1077944384 15402 13134 0 0 269 3 5 3 20 0 15 0 444114519 11107328000 207134 33554432000 4194304 4196468 140725758456608 140609544243312 140610222500482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19911] ppid=19844 vsize=10847000 memory=828536 CPUtime=1.5 cores=1,3,5,7
/proc/19847/task/19911/stat : 19911 (java) S 19844 19847 18141 0 -1 1077944384 10893 13134 0 0 139 3 5 3 20 0 15 0 444114519 11107328000 207134 33554432000 4194304 4196468 140725758456608 140609543190768 140610222500482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19912] ppid=19844 vsize=10847000 memory=828536 CPUtime=0.08 cores=1,3,5,7
/proc/19847/task/19912/stat : 19912 (java) S 19844 19847 18141 0 -1 1077944384 3 13134 0 0 0 0 5 3 20 0 15 0 444114520 11107328000 207134 33554432000 4194304 4196468 140725758456608 140608505113184 140610222499541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19913] ppid=19844 vsize=10847000 memory=988 CPUtime=1.47 cores=1,3,5,7
/proc/19847/task/19913/stat : 19913 (java) S 19844 19847 18141 0 -1 1077944384 853 13134 0 0 63 76 5 3 20 0 15 0 444114520 11107328000 207134 33554432000 4194304 4196468 140725758456608 140609542138672 140610222500482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
Current children cumulated CPU time: 2485.27 s
Current children cumulated vsize: 10847000 KiB
Current children cumulated memory: 828536 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2476.5 s]
/proc/loadavg: 4.45 3.14 2.17 6/226 20526
/proc/meminfo: memFree=21416016/32770624 swapFree=66926512/67108860
[pid=19847] ppid=19844 vsize=10847000 memory=828572 CPUtime=2520.01 cores=1,3,5,7
/proc/19847/stat : 19847 (java) S 19844 19847 18141 0 -1 1077944320 152541 13134 0 0 251614 379 5 3 20 0 15 0 444114505 11107328000 207143 33554432000 4194304 4196468 140725758456608 140725758439152 140610222489335 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
/proc/19847/statm: 2711750 207143 3632 1 0 2673805 0
[pid=19847/tid=19900] ppid=19844 vsize=10847000 memory=828572 CPUtime=2448.81 cores=1,3,5,7
/proc/19847/task/19900/stat : 19900 (java) R 19844 19847 18141 0 -1 4202560 59095 13134 0 0 244828 45 5 3 20 0 15 0 444114514 11107328000 207143 33554432000 4194304 4196468 140725758456608 140610194324672 140609808955484 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19901] ppid=19844 vsize=10847000 memory=828572 CPUtime=12.89 cores=1,3,5,7
/proc/19847/task/19901/stat : 19901 (java) S 19844 19847 18141 0 -1 1077944384 9793 13134 0 0 1219 62 5 3 20 0 15 0 444114515 11107328000 207143 33554432000 4194304 4196468 140725758456608 140610226731280 140610222499541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19902] ppid=19844 vsize=10847000 memory=828572 CPUtime=12.88 cores=1,3,5,7
/proc/19847/task/19902/stat : 19902 (java) S 19844 19847 18141 0 -1 1077944384 9502 13134 0 0 1214 66 5 3 20 0 15 0 444114515 11107328000 207143 33554432000 4194304 4196468 140725758456608 140610125621648 140610222499541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19903] ppid=19844 vsize=10847000 memory=828572 CPUtime=12.84 cores=1,3,5,7
/proc/19847/task/19903/stat : 19903 (java) S 19844 19847 18141 0 -1 1077944384 11637 13134 0 0 1211 65 5 3 20 0 15 0 444114515 11107328000 207143 33554432000 4194304 4196468 140725758456608 140610124569104 140610222499541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19904] ppid=19844 vsize=10847000 memory=828560 CPUtime=12.92 cores=1,3,5,7
/proc/19847/task/19904/stat : 19904 (java) S 19844 19847 18141 0 -1 1077944384 8923 13134 0 0 1219 65 5 3 20 0 15 0 444114515 11107328000 207143 33554432000 4194304 4196468 140725758456608 140610123516560 140610222499541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19905] ppid=19844 vsize=10847000 memory=828560 CPUtime=11.72 cores=1,3,5,7
/proc/19847/task/19905/stat : 19905 (java) S 19844 19847 18141 0 -1 1077944384 14474 13134 0 0 1104 60 5 3 20 0 15 0 444114516 11107328000 207143 33554432000 4194304 4196468 140725758456608 140609681390064 140610222500482 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19906] ppid=19844 vsize=10847000 memory=828560 CPUtime=0.08 cores=1,3,5,7
/proc/19847/task/19906/stat : 19906 (java) S 19844 19847 18141 0 -1 1077944384 38 13134 0 0 0 0 5 3 20 0 15 0 444114516 11107328000 207143 33554432000 4194304 4196468 140725758456608 140609680336352 140610222499541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19907] ppid=19844 vsize=10847000 memory=828560 CPUtime=0.08 cores=1,3,5,7
/proc/19847/task/19907/stat : 19907 (java) S 19844 19847 18141 0 -1 1077944384 2 13134 0 0 0 0 5 3 20 0 15 0 444114517 11107328000 207143 33554432000 4194304 4196468 140725758456608 140609578853888 140610222499541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19908] ppid=19844 vsize=10847000 memory=828536 CPUtime=0.08 cores=1,3,5,7
/proc/19847/task/19908/stat : 19908 (java) S 19844 19847 18141 0 -1 1077944384 2 13134 0 0 0 0 5 3 20 0 15 0 444114519 11107328000 207143 33554432000 4194304 4196468 140725758456608 140608974875344 140610222507931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19909] ppid=19844 vsize=10847000 memory=828536 CPUtime=2.75 cores=1,3,5,7
/proc/19847/task/19909/stat : 19909 (java) S 19844 19847 18141 0 -1 1077944384 9701 13134 0 0 265 2 5 3 20 0 15 0 444114519 11107328000 207143 33554432000 4194304 4196468 140725758456608 140609545295856 140610222500482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19910] ppid=19844 vsize=10847000 memory=828572 CPUtime=2.8 cores=1,3,5,7
/proc/19847/task/19910/stat : 19910 (java) S 19844 19847 18141 0 -1 1077944384 15402 13134 0 0 269 3 5 3 20 0 15 0 444114519 11107328000 207143 33554432000 4194304 4196468 140725758456608 140609544243312 140610222500482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19911] ppid=19844 vsize=10847000 memory=828572 CPUtime=1.5 cores=1,3,5,7
/proc/19847/task/19911/stat : 19911 (java) S 19844 19847 18141 0 -1 1077944384 10893 13134 0 0 139 3 5 3 20 0 15 0 444114519 11107328000 207143 33554432000 4194304 4196468 140725758456608 140609543190768 140610222500482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19912] ppid=19844 vsize=10847000 memory=828572 CPUtime=0.08 cores=1,3,5,7
/proc/19847/task/19912/stat : 19912 (java) S 19844 19847 18141 0 -1 1077944384 3 13134 0 0 0 0 5 3 20 0 15 0 444114520 11107328000 207143 33554432000 4194304 4196468 140725758456608 140608505113184 140610222499541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19913] ppid=19844 vsize=10847000 memory=828572 CPUtime=1.49 cores=1,3,5,7
/proc/19847/task/19913/stat : 19913 (java) S 19844 19847 18141 0 -1 1077944384 866 13134 0 0 64 77 5 3 20 0 15 0 444114520 11107328000 207143 33554432000 4194304 4196468 140725758456608 140609542138672 140610222500482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10847000 KiB
Current children cumulated memory: 828572 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2476.53 s]
# the end of solver process 19847 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.21 s, system=3.83035 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2476.5 s]
/proc/loadavg: 4.45 3.14 2.17 6/226 20526
/proc/meminfo: memFree=21416016/32770624 swapFree=66926512/67108860
[pid=19847] ppid=19844 vsize=10847000 memory=828572 CPUtime=2520.01 cores=1,3,5,7
/proc/19847/stat : 19847 (java) S 19844 19847 18141 0 -1 1077944320 152541 13134 0 0 251614 379 5 3 20 0 15 0 444114505 11107328000 207143 33554432000 4194304 4196468 140725758456608 140725758439152 140610222489335 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
/proc/19847/statm: 2711750 207143 3632 1 0 2673805 0
[pid=19847/tid=19900] ppid=19844 vsize=10847000 memory=828572 CPUtime=2448.81 cores=1,3,5,7
/proc/19847/task/19900/stat : 19900 (java) R 19844 19847 18141 0 -1 4202560 59095 13134 0 0 244828 45 5 3 20 0 15 0 444114514 11107328000 207143 33554432000 4194304 4196468 140725758456608 140610194324672 140609808955484 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19901] ppid=19844 vsize=10847000 memory=828572 CPUtime=12.89 cores=1,3,5,7
/proc/19847/task/19901/stat : 19901 (java) S 19844 19847 18141 0 -1 1077944384 9793 13134 0 0 1219 62 5 3 20 0 15 0 444114515 11107328000 207143 33554432000 4194304 4196468 140725758456608 140610226731280 140610222499541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19902] ppid=19844 vsize=10847000 memory=828572 CPUtime=12.88 cores=1,3,5,7
/proc/19847/task/19902/stat : 19902 (java) S 19844 19847 18141 0 -1 1077944384 9502 13134 0 0 1214 66 5 3 20 0 15 0 444114515 11107328000 207143 33554432000 4194304 4196468 140725758456608 140610125621648 140610222499541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19903] ppid=19844 vsize=10847000 memory=828572 CPUtime=12.84 cores=1,3,5,7
/proc/19847/task/19903/stat : 19903 (java) S 19844 19847 18141 0 -1 1077944384 11637 13134 0 0 1211 65 5 3 20 0 15 0 444114515 11107328000 207143 33554432000 4194304 4196468 140725758456608 140610124569104 140610222499541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19904] ppid=19844 vsize=10847000 memory=828560 CPUtime=12.92 cores=1,3,5,7
/proc/19847/task/19904/stat : 19904 (java) S 19844 19847 18141 0 -1 1077944384 8923 13134 0 0 1219 65 5 3 20 0 15 0 444114515 11107328000 207143 33554432000 4194304 4196468 140725758456608 140610123516560 140610222499541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19905] ppid=19844 vsize=10847000 memory=828560 CPUtime=11.72 cores=1,3,5,7
/proc/19847/task/19905/stat : 19905 (java) S 19844 19847 18141 0 -1 1077944384 14474 13134 0 0 1104 60 5 3 20 0 15 0 444114516 11107328000 207143 33554432000 4194304 4196468 140725758456608 140609681390064 140610222500482 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19906] ppid=19844 vsize=10847000 memory=828560 CPUtime=0.08 cores=1,3,5,7
/proc/19847/task/19906/stat : 19906 (java) S 19844 19847 18141 0 -1 1077944384 38 13134 0 0 0 0 5 3 20 0 15 0 444114516 11107328000 207143 33554432000 4194304 4196468 140725758456608 140609680336352 140610222499541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19907] ppid=19844 vsize=10847000 memory=828560 CPUtime=0.08 cores=1,3,5,7
/proc/19847/task/19907/stat : 19907 (java) S 19844 19847 18141 0 -1 1077944384 2 13134 0 0 0 0 5 3 20 0 15 0 444114517 11107328000 207143 33554432000 4194304 4196468 140725758456608 140609578853888 140610222499541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19908] ppid=19844 vsize=10847000 memory=828536 CPUtime=0.08 cores=1,3,5,7
/proc/19847/task/19908/stat : 19908 (java) S 19844 19847 18141 0 -1 1077944384 2 13134 0 0 0 0 5 3 20 0 15 0 444114519 11107328000 207143 33554432000 4194304 4196468 140725758456608 140608974875344 140610222507931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19909] ppid=19844 vsize=10847000 memory=828536 CPUtime=2.75 cores=1,3,5,7
/proc/19847/task/19909/stat : 19909 (java) S 19844 19847 18141 0 -1 1077944384 9701 13134 0 0 265 2 5 3 20 0 15 0 444114519 11107328000 207143 33554432000 4194304 4196468 140725758456608 140609545295856 140610222500482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19910] ppid=19844 vsize=10847000 memory=828572 CPUtime=2.8 cores=1,3,5,7
/proc/19847/task/19910/stat : 19910 (java) S 19844 19847 18141 0 -1 1077944384 15402 13134 0 0 269 3 5 3 20 0 15 0 444114519 11107328000 207143 33554432000 4194304 4196468 140725758456608 140609544243312 140610222500482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19911] ppid=19844 vsize=10847000 memory=828572 CPUtime=1.5 cores=1,3,5,7
/proc/19847/task/19911/stat : 19911 (java) S 19844 19847 18141 0 -1 1077944384 10893 13134 0 0 139 3 5 3 20 0 15 0 444114519 11107328000 207143 33554432000 4194304 4196468 140725758456608 140609543190768 140610222500482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19912] ppid=19844 vsize=10847000 memory=828572 CPUtime=0.08 cores=1,3,5,7
/proc/19847/task/19912/stat : 19912 (java) S 19844 19847 18141 0 -1 1077944384 3 13134 0 0 0 0 5 3 20 0 15 0 444114520 11107328000 207143 33554432000 4194304 4196468 140725758456608 140608505113184 140610222499541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
[pid=19847/tid=19913] ppid=19844 vsize=10847000 memory=828572 CPUtime=1.49 cores=1,3,5,7
/proc/19847/task/19913/stat : 19913 (java) S 19844 19847 18141 0 -1 1077944384 866 13134 0 0 64 77 5 3 20 0 15 0 444114520 11107328000 207143 33554432000 4194304 4196468 140725758456608 140609542138672 140610222500482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19509248 140725758462703 140725758465221 140725758465221 140725758468047 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10847000 KiB
Current children cumulated memory: 828572 KiB
Child status: 143
Real time (s): 2476.53
CPU time (s): 2520.04
CPU user time (s): 2516.21
CPU system time (s): 3.83035
CPU usage (%): 101.757
Max. virtual memory (cumulated for all children) (KiB): 10849944
Max. memory (cumulated for all children) (KiB): 828572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.21
system time used= 3.83035
maximum resident set size= 832700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 166410
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 305302
involuntary context switches= 7709
# summary of solver processes directly reported to runsolver:
# pid: 19847
# total CPU time (s): 2520.04
# total CPU user time (s): 2516.21
# total CPU system time (s): 3.83035
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.317 second user time and 24.7112 second system time
The end