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 (10289 MiB free)
memory of node 1: 16384 MiB (10672 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291756-1532260878/watcher-4291756-1532260878 -o /tmp/evaluation-result-4291756-1532260878/solver-4291756-1532260878 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532260876-3287 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1072334019 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291756-1532260878.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=3409, runsolver pid=3406
[startup+0.100141 s]*
/proc/loadavg: 1.84 1.98 2.02 4/205 3411
/proc/meminfo: memFree=21453888/32770624 swapFree=67108860/67108860
[pid=3409] ppid=3406 vsize=109408 memory=5328 CPUtime=0 cores=0,2,4,6
/proc/3409/stat : 3409 (java) S 3406 3409 3256 0 -1 1077944320 1568 0 0 0 0 0 0 0 20 0 2 0 43651000 112033792 1332 33554432000 4194304 4196468 140735440783360 140735440765904 140432126238455 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
/proc/3409/statm: 27352 1332 1001 1 0 16810 0
[pid=3409/tid=3411] ppid=3406 vsize=109408 memory=-8393407285939762368 CPUtime=0 cores=0,2,4,6
/proc/3409/task/3411/stat : 3411 (java) D 3406 3409 3256 0 -1 4202560 257 0 0 0 0 0 0 0 20 0 2 0 43651001 112033792 1332 33554432000 4194304 4196468 140735440783360 140432130480560 140432126262333 0 0 0 16784584 18446744072100383877 0 0 -1 4 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 109408 KiB
Current children cumulated memory: 5328 KiB
[startup+0.209762 s]*
/proc/loadavg: 1.84 1.98 2.02 2/205 3411
/proc/meminfo: memFree=21456420/32770624 swapFree=67108860/67108860
[pid=3409] ppid=3406 vsize=109408 memory=5328 CPUtime=0 cores=0,2,4,6
/proc/3409/stat : 3409 (java) S 3406 3409 3256 0 -1 1077944320 1568 0 0 0 0 0 0 0 20 0 2 0 43651000 112033792 1332 33554432000 4194304 4196468 140735440783360 140735440765904 140432126238455 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
/proc/3409/statm: 27352 1332 1001 1 0 16810 0
[pid=3409/tid=3411] ppid=3406 vsize=109408 memory=7022364594140610616 CPUtime=0 cores=0,2,4,6
/proc/3409/task/3411/stat : 3411 (java) D 3406 3409 3256 0 -1 4202560 257 0 0 0 0 0 0 0 20 0 2 0 43651001 112033792 1332 33554432000 4194304 4196468 140735440783360 140432130480560 140432126262333 0 0 0 16784584 18446744072100383877 0 0 -1 4 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 109408 KiB
Current children cumulated memory: 5328 KiB
[startup+0.309528 s]*
/proc/loadavg: 1.84 1.98 2.02 4/205 3411
/proc/meminfo: memFree=21459496/32770624 swapFree=67108860/67108860
[pid=3409] ppid=3406 vsize=109408 memory=5328 CPUtime=0 cores=0,2,4,6
/proc/3409/stat : 3409 (java) S 3406 3409 3256 0 -1 1077944320 1568 0 0 0 0 0 0 0 20 0 2 0 43651000 112033792 1332 33554432000 4194304 4196468 140735440783360 140735440765904 140432126238455 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
/proc/3409/statm: 27352 1332 1001 1 0 16810 0
[pid=3409/tid=3411] ppid=3406 vsize=109408 memory=7311146985107750967 CPUtime=0 cores=0,2,4,6
/proc/3409/task/3411/stat : 3411 (java) D 3406 3409 3256 0 -1 4202560 257 0 0 0 0 0 0 0 20 0 2 0 43651001 112033792 1332 33554432000 4194304 4196468 140735440783360 140432130480560 140432126262333 0 0 0 16784584 18446744072100383877 0 0 -1 4 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 109408 KiB
Current children cumulated memory: 5328 KiB
[startup+0.700788 s]
/proc/loadavg: 1.84 1.98 2.02 5/218 3424
/proc/meminfo: memFree=21427012/32770624 swapFree=67108860/67108860
[pid=3409] ppid=3406 vsize=14082740 memory=47452 CPUtime=0.37 cores=0,2,4,6
/proc/3409/stat : 3409 (java) S 3406 3409 3256 0 -1 1077944320 10510 0 0 0 35 2 0 0 20 0 15 0 43651000 14420725760 11863 33554432000 4194304 4196468 140735440783360 140735440765904 140432126238455 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
/proc/3409/statm: 3520685 11863 3369 1 0 3482761 0
[pid=3409/tid=3411] ppid=3406 vsize=14082740 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/3409/task/3411/stat : 3411 (java) R 3406 3409 3256 0 -1 4202560 8209 0 0 0 23 1 0 0 20 0 15 0 43651001 14420725760 11863 33554432000 4194304 4196468 140735440783360 140432130405440 140432106514344 0 4 0 16800975 0 0 0 -1 4 0 0 43 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3412] ppid=3406 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3409/task/3412/stat : 3412 (java) S 3406 3409 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43651045 14420725760 11863 33554432000 4194304 4196468 140735440783360 140432078859280 140432126248661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3413] ppid=3406 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3409/task/3413/stat : 3413 (java) S 3406 3409 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43651045 14420725760 11863 33554432000 4194304 4196468 140735440783360 140432077806736 140432126248661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3414] ppid=3406 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3409/task/3414/stat : 3414 (java) S 3406 3409 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43651045 14420725760 11863 33554432000 4194304 4196468 140735440783360 140431719590672 140432126248661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3415] ppid=3406 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3409/task/3415/stat : 3415 (java) S 3406 3409 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43651045 14420725760 11863 33554432000 4194304 4196468 140735440783360 140431718538128 140432126248661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3416] ppid=3406 vsize=14082740 memory=3763093063592874465 CPUtime=0 cores=0,2,4,6
/proc/3409/task/3416/stat : 3416 (java) S 3406 3409 3256 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 43651046 14420725760 11863 33554432000 4194304 4196468 140735440783360 140431600883952 140432126249602 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3417] ppid=3406 vsize=14082740 memory=3617270467102622084 CPUtime=0 cores=0,2,4,6
/proc/3409/task/3417/stat : 3417 (java) S 3406 3409 3256 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43651047 14420725760 11863 33554432000 4194304 4196468 140735440783360 140431599830176 140432126248661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3418] ppid=3406 vsize=14082740 memory=20593 CPUtime=0 cores=0,2,4,6
/proc/3409/task/3418/stat : 3418 (java) S 3406 3409 3256 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43651047 14420725760 11863 33554432000 4194304 4196468 140735440783360 140431598777072 140432126248661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3419] ppid=3406 vsize=14082740 memory=140252358516369 CPUtime=0 cores=0,2,4,6
/proc/3409/task/3419/stat : 3419 (java) S 3406 3409 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43651050 14420725760 11863 33554432000 4194304 4196468 140735440783360 140431597725648 140432126257051 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3420] ppid=3406 vsize=14082740 memory=16177 CPUtime=0.01 cores=0,2,4,6
/proc/3409/task/3420/stat : 3420 (java) S 3406 3409 3256 0 -1 1077944384 500 0 0 0 1 0 0 0 20 0 15 0 43651050 14420725760 11863 33554432000 4194304 4196468 140735440783360 140431596673776 140432126249602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3421] ppid=3406 vsize=14082740 memory=3472328296227693249 CPUtime=0.02 cores=0,2,4,6
/proc/3409/task/3421/stat : 3421 (java) S 3406 3409 3256 0 -1 1077944384 126 0 0 0 2 0 0 0 20 0 15 0 43651050 14420725760 11863 33554432000 4194304 4196468 140735440783360 140431595621232 140432126249602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3422] ppid=3406 vsize=14082740 memory=6656426216303648864 CPUtime=0.07 cores=0,2,4,6
/proc/3409/task/3422/stat : 3422 (java) S 3406 3409 3256 0 -1 1077944384 293 0 0 0 7 0 0 0 20 0 15 0 43651050 14420725760 11863 33554432000 4194304 4196468 140735440783360 140431594568176 140432126249602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3423] ppid=3406 vsize=14082740 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/3409/task/3423/stat : 3423 (java) S 3406 3409 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43651050 14420725760 11863 33554432000 4194304 4196468 140735440783360 140431593515872 140432126248661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3424] ppid=3406 vsize=14082740 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/3409/task/3424/stat : 3424 (java) S 3406 3409 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43651050 14420725760 11863 33554432000 4194304 4196468 140735440783360 140431592462896 140432126249602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 47452 KiB
[startup+1.5014 s]
/proc/loadavg: 1.84 1.98 2.02 4/218 3424
/proc/meminfo: memFree=21386392/32770624 swapFree=67108860/67108860
[pid=3409] ppid=3406 vsize=14086856 memory=120056 CPUtime=2.09 cores=0,2,4,6
/proc/3409/stat : 3409 (java) S 3406 3409 3256 0 -1 1077944320 21484 0 0 0 201 8 0 0 20 0 15 0 43651000 14424940544 30014 33554432000 4194304 4196468 140735440783360 140735440765904 140432126238455 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
/proc/3409/statm: 3521714 30014 3544 1 0 3483785 0
[pid=3409/tid=3411] ppid=3406 vsize=14086856 memory=0 CPUtime=1.03 cores=0,2,4,6
/proc/3409/task/3411/stat : 3411 (java) R 3406 3409 3256 0 -1 1077944384 16740 0 0 0 99 4 0 0 20 0 15 0 43651001 14424940544 30014 33554432000 4194304 4196468 140735440783360 140432130472304 140432126248661 0 4 0 16800975 0 0 0 -1 4 0 0 43 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3412] ppid=3406 vsize=14086856 memory=56324 CPUtime=0 cores=0,2,4,6
/proc/3409/task/3412/stat : 3412 (java) S 3406 3409 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43651045 14424940544 30014 33554432000 4194304 4196468 140735440783360 140432078859280 140432126248661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3413] ppid=3406 vsize=14086856 memory=280504716829184 CPUtime=0 cores=0,2,4,6
/proc/3409/task/3413/stat : 3413 (java) S 3406 3409 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43651045 14424940544 30014 33554432000 4194304 4196468 140735440783360 140432077806736 140432126248661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3414] ppid=3406 vsize=14086856 memory=280504716833600 CPUtime=0 cores=0,2,4,6
/proc/3409/task/3414/stat : 3414 (java) S 3406 3409 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43651045 14424940544 30014 33554432000 4194304 4196468 140735440783360 140431719590672 140432126248661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3415] ppid=3406 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3409/task/3415/stat : 3415 (java) S 3406 3409 3256 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 43651045 14424940544 30014 33554432000 4194304 4196468 140735440783360 140431718538128 140432126248661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3416] ppid=3406 vsize=14086856 memory=280504716842432 CPUtime=0 cores=0,2,4,6
/proc/3409/task/3416/stat : 3416 (java) S 3406 3409 3256 0 -1 1077944384 398 0 0 0 0 0 0 0 20 0 15 0 43651046 14424940544 30014 33554432000 4194304 4196468 140735440783360 140431600883952 140432126249602 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3417] ppid=3406 vsize=14086856 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/3409/task/3417/stat : 3417 (java) S 3406 3409 3256 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 43651047 14424940544 30014 33554432000 4194304 4196468 140735440783360 140431599830176 140432126248661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3418] ppid=3406 vsize=14086856 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3409/task/3418/stat : 3418 (java) S 3406 3409 3256 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 43651047 14424940544 30014 33554432000 4194304 4196468 140735440783360 140431598777072 140432126248661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3419] ppid=3406 vsize=14086856 memory=140252358430752 CPUtime=0 cores=0,2,4,6
/proc/3409/task/3419/stat : 3419 (java) S 3406 3409 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43651050 14424940544 30014 33554432000 4194304 4196468 140735440783360 140431597725648 140432126257051 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3420] ppid=3406 vsize=14086856 memory=6655300316396806240 CPUtime=0.3 cores=0,2,4,6
/proc/3409/task/3420/stat : 3420 (java) R 3406 3409 3256 0 -1 4202560 941 0 0 0 30 0 0 0 20 0 15 0 43651050 14424940544 30014 33554432000 4194304 4196468 140735440783360 140431596665056 140432126259802 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3421] ppid=3406 vsize=14086856 memory=6655300316396806240 CPUtime=0.34 cores=0,2,4,6
/proc/3409/task/3421/stat : 3421 (java) S 3406 3409 3256 0 -1 1077944384 802 0 0 0 34 0 0 0 20 0 15 0 43651050 14424940544 30014 33554432000 4194304 4196468 140735440783360 140431595599872 140432126248661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3422] ppid=3406 vsize=14086856 memory=6944656592387989600 CPUtime=0.39 cores=0,2,4,6
/proc/3409/task/3422/stat : 3422 (java) S 3406 3409 3256 0 -1 1077944384 1226 0 0 0 37 2 0 0 20 0 15 0 43651050 14424940544 30014 33554432000 4194304 4196468 140735440783360 140431594563904 140432126248661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3423] ppid=3406 vsize=14086856 memory=7809523229951467574 CPUtime=0 cores=0,2,4,6
/proc/3409/task/3423/stat : 3423 (java) S 3406 3409 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43651050 14424940544 30014 33554432000 4194304 4196468 140735440783360 140431593515872 140432126248661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3424] ppid=3406 vsize=14086856 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/3409/task/3424/stat : 3424 (java) S 3406 3409 3256 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 43651050 14424940544 30014 33554432000 4194304 4196468 140735440783360 140431592462896 140432126249602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
Current children cumulated CPU time: 2.09 s
Current children cumulated vsize: 14086856 KiB
Current children cumulated memory: 120056 KiB
[startup+3.11034 s]
/proc/loadavg: 1.86 1.98 2.02 5/218 3424
/proc/meminfo: memFree=21209972/32770624 swapFree=67108860/67108860
[pid=3409] ppid=3406 vsize=14090952 memory=248920 CPUtime=5.64 cores=0,2,4,6
/proc/3409/stat : 3409 (java) S 3406 3409 3256 0 -1 1077944320 33078 0 0 0 550 14 0 0 20 0 15 0 43651000 14429134848 62230 33554432000 4194304 4196468 140735440783360 140735440765904 140432126238455 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
/proc/3409/statm: 3522738 62230 3584 1 0 3484809 0
[pid=3409/tid=3411] ppid=3406 vsize=14090952 memory=249764 CPUtime=2.6 cores=0,2,4,6
/proc/3409/task/3411/stat : 3411 (java) R 3406 3409 3256 0 -1 4202560 21071 0 0 0 253 7 0 0 20 0 15 0 43651001 14429134848 62230 33554432000 4194304 4196468 140735440783360 140432130475520 140431764827936 0 4 0 16800975 0 0 0 -1 0 0 0 43 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3412] ppid=3406 vsize=14090952 memory=55 CPUtime=0.01 cores=0,2,4,6
/proc/3409/task/3412/stat : 3412 (java) S 3406 3409 3256 0 -1 1077944384 234 0 0 0 1 0 0 0 20 0 15 0 43651045 14429134848 62230 33554432000 4194304 4196468 140735440783360 140432078859280 140432126248661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3413] ppid=3406 vsize=14090952 memory=2 CPUtime=0.01 cores=0,2,4,6
/proc/3409/task/3413/stat : 3413 (java) S 3406 3409 3256 0 -1 1077944384 82 0 0 0 1 0 0 0 20 0 15 0 43651045 14429134848 62230 33554432000 4194304 4196468 140735440783360 140432077806736 140432126248661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3414] ppid=3406 vsize=14090952 memory=4140 CPUtime=0.01 cores=0,2,4,6
/proc/3409/task/3414/stat : 3414 (java) S 3406 3409 3256 0 -1 1077944384 200 0 0 0 1 0 0 0 20 0 15 0 43651045 14429134848 62230 33554432000 4194304 4196468 140735440783360 140431719590672 140432126248661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3415] ppid=3406 vsize=14090952 memory=14808 CPUtime=0.01 cores=0,2,4,6
/proc/3409/task/3415/stat : 3415 (java) S 3406 3409 3256 0 -1 1077944384 64 0 0 0 1 0 0 0 20 0 15 0 43651045 14429134848 62230 33554432000 4194304 4196468 140735440783360 140431718538128 140432126248661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3416] ppid=3406 vsize=14090952 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/3409/task/3416/stat : 3416 (java) S 3406 3409 3256 0 -1 1077944384 562 0 0 0 0 0 0 0 20 0 15 0 43651046 14429134848 62230 33554432000 4194304 4196468 140735440783360 140431600883952 140432126249602 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3417] ppid=3406 vsize=14090952 memory=2412 CPUtime=0 cores=0,2,4,6
/proc/3409/task/3417/stat : 3417 (java) S 3406 3409 3256 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 43651047 14429134848 62230 33554432000 4194304 4196468 140735440783360 140431599830240 140432126248661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3418] ppid=3406 vsize=14090952 memory=217280 CPUtime=0 cores=0,2,4,6
/proc/3409/task/3418/stat : 3418 (java) S 3406 3409 3256 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 43651047 14429134848 62230 33554432000 4194304 4196468 140735440783360 140431598777088 140432126248661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3419] ppid=3406 vsize=14090952 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/3409/task/3419/stat : 3419 (java) S 3406 3409 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43651050 14429134848 62230 33554432000 4194304 4196468 140735440783360 140431597725648 140432126257051 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3420] ppid=3406 vsize=14090952 memory=0 CPUtime=1.08 cores=0,2,4,6
/proc/3409/task/3420/stat : 3420 (java) R 3406 3409 3256 0 -1 4202560 2634 0 0 0 107 1 0 0 20 0 15 0 43651050 14429134848 62230 33554432000 4194304 4196468 140735440783360 140431596665008 140432118527909 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3421] ppid=3406 vsize=14090952 memory=280504716817952 CPUtime=1.16 cores=0,2,4,6
/proc/3409/task/3421/stat : 3421 (java) R 3406 3409 3256 0 -1 4202560 3769 0 0 0 116 0 0 0 20 0 15 0 43651050 14429134848 62230 33554432000 4194304 4196468 140735440783360 140431595605328 140432107782560 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3422] ppid=3406 vsize=14090952 memory=280504716793696 CPUtime=0.67 cores=0,2,4,6
/proc/3409/task/3422/stat : 3422 (java) S 3406 3409 3256 0 -1 1077944384 3032 0 0 0 65 2 0 0 20 0 15 0 43651050 14429134848 62230 33554432000 4194304 4196468 140735440783360 140431594568176 140432126249602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3423] ppid=3406 vsize=14090952 memory=796 CPUtime=0 cores=0,2,4,6
/proc/3409/task/3423/stat : 3423 (java) S 3406 3409 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43651050 14429134848 62230 33554432000 4194304 4196468 140735440783360 140431593515872 140432126248661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3424] ppid=3406 vsize=14090952 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/3409/task/3424/stat : 3424 (java) S 3406 3409 3256 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 43651050 14429134848 62230 33554432000 4194304 4196468 140735440783360 140431592462896 140432126249602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
Current children cumulated CPU time: 5.64 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 248920 KiB
[startup+6.30065 s]
/proc/loadavg: 1.86 1.98 2.02 3/218 3424
/proc/meminfo: memFree=21189300/32770624 swapFree=67108860/67108860
[pid=3409] ppid=3406 vsize=14090952 memory=264204 CPUtime=9.19 cores=0,2,4,6
/proc/3409/stat : 3409 (java) S 3406 3409 3256 0 -1 1077944320 33954 0 0 0 903 16 0 0 20 0 15 0 43651000 14429134848 66051 33554432000 4194304 4196468 140735440783360 140735440765904 140432126238455 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
/proc/3409/statm: 3522738 66051 3588 1 0 3484809 0
[pid=3409/tid=3411] ppid=3406 vsize=14090952 memory=0 CPUtime=5.78 cores=0,2,4,6
/proc/3409/task/3411/stat : 3411 (java) R 3406 3409 3256 0 -1 4202560 21209 0 0 0 571 7 0 0 20 0 15 0 43651001 14429134848 66051 33554432000 4194304 4196468 140735440783360 140432130476768 140431764990936 0 4 0 16800975 0 0 0 -1 0 0 0 43 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3412] ppid=3406 vsize=14090952 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/3409/task/3412/stat : 3412 (java) S 3406 3409 3256 0 -1 1077944384 373 0 0 0 2 0 0 0 20 0 15 0 43651045 14429134848 66051 33554432000 4194304 4196468 140735440783360 140432078859280 140432126248661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3413] ppid=3406 vsize=14090952 memory=280504717015072 CPUtime=0.02 cores=0,2,4,6
/proc/3409/task/3413/stat : 3413 (java) S 3406 3409 3256 0 -1 1077944384 106 0 0 0 2 0 0 0 20 0 15 0 43651045 14429134848 66051 33554432000 4194304 4196468 140735440783360 140432077806736 140432126248661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3414] ppid=3406 vsize=14090952 memory=7596842956847606638 CPUtime=0.02 cores=0,2,4,6
/proc/3409/task/3414/stat : 3414 (java) S 3406 3409 3256 0 -1 1077944384 246 0 0 0 2 0 0 0 20 0 15 0 43651045 14429134848 66051 33554432000 4194304 4196468 140735440783360 140431719590672 140432126248661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3415] ppid=3406 vsize=14090952 memory=7157735280263909988 CPUtime=0.03 cores=0,2,4,6
/proc/3409/task/3415/stat : 3415 (java) S 3406 3409 3256 0 -1 1077944384 79 0 0 0 2 1 0 0 20 0 15 0 43651045 14429134848 66051 33554432000 4194304 4196468 140735440783360 140431718538128 140432126248661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3416] ppid=3406 vsize=14090952 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/3409/task/3416/stat : 3416 (java) S 3406 3409 3256 0 -1 1077944384 566 0 0 0 1 0 0 0 20 0 15 0 43651046 14429134848 66051 33554432000 4194304 4196468 140735440783360 140431600883952 140432126249602 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3417] ppid=3406 vsize=14090952 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3409/task/3417/stat : 3417 (java) S 3406 3409 3256 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 43651047 14429134848 66051 33554432000 4194304 4196468 140735440783360 140431599830240 140432126248661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
################
# More data... #
################
/proc/3409/task/3411/stat : 3411 (java) R 3406 3409 3256 0 -1 4202560 138959 0 0 0 218135 47 0 0 20 0 15 0 43651001 14431232000 281846 33554432000 4194304 4196468 140735440783360 140432130475536 140431758404008 0 4 0 16800975 0 0 0 -1 2 0 0 43 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3412] ppid=3406 vsize=14093000 memory=1128408 CPUtime=17.14 cores=0,2,4,6
/proc/3409/task/3412/stat : 3412 (java) S 3406 3409 3256 0 -1 1077944384 17394 0 0 0 1642 72 0 0 20 0 15 0 43651045 14431232000 281846 33554432000 4194304 4196468 140735440783360 140432078859280 140432126248661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3413] ppid=3406 vsize=14093000 memory=1128408 CPUtime=17.13 cores=0,2,4,6
/proc/3409/task/3413/stat : 3413 (java) S 3406 3409 3256 0 -1 1077944384 15927 0 0 0 1641 72 0 0 20 0 15 0 43651045 14431232000 281846 33554432000 4194304 4196468 140735440783360 140432077806736 140432126248661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3414] ppid=3406 vsize=14093000 memory=1127384 CPUtime=17.14 cores=0,2,4,6
/proc/3409/task/3414/stat : 3414 (java) S 3406 3409 3256 0 -1 1077944384 19533 0 0 0 1640 74 0 0 20 0 15 0 43651045 14431232000 281846 33554432000 4194304 4196468 140735440783360 140431719590672 140432126248661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3415] ppid=3406 vsize=14093000 memory=1127384 CPUtime=17.16 cores=0,2,4,6
/proc/3409/task/3415/stat : 3415 (java) S 3406 3409 3256 0 -1 1077944384 17381 0 0 0 1641 75 0 0 20 0 15 0 43651045 14431232000 281846 33554432000 4194304 4196468 140735440783360 140431718538128 140432126248661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3416] ppid=3406 vsize=14093000 memory=2222 CPUtime=1.81 cores=0,2,4,6
/proc/3409/task/3416/stat : 3416 (java) S 3406 3409 3256 0 -1 1077944384 65042 0 0 0 157 24 0 0 20 0 15 0 43651046 14431232000 281846 33554432000 4194304 4196468 140735440783360 140431600883952 140432126249602 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3417] ppid=3406 vsize=14093000 memory=7012476681766790252 CPUtime=0 cores=0,2,4,6
/proc/3409/task/3417/stat : 3417 (java) S 3406 3409 3256 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 43651047 14431232000 281846 33554432000 4194304 4196468 140735440783360 140431599830240 140432126248661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3418] ppid=3406 vsize=14093000 memory=7100839861465685612 CPUtime=0 cores=0,2,4,6
/proc/3409/task/3418/stat : 3418 (java) S 3406 3409 3256 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 43651047 14431232000 281846 33554432000 4194304 4196468 140735440783360 140431598777088 140432126248661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3419] ppid=3406 vsize=14093000 memory=962368 CPUtime=0 cores=0,2,4,6
/proc/3409/task/3419/stat : 3419 (java) S 3406 3409 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43651050 14431232000 281846 33554432000 4194304 4196468 140735440783360 140431597725648 140432126257051 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3420] ppid=3406 vsize=14093000 memory=14836 CPUtime=2.73 cores=0,2,4,6
/proc/3409/task/3420/stat : 3420 (java) S 3406 3409 3256 0 -1 1077944384 16145 0 0 0 269 4 0 0 20 0 15 0 43651050 14431232000 281846 33554432000 4194304 4196468 140735440783360 140431596673776 140432126249602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3421] ppid=3406 vsize=14093000 memory=1127384 CPUtime=3.11 cores=0,2,4,6
/proc/3409/task/3421/stat : 3421 (java) S 3406 3409 3256 0 -1 1077944384 19273 0 0 0 310 1 0 0 20 0 15 0 43651050 14431232000 281846 33554432000 4194304 4196468 140735440783360 140431595621232 140432126249602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3422] ppid=3406 vsize=14093000 memory=1127384 CPUtime=1.26 cores=0,2,4,6
/proc/3409/task/3422/stat : 3422 (java) S 3406 3409 3256 0 -1 1077944384 18929 0 0 0 122 4 0 0 20 0 15 0 43651050 14431232000 281846 33554432000 4194304 4196468 140735440783360 140431594568176 140432126249602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3423] ppid=3406 vsize=14093000 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/3409/task/3423/stat : 3423 (java) S 3406 3409 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43651050 14431232000 281846 33554432000 4194304 4196468 140735440783360 140431593515872 140432126248661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3424] ppid=3406 vsize=14093000 memory=1728 CPUtime=1.2 cores=0,2,4,6
/proc/3409/task/3424/stat : 3424 (java) S 3406 3409 3256 0 -1 1077944384 1245 0 0 0 61 59 0 0 20 0 15 0 43651050 14431232000 281846 33554432000 4194304 4196468 140735440783360 140431592462896 140432126249602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
Current children cumulated CPU time: 2260.62 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 1127384 KiB
[startup+2262.3 s]
/proc/loadavg: 1.34 1.44 1.46 3/215 3487
/proc/meminfo: memFree=19662624/32770624 swapFree=67108860/67108860
[pid=3409] ppid=3406 vsize=14093000 memory=1010184 CPUtime=2322.4 cores=0,2,4,6
/proc/3409/stat : 3409 (java) S 3406 3409 3256 0 -1 1077944320 337516 0 0 0 231824 416 0 0 20 0 15 0 43651000 14431232000 252546 33554432000 4194304 4196468 140735440783360 140735440765904 140432126238455 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
/proc/3409/statm: 3523250 252546 3624 1 0 3485321 0
[pid=3409/tid=3411] ppid=3406 vsize=14093000 memory=1021980 CPUtime=2241.19 cores=0,2,4,6
/proc/3409/task/3411/stat : 3411 (java) R 3406 3409 3256 0 -1 4202560 140701 0 0 0 224072 47 0 0 20 0 15 0 43651001 14431232000 252546 33554432000 4194304 4196468 140735440783360 140432130475536 140431766163873 0 4 0 16800975 0 0 0 -1 2 0 0 43 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3412] ppid=3406 vsize=14093000 memory=1049172 CPUtime=17.72 cores=0,2,4,6
/proc/3409/task/3412/stat : 3412 (java) S 3406 3409 3256 0 -1 1077944384 17859 0 0 0 1700 72 0 0 20 0 15 0 43651045 14431232000 252546 33554432000 4194304 4196468 140735440783360 140432078859280 140432126248661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3413] ppid=3406 vsize=14093000 memory=280504717476688 CPUtime=17.72 cores=0,2,4,6
/proc/3409/task/3413/stat : 3413 (java) S 3406 3409 3256 0 -1 1077944384 16115 0 0 0 1699 73 0 0 20 0 15 0 43651045 14431232000 252546 33554432000 4194304 4196468 140735440783360 140432077806736 140432126248661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3414] ppid=3406 vsize=14093000 memory=280504717421472 CPUtime=17.73 cores=0,2,4,6
/proc/3409/task/3414/stat : 3414 (java) S 3406 3409 3256 0 -1 1077944384 20036 0 0 0 1698 75 0 0 20 0 15 0 43651045 14431232000 252546 33554432000 4194304 4196468 140735440783360 140431719590672 140432126248661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3415] ppid=3406 vsize=14093000 memory=1035320 CPUtime=17.74 cores=0,2,4,6
/proc/3409/task/3415/stat : 3415 (java) S 3406 3409 3256 0 -1 1077944384 17669 0 0 0 1699 75 0 0 20 0 15 0 43651045 14431232000 252546 33554432000 4194304 4196468 140735440783360 140431718538128 140432126248661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3416] ppid=3406 vsize=14093000 memory=1035320 CPUtime=1.84 cores=0,2,4,6
/proc/3409/task/3416/stat : 3416 (java) S 3406 3409 3256 0 -1 1077944384 67457 0 0 0 160 24 0 0 20 0 15 0 43651046 14431232000 252546 33554432000 4194304 4196468 140735440783360 140431600883952 140432126249602 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3417] ppid=3406 vsize=14093000 memory=1010184 CPUtime=0 cores=0,2,4,6
/proc/3409/task/3417/stat : 3417 (java) S 3406 3409 3256 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 43651047 14431232000 252546 33554432000 4194304 4196468 140735440783360 140431599830240 140432126248661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3418] ppid=3406 vsize=14093000 memory=1010184 CPUtime=0 cores=0,2,4,6
/proc/3409/task/3418/stat : 3418 (java) S 3406 3409 3256 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 43651047 14431232000 252546 33554432000 4194304 4196468 140735440783360 140431598777088 140432126248661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3419] ppid=3406 vsize=14093000 memory=19921 CPUtime=0 cores=0,2,4,6
/proc/3409/task/3419/stat : 3419 (java) S 3406 3409 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43651050 14431232000 252546 33554432000 4194304 4196468 140735440783360 140431597725648 140432126257051 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3420] ppid=3406 vsize=14093000 memory=4420 CPUtime=2.74 cores=0,2,4,6
/proc/3409/task/3420/stat : 3420 (java) S 3406 3409 3256 0 -1 1077944384 16256 0 0 0 270 4 0 0 20 0 15 0 43651050 14431232000 252546 33554432000 4194304 4196468 140735440783360 140431596673776 140432126249602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3421] ppid=3406 vsize=14093000 memory=1023520 CPUtime=3.12 cores=0,2,4,6
/proc/3409/task/3421/stat : 3421 (java) S 3406 3409 3256 0 -1 1077944384 19487 0 0 0 311 1 0 0 20 0 15 0 43651050 14431232000 252546 33554432000 4194304 4196468 140735440783360 140431595621232 140432126249602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3422] ppid=3406 vsize=14093000 memory=1023520 CPUtime=1.27 cores=0,2,4,6
/proc/3409/task/3422/stat : 3422 (java) S 3406 3409 3256 0 -1 1077944384 19226 0 0 0 122 5 0 0 20 0 15 0 43651050 14431232000 252546 33554432000 4194304 4196468 140735440783360 140431594568176 140432126249602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3423] ppid=3406 vsize=14093000 memory=14836 CPUtime=0 cores=0,2,4,6
/proc/3409/task/3423/stat : 3423 (java) S 3406 3409 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43651050 14431232000 252546 33554432000 4194304 4196468 140735440783360 140431593515872 140432126248661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3424] ppid=3406 vsize=14093000 memory=1296 CPUtime=1.23 cores=0,2,4,6
/proc/3409/task/3424/stat : 3424 (java) S 3406 3409 3256 0 -1 1077944384 1264 0 0 0 62 61 0 0 20 0 15 0 43651050 14431232000 252546 33554432000 4194304 4196468 140735440783360 140431592462896 140432126249602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
Current children cumulated CPU time: 2322.4 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 1010184 KiB
[startup+2322.3 s]
/proc/loadavg: 1.14 1.36 1.43 3/215 3488
/proc/meminfo: memFree=19578384/32770624 swapFree=67108860/67108860
[pid=3409] ppid=3406 vsize=14093000 memory=1201048 CPUtime=2384.12 cores=0,2,4,6
/proc/3409/stat : 3409 (java) S 3406 3409 3256 0 -1 1077944320 346912 0 0 0 237980 432 0 0 20 0 15 0 43651000 14431232000 300262 33554432000 4194304 4196468 140735440783360 140735440765904 140432126238455 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
/proc/3409/statm: 3523250 300262 3624 1 0 3485321 0
[pid=3409/tid=3411] ppid=3406 vsize=14093000 memory=1201048 CPUtime=2300.57 cores=0,2,4,6
/proc/3409/task/3411/stat : 3411 (java) R 3406 3409 3256 0 -1 4202560 146531 0 0 0 230007 50 0 0 20 0 15 0 43651001 14431232000 300262 33554432000 4194304 4196468 140735440783360 140432130475536 140431766178160 0 4 0 16800975 0 0 0 -1 4 0 0 43 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3412] ppid=3406 vsize=14093000 memory=1216120 CPUtime=18.27 cores=0,2,4,6
/proc/3409/task/3412/stat : 3412 (java) S 3406 3409 3256 0 -1 1077944384 18197 0 0 0 1752 75 0 0 20 0 15 0 43651045 14431232000 300262 33554432000 4194304 4196468 140735440783360 140432078859280 140432126248661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3413] ppid=3406 vsize=14093000 memory=1201924 CPUtime=18.28 cores=0,2,4,6
/proc/3409/task/3413/stat : 3413 (java) S 3406 3409 3256 0 -1 1077944384 16697 0 0 0 1753 75 0 0 20 0 15 0 43651045 14431232000 300262 33554432000 4194304 4196468 140735440783360 140432077806736 140432126248661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3414] ppid=3406 vsize=14093000 memory=1201924 CPUtime=18.29 cores=0,2,4,6
/proc/3409/task/3414/stat : 3414 (java) S 3406 3409 3256 0 -1 1077944384 20238 0 0 0 1752 77 0 0 20 0 15 0 43651045 14431232000 300262 33554432000 4194304 4196468 140735440783360 140431719590672 140432126248661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3415] ppid=3406 vsize=14093000 memory=1201048 CPUtime=18.31 cores=0,2,4,6
/proc/3409/task/3415/stat : 3415 (java) S 3406 3409 3256 0 -1 1077944384 17899 0 0 0 1753 78 0 0 20 0 15 0 43651045 14431232000 300262 33554432000 4194304 4196468 140735440783360 140431718538128 140432126248661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3416] ppid=3406 vsize=14093000 memory=1201048 CPUtime=1.88 cores=0,2,4,6
/proc/3409/task/3416/stat : 3416 (java) S 3406 3409 3256 0 -1 1077944384 69667 0 0 0 163 25 0 0 20 0 15 0 43651046 14431232000 300262 33554432000 4194304 4196468 140735440783360 140431600883952 140432126249602 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3417] ppid=3406 vsize=14093000 memory=1201048 CPUtime=0 cores=0,2,4,6
/proc/3409/task/3417/stat : 3417 (java) S 3406 3409 3256 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 43651047 14431232000 300262 33554432000 4194304 4196468 140735440783360 140431599830240 140432126248661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3418] ppid=3406 vsize=14093000 memory=280504717476688 CPUtime=0 cores=0,2,4,6
/proc/3409/task/3418/stat : 3418 (java) S 3406 3409 3256 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 43651047 14431232000 300262 33554432000 4194304 4196468 140735440783360 140431598777088 140432126248661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3419] ppid=3406 vsize=14093000 memory=1215264 CPUtime=0 cores=0,2,4,6
/proc/3409/task/3419/stat : 3419 (java) S 3406 3409 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43651050 14431232000 300262 33554432000 4194304 4196468 140735440783360 140431597725648 140432126257051 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3420] ppid=3406 vsize=14093000 memory=1202072 CPUtime=2.74 cores=0,2,4,6
/proc/3409/task/3420/stat : 3420 (java) S 3406 3409 3256 0 -1 1077944384 16256 0 0 0 270 4 0 0 20 0 15 0 43651050 14431232000 300262 33554432000 4194304 4196468 140735440783360 140431596673776 140432126249602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3421] ppid=3406 vsize=14093000 memory=1202072 CPUtime=3.12 cores=0,2,4,6
/proc/3409/task/3421/stat : 3421 (java) S 3406 3409 3256 0 -1 1077944384 19487 0 0 0 311 1 0 0 20 0 15 0 43651050 14431232000 300262 33554432000 4194304 4196468 140735440783360 140431595621232 140432126249602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3422] ppid=3406 vsize=14093000 memory=1200 CPUtime=1.27 cores=0,2,4,6
/proc/3409/task/3422/stat : 3422 (java) S 3406 3409 3256 0 -1 1077944384 19226 0 0 0 122 5 0 0 20 0 15 0 43651050 14431232000 300262 33554432000 4194304 4196468 140735440783360 140431594568176 140432126249602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3423] ppid=3406 vsize=14093000 memory=15872 CPUtime=0 cores=0,2,4,6
/proc/3409/task/3423/stat : 3423 (java) S 3406 3409 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43651050 14431232000 300262 33554432000 4194304 4196468 140735440783360 140431593515872 140432126248661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3424] ppid=3406 vsize=14093000 memory=1201048 CPUtime=1.27 cores=0,2,4,6
/proc/3409/task/3424/stat : 3424 (java) S 3406 3409 3256 0 -1 1077944384 1268 0 0 0 64 63 0 0 20 0 15 0 43651050 14431232000 300262 33554432000 4194304 4196468 140735440783360 140431592462896 140432126249602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
Current children cumulated CPU time: 2384.12 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 1201048 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2337.8 s]
/proc/loadavg: 1.41 1.41 1.44 3/216 3573
/proc/meminfo: memFree=20299620/32770624 swapFree=67108860/67108860
[pid=3409] ppid=3406 vsize=14093000 memory=1160012 CPUtime=2400 cores=0,2,4,6
/proc/3409/stat : 3409 (java) S 3406 3409 3256 0 -1 1077944320 348238 0 0 0 239568 432 0 0 20 0 15 0 43651000 14431232000 290003 33554432000 4194304 4196468 140735440783360 140735440765904 140432126238455 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
/proc/3409/statm: 3523250 290003 3624 1 0 3485321 0
[pid=3409/tid=3411] ppid=3406 vsize=14093000 memory=2412 CPUtime=2315.92 cores=0,2,4,6
/proc/3409/task/3411/stat : 3411 (java) R 3406 3409 3256 0 -1 4202560 147192 0 0 0 231542 50 0 0 20 0 15 0 43651001 14431232000 290003 33554432000 4194304 4196468 140735440783360 140432130475584 140431766178298 0 4 0 16800975 0 0 0 -1 0 0 0 43 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3412] ppid=3406 vsize=14093000 memory=1728 CPUtime=18.4 cores=0,2,4,6
/proc/3409/task/3412/stat : 3412 (java) S 3406 3409 3256 0 -1 1077944384 18251 0 0 0 1765 75 0 0 20 0 15 0 43651045 14431232000 290003 33554432000 4194304 4196468 140735440783360 140432078859280 140432126248661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3413] ppid=3406 vsize=14093000 memory=5408 CPUtime=18.41 cores=0,2,4,6
/proc/3409/task/3413/stat : 3413 (java) S 3406 3409 3256 0 -1 1077944384 16770 0 0 0 1766 75 0 0 20 0 15 0 43651045 14431232000 290003 33554432000 4194304 4196468 140735440783360 140432077806736 140432126248661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3414] ppid=3406 vsize=14093000 memory=8112282956445269571 CPUtime=18.42 cores=0,2,4,6
/proc/3409/task/3414/stat : 3414 (java) S 3406 3409 3256 0 -1 1077944384 20268 0 0 0 1765 77 0 0 20 0 15 0 43651045 14431232000 290003 33554432000 4194304 4196468 140735440783360 140431719590672 140432126248661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3415] ppid=3406 vsize=14093000 memory=1228 CPUtime=18.44 cores=0,2,4,6
/proc/3409/task/3415/stat : 3415 (java) S 3406 3409 3256 0 -1 1077944384 17912 0 0 0 1766 78 0 0 20 0 15 0 43651045 14431232000 290003 33554432000 4194304 4196468 140735440783360 140431718538128 140432126248661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3416] ppid=3406 vsize=14093000 memory=1944 CPUtime=1.89 cores=0,2,4,6
/proc/3409/task/3416/stat : 3416 (java) S 3406 3409 3256 0 -1 1077944384 69823 0 0 0 164 25 0 0 20 0 15 0 43651046 14431232000 290003 33554432000 4194304 4196468 140735440783360 140431600883952 140432126249602 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3417] ppid=3406 vsize=14093000 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/3409/task/3417/stat : 3417 (java) S 3406 3409 3256 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 43651047 14431232000 290003 33554432000 4194304 4196468 140735440783360 140431599830240 140432126248661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3418] ppid=3406 vsize=14093000 memory=1173348 CPUtime=0 cores=0,2,4,6
/proc/3409/task/3418/stat : 3418 (java) S 3406 3409 3256 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 43651047 14431232000 290003 33554432000 4194304 4196468 140735440783360 140431598777088 140432126248661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3419] ppid=3406 vsize=14093000 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/3409/task/3419/stat : 3419 (java) S 3406 3409 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43651050 14431232000 290003 33554432000 4194304 4196468 140735440783360 140431597725648 140432126257051 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3420] ppid=3406 vsize=14093000 memory=2412 CPUtime=2.74 cores=0,2,4,6
/proc/3409/task/3420/stat : 3420 (java) S 3406 3409 3256 0 -1 1077944384 16258 0 0 0 270 4 0 0 20 0 15 0 43651050 14431232000 290003 33554432000 4194304 4196468 140735440783360 140431596673776 140432126249602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3421] ppid=3406 vsize=14093000 memory=1728 CPUtime=3.12 cores=0,2,4,6
/proc/3409/task/3421/stat : 3421 (java) S 3406 3409 3256 0 -1 1077944384 19489 0 0 0 311 1 0 0 20 0 15 0 43651050 14431232000 290003 33554432000 4194304 4196468 140735440783360 140431595621232 140432126249602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3422] ppid=3406 vsize=14093000 memory=5408 CPUtime=1.27 cores=0,2,4,6
/proc/3409/task/3422/stat : 3422 (java) S 3406 3409 3256 0 -1 1077944384 19547 0 0 0 122 5 0 0 20 0 15 0 43651050 14431232000 290003 33554432000 4194304 4196468 140735440783360 140431594568176 140432126249602 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3423] ppid=3406 vsize=14093000 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/3409/task/3423/stat : 3423 (java) S 3406 3409 3256 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 43651050 14431232000 290003 33554432000 4194304 4196468 140735440783360 140431593515872 140432126248661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
[pid=3409/tid=3424] ppid=3406 vsize=14093000 memory=1708 CPUtime=1.27 cores=0,2,4,6
/proc/3409/task/3424/stat : 3424 (java) S 3406 3409 3256 0 -1 1077944384 1282 0 0 0 64 63 0 0 20 0 15 0 43651050 14431232000 290003 33554432000 4194304 4196468 140735440783360 140431592462896 140432126249602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10309632 140735440786516 140735440786697 140735440786697 140735440789455 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 1160012 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2337.82 s]
# the end of solver process 3409 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2395.7 s, system=4.33409 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2337.82
CPU time (s): 2400.03
CPU user time (s): 2395.7
CPU system time (s): 4.33409
CPU usage (%): 102.661
Max. virtual memory (cumulated for all children) (KiB): 14093000
Max. memory (cumulated for all children) (KiB): 1216120
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.7
system time used= 4.33409
maximum resident set size= 1229212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 348603
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3032
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 92383
involuntary context switches= 4914
# summary of solver processes directly reported to runsolver:
# pid: 3409
# total CPU time (s): 2400.03
# total CPU user time (s): 2395.7
# total CPU system time (s): 4.33409
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.1514 second user time and 21.3821 second system time
The end