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 (15093 MiB free)
memory of node 1: 16384 MiB (12513 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4273535-1502804026/watcher-4273535-1502804026 -o /tmp/evaluation-result-4273535-1502804026/solver-4273535-1502804026 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502652501-6258 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 2136913924 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273535-1502804026.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=31635, runsolver pid=31632
[startup+0.100182 s]*
/proc/loadavg: 1.91 1.76 1.65 3/206 31644
/proc/meminfo: memFree=28260660/32770624 swapFree=67108860/67108860
[pid=31635] ppid=31632 vsize=13573664 memory=19056 CPUtime=0.04 cores=0,2,4,6
/proc/31635/stat : 31635 (java) S 31632 31635 8289 0 -1 1077944320 4198 0 0 0 3 1 0 0 20 0 9 0 128217794 13899431936 4764 18446744073709551615 4194304 4196468 140733791280688 140733791263232 139630185623287 0 0 1 16800970 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
/proc/31635/statm: 3393416 4764 2112 1 0 3382913 0
[pid=31635/tid=31637] ppid=31632 vsize=13573664 memory=-6439968830534014599 CPUtime=0.03 cores=0,2,4,6
/proc/31635/task/31637/stat : 31637 (java) R 31632 31635 8289 0 -1 4202560 2828 0 0 0 3 0 0 0 20 0 9 0 128217801 13899431936 4764 18446744073709551615 4194304 4196468 140733791280688 139630189858384 139630185645213 0 4 1 16800970 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31638] ppid=31632 vsize=13573664 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31638/stat : 31638 (java) S 31632 31635 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 128217801 13899431936 4764 18446744073709551615 4194304 4196468 140733791280688 139630127569680 139630185633493 0 4 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31639] ppid=31632 vsize=13573664 memory=140650800330368 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31639/stat : 31639 (java) S 31632 31635 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 128217801 13899431936 4764 18446744073709551615 4194304 4196468 140733791280688 139630126517136 139630185633493 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31640] ppid=31632 vsize=13573664 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31640/stat : 31640 (java) S 31632 31635 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 128217801 13899431936 4764 18446744073709551615 4194304 4196468 140733791280688 139629783686160 139630185633493 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31641] ppid=31632 vsize=13573664 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31641/stat : 31641 (java) S 31632 31635 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 128217801 13899431936 4764 18446744073709551615 4194304 4196468 140733791280688 139629782633616 139630185633493 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31642] ppid=31632 vsize=13573664 memory=140650800330368 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31642/stat : 31642 (java) S 31632 31635 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 128217803 13899431936 4764 18446744073709551615 4194304 4196468 140733791280688 139629732128752 139630185634434 0 0 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31643] ppid=31632 vsize=13573664 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31643/stat : 31643 (java) S 31632 31635 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 128217803 13899431936 4764 18446744073709551615 4194304 4196468 140733791280688 139629731074976 139630185633493 0 4 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31644] ppid=31632 vsize=13573664 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31644/stat : 31644 (java) S 31632 31635 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 128217803 13899431936 4764 18446744073709551615 4194304 4196468 140733791280688 139629730022384 139630185633493 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 13573664 KiB
Current children cumulated memory: 19056 KiB
[startup+0.213093 s]*
/proc/loadavg: 1.91 1.76 1.65 3/212 31650
/proc/meminfo: memFree=28252236/32770624 swapFree=67108860/67108860
[pid=31635] ppid=31632 vsize=13975920 memory=33520 CPUtime=0.12 cores=0,2,4,6
/proc/31635/stat : 31635 (java) S 31632 31635 8289 0 -1 1077944320 9323 0 0 0 10 2 0 0 20 0 15 0 128217794 14311342080 8380 18446744073709551615 4194304 4196468 140733791280688 140733791263232 139630185623287 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
/proc/31635/statm: 3493980 8380 3382 1 0 3482759 0
[pid=31635/tid=31637] ppid=31632 vsize=13975920 memory=7077796292425249400 CPUtime=0.09 cores=0,2,4,6
/proc/31635/task/31637/stat : 31637 (java) R 31632 31635 8289 0 -1 4202560 7281 0 0 0 7 2 0 0 20 0 15 0 128217801 14311342080 8380 18446744073709551615 4194304 4196468 140733791280688 139630189812736 139630185635222 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31638] ppid=31632 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31638/stat : 31638 (java) S 31632 31635 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 128217801 14311342080 8380 18446744073709551615 4194304 4196468 140733791280688 139630127569680 139630185633493 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31639] ppid=31632 vsize=13975920 memory=140650800330368 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31639/stat : 31639 (java) S 31632 31635 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 128217801 14311342080 8380 18446744073709551615 4194304 4196468 140733791280688 139630126517136 139630185633493 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31640] ppid=31632 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31640/stat : 31640 (java) S 31632 31635 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 128217801 14311342080 8380 18446744073709551615 4194304 4196468 140733791280688 139629783686160 139630185633493 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31641] ppid=31632 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31641/stat : 31641 (java) S 31632 31635 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 128217801 14311342080 8380 18446744073709551615 4194304 4196468 140733791280688 139629782633616 139630185633493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31642] ppid=31632 vsize=13975920 memory=140650800330368 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31642/stat : 31642 (java) S 31632 31635 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 128217803 14311342080 8380 18446744073709551615 4194304 4196468 140733791280688 139629732128752 139630185634434 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31643] ppid=31632 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31643/stat : 31643 (java) S 31632 31635 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 128217803 14311342080 8380 18446744073709551615 4194304 4196468 140733791280688 139629731074976 139630185633493 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31644] ppid=31632 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31644/stat : 31644 (java) S 31632 31635 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 128217803 14311342080 8380 18446744073709551615 4194304 4196468 140733791280688 139629730022384 139630185633493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31645] ppid=31632 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31645/stat : 31645 (java) S 31632 31635 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 128217806 14311342080 8380 18446744073709551615 4194304 4196468 140733791280688 139629728970960 139630185641883 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31646] ppid=31632 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31646/stat : 31646 (java) S 31632 31635 8289 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 128217806 14311342080 8380 18446744073709551615 4194304 4196468 140733791280688 139629727918576 139630185634434 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31647] ppid=31632 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31647/stat : 31647 (java) S 31632 31635 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 128217806 14311342080 8380 18446744073709551615 4194304 4196468 140733791280688 139629726866032 139630185634434 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31648] ppid=31632 vsize=13975920 memory=140650800330368 CPUtime=0.01 cores=0,2,4,6
/proc/31635/task/31648/stat : 31648 (java) R 31632 31635 8289 0 -1 4202560 364 0 0 0 1 0 0 0 20 0 15 0 128217806 14311342080 8380 18446744073709551615 4194304 4196468 140733791280688 139629725813488 139630177641799 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31649] ppid=31632 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31649/stat : 31649 (java) S 31632 31635 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 128217806 14311342080 8380 18446744073709551615 4194304 4196468 140733791280688 139629724761184 139630185633493 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31650] ppid=31632 vsize=13975920 memory=140650800330368 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31650/stat : 31650 (java) S 31632 31635 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 128217811 14311342080 8380 18446744073709551615 4194304 4196468 140733791280688 139629723707696 139630185634434 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 33520 KiB
[startup+0.31045 s]*
/proc/loadavg: 1.91 1.76 1.65 4/212 31650
/proc/meminfo: memFree=28243916/32770624 swapFree=67108860/67108860
[pid=31635] ppid=31632 vsize=13975920 memory=42104 CPUtime=0.29 cores=0,2,4,6
/proc/31635/stat : 31635 (java) S 31632 31635 8289 0 -1 1077944320 10777 0 0 0 26 3 0 0 20 0 15 0 128217794 14311342080 10526 18446744073709551615 4194304 4196468 140733791280688 140733791263232 139630185623287 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
/proc/31635/statm: 3493980 10526 3572 1 0 3482759 0
[pid=31635/tid=31637] ppid=31632 vsize=13975920 memory=-8774313645642428999 CPUtime=0.19 cores=0,2,4,6
/proc/31635/task/31637/stat : 31637 (java) R 31632 31635 8289 0 -1 4202560 8411 0 0 0 17 2 0 0 20 0 15 0 128217801 14311342080 10526 18446744073709551615 4194304 4196468 140733791280688 139630189848368 139630171316768 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31638] ppid=31632 vsize=13975920 memory=4498404016631593313 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31638/stat : 31638 (java) S 31632 31635 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 128217801 14311342080 10526 18446744073709551615 4194304 4196468 140733791280688 139630127569680 139630185633493 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31639] ppid=31632 vsize=13975920 memory=4627853888499060086 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31639/stat : 31639 (java) S 31632 31635 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 128217801 14311342080 10526 18446744073709551615 4194304 4196468 140733791280688 139630126517136 139630185633493 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31640] ppid=31632 vsize=13975920 memory=-8187100386482147110 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31640/stat : 31640 (java) S 31632 31635 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 128217801 14311342080 10526 18446744073709551615 4194304 4196468 140733791280688 139629783686160 139630185633493 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31641] ppid=31632 vsize=13975920 memory=-7305533901252758645 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31641/stat : 31641 (java) S 31632 31635 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 128217801 14311342080 10526 18446744073709551615 4194304 4196468 140733791280688 139629782633616 139630185633493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31642] ppid=31632 vsize=13975920 memory=7077796292425249400 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31642/stat : 31642 (java) S 31632 31635 8289 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 128217803 14311342080 10526 18446744073709551615 4194304 4196468 140733791280688 139629732128752 139630185634434 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31643] ppid=31632 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31643/stat : 31643 (java) S 31632 31635 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 128217803 14311342080 10526 18446744073709551615 4194304 4196468 140733791280688 139629731074976 139630185633493 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31644] ppid=31632 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31644/stat : 31644 (java) S 31632 31635 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 128217803 14311342080 10526 18446744073709551615 4194304 4196468 140733791280688 139629730022384 139630185633493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31645] ppid=31632 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31645/stat : 31645 (java) S 31632 31635 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 128217806 14311342080 10526 18446744073709551615 4194304 4196468 140733791280688 139629728970960 139630185641883 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31646] ppid=31632 vsize=13975920 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/31635/task/31646/stat : 31646 (java) S 31632 31635 8289 0 -1 1077944384 450 0 0 0 1 0 0 0 20 0 15 0 128217806 14311342080 10526 18446744073709551615 4194304 4196468 140733791280688 139629727918576 139630185634434 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31647] ppid=31632 vsize=13975920 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/31635/task/31647/stat : 31647 (java) S 31632 31635 8289 0 -1 1077944384 140 0 0 0 1 0 0 0 20 0 15 0 128217806 14311342080 10526 18446744073709551615 4194304 4196468 140733791280688 139629726866032 139630185634434 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31648] ppid=31632 vsize=13975920 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/31635/task/31648/stat : 31648 (java) S 31632 31635 8289 0 -1 1077944384 394 0 0 0 5 0 0 0 20 0 15 0 128217806 14311342080 10526 18446744073709551615 4194304 4196468 140733791280688 139629725813488 139630185634434 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31649] ppid=31632 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31649/stat : 31649 (java) S 31632 31635 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 128217806 14311342080 10526 18446744073709551615 4194304 4196468 140733791280688 139629724761184 139630185633493 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31650] ppid=31632 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31650/stat : 31650 (java) S 31632 31635 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 128217811 14311342080 10526 18446744073709551615 4194304 4196468 140733791280688 139629723707696 139630185634434 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 42104 KiB
[startup+0.700826 s]
/proc/loadavg: 1.91 1.76 1.65 3/212 31650
/proc/meminfo: memFree=28229188/32770624 swapFree=67108860/67108860
[pid=31635] ppid=31632 vsize=13980036 memory=71924 CPUtime=0.93 cores=0,2,4,6
/proc/31635/stat : 31635 (java) S 31632 31635 8289 0 -1 1077944320 14203 0 0 0 88 5 0 0 20 0 15 0 128217794 14315556864 17981 18446744073709551615 4194304 4196468 140733791280688 140733791263232 139630185623287 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
/proc/31635/statm: 3495009 17981 3722 1 0 3483783 0
[pid=31635/tid=31637] ppid=31632 vsize=13980036 memory=2593220724481 CPUtime=0.57 cores=0,2,4,6
/proc/31635/task/31637/stat : 31637 (java) R 31632 31635 8289 0 -1 4202560 10916 0 0 0 54 3 0 0 20 0 15 0 128217801 14315556864 17981 18446744073709551615 4194304 4196468 140733791280688 139630189852464 139630170993213 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31638] ppid=31632 vsize=13980036 memory=2618990528257 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31638/stat : 31638 (java) S 31632 31635 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 128217801 14315556864 17981 18446744073709551615 4194304 4196468 140733791280688 139630127569680 139630185633493 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31639] ppid=31632 vsize=13980036 memory=2636170397441 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31639/stat : 31639 (java) S 31632 31635 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 128217801 14315556864 17981 18446744073709551615 4194304 4196468 140733791280688 139630126517136 139630185633493 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31640] ppid=31632 vsize=13980036 memory=66508736 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31640/stat : 31640 (java) S 31632 31635 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 128217801 14315556864 17981 18446744073709551615 4194304 4196468 140733791280688 139629783686160 139630185633493 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31641] ppid=31632 vsize=13980036 memory=-8556737395271162992 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31641/stat : 31641 (java) S 31632 31635 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 128217801 14315556864 17981 18446744073709551615 4194304 4196468 140733791280688 139629782633616 139630185633493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31642] ppid=31632 vsize=13980036 memory=6152287975781979490 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31642/stat : 31642 (java) S 31632 31635 8289 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 128217803 14315556864 17981 18446744073709551615 4194304 4196468 140733791280688 139629732128752 139630185634434 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31643] ppid=31632 vsize=13980036 memory=8025788822668141932 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31643/stat : 31643 (java) S 31632 31635 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 128217803 14315556864 17981 18446744073709551615 4194304 4196468 140733791280688 139629731074976 139630185633493 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31644] ppid=31632 vsize=13980036 memory=281301299159776 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31644/stat : 31644 (java) S 31632 31635 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 128217803 14315556864 17981 18446744073709551615 4194304 4196468 140733791280688 139629730022384 139630185633493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31645] ppid=31632 vsize=13980036 memory=288230617509003574 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31645/stat : 31645 (java) S 31632 31635 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 128217806 14315556864 17981 18446744073709551615 4194304 4196468 140733791280688 139629728970960 139630185641883 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31646] ppid=31632 vsize=13980036 memory=15825482134324680 CPUtime=0.08 cores=0,2,4,6
/proc/31635/task/31646/stat : 31646 (java) S 31632 31635 8289 0 -1 1077944384 768 0 0 0 8 0 0 0 20 0 15 0 128217806 14315556864 17981 18446744073709551615 4194304 4196468 140733791280688 139629727918576 139630185634434 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31647] ppid=31632 vsize=13980036 memory=1436 CPUtime=0.1 cores=0,2,4,6
/proc/31635/task/31647/stat : 31647 (java) S 31632 31635 8289 0 -1 1077944384 472 0 0 0 10 0 0 0 20 0 15 0 128217806 14315556864 17981 18446744073709551615 4194304 4196468 140733791280688 139629726866032 139630185634434 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31648] ppid=31632 vsize=13980036 memory=1200 CPUtime=0.15 cores=0,2,4,6
/proc/31635/task/31648/stat : 31648 (java) S 31632 31635 8289 0 -1 1077944384 667 0 0 0 15 0 0 0 20 0 15 0 128217806 14315556864 17981 18446744073709551615 4194304 4196468 140733791280688 139629725813488 139630185634434 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31649] ppid=31632 vsize=13980036 memory=15880 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31649/stat : 31649 (java) S 31632 31635 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 128217806 14315556864 17981 18446744073709551615 4194304 4196468 140733791280688 139629724761184 139630185633493 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31650] ppid=31632 vsize=13980036 memory=4040 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31650/stat : 31650 (java) S 31632 31635 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 128217811 14315556864 17981 18446744073709551615 4194304 4196468 140733791280688 139629723707696 139630185634434 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
Current children cumulated CPU time: 0.93 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 71924 KiB
[startup+1.50079 s]
/proc/loadavg: 1.91 1.76 1.65 5/212 31650
/proc/meminfo: memFree=28182288/32770624 swapFree=67108860/67108860
[pid=31635] ppid=31632 vsize=13980036 memory=130792 CPUtime=2.45 cores=0,2,4,6
/proc/31635/stat : 31635 (java) S 31632 31635 8289 0 -1 1077944320 21339 0 0 0 238 7 0 0 20 0 15 0 128217794 14315556864 32698 18446744073709551615 4194304 4196468 140733791280688 140733791263232 139630185623287 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
/proc/31635/statm: 3495009 32698 3755 1 0 3483783 0
[pid=31635/tid=31637] ppid=31632 vsize=13980036 memory=4420 CPUtime=1.36 cores=0,2,4,6
/proc/31635/task/31637/stat : 31637 (java) R 31632 31635 8289 0 -1 4202560 13691 0 0 0 131 5 0 0 20 0 15 0 128217801 14315556864 32698 18446744073709551615 4194304 4196468 140733791280688 139630189859192 139629809382016 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31638] ppid=31632 vsize=13980036 memory=6628 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31638/stat : 31638 (java) S 31632 31635 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 128217801 14315556864 32698 18446744073709551615 4194304 4196468 140733791280688 139630127569680 139630185633493 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31639] ppid=31632 vsize=13980036 memory=8836 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31639/stat : 31639 (java) S 31632 31635 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 128217801 14315556864 32698 18446744073709551615 4194304 4196468 140733791280688 139630126517136 139630185633493 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31640] ppid=31632 vsize=13980036 memory=11044 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31640/stat : 31640 (java) S 31632 31635 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 128217801 14315556864 32698 18446744073709551615 4194304 4196468 140733791280688 139629783686160 139630185633493 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31641] ppid=31632 vsize=13980036 memory=13252 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31641/stat : 31641 (java) S 31632 31635 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 128217801 14315556864 32698 18446744073709551615 4194304 4196468 140733791280688 139629782633616 139630185633493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31642] ppid=31632 vsize=13980036 memory=116 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31642/stat : 31642 (java) S 31632 31635 8289 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 128217803 14315556864 32698 18446744073709551615 4194304 4196468 140733791280688 139629732128752 139630185634434 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31643] ppid=31632 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31643/stat : 31643 (java) S 31632 31635 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 128217803 14315556864 32698 18446744073709551615 4194304 4196468 140733791280688 139629731074976 139630185633493 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31644] ppid=31632 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31644/stat : 31644 (java) S 31632 31635 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 128217803 14315556864 32698 18446744073709551615 4194304 4196468 140733791280688 139629730022384 139630185633493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31645] ppid=31632 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31645/stat : 31645 (java) S 31632 31635 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 128217806 14315556864 32698 18446744073709551615 4194304 4196468 140733791280688 139629728970960 139630185641883 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31646] ppid=31632 vsize=13980036 memory=0 CPUtime=0.41 cores=0,2,4,6
/proc/31635/task/31646/stat : 31646 (java) S 31632 31635 8289 0 -1 1077944384 2688 0 0 0 41 0 0 0 20 0 15 0 128217806 14315556864 32698 18446744073709551615 4194304 4196468 140733791280688 139629727918576 139630185634434 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31647] ppid=31632 vsize=13980036 memory=0 CPUtime=0.41 cores=0,2,4,6
/proc/31635/task/31647/stat : 31647 (java) S 31632 31635 8289 0 -1 1077944384 1622 0 0 0 41 0 0 0 20 0 15 0 128217806 14315556864 32698 18446744073709551615 4194304 4196468 140733791280688 139629726866032 139630185634434 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31648] ppid=31632 vsize=13980036 memory=144992861589407 CPUtime=0.24 cores=0,2,4,6
/proc/31635/task/31648/stat : 31648 (java) S 31632 31635 8289 0 -1 1077944384 1951 0 0 0 24 0 0 0 20 0 15 0 128217806 14315556864 32698 18446744073709551615 4194304 4196468 140733791280688 139629725813488 139630185634434 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
################
# More data... #
################
[startup+2.75435 s]
# the end of solver process 31635 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.66191 s, system=0.09834 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60095 s]
/proc/loadavg: 1.91 1.76 1.65 5/212 31650
/proc/meminfo: memFree=28182288/32770624 swapFree=67108860/67108860
[pid=31635] ppid=31632 vsize=13980036 memory=136936 CPUtime=2.56 cores=0,2,4,6
/proc/31635/stat : 31635 (java) S 31632 31635 8289 0 -1 1077944320 21345 0 0 0 249 7 0 0 20 0 15 0 128217794 14315556864 34234 18446744073709551615 4194304 4196468 140733791280688 140733791263232 139630185623287 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
/proc/31635/statm: 3495009 34234 3755 1 0 3483783 0
[pid=31635/tid=31637] ppid=31632 vsize=13980036 memory=0 CPUtime=1.46 cores=0,2,4,6
/proc/31635/task/31637/stat : 31637 (java) R 31632 31635 8289 0 -1 4202560 13697 0 0 0 141 5 0 0 20 0 15 0 128217801 14315556864 34234 18446744073709551615 4194304 4196468 140733791280688 139630189859192 139629809380517 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31638] ppid=31632 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31638/stat : 31638 (java) S 31632 31635 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 128217801 14315556864 34234 18446744073709551615 4194304 4196468 140733791280688 139630127569680 139630185633493 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31639] ppid=31632 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31639/stat : 31639 (java) S 31632 31635 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 128217801 14315556864 34234 18446744073709551615 4194304 4196468 140733791280688 139630126517136 139630185633493 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31640] ppid=31632 vsize=13980036 memory=667680 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31640/stat : 31640 (java) S 31632 31635 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 128217801 14315556864 34234 18446744073709551615 4194304 4196468 140733791280688 139629783686160 139630185633493 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31641] ppid=31632 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31641/stat : 31641 (java) S 31632 31635 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 128217801 14315556864 34234 18446744073709551615 4194304 4196468 140733791280688 139629782633616 139630185633493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31642] ppid=31632 vsize=13980036 memory=1152 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31642/stat : 31642 (java) S 31632 31635 8289 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 128217803 14315556864 34234 18446744073709551615 4194304 4196468 140733791280688 139629732128752 139630185634434 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31643] ppid=31632 vsize=13980036 memory=2400 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31643/stat : 31643 (java) S 31632 31635 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 128217803 14315556864 34234 18446744073709551615 4194304 4196468 140733791280688 139629731074976 139630185633493 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31644] ppid=31632 vsize=13980036 memory=103772 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31644/stat : 31644 (java) S 31632 31635 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 128217803 14315556864 34234 18446744073709551615 4194304 4196468 140733791280688 139629730022384 139630185633493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31645] ppid=31632 vsize=13980036 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31645/stat : 31645 (java) S 31632 31635 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 128217806 14315556864 34234 18446744073709551615 4194304 4196468 140733791280688 139629728970960 139630185641883 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31646] ppid=31632 vsize=13980036 memory=0 CPUtime=0.41 cores=0,2,4,6
/proc/31635/task/31646/stat : 31646 (java) S 31632 31635 8289 0 -1 1077944384 2688 0 0 0 41 0 0 0 20 0 15 0 128217806 14315556864 34234 18446744073709551615 4194304 4196468 140733791280688 139629727918576 139630185634434 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31647] ppid=31632 vsize=13980036 memory=11204 CPUtime=0.41 cores=0,2,4,6
/proc/31635/task/31647/stat : 31647 (java) S 31632 31635 8289 0 -1 1077944384 1622 0 0 0 41 0 0 0 20 0 15 0 128217806 14315556864 34234 18446744073709551615 4194304 4196468 140733791280688 139629726866032 139630185634434 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31648] ppid=31632 vsize=13980036 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/31635/task/31648/stat : 31648 (java) S 31632 31635 8289 0 -1 1077944384 1951 0 0 0 24 0 0 0 20 0 15 0 128217806 14315556864 34234 18446744073709551615 4194304 4196468 140733791280688 139629725813488 139630185634434 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31649] ppid=31632 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31649/stat : 31649 (java) S 31632 31635 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 128217806 14315556864 34234 18446744073709551615 4194304 4196468 140733791280688 139629724761184 139630185633493 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31650] ppid=31632 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31650/stat : 31650 (java) S 31632 31635 8289 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 128217811 14315556864 34234 18446744073709551615 4194304 4196468 140733791280688 139629723707696 139630185634434 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
Current children cumulated CPU time: 2.56 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 136936 KiB
[startup+2.4008 s]
/proc/loadavg: 1.91 1.76 1.65 4/212 31650
/proc/meminfo: memFree=28109424/32770624 swapFree=67108860/67108860
[pid=31635] ppid=31632 vsize=13980036 memory=184040 CPUtime=3.38 cores=0,2,4,6
/proc/31635/stat : 31635 (java) S 31632 31635 8289 0 -1 1077944320 21527 0 0 0 330 8 0 0 20 0 15 0 128217794 14315556864 46010 18446744073709551615 4194304 4196468 140733791280688 140733791263232 139630185623287 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
/proc/31635/statm: 3495009 46010 3755 1 0 3483783 0
[pid=31635/tid=31637] ppid=31632 vsize=13980036 memory=3544956553994191137 CPUtime=2.26 cores=0,2,4,6
/proc/31635/task/31637/stat : 31637 (java) R 31632 31635 8289 0 -1 4202560 13808 0 0 0 220 6 0 0 20 0 15 0 128217801 14315556864 46010 18446744073709551615 4194304 4196468 140733791280688 139630189853168 139629809380130 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31638] ppid=31632 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31638/stat : 31638 (java) S 31632 31635 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 128217801 14315556864 46010 18446744073709551615 4194304 4196468 140733791280688 139630127569680 139630185633493 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31639] ppid=31632 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31639/stat : 31639 (java) S 31632 31635 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 128217801 14315556864 46010 18446744073709551615 4194304 4196468 140733791280688 139630126517136 139630185633493 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31640] ppid=31632 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31640/stat : 31640 (java) S 31632 31635 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 128217801 14315556864 46010 18446744073709551615 4194304 4196468 140733791280688 139629783686160 139630185633493 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31641] ppid=31632 vsize=13980036 memory=167656 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31641/stat : 31641 (java) S 31632 31635 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 128217801 14315556864 46010 18446744073709551615 4194304 4196468 140733791280688 139629782633616 139630185633493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31642] ppid=31632 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31642/stat : 31642 (java) S 31632 31635 8289 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 128217803 14315556864 46010 18446744073709551615 4194304 4196468 140733791280688 139629732128752 139630185634434 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31643] ppid=31632 vsize=13980036 memory=6298681356529259875 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31643/stat : 31643 (java) S 31632 31635 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 128217803 14315556864 46010 18446744073709551615 4194304 4196468 140733791280688 139629731074976 139630185633493 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31644] ppid=31632 vsize=13980036 memory=7302145231945492561 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31644/stat : 31644 (java) S 31632 31635 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 128217803 14315556864 46010 18446744073709551615 4194304 4196468 140733791280688 139629730022384 139630185633493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31645] ppid=31632 vsize=13980036 memory=7738996620608565105 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31645/stat : 31645 (java) S 31632 31635 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 128217806 14315556864 46010 18446744073709551615 4194304 4196468 140733791280688 139629728970960 139630185641883 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31646] ppid=31632 vsize=13980036 memory=7230921007607278949 CPUtime=0.42 cores=0,2,4,6
/proc/31635/task/31646/stat : 31646 (java) S 31632 31635 8289 0 -1 1077944384 2709 0 0 0 42 0 0 0 20 0 15 0 128217806 14315556864 46010 18446744073709551615 4194304 4196468 140733791280688 139629727918576 139630185634434 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31647] ppid=31632 vsize=13980036 memory=7086809169624328294 CPUtime=0.41 cores=0,2,4,6
/proc/31635/task/31647/stat : 31647 (java) S 31632 31635 8289 0 -1 1077944384 1622 0 0 0 41 0 0 0 20 0 15 0 128217806 14315556864 46010 18446744073709551615 4194304 4196468 140733791280688 139629726866032 139630185634434 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31648] ppid=31632 vsize=13980036 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/31635/task/31648/stat : 31648 (java) S 31632 31635 8289 0 -1 1077944384 1953 0 0 0 24 0 0 0 20 0 15 0 128217806 14315556864 46010 18446744073709551615 4194304 4196468 140733791280688 139629725813488 139630185634434 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31649] ppid=31632 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31649/stat : 31649 (java) S 31632 31635 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 128217806 14315556864 46010 18446744073709551615 4194304 4196468 140733791280688 139629724761184 139630185633493 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31650] ppid=31632 vsize=13980036 memory=281301299349120 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31650/stat : 31650 (java) S 31632 31635 8289 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 128217811 14315556864 46010 18446744073709551615 4194304 4196468 140733791280688 139629723707696 139630185634434 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
Current children cumulated CPU time: 3.38 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 184040 KiB
[startup+2.60077 s]
/proc/loadavg: 1.91 1.76 1.65 4/212 31650
/proc/meminfo: memFree=28109424/32770624 swapFree=67108860/67108860
[pid=31635] ppid=31632 vsize=13980036 memory=196680 CPUtime=3.59 cores=0,2,4,6
/proc/31635/stat : 31635 (java) S 31632 31635 8289 0 -1 1077944320 23444 0 0 0 351 8 0 0 20 0 15 0 128217794 14315556864 49170 18446744073709551615 4194304 4196468 140733791280688 140733791263232 139630185623287 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
/proc/31635/statm: 3495009 49170 3782 1 0 3483783 0
[pid=31635/tid=31637] ppid=31632 vsize=13980036 memory=281301299383712 CPUtime=2.46 cores=0,2,4,6
/proc/31635/task/31637/stat : 31637 (java) R 31632 31635 8289 0 -1 4202560 13843 0 0 0 240 6 0 0 20 0 15 0 128217801 14315556864 49170 18446744073709551615 4194304 4196468 140733791280688 139630189861952 139630170000304 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31638] ppid=31632 vsize=13980036 memory=140650649694128 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31638/stat : 31638 (java) S 31632 31635 8289 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 128217801 14315556864 49170 18446744073709551615 4194304 4196468 140733791280688 139630127569680 139630185633493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31639] ppid=31632 vsize=13980036 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31639/stat : 31639 (java) S 31632 31635 8289 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 15 0 128217801 14315556864 49170 18446744073709551615 4194304 4196468 140733791280688 139630126517136 139630185633493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31640] ppid=31632 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31640/stat : 31640 (java) S 31632 31635 8289 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 128217801 14315556864 49170 18446744073709551615 4194304 4196468 140733791280688 139629783686160 139630185633493 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31641] ppid=31632 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31641/stat : 31641 (java) S 31632 31635 8289 0 -1 1077944384 360 0 0 0 0 0 0 0 20 0 15 0 128217801 14315556864 49170 18446744073709551615 4194304 4196468 140733791280688 139629782633616 139630185633493 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31642] ppid=31632 vsize=13980036 memory=-8245070985095736464 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31642/stat : 31642 (java) S 31632 31635 8289 0 -1 1077944384 246 0 0 0 0 0 0 0 20 0 15 0 128217803 14315556864 49170 18446744073709551615 4194304 4196468 140733791280688 139629732128752 139630185634434 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31643] ppid=31632 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31643/stat : 31643 (java) S 31632 31635 8289 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 128217803 14315556864 49170 18446744073709551615 4194304 4196468 140733791280688 139629731075040 139630185633493 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31644] ppid=31632 vsize=13980036 memory=-6421031960926448530 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31644/stat : 31644 (java) S 31632 31635 8289 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 128217803 14315556864 49170 18446744073709551615 4194304 4196468 140733791280688 139629730022384 139630185633493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31645] ppid=31632 vsize=13980036 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31645/stat : 31645 (java) S 31632 31635 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 128217806 14315556864 49170 18446744073709551615 4194304 4196468 140733791280688 139629728970960 139630185641883 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31646] ppid=31632 vsize=13980036 memory=6944656575208382560 CPUtime=0.42 cores=0,2,4,6
/proc/31635/task/31646/stat : 31646 (java) S 31632 31635 8289 0 -1 1077944384 2709 0 0 0 42 0 0 0 20 0 15 0 128217806 14315556864 49170 18446744073709551615 4194304 4196468 140733791280688 139629727918576 139630185634434 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31647] ppid=31632 vsize=13980036 memory=6944656575208382560 CPUtime=0.41 cores=0,2,4,6
/proc/31635/task/31647/stat : 31647 (java) S 31632 31635 8289 0 -1 1077944384 1622 0 0 0 41 0 0 0 20 0 15 0 128217806 14315556864 49170 18446744073709551615 4194304 4196468 140733791280688 139629726866032 139630185634434 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31648] ppid=31632 vsize=13980036 memory=6944656592455097440 CPUtime=0.24 cores=0,2,4,6
/proc/31635/task/31648/stat : 31648 (java) S 31632 31635 8289 0 -1 1077944384 2936 0 0 0 24 0 0 0 20 0 15 0 128217806 14315556864 49170 18446744073709551615 4194304 4196468 140733791280688 139629725813488 139630185634434 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31649] ppid=31632 vsize=13980036 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31649/stat : 31649 (java) S 31632 31635 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 128217806 14315556864 49170 18446744073709551615 4194304 4196468 140733791280688 139629724761184 139630185633493 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31650] ppid=31632 vsize=13980036 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31650/stat : 31650 (java) S 31632 31635 8289 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 128217811 14315556864 49170 18446744073709551615 4194304 4196468 140733791280688 139629723707696 139630185634434 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
Current children cumulated CPU time: 3.59 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 196680 KiB
[startup+2.70076 s]
/proc/loadavg: 1.91 1.76 1.65 4/212 31650
/proc/meminfo: memFree=28109424/32770624 swapFree=67108860/67108860
[pid=31635] ppid=31632 vsize=13980036 memory=196688 CPUtime=3.7 cores=0,2,4,6
/proc/31635/stat : 31635 (java) S 31632 31635 8289 0 -1 1077944320 23454 0 0 0 361 9 0 0 20 0 15 0 128217794 14315556864 49172 18446744073709551615 4194304 4196468 140733791280688 140733791263232 139630185623287 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 6 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
/proc/31635/statm: 3495009 49172 3784 1 0 3483783 0
[pid=31635/tid=31637] ppid=31632 vsize=13980036 memory=56 CPUtime=2.55 cores=0,2,4,6
/proc/31635/task/31637/stat : 31637 (java) R 31632 31635 8289 0 -1 4202560 13851 0 0 0 249 6 0 0 20 0 15 0 128217801 14315556864 49172 18446744073709551615 4194304 4196468 140733791280688 139630189861952 139629809382011 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31638] ppid=31632 vsize=13980036 memory=177896 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31638/stat : 31638 (java) S 31632 31635 8289 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 128217801 14315556864 49172 18446744073709551615 4194304 4196468 140733791280688 139630127569680 139630185633493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31639] ppid=31632 vsize=13980036 memory=153320 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31639/stat : 31639 (java) S 31632 31635 8289 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 15 0 128217801 14315556864 49172 18446744073709551615 4194304 4196468 140733791280688 139630126517136 139630185633493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31640] ppid=31632 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31640/stat : 31640 (java) S 31632 31635 8289 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 128217801 14315556864 49172 18446744073709551615 4194304 4196468 140733791280688 139629783686160 139630185633493 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31641] ppid=31632 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31641/stat : 31641 (java) S 31632 31635 8289 0 -1 1077944384 360 0 0 0 0 0 0 0 20 0 15 0 128217801 14315556864 49172 18446744073709551615 4194304 4196468 140733791280688 139629782633616 139630185633493 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31642] ppid=31632 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31642/stat : 31642 (java) S 31632 31635 8289 0 -1 1077944384 246 0 0 0 0 0 0 0 20 0 15 0 128217803 14315556864 49172 18446744073709551615 4194304 4196468 140733791280688 139629732128752 139630185634434 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31643] ppid=31632 vsize=13980036 memory=281301299464960 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31643/stat : 31643 (java) S 31632 31635 8289 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 128217803 14315556864 49172 18446744073709551615 4194304 4196468 140733791280688 139629731075040 139630185633493 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31644] ppid=31632 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31644/stat : 31644 (java) S 31632 31635 8289 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 128217803 14315556864 49172 18446744073709551615 4194304 4196468 140733791280688 139629730022384 139630185633493 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31645] ppid=31632 vsize=13980036 memory=116 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31645/stat : 31645 (java) S 31632 31635 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 128217806 14315556864 49172 18446744073709551615 4194304 4196468 140733791280688 139629728970960 139630185641883 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31646] ppid=31632 vsize=13980036 memory=0 CPUtime=0.42 cores=0,2,4,6
/proc/31635/task/31646/stat : 31646 (java) S 31632 31635 8289 0 -1 1077944384 2709 0 0 0 42 0 0 0 20 0 15 0 128217806 14315556864 49172 18446744073709551615 4194304 4196468 140733791280688 139629727918576 139630185634434 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31647] ppid=31632 vsize=13980036 memory=0 CPUtime=0.41 cores=0,2,4,6
/proc/31635/task/31647/stat : 31647 (java) S 31632 31635 8289 0 -1 1077944384 1622 0 0 0 41 0 0 0 20 0 15 0 128217806 14315556864 49172 18446744073709551615 4194304 4196468 140733791280688 139629726866032 139630185634434 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31648] ppid=31632 vsize=13980036 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/31635/task/31648/stat : 31648 (java) S 31632 31635 8289 0 -1 1077944384 2938 0 0 0 24 0 0 0 20 0 15 0 128217806 14315556864 49172 18446744073709551615 4194304 4196468 140733791280688 139629725813488 139630185634434 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31649] ppid=31632 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31649/stat : 31649 (java) S 31632 31635 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 128217806 14315556864 49172 18446744073709551615 4194304 4196468 140733791280688 139629724761184 139630185633493 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
[pid=31635/tid=31650] ppid=31632 vsize=13980036 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31635/task/31650/stat : 31650 (java) S 31632 31635 8289 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 128217811 14315556864 49172 18446744073709551615 4194304 4196468 140733791280688 139629723707696 139630185634434 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27865088 140733791289710 140733791289897 140733791289897 140733791293391 0
Current children cumulated CPU time: 3.7 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 196688 KiB
Child status: 0
Real time (s): 2.75439
CPU time (s): 3.76025
CPU user time (s): 3.66191
CPU system time (s): 0.09834
CPU usage (%): 136.518
Max. virtual memory (cumulated for all children) (KiB): 13980036
Max. memory (cumulated for all children) (KiB): 196688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.66191
system time used= 0.09834
maximum resident set size= 196896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23866
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1699
involuntary context switches= 6
# summary of solver processes directly reported to runsolver:
# pid: 31635
# total CPU time (s): 3.76025
# total CPU user time (s): 3.66191
# total CPU system time (s): 0.09834
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.034136 second user time and 0.074392 second system time
The end