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 (12041 MiB free)
memory of node 1: 16384 MiB (10860 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4311671-1534551049/watcher-4311671-1534551049 -o /tmp/evaluation-result-4311671-1534551049/solver-4311671-1534551049 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1534541038-12299 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1306271232 --timelimit 2520 --memlimit 11000 --nbcore 1 HOME/instance-4311671-1534551049.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=13438, runsolver pid=13435
Current StackSize limit: 8192 KiB
[startup+0.108385 s]*
/proc/loadavg: 1.69 1.66 1.66 3/216 13453
/proc/meminfo: memFree=23432488/32770624 swapFree=67105356/67108860
[pid=13438] ppid=13435 vsize=14082736 memory=34112 CPUtime=0.13 cores=1,3,5,7
/proc/13438/stat : 13438 (java) S 13435 13438 12267 0 -1 1077944320 7402 0 0 0 12 1 0 0 20 0 15 0 272668125 14420721664 8528 33554432000 4194304 4196468 140726570177120 140726570159664 140089227734775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
/proc/13438/statm: 3520684 8528 3160 1 0 3482761 0
[pid=13438/tid=13440] ppid=13435 vsize=14082736 memory=-8485517772678534274 CPUtime=0.1 cores=1,3,5,7
/proc/13438/task/13440/stat : 13440 (java) R 13435 13438 12267 0 -1 4202560 5472 0 0 0 9 1 0 0 20 0 15 0 272668125 14420721664 8528 33554432000 4194304 4196468 140726570177120 140089231959640 140088831950379 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13441] ppid=13435 vsize=14082736 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/13438/task/13441/stat : 13441 (java) S 13435 13438 12267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272668126 14420721664 8528 33554432000 4194304 4196468 140726570177120 140089157822864 140089227744981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13442] ppid=13435 vsize=14082736 memory=140268721444480 CPUtime=0 cores=1,3,5,7
/proc/13438/task/13442/stat : 13442 (java) S 13435 13438 12267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272668126 14420721664 8528 33554432000 4194304 4196468 140726570177120 140089156770064 140089227744981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13443] ppid=13435 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13438/task/13443/stat : 13443 (java) S 13435 13438 12267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272668126 14420721664 8528 33554432000 4194304 4196468 140726570177120 140089155717776 140089227744981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13444] ppid=13435 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13438/task/13444/stat : 13444 (java) S 13435 13438 12267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272668126 14420721664 8528 33554432000 4194304 4196468 140726570177120 140089154664976 140089227744981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13445] ppid=13435 vsize=14082736 memory=140268721444480 CPUtime=0 cores=1,3,5,7
/proc/13438/task/13445/stat : 13445 (java) S 13435 13438 12267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272668127 14420721664 8528 33554432000 4194304 4196468 140726570177120 140088701307504 140089227745922 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13446] ppid=13435 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13438/task/13446/stat : 13446 (java) S 13435 13438 12267 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272668128 14420721664 8528 33554432000 4194304 4196468 140726570177120 140088700253472 140089227744981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13447] ppid=13435 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13438/task/13447/stat : 13447 (java) S 13435 13438 12267 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272668128 14420721664 8528 33554432000 4194304 4196468 140726570177120 140088699201136 140089227744981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13448] ppid=13435 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13438/task/13448/stat : 13448 (java) S 13435 13438 12267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668130 14420721664 8528 33554432000 4194304 4196468 140726570177120 140088698149456 140089227753371 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13449] ppid=13435 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13438/task/13449/stat : 13449 (java) S 13435 13438 12267 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 272668130 14420721664 8528 33554432000 4194304 4196468 140726570177120 140088697096304 140089227745922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13450] ppid=13435 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13438/task/13450/stat : 13450 (java) S 13435 13438 12267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668130 14420721664 8528 33554432000 4194304 4196468 140726570177120 140088696043504 140089227745922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13451] ppid=13435 vsize=14082736 memory=140268721444480 CPUtime=0.01 cores=1,3,5,7
/proc/13438/task/13451/stat : 13451 (java) S 13435 13438 12267 0 -1 1077944384 280 0 0 0 1 0 0 0 20 0 15 0 272668130 14420721664 8528 33554432000 4194304 4196468 140726570177120 140088694991216 140089227745922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13452] ppid=13435 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13438/task/13452/stat : 13452 (java) S 13435 13438 12267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668130 14420721664 8528 33554432000 4194304 4196468 140726570177120 140088693938656 140089227744981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13453] ppid=13435 vsize=14082736 memory=140268721444480 CPUtime=0 cores=1,3,5,7
/proc/13438/task/13453/stat : 13453 (java) S 13435 13438 12267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272668131 14420721664 8528 33554432000 4194304 4196468 140726570177120 140088692886448 140089227745922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 34112 KiB
[startup+0.211384 s]*
/proc/loadavg: 1.69 1.66 1.66 5/216 13453
/proc/meminfo: memFree=23417728/32770624 swapFree=67105356/67108860
[pid=13438] ppid=13435 vsize=14082736 memory=47292 CPUtime=0.3 cores=1,3,5,7
/proc/13438/stat : 13438 (java) S 13435 13438 12267 0 -1 1077944320 10436 0 0 0 28 2 0 0 20 0 15 0 272668125 14420721664 11823 33554432000 4194304 4196468 140726570177120 140726570159664 140089227734775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
/proc/13438/statm: 3520684 11823 3373 1 0 3482761 0
[pid=13438/tid=13440] ppid=13435 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/13438/task/13440/stat : 13440 (java) R 13435 13438 12267 0 -1 4202560 8151 0 0 0 19 1 0 0 20 0 15 0 272668125 14420721664 11823 33554432000 4194304 4196468 140726570177120 140089231963312 140089219971902 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13441] ppid=13435 vsize=14082736 memory=365 CPUtime=0 cores=1,3,5,7
/proc/13438/task/13441/stat : 13441 (java) S 13435 13438 12267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272668126 14420721664 11823 33554432000 4194304 4196468 140726570177120 140089157822864 140089227744981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13442] ppid=13435 vsize=14082736 memory=3617148914900440736 CPUtime=0 cores=1,3,5,7
/proc/13438/task/13442/stat : 13442 (java) S 13435 13438 12267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272668126 14420721664 11823 33554432000 4194304 4196468 140726570177120 140089156770064 140089227744981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13443] ppid=13435 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13438/task/13443/stat : 13443 (java) S 13435 13438 12267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272668126 14420721664 11823 33554432000 4194304 4196468 140726570177120 140089155717776 140089227744981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13444] ppid=13435 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13438/task/13444/stat : 13444 (java) S 13435 13438 12267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272668126 14420721664 11823 33554432000 4194304 4196468 140726570177120 140089154664976 140089227744981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13445] ppid=13435 vsize=14082736 memory=140268721444480 CPUtime=0 cores=1,3,5,7
/proc/13438/task/13445/stat : 13445 (java) S 13435 13438 12267 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 272668127 14420721664 11823 33554432000 4194304 4196468 140726570177120 140088701307504 140089227745922 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13446] ppid=13435 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13438/task/13446/stat : 13446 (java) S 13435 13438 12267 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272668128 14420721664 11823 33554432000 4194304 4196468 140726570177120 140088700253472 140089227744981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13447] ppid=13435 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13438/task/13447/stat : 13447 (java) S 13435 13438 12267 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272668128 14420721664 11823 33554432000 4194304 4196468 140726570177120 140088699201136 140089227744981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13448] ppid=13435 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13438/task/13448/stat : 13448 (java) S 13435 13438 12267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668130 14420721664 11823 33554432000 4194304 4196468 140726570177120 140088698149456 140089227753371 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13449] ppid=13435 vsize=14082736 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/13438/task/13449/stat : 13449 (java) R 13435 13438 12267 0 -1 1077944384 391 0 0 0 1 0 0 0 20 0 15 0 272668130 14420721664 11823 33554432000 4194304 4196468 140726570177120 140088697096432 140089227744981 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13450] ppid=13435 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/13438/task/13450/stat : 13450 (java) R 13435 13438 12267 0 -1 4202560 212 0 0 0 1 0 0 0 20 0 15 0 272668130 14420721664 11823 33554432000 4194304 4196468 140726570177120 140088696043600 140089211640509 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13451] ppid=13435 vsize=14082736 memory=140268721444480 CPUtime=0.06 cores=1,3,5,7
/proc/13438/task/13451/stat : 13451 (java) R 13435 13438 12267 0 -1 4202560 302 0 0 0 6 0 0 0 20 0 15 0 272668130 14420721664 11823 33554432000 4194304 4196468 140726570177120 140088694986480 140089205723153 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13452] ppid=13435 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13438/task/13452/stat : 13452 (java) S 13435 13438 12267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668130 14420721664 11823 33554432000 4194304 4196468 140726570177120 140088693938656 140089227744981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13453] ppid=13435 vsize=14082736 memory=140268721444480 CPUtime=0 cores=1,3,5,7
/proc/13438/task/13453/stat : 13453 (java) S 13435 13438 12267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272668131 14420721664 11823 33554432000 4194304 4196468 140726570177120 140088692886448 140089227745922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47292 KiB
[startup+0.310637 s]*
/proc/loadavg: 1.69 1.66 1.66 4/216 13453
/proc/meminfo: memFree=23414240/32770624 swapFree=67105356/67108860
[pid=13438] ppid=13435 vsize=14082736 memory=50888 CPUtime=0.44 cores=1,3,5,7
/proc/13438/stat : 13438 (java) S 13435 13438 12267 0 -1 1077944320 10804 0 0 0 42 2 0 0 20 0 15 0 272668125 14420721664 12722 33554432000 4194304 4196468 140726570177120 140726570159664 140089227734775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
/proc/13438/statm: 3520684 12722 3416 1 0 3482761 0
[pid=13438/tid=13440] ppid=13435 vsize=14082736 memory=7311146985107750967 CPUtime=0.29 cores=1,3,5,7
/proc/13438/task/13440/stat : 13440 (java) R 13435 13438 12267 0 -1 4202560 8486 0 0 0 28 1 0 0 20 0 15 0 272668125 14420721664 12722 33554432000 4194304 4196468 140726570177120 140089231942608 140089209298335 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13441] ppid=13435 vsize=14082736 memory=304556161963917335 CPUtime=0 cores=1,3,5,7
/proc/13438/task/13441/stat : 13441 (java) S 13435 13438 12267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272668126 14420721664 12722 33554432000 4194304 4196468 140726570177120 140089157822864 140089227744981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13442] ppid=13435 vsize=14082736 memory=4049213004151297696 CPUtime=0 cores=1,3,5,7
/proc/13438/task/13442/stat : 13442 (java) S 13435 13438 12267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272668126 14420721664 12722 33554432000 4194304 4196468 140726570177120 140089156770064 140089227744981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13443] ppid=13435 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13438/task/13443/stat : 13443 (java) S 13435 13438 12267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272668126 14420721664 12722 33554432000 4194304 4196468 140726570177120 140089155717776 140089227744981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13444] ppid=13435 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13438/task/13444/stat : 13444 (java) S 13435 13438 12267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272668126 14420721664 12722 33554432000 4194304 4196468 140726570177120 140089154664976 140089227744981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13445] ppid=13435 vsize=14082736 memory=140268721444480 CPUtime=0 cores=1,3,5,7
/proc/13438/task/13445/stat : 13445 (java) S 13435 13438 12267 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 272668127 14420721664 12722 33554432000 4194304 4196468 140726570177120 140088701307504 140089227745922 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13446] ppid=13435 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13438/task/13446/stat : 13446 (java) S 13435 13438 12267 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272668128 14420721664 12722 33554432000 4194304 4196468 140726570177120 140088700253472 140089227744981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13447] ppid=13435 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13438/task/13447/stat : 13447 (java) S 13435 13438 12267 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272668128 14420721664 12722 33554432000 4194304 4196468 140726570177120 140088699201136 140089227744981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13448] ppid=13435 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13438/task/13448/stat : 13448 (java) S 13435 13438 12267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668130 14420721664 12722 33554432000 4194304 4196468 140726570177120 140088698149456 140089227753371 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13449] ppid=13435 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/13438/task/13449/stat : 13449 (java) S 13435 13438 12267 0 -1 1077944384 396 0 0 0 2 0 0 0 20 0 15 0 272668130 14420721664 12722 33554432000 4194304 4196468 140726570177120 140088697096304 140089227745922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13450] ppid=13435 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/13438/task/13450/stat : 13450 (java) S 13435 13438 12267 0 -1 1077944384 228 0 0 0 2 0 0 0 20 0 15 0 272668130 14420721664 12722 33554432000 4194304 4196468 140726570177120 140088696043504 140089227745922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13451] ppid=13435 vsize=14082736 memory=140268721444480 CPUtime=0.08 cores=1,3,5,7
/proc/13438/task/13451/stat : 13451 (java) S 13435 13438 12267 0 -1 1077944384 312 0 0 0 8 0 0 0 20 0 15 0 272668130 14420721664 12722 33554432000 4194304 4196468 140726570177120 140088694991216 140089227745922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13452] ppid=13435 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13438/task/13452/stat : 13452 (java) S 13435 13438 12267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668130 14420721664 12722 33554432000 4194304 4196468 140726570177120 140088693938656 140089227744981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13453] ppid=13435 vsize=14082736 memory=140268721444480 CPUtime=0 cores=1,3,5,7
/proc/13438/task/13453/stat : 13453 (java) S 13435 13438 12267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272668131 14420721664 12722 33554432000 4194304 4196468 140726570177120 140088692886448 140089227745922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50888 KiB
[startup+0.700736 s]
/proc/loadavg: 1.69 1.66 1.66 3/216 13453
/proc/meminfo: memFree=23389856/32770624 swapFree=67105356/67108860
[pid=13438] ppid=13435 vsize=14084804 memory=89248 CPUtime=0.99 cores=1,3,5,7
/proc/13438/stat : 13438 (java) S 13435 13438 12267 0 -1 1077944320 17651 0 0 0 94 5 0 0 20 0 15 0 272668125 14422839296 22312 33554432000 4194304 4196468 140726570177120 140726570159664 140089227734775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
/proc/13438/statm: 3521201 22312 3500 1 0 3483273 0
[pid=13438/tid=13440] ppid=13435 vsize=14084804 memory=1752 CPUtime=0.67 cores=1,3,5,7
/proc/13438/task/13440/stat : 13440 (java) R 13435 13438 12267 0 -1 4202560 14936 0 0 0 64 3 0 0 20 0 15 0 272668125 14422839296 22312 33554432000 4194304 4196468 140726570177120 140089231957376 140089207917552 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13441] ppid=13435 vsize=14084804 memory=856 CPUtime=0 cores=1,3,5,7
/proc/13438/task/13441/stat : 13441 (java) S 13435 13438 12267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272668126 14422839296 22312 33554432000 4194304 4196468 140726570177120 140089157822864 140089227744981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13442] ppid=13435 vsize=14084804 memory=12468 CPUtime=0 cores=1,3,5,7
/proc/13438/task/13442/stat : 13442 (java) S 13435 13438 12267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272668126 14422839296 22312 33554432000 4194304 4196468 140726570177120 140089156770064 140089227744981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13443] ppid=13435 vsize=14084804 memory=752 CPUtime=0 cores=1,3,5,7
/proc/13438/task/13443/stat : 13443 (java) S 13435 13438 12267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272668126 14422839296 22312 33554432000 4194304 4196468 140726570177120 140089155717776 140089227744981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13444] ppid=13435 vsize=14084804 memory=1612 CPUtime=0 cores=1,3,5,7
/proc/13438/task/13444/stat : 13444 (java) S 13435 13438 12267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272668126 14422839296 22312 33554432000 4194304 4196468 140726570177120 140089154664976 140089227744981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13445] ppid=13435 vsize=14084804 memory=1812 CPUtime=0 cores=1,3,5,7
/proc/13438/task/13445/stat : 13445 (java) S 13435 13438 12267 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 272668127 14422839296 22312 33554432000 4194304 4196468 140726570177120 140088701307504 140089227745922 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13446] ppid=13435 vsize=14084804 memory=1064 CPUtime=0 cores=1,3,5,7
/proc/13438/task/13446/stat : 13446 (java) S 13435 13438 12267 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 272668128 14422839296 22312 33554432000 4194304 4196468 140726570177120 140088700253472 140089227744981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13447] ppid=13435 vsize=14084804 memory=6420 CPUtime=0 cores=1,3,5,7
/proc/13438/task/13447/stat : 13447 (java) S 13435 13438 12267 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 272668128 14422839296 22312 33554432000 4194304 4196468 140726570177120 140088699201136 140089227744981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13448] ppid=13435 vsize=14084804 memory=6297835844906604903 CPUtime=0 cores=1,3,5,7
/proc/13438/task/13448/stat : 13448 (java) S 13435 13438 12267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668130 14422839296 22312 33554432000 4194304 4196468 140726570177120 140088698149456 140089227753371 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13449] ppid=13435 vsize=14084804 memory=7525326301224851042 CPUtime=0.07 cores=1,3,5,7
/proc/13438/task/13449/stat : 13449 (java) S 13435 13438 12267 0 -1 1077944384 550 0 0 0 7 0 0 0 20 0 15 0 272668130 14422839296 22312 33554432000 4194304 4196468 140726570177120 140088697096304 140089227745922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13450] ppid=13435 vsize=14084804 memory=5787213857196369745 CPUtime=0.07 cores=1,3,5,7
/proc/13438/task/13450/stat : 13450 (java) S 13435 13438 12267 0 -1 1077944384 383 0 0 0 7 0 0 0 20 0 15 0 272668130 14422839296 22312 33554432000 4194304 4196468 140726570177120 140088696043504 140089227745922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13451] ppid=13435 vsize=14084804 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/13438/task/13451/stat : 13451 (java) S 13435 13438 12267 0 -1 1077944384 400 0 0 0 15 0 0 0 20 0 15 0 272668130 14422839296 22312 33554432000 4194304 4196468 140726570177120 140088694991216 140089227745922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13452] ppid=13435 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13438/task/13452/stat : 13452 (java) S 13435 13438 12267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668130 14422839296 22312 33554432000 4194304 4196468 140726570177120 140088693938656 140089227744981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13453] ppid=13435 vsize=14084804 memory=33 CPUtime=0 cores=1,3,5,7
/proc/13438/task/13453/stat : 13453 (java) S 13435 13438 12267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272668131 14422839296 22312 33554432000 4194304 4196468 140726570177120 140088692886448 140089227745922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 89248 KiB
[startup+1.50075 s]
/proc/loadavg: 1.69 1.66 1.66 5/216 13453
/proc/meminfo: memFree=23336992/32770624 swapFree=67105356/67108860
[pid=13438] ppid=13435 vsize=14086852 memory=185248 CPUtime=3.4 cores=1,3,5,7
/proc/13438/stat : 13438 (java) S 13435 13438 12267 0 -1 1077944320 24606 0 0 0 332 8 0 0 20 0 15 0 272668125 14424936448 46312 33554432000 4194304 4196468 140726570177120 140726570159664 140089227734775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
/proc/13438/statm: 3521713 46312 3557 1 0 3483785 0
[pid=13438/tid=13440] ppid=13435 vsize=14086852 memory=6791534058613427641 CPUtime=1.47 cores=1,3,5,7
/proc/13438/task/13440/stat : 13440 (java) R 13435 13438 12267 0 -1 4202560 17761 0 0 0 141 6 0 0 20 0 15 0 272668125 14424936448 46312 33554432000 4194304 4196468 140726570177120 140089231969464 140088836831943 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13441] ppid=13435 vsize=14086852 memory=-6951259422114956437 CPUtime=0 cores=1,3,5,7
/proc/13438/task/13441/stat : 13441 (java) S 13435 13438 12267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272668126 14424936448 46312 33554432000 4194304 4196468 140726570177120 140089157822864 140089227744981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13442] ppid=13435 vsize=14086852 memory=-6509546260019855299 CPUtime=0 cores=1,3,5,7
/proc/13438/task/13442/stat : 13442 (java) S 13435 13438 12267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272668126 14424936448 46312 33554432000 4194304 4196468 140726570177120 140089156770064 140089227744981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13443] ppid=13435 vsize=14086852 memory=-7390251449858225344 CPUtime=0 cores=1,3,5,7
/proc/13438/task/13443/stat : 13443 (java) S 13435 13438 12267 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 272668126 14424936448 46312 33554432000 4194304 4196468 140726570177120 140089155717776 140089227744981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13444] ppid=13435 vsize=14086852 memory=4134692831991786133 CPUtime=0 cores=1,3,5,7
/proc/13438/task/13444/stat : 13444 (java) S 13435 13438 12267 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 272668126 14424936448 46312 33554432000 4194304 4196468 140726570177120 140089154664976 140089227744981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13445] ppid=13435 vsize=14086852 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/13438/task/13445/stat : 13445 (java) S 13435 13438 12267 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 15 0 272668127 14424936448 46312 33554432000 4194304 4196468 140726570177120 140088701307504 140089227745922 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
################
# More data... #
################
/proc/13438/task/13440/stat : 13440 (java) R 13435 13438 12267 0 -1 4202560 250489 0 0 0 237140 48 0 0 20 0 15 0 272668125 14429130752 1280289 33554432000 4194304 4196468 140726570177120 140089231972720 140088833346250 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13441] ppid=13435 vsize=14090948 memory=5121156 CPUtime=9.72 cores=1,3,5,7
/proc/13438/task/13441/stat : 13441 (java) S 13435 13438 12267 0 -1 1077944384 63702 0 0 0 879 93 0 0 20 0 15 0 272668126 14429130752 1280289 33554432000 4194304 4196468 140726570177120 140089157822864 140089227744981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13442] ppid=13435 vsize=14090948 memory=5122720 CPUtime=9.72 cores=1,3,5,7
/proc/13438/task/13442/stat : 13442 (java) S 13435 13438 12267 0 -1 1077944384 71443 0 0 0 879 93 0 0 20 0 15 0 272668126 14429130752 1280289 33554432000 4194304 4196468 140726570177120 140089156770064 140089227744981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13443] ppid=13435 vsize=14090948 memory=0 CPUtime=9.7 cores=1,3,5,7
/proc/13438/task/13443/stat : 13443 (java) S 13435 13438 12267 0 -1 1077944384 66320 0 0 0 876 94 0 0 20 0 15 0 272668126 14429130752 1280289 33554432000 4194304 4196468 140726570177120 140089155717776 140089227744981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13444] ppid=13435 vsize=14090948 memory=5121156 CPUtime=9.76 cores=1,3,5,7
/proc/13438/task/13444/stat : 13444 (java) S 13435 13438 12267 0 -1 1077944384 61341 0 0 0 883 93 0 0 20 0 15 0 272668126 14429130752 1280289 33554432000 4194304 4196468 140726570177120 140089154664976 140089227744981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13445] ppid=13435 vsize=14090948 memory=5121156 CPUtime=0.53 cores=1,3,5,7
/proc/13438/task/13445/stat : 13445 (java) S 13435 13438 12267 0 -1 1077944384 20272 0 0 0 48 5 0 0 20 0 15 0 272668127 14429130752 1280289 33554432000 4194304 4196468 140726570177120 140088701307504 140089227745922 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13446] ppid=13435 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13438/task/13446/stat : 13446 (java) S 13435 13438 12267 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 272668128 14429130752 1280289 33554432000 4194304 4196468 140726570177120 140088700253536 140089227744981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13447] ppid=13435 vsize=14090948 memory=5122720 CPUtime=0 cores=1,3,5,7
/proc/13438/task/13447/stat : 13447 (java) S 13435 13438 12267 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 272668128 14429130752 1280289 33554432000 4194304 4196468 140726570177120 140088699201152 140089227744981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13448] ppid=13435 vsize=14090948 memory=14884 CPUtime=0 cores=1,3,5,7
/proc/13438/task/13448/stat : 13448 (java) S 13435 13438 12267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668130 14429130752 1280289 33554432000 4194304 4196468 140726570177120 140088698149456 140089227753371 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13449] ppid=13435 vsize=14090948 memory=5122720 CPUtime=2.5 cores=1,3,5,7
/proc/13438/task/13449/stat : 13449 (java) S 13435 13438 12267 0 -1 1077944384 9276 0 0 0 250 0 0 0 20 0 15 0 272668130 14429130752 1280289 33554432000 4194304 4196468 140726570177120 140088697096304 140089227745922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 27 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13450] ppid=13435 vsize=14090948 memory=5122720 CPUtime=2.27 cores=1,3,5,7
/proc/13438/task/13450/stat : 13450 (java) S 13435 13438 12267 0 -1 1077944384 8987 0 0 0 225 2 0 0 20 0 15 0 272668130 14429130752 1280289 33554432000 4194304 4196468 140726570177120 140088696043504 140089227745922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 26 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13451] ppid=13435 vsize=14090948 memory=3812 CPUtime=1 cores=1,3,5,7
/proc/13438/task/13451/stat : 13451 (java) S 13435 13438 12267 0 -1 1077944384 8571 0 0 0 98 2 0 0 20 0 15 0 272668130 14429130752 1280289 33554432000 4194304 4196468 140726570177120 140088694991216 140089227745922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 16 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13452] ppid=13435 vsize=14090948 memory=6572 CPUtime=0 cores=1,3,5,7
/proc/13438/task/13452/stat : 13452 (java) S 13435 13438 12267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668130 14429130752 1280289 33554432000 4194304 4196468 140726570177120 140088693938656 140089227744981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13453] ppid=13435 vsize=14090948 memory=1100 CPUtime=1.19 cores=1,3,5,7
/proc/13438/task/13453/stat : 13453 (java) S 13435 13438 12267 0 -1 1077944384 1600 0 0 0 52 67 0 0 20 0 15 0 272668131 14429130752 1280289 33554432000 4194304 4196468 140726570177120 140088692886448 140089227745922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 25 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
Current children cumulated CPU time: 2418.37 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 5121156 KiB
[startup+2442.31 s]
/proc/loadavg: 1.81 1.87 1.91 3/216 13603
/proc/meminfo: memFree=15488068/32770624 swapFree=67105356/67108860
[pid=13438] ppid=13435 vsize=14090948 memory=5099096 CPUtime=2478.45 cores=1,3,5,7
/proc/13438/stat : 13438 (java) S 13435 13438 12267 0 -1 1077944320 573028 0 0 0 247356 489 0 0 20 0 15 0 272668125 14429130752 1274774 33554432000 4194304 4196468 140726570177120 140726570159664 140089227734775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
/proc/13438/statm: 3522737 1274774 3617 1 0 3484809 0
[pid=13438/tid=13440] ppid=13435 vsize=14090948 memory=5099096 CPUtime=2431.86 cores=1,3,5,7
/proc/13438/task/13440/stat : 13440 (java) R 13435 13438 12267 0 -1 4202560 255024 0 0 0 243138 48 0 0 20 0 15 0 272668125 14429130752 1274774 33554432000 4194304 4196468 140726570177120 140089231972640 140088840620864 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13441] ppid=13435 vsize=14090948 memory=5099096 CPUtime=9.73 cores=1,3,5,7
/proc/13438/task/13441/stat : 13441 (java) S 13435 13438 12267 0 -1 1077944384 64577 0 0 0 880 93 0 0 20 0 15 0 272668126 14429130752 1274774 33554432000 4194304 4196468 140726570177120 140089157822864 140089227744981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13442] ppid=13435 vsize=14090948 memory=5099096 CPUtime=9.74 cores=1,3,5,7
/proc/13438/task/13442/stat : 13442 (java) S 13435 13438 12267 0 -1 1077944384 72515 0 0 0 881 93 0 0 20 0 15 0 272668126 14429130752 1274774 33554432000 4194304 4196468 140726570177120 140089156770064 140089227744981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13443] ppid=13435 vsize=14090948 memory=5099608 CPUtime=9.72 cores=1,3,5,7
/proc/13438/task/13443/stat : 13443 (java) S 13435 13438 12267 0 -1 1077944384 67917 0 0 0 878 94 0 0 20 0 15 0 272668126 14429130752 1274774 33554432000 4194304 4196468 140726570177120 140089155717776 140089227744981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13444] ppid=13435 vsize=14090948 memory=5122720 CPUtime=9.77 cores=1,3,5,7
/proc/13438/task/13444/stat : 13444 (java) S 13435 13438 12267 0 -1 1077944384 62567 0 0 0 884 93 0 0 20 0 15 0 272668126 14429130752 1274774 33554432000 4194304 4196468 140726570177120 140089154664976 140089227744981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13445] ppid=13435 vsize=14090948 memory=5099608 CPUtime=0.53 cores=1,3,5,7
/proc/13438/task/13445/stat : 13445 (java) S 13435 13438 12267 0 -1 1077944384 20523 0 0 0 48 5 0 0 20 0 15 0 272668127 14429130752 1274774 33554432000 4194304 4196468 140726570177120 140088701307504 140089227745922 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13446] ppid=13435 vsize=14090948 memory=5099096 CPUtime=0 cores=1,3,5,7
/proc/13438/task/13446/stat : 13446 (java) S 13435 13438 12267 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 272668128 14429130752 1274774 33554432000 4194304 4196468 140726570177120 140088700253536 140089227744981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13447] ppid=13435 vsize=14090948 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13438/task/13447/stat : 13447 (java) S 13435 13438 12267 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 272668128 14429130752 1274774 33554432000 4194304 4196468 140726570177120 140088699201152 140089227744981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13448] ppid=13435 vsize=14090948 memory=5120640 CPUtime=0 cores=1,3,5,7
/proc/13438/task/13448/stat : 13448 (java) S 13435 13438 12267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668130 14429130752 1274774 33554432000 4194304 4196468 140726570177120 140088698149456 140089227753371 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13449] ppid=13435 vsize=14090948 memory=5099096 CPUtime=2.5 cores=1,3,5,7
/proc/13438/task/13449/stat : 13449 (java) S 13435 13438 12267 0 -1 1077944384 9279 0 0 0 250 0 0 0 20 0 15 0 272668130 14429130752 1274774 33554432000 4194304 4196468 140726570177120 140088697096304 140089227745922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 27 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13450] ppid=13435 vsize=14090948 memory=5099096 CPUtime=2.27 cores=1,3,5,7
/proc/13438/task/13450/stat : 13450 (java) S 13435 13438 12267 0 -1 1077944384 8992 0 0 0 225 2 0 0 20 0 15 0 272668130 14429130752 1274774 33554432000 4194304 4196468 140726570177120 140088696043504 140089227745922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 26 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13451] ppid=13435 vsize=14090948 memory=5099096 CPUtime=1 cores=1,3,5,7
/proc/13438/task/13451/stat : 13451 (java) S 13435 13438 12267 0 -1 1077944384 8578 0 0 0 98 2 0 0 20 0 15 0 272668130 14429130752 1274774 33554432000 4194304 4196468 140726570177120 140088694991216 140089227745922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 16 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13452] ppid=13435 vsize=14090948 memory=5099096 CPUtime=0 cores=1,3,5,7
/proc/13438/task/13452/stat : 13452 (java) S 13435 13438 12267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668130 14429130752 1274774 33554432000 4194304 4196468 140726570177120 140088693938656 140089227744981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13453] ppid=13435 vsize=14090948 memory=5099096 CPUtime=1.22 cores=1,3,5,7
/proc/13438/task/13453/stat : 13453 (java) S 13435 13438 12267 0 -1 1077944384 1628 0 0 0 53 69 0 0 20 0 15 0 272668131 14429130752 1274774 33554432000 4194304 4196468 140726570177120 140088692886448 140089227745922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 25 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
Current children cumulated CPU time: 2478.45 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 5099096 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2483.9 s]
/proc/loadavg: 1.85 1.87 1.91 3/216 13604
/proc/meminfo: memFree=15519636/32770624 swapFree=67105356/67108860
[pid=13438] ppid=13435 vsize=14090948 memory=5078068 CPUtime=2520.09 cores=1,3,5,7
/proc/13438/stat : 13438 (java) S 13435 13438 12267 0 -1 1077944320 581603 0 0 0 251519 490 0 0 20 0 15 0 272668125 14429130752 1269517 33554432000 4194304 4196468 140726570177120 140726570159664 140089227734775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
/proc/13438/statm: 3522737 1269517 3617 1 0 3484809 0
[pid=13438/tid=13440] ppid=13435 vsize=14090948 memory=5099096 CPUtime=2473.44 cores=1,3,5,7
/proc/13438/task/13440/stat : 13440 (java) R 13435 13438 12267 0 -1 4202560 258065 0 0 0 247295 49 0 0 20 0 15 0 272668125 14429130752 1269517 33554432000 4194304 4196468 140726570177120 140089231971864 140088841203291 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13441] ppid=13435 vsize=14090948 memory=5078068 CPUtime=9.75 cores=1,3,5,7
/proc/13438/task/13441/stat : 13441 (java) S 13435 13438 12267 0 -1 1077944384 65480 0 0 0 882 93 0 0 20 0 15 0 272668126 14429130752 1269517 33554432000 4194304 4196468 140726570177120 140089157822864 140089227744981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13442] ppid=13435 vsize=14090948 memory=5078068 CPUtime=9.75 cores=1,3,5,7
/proc/13438/task/13442/stat : 13442 (java) S 13435 13438 12267 0 -1 1077944384 73530 0 0 0 882 93 0 0 20 0 15 0 272668126 14429130752 1269517 33554432000 4194304 4196468 140726570177120 140089156770064 140089227744981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13443] ppid=13435 vsize=14090948 memory=0 CPUtime=9.74 cores=1,3,5,7
/proc/13438/task/13443/stat : 13443 (java) S 13435 13438 12267 0 -1 1077944384 68625 0 0 0 879 95 0 0 20 0 15 0 272668126 14429130752 1269517 33554432000 4194304 4196468 140726570177120 140089155717776 140089227744981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13444] ppid=13435 vsize=14090948 memory=0 CPUtime=9.78 cores=1,3,5,7
/proc/13438/task/13444/stat : 13444 (java) S 13435 13438 12267 0 -1 1077944384 64391 0 0 0 885 93 0 0 20 0 15 0 272668126 14429130752 1269517 33554432000 4194304 4196468 140726570177120 140089154664976 140089227744981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13445] ppid=13435 vsize=14090948 memory=164 CPUtime=0.53 cores=1,3,5,7
/proc/13438/task/13445/stat : 13445 (java) S 13435 13438 12267 0 -1 1077944384 20766 0 0 0 48 5 0 0 20 0 15 0 272668127 14429130752 1269517 33554432000 4194304 4196468 140726570177120 140088701307504 140089227745922 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13446] ppid=13435 vsize=14090948 memory=2216 CPUtime=0 cores=1,3,5,7
/proc/13438/task/13446/stat : 13446 (java) S 13435 13438 12267 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 272668128 14429130752 1269517 33554432000 4194304 4196468 140726570177120 140088700253536 140089227744981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13447] ppid=13435 vsize=14090948 memory=5099608 CPUtime=0 cores=1,3,5,7
/proc/13438/task/13447/stat : 13447 (java) S 13435 13438 12267 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 272668128 14429130752 1269517 33554432000 4194304 4196468 140726570177120 140088699201152 140089227744981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13448] ppid=13435 vsize=14090948 memory=5078068 CPUtime=0 cores=1,3,5,7
/proc/13438/task/13448/stat : 13448 (java) S 13435 13438 12267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668130 14429130752 1269517 33554432000 4194304 4196468 140726570177120 140088698149456 140089227753371 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13449] ppid=13435 vsize=14090948 memory=5078068 CPUtime=2.5 cores=1,3,5,7
/proc/13438/task/13449/stat : 13449 (java) S 13435 13438 12267 0 -1 1077944384 9282 0 0 0 250 0 0 0 20 0 15 0 272668130 14429130752 1269517 33554432000 4194304 4196468 140726570177120 140088697096304 140089227745922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 27 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13450] ppid=13435 vsize=14090948 memory=3812 CPUtime=2.27 cores=1,3,5,7
/proc/13438/task/13450/stat : 13450 (java) S 13435 13438 12267 0 -1 1077944384 8996 0 0 0 225 2 0 0 20 0 15 0 272668130 14429130752 1269517 33554432000 4194304 4196468 140726570177120 140088696043504 140089227745922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 26 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13451] ppid=13435 vsize=14090948 memory=6572 CPUtime=1 cores=1,3,5,7
/proc/13438/task/13451/stat : 13451 (java) S 13435 13438 12267 0 -1 1077944384 9382 0 0 0 98 2 0 0 20 0 15 0 272668130 14429130752 1269517 33554432000 4194304 4196468 140726570177120 140088694991216 140089227745922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 16 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13452] ppid=13435 vsize=14090948 memory=1812 CPUtime=0 cores=1,3,5,7
/proc/13438/task/13452/stat : 13452 (java) S 13435 13438 12267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668130 14429130752 1269517 33554432000 4194304 4196468 140726570177120 140088693938656 140089227744981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13453] ppid=13435 vsize=14090948 memory=1064 CPUtime=1.24 cores=1,3,5,7
/proc/13438/task/13453/stat : 13453 (java) S 13435 13438 12267 0 -1 1077944384 1658 0 0 0 54 70 0 0 20 0 15 0 272668131 14429130752 1269517 33554432000 4194304 4196468 140726570177120 140088692886448 140089227745922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 25 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 5078068 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2483.95 s]
# the end of solver process 13438 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.23 s, system=4.9369 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2483.9 s]
/proc/loadavg: 1.85 1.87 1.91 3/216 13604
/proc/meminfo: memFree=15519636/32770624 swapFree=67105356/67108860
[pid=13438] ppid=13435 vsize=14090948 memory=5078068 CPUtime=2520.09 cores=1,3,5,7
/proc/13438/stat : 13438 (java) S 13435 13438 12267 0 -1 1077944320 581603 0 0 0 251519 490 0 0 20 0 15 0 272668125 14429130752 1269517 33554432000 4194304 4196468 140726570177120 140726570159664 140089227734775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
/proc/13438/statm: 3522737 1269517 3617 1 0 3484809 0
[pid=13438/tid=13440] ppid=13435 vsize=14090948 memory=5099096 CPUtime=2473.44 cores=1,3,5,7
/proc/13438/task/13440/stat : 13440 (java) R 13435 13438 12267 0 -1 4202560 258065 0 0 0 247295 49 0 0 20 0 15 0 272668125 14429130752 1269517 33554432000 4194304 4196468 140726570177120 140089231971864 140088841203291 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13441] ppid=13435 vsize=14090948 memory=5078068 CPUtime=9.75 cores=1,3,5,7
/proc/13438/task/13441/stat : 13441 (java) S 13435 13438 12267 0 -1 1077944384 65480 0 0 0 882 93 0 0 20 0 15 0 272668126 14429130752 1269517 33554432000 4194304 4196468 140726570177120 140089157822864 140089227744981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13442] ppid=13435 vsize=14090948 memory=5078068 CPUtime=9.75 cores=1,3,5,7
/proc/13438/task/13442/stat : 13442 (java) S 13435 13438 12267 0 -1 1077944384 73530 0 0 0 882 93 0 0 20 0 15 0 272668126 14429130752 1269517 33554432000 4194304 4196468 140726570177120 140089156770064 140089227744981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13443] ppid=13435 vsize=14090948 memory=0 CPUtime=9.74 cores=1,3,5,7
/proc/13438/task/13443/stat : 13443 (java) S 13435 13438 12267 0 -1 1077944384 68625 0 0 0 879 95 0 0 20 0 15 0 272668126 14429130752 1269517 33554432000 4194304 4196468 140726570177120 140089155717776 140089227744981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13444] ppid=13435 vsize=14090948 memory=0 CPUtime=9.78 cores=1,3,5,7
/proc/13438/task/13444/stat : 13444 (java) S 13435 13438 12267 0 -1 1077944384 64391 0 0 0 885 93 0 0 20 0 15 0 272668126 14429130752 1269517 33554432000 4194304 4196468 140726570177120 140089154664976 140089227744981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13445] ppid=13435 vsize=14090948 memory=164 CPUtime=0.53 cores=1,3,5,7
/proc/13438/task/13445/stat : 13445 (java) S 13435 13438 12267 0 -1 1077944384 20766 0 0 0 48 5 0 0 20 0 15 0 272668127 14429130752 1269517 33554432000 4194304 4196468 140726570177120 140088701307504 140089227745922 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13446] ppid=13435 vsize=14090948 memory=2216 CPUtime=0 cores=1,3,5,7
/proc/13438/task/13446/stat : 13446 (java) S 13435 13438 12267 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 272668128 14429130752 1269517 33554432000 4194304 4196468 140726570177120 140088700253536 140089227744981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13447] ppid=13435 vsize=14090948 memory=5099608 CPUtime=0 cores=1,3,5,7
/proc/13438/task/13447/stat : 13447 (java) S 13435 13438 12267 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 272668128 14429130752 1269517 33554432000 4194304 4196468 140726570177120 140088699201152 140089227744981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13448] ppid=13435 vsize=14090948 memory=5078068 CPUtime=0 cores=1,3,5,7
/proc/13438/task/13448/stat : 13448 (java) S 13435 13438 12267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668130 14429130752 1269517 33554432000 4194304 4196468 140726570177120 140088698149456 140089227753371 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13449] ppid=13435 vsize=14090948 memory=5078068 CPUtime=2.5 cores=1,3,5,7
/proc/13438/task/13449/stat : 13449 (java) S 13435 13438 12267 0 -1 1077944384 9282 0 0 0 250 0 0 0 20 0 15 0 272668130 14429130752 1269517 33554432000 4194304 4196468 140726570177120 140088697096304 140089227745922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 27 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13450] ppid=13435 vsize=14090948 memory=3812 CPUtime=2.27 cores=1,3,5,7
/proc/13438/task/13450/stat : 13450 (java) S 13435 13438 12267 0 -1 1077944384 8996 0 0 0 225 2 0 0 20 0 15 0 272668130 14429130752 1269517 33554432000 4194304 4196468 140726570177120 140088696043504 140089227745922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 26 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13451] ppid=13435 vsize=14090948 memory=6572 CPUtime=1 cores=1,3,5,7
/proc/13438/task/13451/stat : 13451 (java) S 13435 13438 12267 0 -1 1077944384 9382 0 0 0 98 2 0 0 20 0 15 0 272668130 14429130752 1269517 33554432000 4194304 4196468 140726570177120 140088694991216 140089227745922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 16 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13452] ppid=13435 vsize=14090948 memory=1812 CPUtime=0 cores=1,3,5,7
/proc/13438/task/13452/stat : 13452 (java) S 13435 13438 12267 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 272668130 14429130752 1269517 33554432000 4194304 4196468 140726570177120 140088693938656 140089227744981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
[pid=13438/tid=13453] ppid=13435 vsize=14090948 memory=1064 CPUtime=1.24 cores=1,3,5,7
/proc/13438/task/13453/stat : 13453 (java) S 13435 13438 12267 0 -1 1077944384 1658 0 0 0 54 70 0 0 20 0 15 0 272668131 14429130752 1269517 33554432000 4194304 4196468 140726570177120 140088692886448 140089227745922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 25 0 0 6293624 6294260 30937088 140726570185800 140726570185993 140726570185993 140726570188751 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 5078068 KiB
Child status: 143
Real time (s): 2483.95
CPU time (s): 2520.16
CPU user time (s): 2515.23
CPU system time (s): 4.9369
CPU usage (%): 101.458
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 5122720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.23
system time used= 4.9369
maximum resident set size= 5122720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 583461
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60056
involuntary context switches= 1634
# summary of solver processes directly reported to runsolver:
# pid: 13438
# total CPU time (s): 2520.16
# total CPU user time (s): 2515.23
# total CPU system time (s): 4.9369
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.7812 second user time and 22.2934 second system time
The end