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 (5254 MiB free)
memory of node 1: 16384 MiB (5055 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4402956-1568983450/watcher-4402956-1568983450 -o /var/tmp/evaluation-result-4402956-1568983450/solver-4402956-1568983450 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node105-1568963940-19973 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=801022688 HOME/instance-4402956-1568983450.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=24445, runsolver pid=24442
[startup+0.10006 s]*
/proc/loadavg: 1.36 1.45 1.50 4/218 24502
/proc/meminfo: memFree=10551660/32770624 swapFree=66955276/67108860
[pid=24445] ppid=24442 vsize=9972712 memory=17072 CPUtime=0.08 cores=1,3,5,7
/proc/24445/stat : 24445 (java) S 24442 24445 19941 0 -1 1077944320 4507 13327 0 0 1 0 4 3 20 0 6 0 474603059 10212057088 4268 33554432000 4194304 4196468 140732502486400 140732502468944 139940745756407 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
/proc/24445/statm: 2493178 4268 1934 1 0 2481616 0
[pid=24445/tid=24498] ppid=24442 vsize=9972712 memory=-8617482348318186131 CPUtime=0.08 cores=1,3,5,7
/proc/24445/task/24498/stat : 24498 (java) R 24442 24445 19941 0 -1 4202560 2330 13327 0 0 1 0 4 3 20 0 6 0 474603068 10212057088 4268 33554432000 4194304 4196468 140732502486400 139940717593168 139940730879344 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24499] ppid=24442 vsize=9972712 memory=-9181546050914066336 CPUtime=0.07 cores=1,3,5,7
/proc/24445/task/24499/stat : 24499 (java) S 24442 24445 19941 0 -1 1077944384 1 13327 0 0 0 0 4 3 20 0 6 0 474603069 10212057088 4268 33554432000 4194304 4196468 140732502486400 139940749998608 139940745766613 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24500] ppid=24442 vsize=9972712 memory=140220852270720 CPUtime=0.07 cores=1,3,5,7
/proc/24445/task/24500/stat : 24500 (java) S 24442 24445 19941 0 -1 1077944384 1 13327 0 0 0 0 4 3 20 0 6 0 474603069 10212057088 4268 33554432000 4194304 4196468 140732502486400 139940318931600 139940745766613 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24501] ppid=24442 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24445/task/24501/stat : 24501 (java) S 24442 24445 19941 0 -1 1077944384 1 13327 0 0 0 0 4 3 20 0 6 0 474603069 10212057088 4268 33554432000 4194304 4196468 140732502486400 139940317878544 139940745766613 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24502] ppid=24442 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/24445/task/24502/stat : 24502 (java) S 24442 24445 19941 0 -1 1077944384 2 13327 0 0 0 0 4 3 20 0 6 0 474603069 10212057088 4268 33554432000 4194304 4196468 140732502486400 139940316826000 139940745766613 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17072 KiB
[startup+0.210436 s]*
/proc/loadavg: 1.36 1.45 1.50 4/227 24511
/proc/meminfo: memFree=10528856/32770624 swapFree=66955276/67108860
[pid=24445] ppid=24442 vsize=10820196 memory=41896 CPUtime=0.27 cores=1,3,5,7
/proc/24445/stat : 24445 (java) S 24442 24445 19941 0 -1 1077944320 7364 13327 0 0 18 2 4 3 20 0 15 0 474603059 11079880704 10474 33554432000 4194304 4196468 140732502486400 140732502468944 139940745756407 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
/proc/24445/statm: 2705049 10474 3305 1 0 2667149 0
[pid=24445/tid=24498] ppid=24442 vsize=10820196 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/24445/task/24498/stat : 24498 (java) R 24442 24445 19941 0 -1 4202560 3951 13327 0 0 10 1 4 3 20 0 15 0 474603068 11079880704 10539 33554432000 4194304 4196468 140732502486400 139940717570528 139940729836894 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24499] ppid=24442 vsize=10820196 memory=345 CPUtime=0.07 cores=1,3,5,7
/proc/24445/task/24499/stat : 24499 (java) S 24442 24445 19941 0 -1 1077944384 1 13327 0 0 0 0 4 3 20 0 15 0 474603069 11079880704 10539 33554432000 4194304 4196468 140732502486400 139940749998608 139940745766613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24500] ppid=24442 vsize=10820196 memory=140220852292965 CPUtime=0.07 cores=1,3,5,7
/proc/24445/task/24500/stat : 24500 (java) S 24442 24445 19941 0 -1 1077944384 1 13327 0 0 0 0 4 3 20 0 15 0 474603069 11079880704 10539 33554432000 4194304 4196468 140732502486400 139940318931600 139940745766613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24501] ppid=24442 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24445/task/24501/stat : 24501 (java) S 24442 24445 19941 0 -1 1077944384 1 13327 0 0 0 0 4 3 20 0 15 0 474603069 11079880704 10539 33554432000 4194304 4196468 140732502486400 139940317878544 139940745766613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24502] ppid=24442 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/24445/task/24502/stat : 24502 (java) S 24442 24445 19941 0 -1 1077944384 2 13327 0 0 0 0 4 3 20 0 15 0 474603069 11079880704 10539 33554432000 4194304 4196468 140732502486400 139940316826000 139940745766613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24503] ppid=24442 vsize=10820196 memory=140220852270720 CPUtime=0.07 cores=1,3,5,7
/proc/24445/task/24503/stat : 24503 (java) S 24442 24445 19941 0 -1 1077944384 2 13327 0 0 0 0 4 3 20 0 15 0 474603071 11079880704 10539 33554432000 4194304 4196468 140732502486400 139940205165296 139940745767554 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24504] ppid=24442 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/24445/task/24504/stat : 24504 (java) S 24442 24445 19941 0 -1 1077944384 33 13327 0 0 0 0 4 3 20 0 15 0 474603071 11079880704 10539 33554432000 4194304 4196468 140732502486400 139940204111520 139940745766613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24505] ppid=24442 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24445/task/24505/stat : 24505 (java) S 24442 24445 19941 0 -1 1077944384 1 13327 0 0 0 0 4 3 20 0 15 0 474603071 11079880704 10539 33554432000 4194304 4196468 140732502486400 139939563955440 139940745766613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24506] ppid=24442 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24445/task/24506/stat : 24506 (java) S 24442 24445 19941 0 -1 1077944384 3 13327 0 0 0 0 4 3 20 0 15 0 474603074 11079880704 10539 33554432000 4194304 4196468 140732502486400 139939323664848 139940745775003 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24507] ppid=24442 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/24445/task/24507/stat : 24507 (java) R 24442 24445 19941 0 -1 1077944384 633 13327 0 0 2 0 4 3 20 0 15 0 474603074 11079880704 10539 33554432000 4194304 4196468 140732502486400 139940170553584 139940745767554 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24508] ppid=24442 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/24445/task/24508/stat : 24508 (java) R 24442 24445 19941 0 -1 1077944384 66 13327 0 0 1 0 4 3 20 0 15 0 474603074 11079880704 10539 33554432000 4194304 4196468 140732502486400 139940169501040 139940745767554 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24509] ppid=24442 vsize=10820196 memory=140220852270720 CPUtime=0.1 cores=1,3,5,7
/proc/24445/task/24509/stat : 24509 (java) R 24442 24445 19941 0 -1 4202560 474 13327 0 0 3 0 4 3 20 0 15 0 474603074 11079880704 10539 33554432000 4194304 4196468 140732502486400 139939644696560 139940745777754 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24510] ppid=24442 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/24445/task/24510/stat : 24510 (java) S 24442 24445 19941 0 -1 1077944384 3 13327 0 0 0 0 4 3 20 0 15 0 474603074 11079880704 10539 33554432000 4194304 4196468 140732502486400 139939290106208 139940745766613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24511] ppid=24442 vsize=10820196 memory=140220852270720 CPUtime=0.07 cores=1,3,5,7
/proc/24445/task/24511/stat : 24511 (java) S 24442 24445 19941 0 -1 1077944384 1 13327 0 0 0 0 4 3 20 0 15 0 474603074 11079880704 10539 33554432000 4194304 4196468 140732502486400 139939643644976 139940745767554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 41896 KiB
[startup+0.310813 s]*
/proc/loadavg: 1.36 1.45 1.50 3/227 24511
/proc/meminfo: memFree=10518716/32770624 swapFree=66955276/67108860
[pid=24445] ppid=24442 vsize=10820196 memory=50296 CPUtime=0.4 cores=1,3,5,7
/proc/24445/stat : 24445 (java) S 24442 24445 19941 0 -1 1077944320 10813 13327 0 0 30 3 4 3 20 0 15 0 474603059 11079880704 12574 33554432000 4194304 4196468 140732502486400 140732502468944 139940745756407 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
/proc/24445/statm: 2705049 12574 3316 1 0 2667149 0
[pid=24445/tid=24498] ppid=24442 vsize=10820196 memory=8317482817917895235 CPUtime=0.28 cores=1,3,5,7
/proc/24445/task/24498/stat : 24498 (java) R 24442 24445 19941 0 -1 4202560 7382 13327 0 0 19 2 4 3 20 0 15 0 474603068 11079880704 12574 33554432000 4194304 4196468 140732502486400 139940717566656 139940729836894 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24499] ppid=24442 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24445/task/24499/stat : 24499 (java) S 24442 24445 19941 0 -1 1077944384 1 13327 0 0 0 0 4 3 20 0 15 0 474603069 11079880704 12574 33554432000 4194304 4196468 140732502486400 139940749998608 139940745766613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24500] ppid=24442 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24445/task/24500/stat : 24500 (java) S 24442 24445 19941 0 -1 1077944384 1 13327 0 0 0 0 4 3 20 0 15 0 474603069 11079880704 12574 33554432000 4194304 4196468 140732502486400 139940318931600 139940745766613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24501] ppid=24442 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24445/task/24501/stat : 24501 (java) S 24442 24445 19941 0 -1 1077944384 1 13327 0 0 0 0 4 3 20 0 15 0 474603069 11079880704 12574 33554432000 4194304 4196468 140732502486400 139940317878544 139940745766613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24502] ppid=24442 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24445/task/24502/stat : 24502 (java) S 24442 24445 19941 0 -1 1077944384 2 13327 0 0 0 0 4 3 20 0 15 0 474603069 11079880704 12574 33554432000 4194304 4196468 140732502486400 139940316826000 139940745766613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24503] ppid=24442 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24445/task/24503/stat : 24503 (java) S 24442 24445 19941 0 -1 1077944384 2 13327 0 0 0 0 4 3 20 0 15 0 474603071 11079880704 12574 33554432000 4194304 4196468 140732502486400 139940205165296 139940745767554 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24504] ppid=24442 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/24445/task/24504/stat : 24504 (java) S 24442 24445 19941 0 -1 1077944384 33 13327 0 0 0 0 4 3 20 0 15 0 474603071 11079880704 12574 33554432000 4194304 4196468 140732502486400 139940204111520 139940745766613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24505] ppid=24442 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24445/task/24505/stat : 24505 (java) S 24442 24445 19941 0 -1 1077944384 1 13327 0 0 0 0 4 3 20 0 15 0 474603071 11079880704 12574 33554432000 4194304 4196468 140732502486400 139939563955440 139940745766613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24506] ppid=24442 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24445/task/24506/stat : 24506 (java) S 24442 24445 19941 0 -1 1077944384 3 13327 0 0 0 0 4 3 20 0 15 0 474603074 11079880704 12574 33554432000 4194304 4196468 140732502486400 139939323664848 139940745775003 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24507] ppid=24442 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/24445/task/24507/stat : 24507 (java) S 24442 24445 19941 0 -1 1077944384 634 13327 0 0 2 0 4 3 20 0 15 0 474603074 11079880704 12574 33554432000 4194304 4196468 140732502486400 139940170553584 139940745767554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24508] ppid=24442 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/24445/task/24508/stat : 24508 (java) S 24442 24445 19941 0 -1 1077944384 66 13327 0 0 1 0 4 3 20 0 15 0 474603074 11079880704 12574 33554432000 4194304 4196468 140732502486400 139940169501040 139940745767554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24509] ppid=24442 vsize=10820196 memory=140220852270720 CPUtime=0.12 cores=1,3,5,7
/proc/24445/task/24509/stat : 24509 (java) S 24442 24445 19941 0 -1 1077944384 483 13327 0 0 5 0 4 3 20 0 15 0 474603074 11079880704 12574 33554432000 4194304 4196468 140732502486400 139939644696560 139940745767554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24510] ppid=24442 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/24445/task/24510/stat : 24510 (java) S 24442 24445 19941 0 -1 1077944384 3 13327 0 0 0 0 4 3 20 0 15 0 474603074 11079880704 12574 33554432000 4194304 4196468 140732502486400 139939290106208 139940745766613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24511] ppid=24442 vsize=10820196 memory=140220852270720 CPUtime=0.07 cores=1,3,5,7
/proc/24445/task/24511/stat : 24511 (java) S 24442 24445 19941 0 -1 1077944384 1 13327 0 0 0 0 4 3 20 0 15 0 474603074 11079880704 12574 33554432000 4194304 4196468 140732502486400 139939643644976 139940745767554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 50296 KiB
[startup+0.700747 s]
/proc/loadavg: 1.36 1.45 1.50 3/227 24511
/proc/meminfo: memFree=10503184/32770624 swapFree=66955276/67108860
[pid=24445] ppid=24442 vsize=10824364 memory=84112 CPUtime=1.15 cores=1,3,5,7
/proc/24445/stat : 24445 (java) S 24442 24445 19941 0 -1 1077944320 15233 13327 0 0 102 6 4 3 20 0 15 0 474603059 11084148736 20963 33554432000 4194304 4196468 140732502486400 140732502468944 139940745756407 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
/proc/24445/statm: 2706091 21028 3510 1 0 2668173 0
[pid=24445/tid=24498] ppid=24442 vsize=10824364 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/24445/task/24498/stat : 24498 (java) R 24442 24445 19941 0 -1 4202560 10618 13327 0 0 55 4 4 3 20 0 15 0 474603068 11084148736 21028 33554432000 4194304 4196468 140732502486400 139940717585952 139940745778333 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24499] ppid=24442 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24445/task/24499/stat : 24499 (java) S 24442 24445 19941 0 -1 1077944384 1 13327 0 0 0 0 4 3 20 0 15 0 474603069 11084148736 21028 33554432000 4194304 4196468 140732502486400 139940749998608 139940745766613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24500] ppid=24442 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24445/task/24500/stat : 24500 (java) S 24442 24445 19941 0 -1 1077944384 1 13327 0 0 0 0 4 3 20 0 15 0 474603069 11084148736 21028 33554432000 4194304 4196468 140732502486400 139940318931600 139940745766613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24501] ppid=24442 vsize=10824364 memory=140220750246096 CPUtime=0.07 cores=1,3,5,7
/proc/24445/task/24501/stat : 24501 (java) S 24442 24445 19941 0 -1 1077944384 1 13327 0 0 0 0 4 3 20 0 15 0 474603069 11084148736 21028 33554432000 4194304 4196468 140732502486400 139940317878544 139940745766613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24502] ppid=24442 vsize=10824364 memory=140222092280425 CPUtime=0.07 cores=1,3,5,7
/proc/24445/task/24502/stat : 24502 (java) S 24442 24445 19941 0 -1 1077944384 2 13327 0 0 0 0 4 3 20 0 15 0 474603069 11084148736 21028 33554432000 4194304 4196468 140732502486400 139940316826000 139940745766613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24503] ppid=24442 vsize=10824364 memory=1060 CPUtime=0.07 cores=1,3,5,7
/proc/24445/task/24503/stat : 24503 (java) S 24442 24445 19941 0 -1 1077944384 5 13327 0 0 0 0 4 3 20 0 15 0 474603071 11084148736 21033 33554432000 4194304 4196468 140732502486400 139940205165296 139940745767554 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24504] ppid=24442 vsize=10824364 memory=7014751519667017297 CPUtime=0.07 cores=1,3,5,7
/proc/24445/task/24504/stat : 24504 (java) S 24442 24445 19941 0 -1 1077944384 33 13327 0 0 0 0 4 3 20 0 15 0 474603071 11084148736 21033 33554432000 4194304 4196468 140732502486400 139940204111520 139940745766613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24505] ppid=24442 vsize=10824364 memory=7739528784169234030 CPUtime=0.07 cores=1,3,5,7
/proc/24445/task/24505/stat : 24505 (java) S 24442 24445 19941 0 -1 1077944384 1 13327 0 0 0 0 4 3 20 0 15 0 474603071 11084148736 21033 33554432000 4194304 4196468 140732502486400 139939563955440 139940745766613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24506] ppid=24442 vsize=10824364 memory=14056 CPUtime=0.07 cores=1,3,5,7
/proc/24445/task/24506/stat : 24506 (java) S 24442 24445 19941 0 -1 1077944384 3 13327 0 0 0 0 4 3 20 0 15 0 474603074 11084148736 21033 33554432000 4194304 4196468 140732502486400 139939323664848 139940745775003 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24507] ppid=24442 vsize=10824364 memory=2116 CPUtime=0.21 cores=1,3,5,7
/proc/24445/task/24507/stat : 24507 (java) S 24442 24445 19941 0 -1 1077944384 1116 13327 0 0 14 0 4 3 20 0 15 0 474603074 11084148736 21033 33554432000 4194304 4196468 140732502486400 139940170553584 139940745767554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24508] ppid=24442 vsize=10824364 memory=516 CPUtime=0.22 cores=1,3,5,7
/proc/24445/task/24508/stat : 24508 (java) R 24442 24445 19941 0 -1 4202560 588 13327 0 0 15 0 4 3 20 0 15 0 474603074 11084148736 21033 33554432000 4194304 4196468 140732502486400 139940169501040 139940729242354 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24509] ppid=24442 vsize=10824364 memory=1556 CPUtime=0.23 cores=1,3,5,7
/proc/24445/task/24509/stat : 24509 (java) S 24442 24445 19941 0 -1 1077944384 661 13327 0 0 16 0 4 3 20 0 15 0 474603074 11084148736 21033 33554432000 4194304 4196468 140732502486400 139939644696560 139940745767554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24510] ppid=24442 vsize=10824364 memory=928 CPUtime=0.07 cores=1,3,5,7
/proc/24445/task/24510/stat : 24510 (java) S 24442 24445 19941 0 -1 1077944384 3 13327 0 0 0 0 4 3 20 0 15 0 474603074 11084148736 21033 33554432000 4194304 4196468 140732502486400 139939290106208 139940745766613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24511] ppid=24442 vsize=10824364 memory=1772 CPUtime=0.07 cores=1,3,5,7
/proc/24445/task/24511/stat : 24511 (java) S 24442 24445 19941 0 -1 1077944384 1 13327 0 0 0 0 4 3 20 0 15 0 474603074 11084148736 21033 33554432000 4194304 4196468 140732502486400 139939643644976 139940745767554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 84112 KiB
[startup+1.5008 s]
/proc/loadavg: 1.36 1.45 1.50 5/227 24511
/proc/meminfo: memFree=10453484/32770624 swapFree=66955276/67108860
[pid=24445] ppid=24442 vsize=10826488 memory=219784 CPUtime=3.54 cores=1,3,5,7
/proc/24445/stat : 24445 (java) S 24442 24445 19941 0 -1 1077944320 26125 13327 0 0 337 10 4 3 20 0 15 0 474603059 11086323712 54434 33554432000 4194304 4196468 140732502486400 140732502468944 139940745756407 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
/proc/24445/statm: 2706622 54434 3555 1 0 2668685 0
[pid=24445/tid=24498] ppid=24442 vsize=10826488 memory=169876 CPUtime=1.45 cores=1,3,5,7
/proc/24445/task/24498/stat : 24498 (java) S 24442 24445 19941 0 -1 1077944384 11789 13327 0 0 132 6 4 3 20 0 15 0 474603068 11086323712 54946 33554432000 4194304 4196468 140732502486400 139940717591312 139940745766613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24499] ppid=24442 vsize=10826488 memory=2436 CPUtime=0.07 cores=1,3,5,7
/proc/24445/task/24499/stat : 24499 (java) S 24442 24445 19941 0 -1 1077944384 14 13327 0 0 0 0 4 3 20 0 15 0 474603069 11086323712 54946 33554432000 4194304 4196468 140732502486400 139940749998608 139940745766613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24500] ppid=24442 vsize=10826488 memory=1760 CPUtime=0.07 cores=1,3,5,7
/proc/24445/task/24500/stat : 24500 (java) S 24442 24445 19941 0 -1 1077944384 36 13327 0 0 0 0 4 3 20 0 15 0 474603069 11086323712 54946 33554432000 4194304 4196468 140732502486400 139940318931600 139940745766613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24501] ppid=24442 vsize=10826488 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24445/task/24501/stat : 24501 (java) S 24442 24445 19941 0 -1 1077944384 15 13327 0 0 0 0 4 3 20 0 15 0 474603069 11086323712 54946 33554432000 4194304 4196468 140732502486400 139940317878544 139940745766613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24502] ppid=24442 vsize=10826488 memory=-7303279828959712342 CPUtime=0.07 cores=1,3,5,7
/proc/24445/task/24502/stat : 24502 (java) S 24442 24445 19941 0 -1 1077944384 253 13327 0 0 0 0 4 3 20 0 15 0 474603069 11086323712 54946 33554432000 4194304 4196468 140732502486400 139940316826000 139940745766613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24503] ppid=24442 vsize=10826488 memory=3833724587141655611 CPUtime=0.07 cores=1,3,5,7
/proc/24445/task/24503/stat : 24503 (java) R 24442 24445 19941 0 -1 4202560 18 13327 0 0 0 0 4 3 20 0 15 0 474603071 11086323712 54946 33554432000 4194304 4196468 140732502486400 139940205163808 139940738856254 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24504] ppid=24442 vsize=10826488 memory=-7016161123436706971 CPUtime=0.07 cores=1,3,5,7
/proc/24445/task/24504/stat : 24504 (java) S 24442 24445 19941 0 -1 1077944384 33 13327 0 0 0 0 4 3 20 0 15 0 474603071 11086323712 54946 33554432000 4194304 4196468 140732502486400 139940204111520 139940745766613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24505] ppid=24442 vsize=10826488 memory=-6005673638262905286 CPUtime=0.07 cores=1,3,5,7
/proc/24445/task/24505/stat : 24505 (java) S 24442 24445 19941 0 -1 1077944384 1 13327 0 0 0 0 4 3 20 0 15 0 474603071 11086323712 54946 33554432000 4194304 4196468 140732502486400 139939563955440 139940745766613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24506] ppid=24442 vsize=10826488 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/24445/task/24506/stat : 24506 (java) S 24442 24445 19941 0 -1 1077944384 3 13327 0 0 0 0 4 3 20 0 15 0 474603074 11086323712 54946 33554432000 4194304 4196468 140732502486400 139939323664848 139940745775003 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24507] ppid=24442 vsize=10826488 memory=0 CPUtime=0.91 cores=1,3,5,7
/proc/24445/task/24507/stat : 24507 (java) S 24442 24445 19941 0 -1 1077944384 5644 13327 0 0 84 0 4 3 20 0 15 0 474603074 11086323712 54946 33554432000 4194304 4196468 140732502486400 139940170544688 139940745766613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24508] ppid=24442 vsize=10826488 memory=4580 CPUtime=0.86 cores=1,3,5,7
/proc/24445/task/24508/stat : 24508 (java) S 24442 24445 19941 0 -1 1077944384 4694 13327 0 0 78 1 4 3 20 0 15 0 474603074 11086323712 54946 33554432000 4194304 4196468 140732502486400 139940169501040 139940745767554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24509] ppid=24442 vsize=10826488 memory=6297248683869360208 CPUtime=0.45 cores=1,3,5,7
/proc/24445/task/24509/stat : 24509 (java) S 24442 24445 19941 0 -1 1077944384 1420 13327 0 0 38 0 4 3 20 0 15 0 474603074 11086323712 54946 33554432000 4194304 4196468 140732502486400 139939644696560 139940745767554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24510] ppid=24442 vsize=10826488 memory=7516881957064631360 CPUtime=0.07 cores=1,3,5,7
/proc/24445/task/24510/stat : 24510 (java) S 24442 24445 19941 0 -1 1077944384 3 13327 0 0 0 0 4 3 20 0 15 0 474603074 11086323712 54946 33554432000 4194304 4196468 140732502486400 139939290106208 139940745766613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24511] ppid=24442 vsize=10826488 memory=8245355805699171671 CPUtime=0.07 cores=1,3,5,7
/proc/24445/task/24511/stat : 24511 (java) S 24442 24445 19941 0 -1 1077944384 1 13327 0 0 0 0 4 3 20 0 15 0 474603074 11086323712 54946 33554432000 4194304 4196468 140732502486400 139939643644976 139940745767554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
Current children cumulated CPU time: 3.54 s
Current children cumulated vsize: 10826488 KiB
################
# More data... #
################
/proc/24445/task/24498/stat : 24498 (java) R 24442 24445 19941 0 -1 4202560 137639 13327 0 0 236709 61 4 3 20 0 15 0 474603068 11109412864 271279 33554432000 4194304 4196468 140732502486400 139940717591792 139940337353944 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24499] ppid=24442 vsize=10849036 memory=1091480 CPUtime=12.07 cores=1,3,5,7
/proc/24445/task/24499/stat : 24499 (java) S 24442 24445 19941 0 -1 1077944384 34740 13327 0 0 1143 57 4 3 20 0 15 0 474603069 11109412864 271279 33554432000 4194304 4196468 140732502486400 139940749998608 139940745766613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24500] ppid=24442 vsize=10849036 memory=1092352 CPUtime=12.09 cores=1,3,5,7
/proc/24445/task/24500/stat : 24500 (java) S 24442 24445 19941 0 -1 1077944384 38934 13327 0 0 1140 62 4 3 20 0 15 0 474603069 11109412864 271279 33554432000 4194304 4196468 140732502486400 139940318931600 139940745766613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24501] ppid=24442 vsize=10849036 memory=1087680 CPUtime=12.08 cores=1,3,5,7
/proc/24445/task/24501/stat : 24501 (java) S 24442 24445 19941 0 -1 1077944384 39853 13327 0 0 1139 62 4 3 20 0 15 0 474603069 11109412864 271279 33554432000 4194304 4196468 140732502486400 139940317878544 139940745766613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24502] ppid=24442 vsize=10849036 memory=1090244 CPUtime=12.09 cores=1,3,5,7
/proc/24445/task/24502/stat : 24502 (java) S 24442 24445 19941 0 -1 1077944384 33915 13327 0 0 1142 60 4 3 20 0 15 0 474603069 11109412864 271279 33554432000 4194304 4196468 140732502486400 139940316826000 139940745766613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24503] ppid=24442 vsize=10849036 memory=1086140 CPUtime=1.9 cores=1,3,5,7
/proc/24445/task/24503/stat : 24503 (java) S 24442 24445 19941 0 -1 1077944384 23150 13327 0 0 154 29 4 3 20 0 15 0 474603071 11109412864 271279 33554432000 4194304 4196468 140732502486400 139940205165296 139940745767554 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24504] ppid=24442 vsize=10849036 memory=1085628 CPUtime=0.07 cores=1,3,5,7
/proc/24445/task/24504/stat : 24504 (java) S 24442 24445 19941 0 -1 1077944384 48 13327 0 0 0 0 4 3 20 0 15 0 474603071 11109412864 271279 33554432000 4194304 4196468 140732502486400 139940204111648 139940745766613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24505] ppid=24442 vsize=10849036 memory=6943526294502006880 CPUtime=0.07 cores=1,3,5,7
/proc/24445/task/24505/stat : 24505 (java) S 24442 24445 19941 0 -1 1077944384 5 13327 0 0 0 0 4 3 20 0 15 0 474603071 11109412864 271279 33554432000 4194304 4196468 140732502486400 139939563955456 139940745766613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24506] ppid=24442 vsize=10849036 memory=1085116 CPUtime=0.07 cores=1,3,5,7
/proc/24445/task/24506/stat : 24506 (java) S 24442 24445 19941 0 -1 1077944384 3 13327 0 0 0 0 4 3 20 0 15 0 474603074 11109412864 271279 33554432000 4194304 4196468 140732502486400 139939323664848 139940745775003 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24507] ppid=24442 vsize=10849036 memory=1191 CPUtime=7.62 cores=1,3,5,7
/proc/24445/task/24507/stat : 24507 (java) S 24442 24445 19941 0 -1 1077944384 49640 13327 0 0 748 7 4 3 20 0 15 0 474603074 11109412864 271279 33554432000 4194304 4196468 140732502486400 139940170553584 139940745767554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24508] ppid=24442 vsize=10849036 memory=1085116 CPUtime=7.37 cores=1,3,5,7
/proc/24445/task/24508/stat : 24508 (java) S 24442 24445 19941 0 -1 1077944384 45845 13327 0 0 726 4 4 3 20 0 15 0 474603074 11109412864 271279 33554432000 4194304 4196468 140732502486400 139940169501040 139940745767554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24509] ppid=24442 vsize=10849036 memory=6791534058613427641 CPUtime=2.49 cores=1,3,5,7
/proc/24445/task/24509/stat : 24509 (java) S 24442 24445 19941 0 -1 1077944384 31736 13327 0 0 235 7 4 3 20 0 15 0 474603074 11109412864 271279 33554432000 4194304 4196468 140732502486400 139939644696560 139940745767554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24510] ppid=24442 vsize=10849036 memory=3848 CPUtime=0.07 cores=1,3,5,7
/proc/24445/task/24510/stat : 24510 (java) S 24442 24445 19941 0 -1 1077944384 3 13327 0 0 0 0 4 3 20 0 15 0 474603074 11109412864 271279 33554432000 4194304 4196468 140732502486400 139939290106208 139940745766613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24511] ppid=24442 vsize=10849036 memory=1094100 CPUtime=1.38 cores=1,3,5,7
/proc/24445/task/24511/stat : 24511 (java) S 24442 24445 19941 0 -1 1077944384 1514 13327 0 0 58 73 4 3 20 0 15 0 474603074 11109412864 271279 33554432000 4194304 4196468 140732502486400 139939643644976 139940745767554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
Current children cumulated CPU time: 2436.33 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 1085116 KiB
[startup+2442.3 s]
/proc/loadavg: 1.08 1.29 1.40 3/227 24887
/proc/meminfo: memFree=9101684/32770624 swapFree=66955284/67108860
[pid=24445] ppid=24442 vsize=10849036 memory=1080808 CPUtime=2497.46 cores=1,3,5,7
/proc/24445/stat : 24445 (java) S 24442 24445 19941 0 -1 1077944320 445755 13327 0 0 249335 404 4 3 20 0 15 0 474603059 11109412864 270202 33554432000 4194304 4196468 140732502486400 140732502468944 139940745756407 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
/proc/24445/statm: 2712259 270202 3637 1 0 2674317 0
[pid=24445/tid=24498] ppid=24442 vsize=10849036 memory=1087944 CPUtime=2427.27 cores=1,3,5,7
/proc/24445/task/24498/stat : 24498 (java) R 24442 24445 19941 0 -1 4202560 140766 13327 0 0 242658 62 4 3 20 0 15 0 474603068 11109412864 270202 33554432000 4194304 4196468 140732502486400 139940717591600 139940324460496 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24499] ppid=24442 vsize=10849036 memory=1086408 CPUtime=12.45 cores=1,3,5,7
/proc/24445/task/24499/stat : 24499 (java) S 24442 24445 19941 0 -1 1077944384 35809 13327 0 0 1180 58 4 3 20 0 15 0 474603069 11109412864 270202 33554432000 4194304 4196468 140732502486400 139940749998608 139940745766613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24500] ppid=24442 vsize=10849036 memory=1086448 CPUtime=12.47 cores=1,3,5,7
/proc/24445/task/24500/stat : 24500 (java) S 24442 24445 19941 0 -1 1077944384 39599 13327 0 0 1177 63 4 3 20 0 15 0 474603069 11109412864 270202 33554432000 4194304 4196468 140732502486400 139940318931600 139940745766613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24501] ppid=24442 vsize=10849036 memory=1084396 CPUtime=12.45 cores=1,3,5,7
/proc/24445/task/24501/stat : 24501 (java) S 24442 24445 19941 0 -1 1077944384 40430 13327 0 0 1176 62 4 3 20 0 15 0 474603069 11109412864 270202 33554432000 4194304 4196468 140732502486400 139940317878544 139940745766613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24502] ppid=24442 vsize=10849036 memory=1083372 CPUtime=12.47 cores=1,3,5,7
/proc/24445/task/24502/stat : 24502 (java) S 24442 24445 19941 0 -1 1077944384 34745 13327 0 0 1179 61 4 3 20 0 15 0 474603069 11109412864 270202 33554432000 4194304 4196468 140732502486400 139940316826000 139940745766613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24503] ppid=24442 vsize=10849036 memory=1082860 CPUtime=1.98 cores=1,3,5,7
/proc/24445/task/24503/stat : 24503 (java) S 24442 24445 19941 0 -1 1077944384 23386 13327 0 0 161 30 4 3 20 0 15 0 474603071 11109412864 270202 33554432000 4194304 4196468 140732502486400 139940205165296 139940745767554 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24504] ppid=24442 vsize=10849036 memory=1082344 CPUtime=0.07 cores=1,3,5,7
/proc/24445/task/24504/stat : 24504 (java) S 24442 24445 19941 0 -1 1077944384 48 13327 0 0 0 0 4 3 20 0 15 0 474603071 11109412864 270202 33554432000 4194304 4196468 140732502486400 139940204111648 139940745766613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24505] ppid=24442 vsize=10849036 memory=1081320 CPUtime=0.07 cores=1,3,5,7
/proc/24445/task/24505/stat : 24505 (java) S 24442 24445 19941 0 -1 1077944384 5 13327 0 0 0 0 4 3 20 0 15 0 474603071 11109412864 270202 33554432000 4194304 4196468 140732502486400 139939563955456 139940745766613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24506] ppid=24442 vsize=10849036 memory=1087056 CPUtime=0.07 cores=1,3,5,7
/proc/24445/task/24506/stat : 24506 (java) S 24442 24445 19941 0 -1 1077944384 3 13327 0 0 0 0 4 3 20 0 15 0 474603074 11109412864 270202 33554432000 4194304 4196468 140732502486400 139939323664848 139940745775003 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24507] ppid=24442 vsize=10849036 memory=1083884 CPUtime=7.62 cores=1,3,5,7
/proc/24445/task/24507/stat : 24507 (java) S 24442 24445 19941 0 -1 1077944384 49642 13327 0 0 748 7 4 3 20 0 15 0 474603074 11109412864 270202 33554432000 4194304 4196468 140732502486400 139940170553584 139940745767554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24508] ppid=24442 vsize=10849036 memory=1083884 CPUtime=7.37 cores=1,3,5,7
/proc/24445/task/24508/stat : 24508 (java) S 24442 24445 19941 0 -1 1077944384 45847 13327 0 0 726 4 4 3 20 0 15 0 474603074 11109412864 270202 33554432000 4194304 4196468 140732502486400 139940169501040 139940745767554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24509] ppid=24442 vsize=10849036 memory=1081832 CPUtime=2.49 cores=1,3,5,7
/proc/24445/task/24509/stat : 24509 (java) S 24442 24445 19941 0 -1 1077944384 31739 13327 0 0 235 7 4 3 20 0 15 0 474603074 11109412864 270202 33554432000 4194304 4196468 140732502486400 139939644696560 139940745767554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24510] ppid=24442 vsize=10849036 memory=1081832 CPUtime=0.07 cores=1,3,5,7
/proc/24445/task/24510/stat : 24510 (java) S 24442 24445 19941 0 -1 1077944384 3 13327 0 0 0 0 4 3 20 0 15 0 474603074 11109412864 270202 33554432000 4194304 4196468 140732502486400 139939290106208 139940745766613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24511] ppid=24442 vsize=10849036 memory=2436 CPUtime=1.42 cores=1,3,5,7
/proc/24445/task/24511/stat : 24511 (java) S 24442 24445 19941 0 -1 1077944384 1531 13327 0 0 60 75 4 3 20 0 15 0 474603074 11109412864 270202 33554432000 4194304 4196468 140732502486400 139939643644976 139940745767554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
Current children cumulated CPU time: 2497.46 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 1080808 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2464.5 s]
/proc/loadavg: 1.26 1.32 1.40 3/228 24889
/proc/meminfo: memFree=9115228/32770624 swapFree=66955284/67108860
[pid=24445] ppid=24442 vsize=10849036 memory=1085300 CPUtime=2520.08 cores=1,3,5,7
/proc/24445/stat : 24445 (java) S 24442 24445 19941 0 -1 1077944320 447952 13327 0 0 251595 406 4 3 20 0 15 0 474603059 11109412864 271325 33554432000 4194304 4196468 140732502486400 140732502468944 139940745756407 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
/proc/24445/statm: 2712259 271325 3637 1 0 2674317 0
[pid=24445/tid=24498] ppid=24442 vsize=10849036 memory=1084508 CPUtime=2449.3 cores=1,3,5,7
/proc/24445/task/24498/stat : 24498 (java) R 24442 24445 19941 0 -1 4202560 141305 13327 0 0 244861 62 4 3 20 0 15 0 474603068 11109412864 271325 33554432000 4194304 4196468 140732502486400 139940717591184 139940333878584 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24499] ppid=24442 vsize=10849036 memory=1085536 CPUtime=12.58 cores=1,3,5,7
/proc/24445/task/24499/stat : 24499 (java) S 24442 24445 19941 0 -1 1077944384 36366 13327 0 0 1193 58 4 3 20 0 15 0 474603069 11109412864 271325 33554432000 4194304 4196468 140732502486400 139940749998608 139940745766613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24500] ppid=24442 vsize=10849036 memory=1081416 CPUtime=12.61 cores=1,3,5,7
/proc/24445/task/24500/stat : 24500 (java) S 24442 24445 19941 0 -1 1077944384 39954 13327 0 0 1191 63 4 3 20 0 15 0 474603069 11109412864 271325 33554432000 4194304 4196468 140732502486400 139940318931600 139940745766613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24501] ppid=24442 vsize=10849036 memory=1079452 CPUtime=12.59 cores=1,3,5,7
/proc/24445/task/24501/stat : 24501 (java) S 24442 24445 19941 0 -1 1077944384 40851 13327 0 0 1190 62 4 3 20 0 15 0 474603069 11109412864 271325 33554432000 4194304 4196468 140732502486400 139940317878544 139940745766613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24502] ppid=24442 vsize=10849036 memory=1083400 CPUtime=12.61 cores=1,3,5,7
/proc/24445/task/24502/stat : 24502 (java) S 24442 24445 19941 0 -1 1077944384 35058 13327 0 0 1193 61 4 3 20 0 15 0 474603069 11109412864 271325 33554432000 4194304 4196468 140732502486400 139940316826000 139940745766613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24503] ppid=24442 vsize=10849036 memory=1085536 CPUtime=2 cores=1,3,5,7
/proc/24445/task/24503/stat : 24503 (java) S 24442 24445 19941 0 -1 1077944384 23398 13327 0 0 163 30 4 3 20 0 15 0 474603071 11109412864 271325 33554432000 4194304 4196468 140732502486400 139940205165296 139940745767554 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24504] ppid=24442 vsize=10849036 memory=1085300 CPUtime=0.07 cores=1,3,5,7
/proc/24445/task/24504/stat : 24504 (java) S 24442 24445 19941 0 -1 1077944384 48 13327 0 0 0 0 4 3 20 0 15 0 474603071 11109412864 271325 33554432000 4194304 4196468 140732502486400 139940204111648 139940745766613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24505] ppid=24442 vsize=10849036 memory=1079772 CPUtime=0.07 cores=1,3,5,7
/proc/24445/task/24505/stat : 24505 (java) S 24442 24445 19941 0 -1 1077944384 5 13327 0 0 0 0 4 3 20 0 15 0 474603071 11109412864 271325 33554432000 4194304 4196468 140732502486400 139939563955456 139940745766613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24506] ppid=24442 vsize=10849036 memory=1136 CPUtime=0.07 cores=1,3,5,7
/proc/24445/task/24506/stat : 24506 (java) S 24442 24445 19941 0 -1 1077944384 3 13327 0 0 0 0 4 3 20 0 15 0 474603074 11109412864 271325 33554432000 4194304 4196468 140732502486400 139939323664848 139940745775003 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24507] ppid=24442 vsize=10849036 memory=1072 CPUtime=7.62 cores=1,3,5,7
/proc/24445/task/24507/stat : 24507 (java) S 24442 24445 19941 0 -1 1077944384 49642 13327 0 0 748 7 4 3 20 0 15 0 474603074 11109412864 271325 33554432000 4194304 4196468 140732502486400 139940170553584 139940745767554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24508] ppid=24442 vsize=10849036 memory=3624 CPUtime=7.37 cores=1,3,5,7
/proc/24445/task/24508/stat : 24508 (java) S 24442 24445 19941 0 -1 1077944384 45847 13327 0 0 726 4 4 3 20 0 15 0 474603074 11109412864 271325 33554432000 4194304 4196468 140732502486400 139940169501040 139940745767554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24509] ppid=24442 vsize=10849036 memory=43264 CPUtime=2.49 cores=1,3,5,7
/proc/24445/task/24509/stat : 24509 (java) S 24442 24445 19941 0 -1 1077944384 31739 13327 0 0 235 7 4 3 20 0 15 0 474603074 11109412864 271325 33554432000 4194304 4196468 140732502486400 139939644696560 139940745767554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24510] ppid=24442 vsize=10849036 memory=1772 CPUtime=0.07 cores=1,3,5,7
/proc/24445/task/24510/stat : 24510 (java) S 24442 24445 19941 0 -1 1077944384 3 13327 0 0 0 0 4 3 20 0 15 0 474603074 11109412864 271325 33554432000 4194304 4196468 140732502486400 139939290106208 139940745766613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24511] ppid=24442 vsize=10849036 memory=892 CPUtime=1.43 cores=1,3,5,7
/proc/24445/task/24511/stat : 24511 (java) S 24442 24445 19941 0 -1 1077944384 1531 13327 0 0 60 76 4 3 20 0 15 0 474603074 11109412864 271325 33554432000 4194304 4196468 140732502486400 139939643644976 139940745767554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 1085300 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2464.56 s]
# the end of solver process 24445 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.05 s, system=4.11751 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2464.5 s]
/proc/loadavg: 1.26 1.32 1.40 3/228 24889
/proc/meminfo: memFree=9115228/32770624 swapFree=66955284/67108860
[pid=24445] ppid=24442 vsize=10849036 memory=1085300 CPUtime=2520.08 cores=1,3,5,7
/proc/24445/stat : 24445 (java) S 24442 24445 19941 0 -1 1077944320 447952 13327 0 0 251595 406 4 3 20 0 15 0 474603059 11109412864 271325 33554432000 4194304 4196468 140732502486400 140732502468944 139940745756407 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
/proc/24445/statm: 2712259 271325 3637 1 0 2674317 0
[pid=24445/tid=24498] ppid=24442 vsize=10849036 memory=1084508 CPUtime=2449.3 cores=1,3,5,7
/proc/24445/task/24498/stat : 24498 (java) R 24442 24445 19941 0 -1 4202560 141305 13327 0 0 244861 62 4 3 20 0 15 0 474603068 11109412864 271325 33554432000 4194304 4196468 140732502486400 139940717591184 139940333878584 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24499] ppid=24442 vsize=10849036 memory=1085536 CPUtime=12.58 cores=1,3,5,7
/proc/24445/task/24499/stat : 24499 (java) S 24442 24445 19941 0 -1 1077944384 36366 13327 0 0 1193 58 4 3 20 0 15 0 474603069 11109412864 271325 33554432000 4194304 4196468 140732502486400 139940749998608 139940745766613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24500] ppid=24442 vsize=10849036 memory=1081416 CPUtime=12.61 cores=1,3,5,7
/proc/24445/task/24500/stat : 24500 (java) S 24442 24445 19941 0 -1 1077944384 39954 13327 0 0 1191 63 4 3 20 0 15 0 474603069 11109412864 271325 33554432000 4194304 4196468 140732502486400 139940318931600 139940745766613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24501] ppid=24442 vsize=10849036 memory=1079452 CPUtime=12.59 cores=1,3,5,7
/proc/24445/task/24501/stat : 24501 (java) S 24442 24445 19941 0 -1 1077944384 40851 13327 0 0 1190 62 4 3 20 0 15 0 474603069 11109412864 271325 33554432000 4194304 4196468 140732502486400 139940317878544 139940745766613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24502] ppid=24442 vsize=10849036 memory=1083400 CPUtime=12.61 cores=1,3,5,7
/proc/24445/task/24502/stat : 24502 (java) S 24442 24445 19941 0 -1 1077944384 35058 13327 0 0 1193 61 4 3 20 0 15 0 474603069 11109412864 271325 33554432000 4194304 4196468 140732502486400 139940316826000 139940745766613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24503] ppid=24442 vsize=10849036 memory=1085536 CPUtime=2 cores=1,3,5,7
/proc/24445/task/24503/stat : 24503 (java) S 24442 24445 19941 0 -1 1077944384 23398 13327 0 0 163 30 4 3 20 0 15 0 474603071 11109412864 271325 33554432000 4194304 4196468 140732502486400 139940205165296 139940745767554 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24504] ppid=24442 vsize=10849036 memory=1085300 CPUtime=0.07 cores=1,3,5,7
/proc/24445/task/24504/stat : 24504 (java) S 24442 24445 19941 0 -1 1077944384 48 13327 0 0 0 0 4 3 20 0 15 0 474603071 11109412864 271325 33554432000 4194304 4196468 140732502486400 139940204111648 139940745766613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24505] ppid=24442 vsize=10849036 memory=1079772 CPUtime=0.07 cores=1,3,5,7
/proc/24445/task/24505/stat : 24505 (java) S 24442 24445 19941 0 -1 1077944384 5 13327 0 0 0 0 4 3 20 0 15 0 474603071 11109412864 271325 33554432000 4194304 4196468 140732502486400 139939563955456 139940745766613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24506] ppid=24442 vsize=10849036 memory=1136 CPUtime=0.07 cores=1,3,5,7
/proc/24445/task/24506/stat : 24506 (java) S 24442 24445 19941 0 -1 1077944384 3 13327 0 0 0 0 4 3 20 0 15 0 474603074 11109412864 271325 33554432000 4194304 4196468 140732502486400 139939323664848 139940745775003 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24507] ppid=24442 vsize=10849036 memory=1072 CPUtime=7.62 cores=1,3,5,7
/proc/24445/task/24507/stat : 24507 (java) S 24442 24445 19941 0 -1 1077944384 49642 13327 0 0 748 7 4 3 20 0 15 0 474603074 11109412864 271325 33554432000 4194304 4196468 140732502486400 139940170553584 139940745767554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24508] ppid=24442 vsize=10849036 memory=3624 CPUtime=7.37 cores=1,3,5,7
/proc/24445/task/24508/stat : 24508 (java) S 24442 24445 19941 0 -1 1077944384 45847 13327 0 0 726 4 4 3 20 0 15 0 474603074 11109412864 271325 33554432000 4194304 4196468 140732502486400 139940169501040 139940745767554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24509] ppid=24442 vsize=10849036 memory=43264 CPUtime=2.49 cores=1,3,5,7
/proc/24445/task/24509/stat : 24509 (java) S 24442 24445 19941 0 -1 1077944384 31739 13327 0 0 235 7 4 3 20 0 15 0 474603074 11109412864 271325 33554432000 4194304 4196468 140732502486400 139939644696560 139940745767554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24510] ppid=24442 vsize=10849036 memory=1772 CPUtime=0.07 cores=1,3,5,7
/proc/24445/task/24510/stat : 24510 (java) S 24442 24445 19941 0 -1 1077944384 3 13327 0 0 0 0 4 3 20 0 15 0 474603074 11109412864 271325 33554432000 4194304 4196468 140732502486400 139939290106208 139940745766613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
[pid=24445/tid=24511] ppid=24442 vsize=10849036 memory=892 CPUtime=1.43 cores=1,3,5,7
/proc/24445/task/24511/stat : 24511 (java) S 24442 24445 19941 0 -1 1077944384 1531 13327 0 0 60 76 4 3 20 0 15 0 474603074 11109412864 271325 33554432000 4194304 4196468 140732502486400 139939643644976 139940745767554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39124992 140732502489700 140732502492341 140732502492341 140732502495183 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 1085300 KiB
Child status: 143
Real time (s): 2464.56
CPU time (s): 2520.17
CPU user time (s): 2516.05
CPU system time (s): 4.11751
CPU usage (%): 102.256
Max. virtual memory (cumulated for all children) (KiB): 10849036
Max. memory (cumulated for all children) (KiB): 3490448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.05
system time used= 4.11751
maximum resident set size= 3490448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 462073
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 96906
involuntary context switches= 2924
# summary of solver processes directly reported to runsolver:
# pid: 24445
# total CPU time (s): 2520.17
# total CPU user time (s): 2516.05
# total CPU system time (s): 4.11751
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.8643 second user time and 23.8186 second system time
The end