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 (15269 MiB free)
memory of node 1: 16384 MiB (14831 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274550-1502844812/watcher-4274550-1502844812 -o /tmp/evaluation-result-4274550-1502844812/solver-4274550-1502844812 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node115-1502837205-2589 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1643406510 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274550-1502844812.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=3280, runsolver pid=3277
[startup+0.110182 s]*
/proc/loadavg: 1.35 1.34 1.40 3/215 3295
/proc/meminfo: memFree=30804108/32770624 swapFree=67108860/67108860
[pid=3280] ppid=3277 vsize=13980164 memory=33400 CPUtime=0.13 cores=0,2,4,6
/proc/3280/stat : 3280 (java) S 3277 3280 2558 0 -1 1077944320 8218 0 0 0 12 1 0 0 20 0 15 0 117568891 14315687936 8350 33554432000 4194304 4196468 140724100225472 140724100208016 140032999702263 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
/proc/3280/statm: 3495041 8350 3413 1 0 3482761 0
[pid=3280/tid=3282] ppid=3277 vsize=13980164 memory=-8970429896956146880 CPUtime=0.1 cores=0,2,4,6
/proc/3280/task/3282/stat : 3282 (java) R 3277 3280 2558 0 -1 4202560 6140 0 0 0 9 1 0 0 20 0 15 0 117568892 14315687936 8350 33554432000 4194304 4196468 140724100225472 140033003909792 140032982895030 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3283] ppid=3277 vsize=13980164 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6
/proc/3280/task/3283/stat : 3283 (java) S 3277 3280 2558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117568893 14315687936 8350 33554432000 4194304 4196468 140724100225472 140032914771088 140032999712469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3284] ppid=3277 vsize=13980164 memory=140534580569728 CPUtime=0 cores=0,2,4,6
/proc/3280/task/3284/stat : 3284 (java) S 3277 3280 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117568893 14315687936 8350 33554432000 4194304 4196468 140724100225472 140032913718288 140032999712469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3285] ppid=3277 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3280/task/3285/stat : 3285 (java) S 3277 3280 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117568893 14315687936 8350 33554432000 4194304 4196468 140724100225472 140032593619856 140032999712469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3286] ppid=3277 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3280/task/3286/stat : 3286 (java) S 3277 3280 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117568893 14315687936 8350 33554432000 4194304 4196468 140724100225472 140032592567056 140032999712469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3287] ppid=3277 vsize=13980164 memory=140534580569728 CPUtime=0 cores=0,2,4,6
/proc/3280/task/3287/stat : 3287 (java) S 3277 3280 2558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117568894 14315687936 8350 33554432000 4194304 4196468 140724100225472 140031912798576 140032999713410 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3288] ppid=3277 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3280/task/3288/stat : 3288 (java) S 3277 3280 2558 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117568894 14315687936 8350 33554432000 4194304 4196468 140724100225472 140031911744544 140032999712469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3289] ppid=3277 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3280/task/3289/stat : 3289 (java) S 3277 3280 2558 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117568895 14315687936 8350 33554432000 4194304 4196468 140724100225472 140031910691696 140032999712469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3290] ppid=3277 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3280/task/3290/stat : 3290 (java) S 3277 3280 2558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117568897 14315687936 8350 33554432000 4194304 4196468 140724100225472 140031909640016 140032999720859 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3291] ppid=3277 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3280/task/3291/stat : 3291 (java) S 3277 3280 2558 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 117568897 14315687936 8350 33554432000 4194304 4196468 140724100225472 140031908588400 140032999713410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3292] ppid=3277 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3280/task/3292/stat : 3292 (java) S 3277 3280 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117568897 14315687936 8350 33554432000 4194304 4196468 140724100225472 140031907535600 140032999713410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3293] ppid=3277 vsize=13980164 memory=140534580569728 CPUtime=0.02 cores=0,2,4,6
/proc/3280/task/3293/stat : 3293 (java) S 3277 3280 2558 0 -1 1077944384 400 0 0 0 2 0 0 0 20 0 15 0 117568897 14315687936 8350 33554432000 4194304 4196468 140724100225472 140031570209392 140032999713410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3294] ppid=3277 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3280/task/3294/stat : 3294 (java) S 3277 3280 2558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117568897 14315687936 8350 33554432000 4194304 4196468 140724100225472 140031569156832 140032999712469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3295] ppid=3277 vsize=13980164 memory=140534580569728 CPUtime=0 cores=0,2,4,6
/proc/3280/task/3295/stat : 3295 (java) S 3277 3280 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117568897 14315687936 8350 33554432000 4194304 4196468 140724100225472 140031568104112 140032999713410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 13980164 KiB
Current children cumulated memory: 33400 KiB
[startup+0.21379 s]*
/proc/loadavg: 1.35 1.34 1.40 3/215 3295
/proc/meminfo: memFree=30796236/32770624 swapFree=67108860/67108860
[pid=3280] ppid=3277 vsize=13980164 memory=42900 CPUtime=0.31 cores=0,2,4,6
/proc/3280/stat : 3280 (java) S 3277 3280 2558 0 -1 1077944320 9287 0 0 0 29 2 0 0 20 0 15 0 117568891 14315687936 10725 33554432000 4194304 4196468 140724100225472 140724100208016 140032999702263 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
/proc/3280/statm: 3495041 10725 3639 1 0 3482761 0
[pid=3280/tid=3282] ppid=3277 vsize=13980164 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/3280/task/3282/stat : 3282 (java) R 3277 3280 2558 0 -1 4202560 6800 0 0 0 18 2 0 0 20 0 15 0 117568892 14315687936 10725 33554432000 4194304 4196468 140724100225472 140033003902464 140032983782750 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3283] ppid=3277 vsize=13980164 memory=345 CPUtime=0 cores=0,2,4,6
/proc/3280/task/3283/stat : 3283 (java) S 3277 3280 2558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117568893 14315687936 10725 33554432000 4194304 4196468 140724100225472 140032914771088 140032999712469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3284] ppid=3277 vsize=13980164 memory=140534580573194 CPUtime=0 cores=0,2,4,6
/proc/3280/task/3284/stat : 3284 (java) S 3277 3280 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117568893 14315687936 10725 33554432000 4194304 4196468 140724100225472 140032913718288 140032999712469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3285] ppid=3277 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3280/task/3285/stat : 3285 (java) S 3277 3280 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117568893 14315687936 10725 33554432000 4194304 4196468 140724100225472 140032593619856 140032999712469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3286] ppid=3277 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3280/task/3286/stat : 3286 (java) S 3277 3280 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117568893 14315687936 10725 33554432000 4194304 4196468 140724100225472 140032592567056 140032999712469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3287] ppid=3277 vsize=13980164 memory=140534580569728 CPUtime=0 cores=0,2,4,6
/proc/3280/task/3287/stat : 3287 (java) S 3277 3280 2558 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 117568894 14315687936 10725 33554432000 4194304 4196468 140724100225472 140031912798576 140032999713410 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3288] ppid=3277 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3280/task/3288/stat : 3288 (java) S 3277 3280 2558 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117568894 14315687936 10725 33554432000 4194304 4196468 140724100225472 140031911744544 140032999712469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3289] ppid=3277 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3280/task/3289/stat : 3289 (java) S 3277 3280 2558 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117568895 14315687936 10725 33554432000 4194304 4196468 140724100225472 140031910691696 140032999712469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3290] ppid=3277 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3280/task/3290/stat : 3290 (java) S 3277 3280 2558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117568897 14315687936 10725 33554432000 4194304 4196468 140724100225472 140031909640016 140032999720859 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3291] ppid=3277 vsize=13980164 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/3280/task/3291/stat : 3291 (java) S 3277 3280 2558 0 -1 1077944384 436 0 0 0 1 0 0 0 20 0 15 0 117568897 14315687936 10725 33554432000 4194304 4196468 140724100225472 140031908588400 140032999713410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3292] ppid=3277 vsize=13980196 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/3280/task/3292/stat : 3292 (java) R 3277 3280 2558 0 -1 4202560 211 0 0 0 2 0 0 0 20 0 15 0 117568897 14315720704 10725 33554432000 4194304 4196468 140724100225472 140031907535600 140032977055824 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3293] ppid=3277 vsize=13980196 memory=140534580569728 CPUtime=0.06 cores=0,2,4,6
/proc/3280/task/3293/stat : 3293 (java) S 3277 3280 2558 0 -1 1077944384 463 0 0 0 6 0 0 0 20 0 15 0 117568897 14315720704 10725 33554432000 4194304 4196468 140724100225472 140031570209392 140032999713410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3294] ppid=3277 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3280/task/3294/stat : 3294 (java) S 3277 3280 2558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117568897 14315687936 10733 33554432000 4194304 4196468 140724100225472 140031569156832 140032999712469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3295] ppid=3277 vsize=13980164 memory=140534580569728 CPUtime=0 cores=0,2,4,6
/proc/3280/task/3295/stat : 3295 (java) S 3277 3280 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117568897 14315687936 10733 33554432000 4194304 4196468 140724100225472 140031568104112 140032999713410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 13980164 KiB
Current children cumulated memory: 42900 KiB
[startup+0.310226 s]*
/proc/loadavg: 1.35 1.34 1.40 3/215 3295
/proc/meminfo: memFree=30788316/32770624 swapFree=67108860/67108860
[pid=3280] ppid=3277 vsize=13980184 memory=50856 CPUtime=0.49 cores=0,2,4,6
/proc/3280/stat : 3280 (java) S 3277 3280 2558 0 -1 1077944320 10443 0 0 0 46 3 0 0 20 0 15 0 117568891 14315708416 12714 33554432000 4194304 4196468 140724100225472 140724100208016 140032999702263 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
/proc/3280/statm: 3495046 12714 3714 1 0 3482761 0
[pid=3280/tid=3282] ppid=3277 vsize=13980184 memory=7022364594140610616 CPUtime=0.29 cores=0,2,4,6
/proc/3280/task/3282/stat : 3282 (java) R 3277 3280 2558 0 -1 4202560 7516 0 0 0 27 2 0 0 20 0 15 0 117568892 14315708416 12714 33554432000 4194304 4196468 140724100225472 140033003931600 140032999714198 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3283] ppid=3277 vsize=13980184 memory=4294976291 CPUtime=0 cores=0,2,4,6
/proc/3280/task/3283/stat : 3283 (java) S 3277 3280 2558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117568893 14315708416 12714 33554432000 4194304 4196468 140724100225472 140032914771088 140032999712469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3284] ppid=3277 vsize=13980184 memory=140534581094868 CPUtime=0 cores=0,2,4,6
/proc/3280/task/3284/stat : 3284 (java) S 3277 3280 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117568893 14315708416 12714 33554432000 4194304 4196468 140724100225472 140032913718288 140032999712469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3285] ppid=3277 vsize=13980184 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3280/task/3285/stat : 3285 (java) S 3277 3280 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117568893 14315708416 12714 33554432000 4194304 4196468 140724100225472 140032593619856 140032999712469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3286] ppid=3277 vsize=13980184 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3280/task/3286/stat : 3286 (java) S 3277 3280 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117568893 14315708416 12714 33554432000 4194304 4196468 140724100225472 140032592567056 140032999712469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3287] ppid=3277 vsize=13980184 memory=140534580569728 CPUtime=0 cores=0,2,4,6
/proc/3280/task/3287/stat : 3287 (java) S 3277 3280 2558 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 117568894 14315708416 12714 33554432000 4194304 4196468 140724100225472 140031912798576 140032999713410 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3288] ppid=3277 vsize=13980184 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3280/task/3288/stat : 3288 (java) S 3277 3280 2558 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117568894 14315708416 12714 33554432000 4194304 4196468 140724100225472 140031911744544 140032999712469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3289] ppid=3277 vsize=13980184 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3280/task/3289/stat : 3289 (java) S 3277 3280 2558 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117568895 14315708416 12714 33554432000 4194304 4196468 140724100225472 140031910691696 140032999712469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3290] ppid=3277 vsize=13980184 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3280/task/3290/stat : 3290 (java) S 3277 3280 2558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117568897 14315708416 12714 33554432000 4194304 4196468 140724100225472 140031909640016 140032999720859 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3291] ppid=3277 vsize=13980184 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/3280/task/3291/stat : 3291 (java) S 3277 3280 2558 0 -1 1077944384 612 0 0 0 4 0 0 0 20 0 15 0 117568897 14315708416 12714 33554432000 4194304 4196468 140724100225472 140031908588400 140032999713410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3292] ppid=3277 vsize=13980184 memory=-1 CPUtime=0.05 cores=0,2,4,6
/proc/3280/task/3292/stat : 3292 (java) S 3277 3280 2558 0 -1 1077944384 430 0 0 0 5 0 0 0 20 0 15 0 117568897 14315708416 12714 33554432000 4194304 4196468 140724100225472 140031907535600 140032999713410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3293] ppid=3277 vsize=13980184 memory=140534580569728 CPUtime=0.08 cores=0,2,4,6
/proc/3280/task/3293/stat : 3293 (java) R 3277 3280 2558 0 -1 4202560 509 0 0 0 8 0 0 0 20 0 15 0 117568897 14315708416 12714 33554432000 4194304 4196468 140724100225472 140031570209392 140032999714198 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3294] ppid=3277 vsize=13980184 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3280/task/3294/stat : 3294 (java) S 3277 3280 2558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117568897 14315708416 12714 33554432000 4194304 4196468 140724100225472 140031569156832 140032999712469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3295] ppid=3277 vsize=13980184 memory=140534580569728 CPUtime=0 cores=0,2,4,6
/proc/3280/task/3295/stat : 3295 (java) S 3277 3280 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117568897 14315708416 12714 33554432000 4194304 4196468 140724100225472 140031568104112 140032999713410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 13980184 KiB
Current children cumulated memory: 50856 KiB
[startup+0.701216 s]
/proc/loadavg: 1.35 1.34 1.40 5/215 3295
/proc/meminfo: memFree=30772612/32770624 swapFree=67108860/67108860
[pid=3280] ppid=3277 vsize=13982232 memory=97832 CPUtime=1.54 cores=0,2,4,6
/proc/3280/stat : 3280 (java) S 3277 3280 2558 0 -1 1077944320 13970 0 0 0 150 4 0 0 20 0 15 0 117568891 14317805568 24458 33554432000 4194304 4196468 140724100225472 140724100208016 140032999702263 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
/proc/3280/statm: 3495558 24458 3774 1 0 3483273 0
[pid=3280/tid=3282] ppid=3277 vsize=13982232 memory=19352 CPUtime=0.67 cores=0,2,4,6
/proc/3280/task/3282/stat : 3282 (java) R 3277 3280 2558 0 -1 4202560 8440 0 0 0 64 3 0 0 20 0 15 0 117568892 14317805568 24458 33554432000 4194304 4196468 140724100225472 140033003939360 140032593757204 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3283] ppid=3277 vsize=13982232 memory=18444 CPUtime=0 cores=0,2,4,6
/proc/3280/task/3283/stat : 3283 (java) S 3277 3280 2558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117568893 14317805568 24458 33554432000 4194304 4196468 140724100225472 140032914771088 140032999712469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3284] ppid=3277 vsize=13982232 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/3280/task/3284/stat : 3284 (java) S 3277 3280 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117568893 14317805568 24458 33554432000 4194304 4196468 140724100225472 140032913718288 140032999712469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3285] ppid=3277 vsize=13982232 memory=640 CPUtime=0 cores=0,2,4,6
/proc/3280/task/3285/stat : 3285 (java) S 3277 3280 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117568893 14317805568 24458 33554432000 4194304 4196468 140724100225472 140032593619856 140032999712469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3286] ppid=3277 vsize=13982232 memory=952 CPUtime=0 cores=0,2,4,6
/proc/3280/task/3286/stat : 3286 (java) S 3277 3280 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117568893 14317805568 24458 33554432000 4194304 4196468 140724100225472 140032592567056 140032999712469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3287] ppid=3277 vsize=13982232 memory=1236 CPUtime=0 cores=0,2,4,6
/proc/3280/task/3287/stat : 3287 (java) S 3277 3280 2558 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 117568894 14317805568 24458 33554432000 4194304 4196468 140724100225472 140031912798576 140032999713410 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3288] ppid=3277 vsize=13982232 memory=4384 CPUtime=0 cores=0,2,4,6
/proc/3280/task/3288/stat : 3288 (java) S 3277 3280 2558 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117568894 14317805568 24458 33554432000 4194304 4196468 140724100225472 140031911744544 140032999712469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3289] ppid=3277 vsize=13982232 memory=932 CPUtime=0 cores=0,2,4,6
/proc/3280/task/3289/stat : 3289 (java) S 3277 3280 2558 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117568895 14317805568 24458 33554432000 4194304 4196468 140724100225472 140031910691696 140032999712469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3290] ppid=3277 vsize=13982232 memory=6153431502485415780 CPUtime=0 cores=0,2,4,6
/proc/3280/task/3290/stat : 3290 (java) S 3277 3280 2558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117568897 14317805568 24458 33554432000 4194304 4196468 140724100225472 140031909640016 140032999720859 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3291] ppid=3277 vsize=13982232 memory=6081108994580048232 CPUtime=0.26 cores=0,2,4,6
/proc/3280/task/3291/stat : 3291 (java) R 3277 3280 2558 0 -1 4202560 1560 0 0 0 26 0 0 0 20 0 15 0 117568897 14317805568 24458 33554432000 4194304 4196468 140724100225472 140031908581440 140032985757568 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3292] ppid=3277 vsize=13982232 memory=6154282490091891024 CPUtime=0.29 cores=0,2,4,6
/proc/3280/task/3292/stat : 3292 (java) R 3277 3280 2558 0 -1 4202560 1355 0 0 0 29 0 0 0 20 0 15 0 117568897 14317805568 24458 33554432000 4194304 4196468 140724100225472 140031907516616 140032981245986 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3293] ppid=3277 vsize=13982232 memory=0 CPUtime=0.29 cores=0,2,4,6
/proc/3280/task/3293/stat : 3293 (java) S 3277 3280 2558 0 -1 1077944384 1250 0 0 0 29 0 0 0 20 0 15 0 117568897 14317805568 24458 33554432000 4194304 4196468 140724100225472 140031570209392 140032999713410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3294] ppid=3277 vsize=13982232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3280/task/3294/stat : 3294 (java) S 3277 3280 2558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117568897 14317805568 24458 33554432000 4194304 4196468 140724100225472 140031569156832 140032999712469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3295] ppid=3277 vsize=13982232 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/3280/task/3295/stat : 3295 (java) S 3277 3280 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117568897 14317805568 24458 33554432000 4194304 4196468 140724100225472 140031568104112 140032999713410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
Current children cumulated CPU time: 1.54 s
Current children cumulated vsize: 13982232 KiB
Current children cumulated memory: 97832 KiB
[startup+1.50074 s]
/proc/loadavg: 1.35 1.34 1.40 5/215 3295
/proc/meminfo: memFree=30708276/32770624 swapFree=67108860/67108860
[pid=3280] ppid=3277 vsize=13984280 memory=183964 CPUtime=4 cores=0,2,4,6
/proc/3280/stat : 3280 (java) S 3277 3280 2558 0 -1 1077944320 20706 0 0 0 393 7 0 0 20 0 15 0 117568891 14319902720 45991 33554432000 4194304 4196468 140724100225472 140724100208016 140032999702263 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
/proc/3280/statm: 3496070 45991 3796 1 0 3483785 0
[pid=3280/tid=3282] ppid=3277 vsize=13984280 memory=146844 CPUtime=1.46 cores=0,2,4,6
/proc/3280/task/3282/stat : 3282 (java) R 3277 3280 2558 0 -1 4202560 9955 0 0 0 141 5 0 0 20 0 15 0 117568892 14319902720 45991 33554432000 4194304 4196468 140724100225472 140033003939360 140032601007670 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3283] ppid=3277 vsize=13984280 memory=33 CPUtime=0 cores=0,2,4,6
/proc/3280/task/3283/stat : 3283 (java) S 3277 3280 2558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117568893 14319902720 45991 33554432000 4194304 4196468 140724100225472 140032914771088 140032999712469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3284] ppid=3277 vsize=13984280 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3280/task/3284/stat : 3284 (java) S 3277 3280 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117568893 14319902720 45991 33554432000 4194304 4196468 140724100225472 140032913718288 140032999712469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3285] ppid=3277 vsize=13984280 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/3280/task/3285/stat : 3285 (java) S 3277 3280 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117568893 14319902720 45991 33554432000 4194304 4196468 140724100225472 140032593619856 140032999712469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3286] ppid=3277 vsize=13984280 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3280/task/3286/stat : 3286 (java) S 3277 3280 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117568893 14319902720 45991 33554432000 4194304 4196468 140724100225472 140032592567056 140032999712469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3287] ppid=3277 vsize=13984280 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3280/task/3287/stat : 3287 (java) S 3277 3280 2558 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 117568894 14319902720 45991 33554432000 4194304 4196468 140724100225472 140031912798576 140032999713410 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
################
# More data... #
################
/proc/3280/task/3282/stat : 3282 (java) R 3277 3280 2558 0 -1 4202560 101522 0 0 0 235857 81 0 0 20 0 15 0 117568892 14321999872 239841 33554432000 4194304 4196468 140724100225472 140033003940384 140032603307603 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3283] ppid=3277 vsize=13986328 memory=983980 CPUtime=19.93 cores=0,2,4,6
/proc/3280/task/3283/stat : 3283 (java) S 3277 3280 2558 0 -1 1077944384 14883 0 0 0 1932 61 0 0 20 0 15 0 117568893 14321999872 239841 33554432000 4194304 4196468 140724100225472 140032914771088 140032999712469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3284] ppid=3277 vsize=13986328 memory=983980 CPUtime=19.95 cores=0,2,4,6
/proc/3280/task/3284/stat : 3284 (java) S 3277 3280 2558 0 -1 1077944384 13191 0 0 0 1935 60 0 0 20 0 15 0 117568893 14321999872 239841 33554432000 4194304 4196468 140724100225472 140032913718288 140032999712469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3285] ppid=3277 vsize=13986328 memory=971668 CPUtime=19.93 cores=0,2,4,6
/proc/3280/task/3285/stat : 3285 (java) S 3277 3280 2558 0 -1 1077944384 12073 0 0 0 1931 62 0 0 20 0 15 0 117568893 14321999872 239841 33554432000 4194304 4196468 140724100225472 140032593619856 140032999712469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3286] ppid=3277 vsize=13986328 memory=971668 CPUtime=19.93 cores=0,2,4,6
/proc/3280/task/3286/stat : 3286 (java) S 3277 3280 2558 0 -1 1077944384 17186 0 0 0 1931 62 0 0 20 0 15 0 117568893 14321999872 239841 33554432000 4194304 4196468 140724100225472 140032592567056 140032999712469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3287] ppid=3277 vsize=13986328 memory=959364 CPUtime=1.91 cores=0,2,4,6
/proc/3280/task/3287/stat : 3287 (java) S 3277 3280 2558 0 -1 1077944384 70320 0 0 0 156 35 0 0 20 0 15 0 117568894 14321999872 239841 33554432000 4194304 4196468 140724100225472 140031912798576 140032999713410 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3288] ppid=3277 vsize=13986328 memory=959364 CPUtime=0 cores=0,2,4,6
/proc/3280/task/3288/stat : 3288 (java) S 3277 3280 2558 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 117568894 14321999872 239841 33554432000 4194304 4196468 140724100225472 140031911744608 140032999712469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3289] ppid=3277 vsize=13986328 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3280/task/3289/stat : 3289 (java) S 3277 3280 2558 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 117568895 14321999872 239841 33554432000 4194304 4196468 140724100225472 140031910691712 140032999712469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3290] ppid=3277 vsize=13986328 memory=131 CPUtime=0 cores=0,2,4,6
/proc/3280/task/3290/stat : 3290 (java) S 3277 3280 2558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117568897 14321999872 239841 33554432000 4194304 4196468 140724100225472 140031909640016 140032999720859 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3291] ppid=3277 vsize=13986328 memory=32980 CPUtime=2.9 cores=0,2,4,6
/proc/3280/task/3291/stat : 3291 (java) S 3277 3280 2558 0 -1 1077944384 19905 0 0 0 287 3 0 0 20 0 15 0 117568897 14321999872 239841 33554432000 4194304 4196468 140724100225472 140031908588400 140032999713410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3292] ppid=3277 vsize=13986328 memory=1296 CPUtime=3.4 cores=0,2,4,6
/proc/3280/task/3292/stat : 3292 (java) S 3277 3280 2558 0 -1 1077944384 23665 0 0 0 337 3 0 0 20 0 15 0 117568897 14321999872 239841 33554432000 4194304 4196468 140724100225472 140031907535600 140032999713410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3293] ppid=3277 vsize=13986328 memory=1928 CPUtime=1.29 cores=0,2,4,6
/proc/3280/task/3293/stat : 3293 (java) S 3277 3280 2558 0 -1 1077944384 26622 0 0 0 126 3 0 0 20 0 15 0 117568897 14321999872 239841 33554432000 4194304 4196468 140724100225472 140031570209392 140032999713410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3294] ppid=3277 vsize=13986328 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/3280/task/3294/stat : 3294 (java) S 3277 3280 2558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117568897 14321999872 239841 33554432000 4194304 4196468 140724100225472 140031569156832 140032999712469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3295] ppid=3277 vsize=13986328 memory=4132 CPUtime=1.33 cores=0,2,4,6
/proc/3280/task/3295/stat : 3295 (java) S 3277 3280 2558 0 -1 1077944384 1019 0 0 0 63 70 0 0 20 0 15 0 117568897 14321999872 239841 33554432000 4194304 4196468 140724100225472 140031568104112 140032999713410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
Current children cumulated CPU time: 2450.05 s
Current children cumulated vsize: 13986328 KiB
Current children cumulated memory: 959364 KiB
[startup+2442.3 s]
/proc/loadavg: 1.25 1.31 1.41 3/216 3465
/proc/meminfo: memFree=29974684/32770624 swapFree=67108860/67108860
[pid=3280] ppid=3277 vsize=13986328 memory=970988 CPUtime=2511.57 cores=0,2,4,6
/proc/3280/stat : 3280 (java) S 3277 3280 2558 0 -1 1077944320 304619 0 0 0 250729 428 0 0 20 0 15 0 117568891 14321999872 242747 33554432000 4194304 4196468 140724100225472 140724100208016 140032999702263 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
/proc/3280/statm: 3496582 242747 3870 1 0 3484297 0
[pid=3280/tid=3282] ppid=3277 vsize=13986328 memory=977144 CPUtime=2418.79 cores=0,2,4,6
/proc/3280/task/3282/stat : 3282 (java) R 3277 3280 2558 0 -1 4202560 102944 0 0 0 241796 83 0 0 20 0 15 0 117568892 14321999872 242747 33554432000 4194304 4196468 140724100225472 140033003940496 140032603307615 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3283] ppid=3277 vsize=13986328 memory=877500 CPUtime=20.43 cores=0,2,4,6
/proc/3280/task/3283/stat : 3283 (java) S 3277 3280 2558 0 -1 1077944384 15167 0 0 0 1980 63 0 0 20 0 15 0 117568893 14321999872 242747 33554432000 4194304 4196468 140724100225472 140032914771088 140032999712469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3284] ppid=3277 vsize=13986328 memory=886880 CPUtime=20.45 cores=0,2,4,6
/proc/3280/task/3284/stat : 3284 (java) S 3277 3280 2558 0 -1 1077944384 13368 0 0 0 1984 61 0 0 20 0 15 0 117568893 14321999872 242747 33554432000 4194304 4196468 140724100225472 140032913718288 140032999712469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3285] ppid=3277 vsize=13986328 memory=868696 CPUtime=20.43 cores=0,2,4,6
/proc/3280/task/3285/stat : 3285 (java) S 3277 3280 2558 0 -1 1077944384 12292 0 0 0 1980 63 0 0 20 0 15 0 117568893 14321999872 242747 33554432000 4194304 4196468 140724100225472 140032593619856 140032999712469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3286] ppid=3277 vsize=13986328 memory=880724 CPUtime=20.44 cores=0,2,4,6
/proc/3280/task/3286/stat : 3286 (java) S 3277 3280 2558 0 -1 1077944384 17571 0 0 0 1981 63 0 0 20 0 15 0 117568893 14321999872 242747 33554432000 4194304 4196468 140724100225472 140032592567056 140032999712469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3287] ppid=3277 vsize=13986328 memory=862540 CPUtime=1.96 cores=0,2,4,6
/proc/3280/task/3287/stat : 3287 (java) S 3277 3280 2558 0 -1 1077944384 70562 0 0 0 160 36 0 0 20 0 15 0 117568894 14321999872 242747 33554432000 4194304 4196468 140724100225472 140031912798576 140032999713410 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3288] ppid=3277 vsize=13986328 memory=868716 CPUtime=0 cores=0,2,4,6
/proc/3280/task/3288/stat : 3288 (java) S 3277 3280 2558 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 117568894 14321999872 242747 33554432000 4194304 4196468 140724100225472 140031911744608 140032999712469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3289] ppid=3277 vsize=13986328 memory=977144 CPUtime=0 cores=0,2,4,6
/proc/3280/task/3289/stat : 3289 (java) S 3277 3280 2558 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 117568895 14321999872 242747 33554432000 4194304 4196468 140724100225472 140031910691712 140032999712469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3290] ppid=3277 vsize=13986328 memory=977144 CPUtime=0 cores=0,2,4,6
/proc/3280/task/3290/stat : 3290 (java) S 3277 3280 2558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117568897 14321999872 242747 33554432000 4194304 4196468 140724100225472 140031909640016 140032999720859 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3291] ppid=3277 vsize=13986328 memory=970988 CPUtime=2.9 cores=0,2,4,6
/proc/3280/task/3291/stat : 3291 (java) S 3277 3280 2558 0 -1 1077944384 19907 0 0 0 287 3 0 0 20 0 15 0 117568897 14321999872 242747 33554432000 4194304 4196468 140724100225472 140031908588400 140032999713410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3292] ppid=3277 vsize=13986328 memory=977144 CPUtime=3.4 cores=0,2,4,6
/proc/3280/task/3292/stat : 3292 (java) S 3277 3280 2558 0 -1 1077944384 23667 0 0 0 337 3 0 0 20 0 15 0 117568897 14321999872 242747 33554432000 4194304 4196468 140724100225472 140031907535600 140032999713410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3293] ppid=3277 vsize=13986328 memory=868632 CPUtime=1.29 cores=0,2,4,6
/proc/3280/task/3293/stat : 3293 (java) S 3277 3280 2558 0 -1 1077944384 26624 0 0 0 126 3 0 0 20 0 15 0 117568897 14321999872 242747 33554432000 4194304 4196468 140724100225472 140031570209392 140032999713410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3294] ppid=3277 vsize=13986328 memory=977144 CPUtime=0 cores=0,2,4,6
/proc/3280/task/3294/stat : 3294 (java) S 3277 3280 2558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117568897 14321999872 242747 33554432000 4194304 4196468 140724100225472 140031569156832 140032999712469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3295] ppid=3277 vsize=13986328 memory=977144 CPUtime=1.36 cores=0,2,4,6
/proc/3280/task/3295/stat : 3295 (java) S 3277 3280 2558 0 -1 1077944384 1034 0 0 0 65 71 0 0 20 0 15 0 117568897 14321999872 242747 33554432000 4194304 4196468 140724100225472 140031568104112 140032999713410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
Current children cumulated CPU time: 2511.57 s
Current children cumulated vsize: 13986328 KiB
Current children cumulated memory: 970988 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2450.5 s]
/proc/loadavg: 1.23 1.31 1.41 3/216 3471
/proc/meminfo: memFree=29992540/32770624 swapFree=67108860/67108860
[pid=3280] ppid=3277 vsize=13986328 memory=958676 CPUtime=2520 cores=0,2,4,6
/proc/3280/stat : 3280 (java) S 3277 3280 2558 0 -1 1077944320 304663 0 0 0 251572 428 0 0 20 0 15 0 117568891 14321999872 239669 33554432000 4194304 4196468 140724100225472 140724100208016 140032999702263 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
/proc/3280/statm: 3496582 239669 3870 1 0 3484297 0
[pid=3280/tid=3282] ppid=3277 vsize=13986328 memory=958676 CPUtime=2426.91 cores=0,2,4,6
/proc/3280/task/3282/stat : 3282 (java) R 3277 3280 2558 0 -1 4202560 102957 0 0 0 242608 83 0 0 20 0 15 0 117568892 14321999872 239669 33554432000 4194304 4196468 140724100225472 140033003940496 140032605041429 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3283] ppid=3277 vsize=13986328 memory=958676 CPUtime=20.51 cores=0,2,4,6
/proc/3280/task/3283/stat : 3283 (java) S 3277 3280 2558 0 -1 1077944384 15174 0 0 0 1988 63 0 0 20 0 15 0 117568893 14321999872 239669 33554432000 4194304 4196468 140724100225472 140032914771088 140032999712469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3284] ppid=3277 vsize=13986328 memory=958676 CPUtime=20.53 cores=0,2,4,6
/proc/3280/task/3284/stat : 3284 (java) S 3277 3280 2558 0 -1 1077944384 13374 0 0 0 1992 61 0 0 20 0 15 0 117568893 14321999872 239669 33554432000 4194304 4196468 140724100225472 140032913718288 140032999712469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3285] ppid=3277 vsize=13986328 memory=964832 CPUtime=20.51 cores=0,2,4,6
/proc/3280/task/3285/stat : 3285 (java) S 3277 3280 2558 0 -1 1077944384 12305 0 0 0 1988 63 0 0 20 0 15 0 117568893 14321999872 239669 33554432000 4194304 4196468 140724100225472 140032593619856 140032999712469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3286] ppid=3277 vsize=13986328 memory=964832 CPUtime=20.51 cores=0,2,4,6
/proc/3280/task/3286/stat : 3286 (java) S 3277 3280 2558 0 -1 1077944384 17576 0 0 0 1988 63 0 0 20 0 15 0 117568893 14321999872 239669 33554432000 4194304 4196468 140724100225472 140032592567056 140032999712469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3287] ppid=3277 vsize=13986328 memory=958676 CPUtime=1.96 cores=0,2,4,6
/proc/3280/task/3287/stat : 3287 (java) S 3277 3280 2558 0 -1 1077944384 70562 0 0 0 160 36 0 0 20 0 15 0 117568894 14321999872 239669 33554432000 4194304 4196468 140724100225472 140031912798576 140032999713410 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3288] ppid=3277 vsize=13986328 memory=964832 CPUtime=0 cores=0,2,4,6
/proc/3280/task/3288/stat : 3288 (java) S 3277 3280 2558 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 117568894 14321999872 239669 33554432000 4194304 4196468 140724100225472 140031911744608 140032999712469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3289] ppid=3277 vsize=13986328 memory=862540 CPUtime=0 cores=0,2,4,6
/proc/3280/task/3289/stat : 3289 (java) S 3277 3280 2558 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 117568895 14321999872 239669 33554432000 4194304 4196468 140724100225472 140031910691712 140032999712469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3290] ppid=3277 vsize=13986328 memory=880724 CPUtime=0 cores=0,2,4,6
/proc/3280/task/3290/stat : 3290 (java) S 3277 3280 2558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117568897 14321999872 239669 33554432000 4194304 4196468 140724100225472 140031909640016 140032999720859 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3291] ppid=3277 vsize=13986328 memory=868696 CPUtime=2.9 cores=0,2,4,6
/proc/3280/task/3291/stat : 3291 (java) S 3277 3280 2558 0 -1 1077944384 19907 0 0 0 287 3 0 0 20 0 15 0 117568897 14321999872 239669 33554432000 4194304 4196468 140724100225472 140031908588400 140032999713410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3292] ppid=3277 vsize=13986328 memory=886880 CPUtime=3.4 cores=0,2,4,6
/proc/3280/task/3292/stat : 3292 (java) S 3277 3280 2558 0 -1 1077944384 23667 0 0 0 337 3 0 0 20 0 15 0 117568897 14321999872 239669 33554432000 4194304 4196468 140724100225472 140031907535600 140032999713410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3293] ppid=3277 vsize=13986328 memory=958676 CPUtime=1.29 cores=0,2,4,6
/proc/3280/task/3293/stat : 3293 (java) S 3277 3280 2558 0 -1 1077944384 26624 0 0 0 126 3 0 0 20 0 15 0 117568897 14321999872 239669 33554432000 4194304 4196468 140724100225472 140031570209392 140032999713410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3294] ppid=3277 vsize=13986328 memory=958676 CPUtime=0 cores=0,2,4,6
/proc/3280/task/3294/stat : 3294 (java) S 3277 3280 2558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117568897 14321999872 239669 33554432000 4194304 4196468 140724100225472 140031569156832 140032999712469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3295] ppid=3277 vsize=13986328 memory=970988 CPUtime=1.37 cores=0,2,4,6
/proc/3280/task/3295/stat : 3295 (java) S 3277 3280 2558 0 -1 1077944384 1034 0 0 0 65 72 0 0 20 0 15 0 117568897 14321999872 239669 33554432000 4194304 4196468 140724100225472 140031568104112 140032999713410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 13986328 KiB
Current children cumulated memory: 958676 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2450.53 s]
# the end of solver process 3280 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.76 s, system=4.29312 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2450.5 s]
/proc/loadavg: 1.23 1.31 1.41 3/216 3471
/proc/meminfo: memFree=29992540/32770624 swapFree=67108860/67108860
[pid=3280] ppid=3277 vsize=13986328 memory=958676 CPUtime=2520 cores=0,2,4,6
/proc/3280/stat : 3280 (java) S 3277 3280 2558 0 -1 1077944320 304663 0 0 0 251572 428 0 0 20 0 15 0 117568891 14321999872 239669 33554432000 4194304 4196468 140724100225472 140724100208016 140032999702263 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
/proc/3280/statm: 3496582 239669 3870 1 0 3484297 0
[pid=3280/tid=3282] ppid=3277 vsize=13986328 memory=958676 CPUtime=2426.91 cores=0,2,4,6
/proc/3280/task/3282/stat : 3282 (java) R 3277 3280 2558 0 -1 4202560 102957 0 0 0 242608 83 0 0 20 0 15 0 117568892 14321999872 239669 33554432000 4194304 4196468 140724100225472 140033003940496 140032605041429 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3283] ppid=3277 vsize=13986328 memory=958676 CPUtime=20.51 cores=0,2,4,6
/proc/3280/task/3283/stat : 3283 (java) S 3277 3280 2558 0 -1 1077944384 15174 0 0 0 1988 63 0 0 20 0 15 0 117568893 14321999872 239669 33554432000 4194304 4196468 140724100225472 140032914771088 140032999712469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3284] ppid=3277 vsize=13986328 memory=958676 CPUtime=20.53 cores=0,2,4,6
/proc/3280/task/3284/stat : 3284 (java) S 3277 3280 2558 0 -1 1077944384 13374 0 0 0 1992 61 0 0 20 0 15 0 117568893 14321999872 239669 33554432000 4194304 4196468 140724100225472 140032913718288 140032999712469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3285] ppid=3277 vsize=13986328 memory=964832 CPUtime=20.51 cores=0,2,4,6
/proc/3280/task/3285/stat : 3285 (java) S 3277 3280 2558 0 -1 1077944384 12305 0 0 0 1988 63 0 0 20 0 15 0 117568893 14321999872 239669 33554432000 4194304 4196468 140724100225472 140032593619856 140032999712469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3286] ppid=3277 vsize=13986328 memory=964832 CPUtime=20.51 cores=0,2,4,6
/proc/3280/task/3286/stat : 3286 (java) S 3277 3280 2558 0 -1 1077944384 17576 0 0 0 1988 63 0 0 20 0 15 0 117568893 14321999872 239669 33554432000 4194304 4196468 140724100225472 140032592567056 140032999712469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3287] ppid=3277 vsize=13986328 memory=958676 CPUtime=1.96 cores=0,2,4,6
/proc/3280/task/3287/stat : 3287 (java) S 3277 3280 2558 0 -1 1077944384 70562 0 0 0 160 36 0 0 20 0 15 0 117568894 14321999872 239669 33554432000 4194304 4196468 140724100225472 140031912798576 140032999713410 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3288] ppid=3277 vsize=13986328 memory=964832 CPUtime=0 cores=0,2,4,6
/proc/3280/task/3288/stat : 3288 (java) S 3277 3280 2558 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 117568894 14321999872 239669 33554432000 4194304 4196468 140724100225472 140031911744608 140032999712469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3289] ppid=3277 vsize=13986328 memory=862540 CPUtime=0 cores=0,2,4,6
/proc/3280/task/3289/stat : 3289 (java) S 3277 3280 2558 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 117568895 14321999872 239669 33554432000 4194304 4196468 140724100225472 140031910691712 140032999712469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3290] ppid=3277 vsize=13986328 memory=880724 CPUtime=0 cores=0,2,4,6
/proc/3280/task/3290/stat : 3290 (java) S 3277 3280 2558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117568897 14321999872 239669 33554432000 4194304 4196468 140724100225472 140031909640016 140032999720859 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3291] ppid=3277 vsize=13986328 memory=868696 CPUtime=2.9 cores=0,2,4,6
/proc/3280/task/3291/stat : 3291 (java) S 3277 3280 2558 0 -1 1077944384 19907 0 0 0 287 3 0 0 20 0 15 0 117568897 14321999872 239669 33554432000 4194304 4196468 140724100225472 140031908588400 140032999713410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3292] ppid=3277 vsize=13986328 memory=886880 CPUtime=3.4 cores=0,2,4,6
/proc/3280/task/3292/stat : 3292 (java) S 3277 3280 2558 0 -1 1077944384 23667 0 0 0 337 3 0 0 20 0 15 0 117568897 14321999872 239669 33554432000 4194304 4196468 140724100225472 140031907535600 140032999713410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3293] ppid=3277 vsize=13986328 memory=958676 CPUtime=1.29 cores=0,2,4,6
/proc/3280/task/3293/stat : 3293 (java) S 3277 3280 2558 0 -1 1077944384 26624 0 0 0 126 3 0 0 20 0 15 0 117568897 14321999872 239669 33554432000 4194304 4196468 140724100225472 140031570209392 140032999713410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3294] ppid=3277 vsize=13986328 memory=958676 CPUtime=0 cores=0,2,4,6
/proc/3280/task/3294/stat : 3294 (java) S 3277 3280 2558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117568897 14321999872 239669 33554432000 4194304 4196468 140724100225472 140031569156832 140032999712469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
[pid=3280/tid=3295] ppid=3277 vsize=13986328 memory=970988 CPUtime=1.37 cores=0,2,4,6
/proc/3280/task/3295/stat : 3295 (java) S 3277 3280 2558 0 -1 1077944384 1034 0 0 0 65 72 0 0 20 0 15 0 117568897 14321999872 239669 33554432000 4194304 4196468 140724100225472 140031568104112 140032999713410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22802432 140724100228200 140724100228383 140724100228383 140724100231119 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 13986328 KiB
Current children cumulated memory: 958676 KiB
Child status: 143
Real time (s): 2450.53
CPU time (s): 2520.06
CPU user time (s): 2515.76
CPU system time (s): 4.29312
CPU usage (%): 102.837
Max. virtual memory (cumulated for all children) (KiB): 13986328
Max. memory (cumulated for all children) (KiB): 1246680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.76
system time used= 4.29312
maximum resident set size= 1247844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 305498
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 95974
involuntary context switches= 4559
# summary of solver processes directly reported to runsolver:
# pid: 3280
# total CPU time (s): 2520.06
# total CPU user time (s): 2515.76
# total CPU system time (s): 4.29312
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.1064 second user time and 22.5804 second system time
The end