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 (12757 MiB free)
memory of node 1: 16384 MiB (11565 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274611-1502850985/watcher-4274611-1502850985 -o /tmp/evaluation-result-4274611-1502850985/solver-4274611-1502850985 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1502838367-6300 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 2050644638 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274611-1502850985.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
solver pid=7906, runsolver pid=7903
Current StackSize limit: 8192 KiB
[startup+0.100127 s]*
/proc/loadavg: 1.20 1.31 1.40 4/216 7921
/proc/meminfo: memFree=24888092/32770624 swapFree=67108860/67108860
[pid=7906] ppid=7903 vsize=13980164 memory=34168 CPUtime=0.12 cores=0,2,4,6
/proc/7906/stat : 7906 (java) S 7903 7906 6269 0 -1 1077944320 8430 0 0 0 11 1 0 0 20 0 15 0 118186315 14315687936 8542 33554432000 4194304 4196468 140728418668464 140728418651008 140521537584887 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
/proc/7906/statm: 3495041 8542 3412 1 0 3482761 0
[pid=7906/tid=7908] ppid=7903 vsize=13980164 memory=-8392283589032375488 CPUtime=0.09 cores=0,2,4,6
/proc/7906/task/7908/stat : 7908 (java) R 7903 7906 6269 0 -1 4202560 6373 0 0 0 8 1 0 0 20 0 15 0 118186316 14315687936 8542 33554432000 4194304 4196468 140728418668464 140521541773184 140521537606813 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7909] ppid=7903 vsize=13980164 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7909/stat : 7909 (java) S 7903 7906 6269 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118186317 14315687936 8542 33554432000 4194304 4196468 140728418668464 140521467673488 140521537595093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7910] ppid=7903 vsize=13980164 memory=140098015032960 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7910/stat : 7910 (java) S 7903 7906 6269 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118186317 14315687936 8542 33554432000 4194304 4196468 140728418668464 140521466620688 140521537595093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7911] ppid=7903 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7911/stat : 7911 (java) S 7903 7906 6269 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118186317 14315687936 8542 33554432000 4194304 4196468 140728418668464 140521131130000 140521537595093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7912] ppid=7903 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7912/stat : 7912 (java) S 7903 7906 6269 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118186317 14315687936 8542 33554432000 4194304 4196468 140728418668464 140521130077200 140521537595093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7913] ppid=7903 vsize=13980164 memory=140098015032960 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7913/stat : 7913 (java) S 7903 7906 6269 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118186318 14315687936 8542 33554432000 4194304 4196468 140728418668464 140520449861744 140521537596034 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7914] ppid=7903 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7914/stat : 7914 (java) S 7903 7906 6269 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 118186319 14315687936 8542 33554432000 4194304 4196468 140728418668464 140520448807712 140521537595093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7915] ppid=7903 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7915/stat : 7915 (java) S 7903 7906 6269 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 118186319 14315687936 8542 33554432000 4194304 4196468 140728418668464 140520447755376 140521537595093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7916] ppid=7903 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7916/stat : 7916 (java) S 7903 7906 6269 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118186321 14315687936 8542 33554432000 4194304 4196468 140728418668464 140520446703696 140521537603483 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7917] ppid=7903 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7917/stat : 7917 (java) S 7903 7906 6269 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 118186321 14315687936 8542 33554432000 4194304 4196468 140728418668464 140520445651568 140521537596034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7918] ppid=7903 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7918/stat : 7918 (java) S 7903 7906 6269 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118186321 14315687936 8542 33554432000 4194304 4196468 140728418668464 140520444598768 140521537596034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7919] ppid=7903 vsize=13980164 memory=140098015032960 CPUtime=0.02 cores=0,2,4,6
/proc/7906/task/7919/stat : 7919 (java) R 7903 7906 6269 0 -1 4202560 380 0 0 0 2 0 0 0 20 0 15 0 118186321 14315687936 8542 33554432000 4194304 4196468 140728418668464 140520443546480 140521516539554 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7920] ppid=7903 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7920/stat : 7920 (java) S 7903 7906 6269 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118186321 14315687936 8542 33554432000 4194304 4196468 140728418668464 140520442493920 140521537595093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7921] ppid=7903 vsize=13980164 memory=140098015032960 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7921/stat : 7921 (java) S 7903 7906 6269 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118186322 14315687936 8542 33554432000 4194304 4196468 140728418668464 140520441440688 140521537596034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13980164 KiB
Current children cumulated memory: 34168 KiB
[startup+0.210549 s]*
/proc/loadavg: 1.20 1.31 1.40 3/216 7921
/proc/meminfo: memFree=24877360/32770624 swapFree=67108860/67108860
[pid=7906] ppid=7903 vsize=13980164 memory=43336 CPUtime=0.31 cores=0,2,4,6
/proc/7906/stat : 7906 (java) S 7903 7906 6269 0 -1 1077944320 9414 0 0 0 29 2 0 0 20 0 15 0 118186315 14315687936 10834 33554432000 4194304 4196468 140728418668464 140728418651008 140521537584887 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
/proc/7906/statm: 3495041 10834 3605 1 0 3482761 0
[pid=7906/tid=7908] ppid=7903 vsize=13980164 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/7906/task/7908/stat : 7908 (java) R 7903 7906 6269 0 -1 4202560 7007 0 0 0 18 1 0 0 20 0 15 0 118186316 14315687936 10834 33554432000 4194304 4196468 140728418668464 140521541794840 140521537606813 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7909] ppid=7903 vsize=13980164 memory=345 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7909/stat : 7909 (java) S 7903 7906 6269 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118186317 14315687936 10834 33554432000 4194304 4196468 140728418668464 140521467673488 140521537595093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7910] ppid=7903 vsize=13980164 memory=140098015040964 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7910/stat : 7910 (java) S 7903 7906 6269 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118186317 14315687936 10834 33554432000 4194304 4196468 140728418668464 140521466620688 140521537595093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7911] ppid=7903 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7911/stat : 7911 (java) S 7903 7906 6269 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118186317 14315687936 10834 33554432000 4194304 4196468 140728418668464 140521131130000 140521537595093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7912] ppid=7903 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7912/stat : 7912 (java) S 7903 7906 6269 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118186317 14315687936 10834 33554432000 4194304 4196468 140728418668464 140521130077200 140521537595093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7913] ppid=7903 vsize=13980164 memory=140098015032960 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7913/stat : 7913 (java) S 7903 7906 6269 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 118186318 14315687936 10834 33554432000 4194304 4196468 140728418668464 140520449861744 140521537596034 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7914] ppid=7903 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7914/stat : 7914 (java) S 7903 7906 6269 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 118186319 14315687936 10834 33554432000 4194304 4196468 140728418668464 140520448807712 140521537595093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7915] ppid=7903 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7915/stat : 7915 (java) S 7903 7906 6269 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 118186319 14315687936 10834 33554432000 4194304 4196468 140728418668464 140520447755376 140521537595093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7916] ppid=7903 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7916/stat : 7916 (java) S 7903 7906 6269 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118186321 14315687936 10834 33554432000 4194304 4196468 140728418668464 140520446703696 140521537603483 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7917] ppid=7903 vsize=13980164 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/7906/task/7917/stat : 7917 (java) S 7903 7906 6269 0 -1 1077944384 391 0 0 0 2 0 0 0 20 0 15 0 118186321 14315687936 10834 33554432000 4194304 4196468 140728418668464 140520445651568 140521537596034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7918] ppid=7903 vsize=13980164 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/7906/task/7918/stat : 7918 (java) S 7903 7906 6269 0 -1 1077944384 240 0 0 0 1 0 0 0 20 0 15 0 118186321 14315687936 10834 33554432000 4194304 4196468 140728418668464 140520444598768 140521537596034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7919] ppid=7903 vsize=13980164 memory=140098015032960 CPUtime=0.05 cores=0,2,4,6
/proc/7906/task/7919/stat : 7919 (java) S 7903 7906 6269 0 -1 1077944384 397 0 0 0 5 0 0 0 20 0 15 0 118186321 14315687936 10834 33554432000 4194304 4196468 140728418668464 140520443546480 140521537596034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7920] ppid=7903 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7920/stat : 7920 (java) S 7903 7906 6269 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118186321 14315687936 10834 33554432000 4194304 4196468 140728418668464 140520442493920 140521537595093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7921] ppid=7903 vsize=13980164 memory=140098015032960 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7921/stat : 7921 (java) S 7903 7906 6269 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118186322 14315687936 10834 33554432000 4194304 4196468 140728418668464 140520441440688 140521537596034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 13980164 KiB
Current children cumulated memory: 43336 KiB
[startup+0.31027 s]*
/proc/loadavg: 1.20 1.31 1.40 3/216 7921
/proc/meminfo: memFree=24870388/32770624 swapFree=67108860/67108860
[pid=7906] ppid=7903 vsize=13980184 memory=50800 CPUtime=0.49 cores=0,2,4,6
/proc/7906/stat : 7906 (java) S 7903 7906 6269 0 -1 1077944320 10422 0 0 0 47 2 0 0 20 0 15 0 118186315 14315708416 12700 33554432000 4194304 4196468 140728418668464 140728418651008 140521537584887 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
/proc/7906/statm: 3495046 12700 3714 1 0 3482761 0
[pid=7906/tid=7908] ppid=7903 vsize=13980184 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6
/proc/7906/task/7908/stat : 7908 (java) R 7903 7906 6269 0 -1 4202560 7559 0 0 0 28 1 0 0 20 0 15 0 118186316 14315708416 12700 33554432000 4194304 4196468 140728418668464 140521541792976 140521537596822 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7909] ppid=7903 vsize=13980184 memory=304556157652172823 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7909/stat : 7909 (java) S 7903 7906 6269 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118186317 14315708416 12700 33554432000 4194304 4196468 140728418668464 140521467673488 140521537595093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7910] ppid=7903 vsize=13980184 memory=15677521088444056 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7910/stat : 7910 (java) S 7903 7906 6269 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118186317 14315708416 12700 33554432000 4194304 4196468 140728418668464 140521466620688 140521537595093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7911] ppid=7903 vsize=13980184 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7911/stat : 7911 (java) S 7903 7906 6269 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118186317 14315708416 12700 33554432000 4194304 4196468 140728418668464 140521131130000 140521537595093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7912] ppid=7903 vsize=13980184 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7912/stat : 7912 (java) S 7903 7906 6269 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118186317 14315708416 12700 33554432000 4194304 4196468 140728418668464 140521130077200 140521537595093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7913] ppid=7903 vsize=13980184 memory=140098015032960 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7913/stat : 7913 (java) S 7903 7906 6269 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 118186318 14315708416 12700 33554432000 4194304 4196468 140728418668464 140520449861744 140521537596034 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7914] ppid=7903 vsize=13980184 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7914/stat : 7914 (java) S 7903 7906 6269 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 118186319 14315708416 12700 33554432000 4194304 4196468 140728418668464 140520448807712 140521537595093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7915] ppid=7903 vsize=13980184 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7915/stat : 7915 (java) S 7903 7906 6269 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 118186319 14315708416 12700 33554432000 4194304 4196468 140728418668464 140520447755376 140521537595093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7916] ppid=7903 vsize=13980184 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7916/stat : 7916 (java) S 7903 7906 6269 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118186321 14315708416 12700 33554432000 4194304 4196468 140728418668464 140520446703696 140521537603483 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7917] ppid=7903 vsize=13980184 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/7906/task/7917/stat : 7917 (java) S 7903 7906 6269 0 -1 1077944384 634 0 0 0 5 0 0 0 20 0 15 0 118186321 14315708416 12700 33554432000 4194304 4196468 140728418668464 140520445651568 140521537596034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7918] ppid=7903 vsize=13980184 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/7906/task/7918/stat : 7918 (java) R 7903 7906 6269 0 -1 1077944384 400 0 0 0 4 0 0 0 20 0 15 0 118186321 14315708416 12700 33554432000 4194304 4196468 140728418668464 140520444598768 140521537596034 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7919] ppid=7903 vsize=13980184 memory=140098015032960 CPUtime=0.08 cores=0,2,4,6
/proc/7906/task/7919/stat : 7919 (java) R 7903 7906 6269 0 -1 4202560 448 0 0 0 8 0 0 0 20 0 15 0 118186321 14315708416 12700 33554432000 4194304 4196468 140728418668464 140520443546480 140521537606234 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7920] ppid=7903 vsize=13980184 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7920/stat : 7920 (java) S 7903 7906 6269 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118186321 14315708416 12700 33554432000 4194304 4196468 140728418668464 140520442493920 140521537595093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7921] ppid=7903 vsize=13980184 memory=140098015032960 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7921/stat : 7921 (java) S 7903 7906 6269 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118186322 14315708416 12700 33554432000 4194304 4196468 140728418668464 140520441440688 140521537596034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 13980184 KiB
Current children cumulated memory: 50800 KiB
[startup+0.707439 s]
/proc/loadavg: 1.20 1.31 1.40 4/216 7921
/proc/meminfo: memFree=24857936/32770624 swapFree=67108860/67108860
[pid=7906] ppid=7903 vsize=13982232 memory=79920 CPUtime=1.37 cores=0,2,4,6
/proc/7906/stat : 7906 (java) S 7903 7906 6269 0 -1 1077944320 14103 0 0 0 133 4 0 0 20 0 15 0 118186315 14317805568 19980 33554432000 4194304 4196468 140728418668464 140728418651008 140521537584887 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
/proc/7906/statm: 3495558 19980 3772 1 0 3483273 0
[pid=7906/tid=7908] ppid=7903 vsize=13982232 memory=1728 CPUtime=0.68 cores=0,2,4,6
/proc/7906/task/7908/stat : 7908 (java) R 7903 7906 6269 0 -1 4202560 8504 0 0 0 66 2 0 0 20 0 15 0 118186316 14317805568 19980 33554432000 4194304 4196468 140728418668464 140521541820384 140521147293726 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7909] ppid=7903 vsize=13982232 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7909/stat : 7909 (java) S 7903 7906 6269 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118186317 14317805568 19980 33554432000 4194304 4196468 140728418668464 140521467673488 140521537595093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7910] ppid=7903 vsize=13982232 memory=796 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7910/stat : 7910 (java) S 7903 7906 6269 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118186317 14317805568 19980 33554432000 4194304 4196468 140728418668464 140521466620688 140521537595093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7911] ppid=7903 vsize=13982232 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7911/stat : 7911 (java) S 7903 7906 6269 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118186317 14317805568 19980 33554432000 4194304 4196468 140728418668464 140521131130000 140521537595093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7912] ppid=7903 vsize=13982232 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7912/stat : 7912 (java) S 7903 7906 6269 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118186317 14317805568 19980 33554432000 4194304 4196468 140728418668464 140521130077200 140521537595093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7913] ppid=7903 vsize=13982232 memory=8576 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7913/stat : 7913 (java) S 7903 7906 6269 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 118186318 14317805568 19980 33554432000 4194304 4196468 140728418668464 140520449861744 140521537596034 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7914] ppid=7903 vsize=13982232 memory=5516 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7914/stat : 7914 (java) S 7903 7906 6269 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 118186319 14317805568 19980 33554432000 4194304 4196468 140728418668464 140520448807712 140521537595093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7915] ppid=7903 vsize=13982232 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7915/stat : 7915 (java) S 7903 7906 6269 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 118186319 14317805568 19980 33554432000 4194304 4196468 140728418668464 140520447755376 140521537595093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7916] ppid=7903 vsize=13982232 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7916/stat : 7916 (java) S 7903 7906 6269 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118186321 14317805568 19980 33554432000 4194304 4196468 140728418668464 140520446703696 140521537603483 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7917] ppid=7903 vsize=13982232 memory=7518026621751088999 CPUtime=0.2 cores=0,2,4,6
/proc/7906/task/7917/stat : 7917 (java) R 7903 7906 6269 0 -1 1077944384 1203 0 0 0 20 0 0 0 20 0 15 0 118186321 14317805568 19980 33554432000 4194304 4196468 140728418668464 140520445642608 140521537595093 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7918] ppid=7903 vsize=13982232 memory=7589803909226524263 CPUtime=0.17 cores=0,2,4,6
/proc/7906/task/7918/stat : 7918 (java) R 7903 7906 6269 0 -1 4202560 1259 0 0 0 17 0 0 0 20 0 15 0 118186321 14317805568 19980 33554432000 4194304 4196468 140728418668464 140520444584792 140521520971675 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7919] ppid=7903 vsize=13982232 memory=5787213827046467687 CPUtime=0.29 cores=0,2,4,6
/proc/7906/task/7919/stat : 7919 (java) R 7903 7906 6269 0 -1 4202560 1756 0 0 0 29 0 0 0 20 0 15 0 118186321 14317805568 19980 33554432000 4194304 4196468 140728418668464 140520443546480 140521537596822 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7920] ppid=7903 vsize=13982232 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7920/stat : 7920 (java) S 7903 7906 6269 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118186321 14317805568 19980 33554432000 4194304 4196468 140728418668464 140520442493920 140521537595093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7921] ppid=7903 vsize=13982232 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7921/stat : 7921 (java) S 7903 7906 6269 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118186322 14317805568 19980 33554432000 4194304 4196468 140728418668464 140520441440688 140521537596034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
Current children cumulated CPU time: 1.37 s
Current children cumulated vsize: 13982232 KiB
Current children cumulated memory: 79920 KiB
[startup+1.50268 s]
/proc/loadavg: 1.20 1.31 1.40 3/216 7921
/proc/meminfo: memFree=24831188/32770624 swapFree=67108860/67108860
[pid=7906] ppid=7903 vsize=13986328 memory=177672 CPUtime=2.9 cores=0,2,4,6
/proc/7906/stat : 7906 (java) S 7903 7906 6269 0 -1 1077944320 19867 0 0 0 283 7 0 0 20 0 15 0 118186315 14321999872 44418 33554432000 4194304 4196468 140728418668464 140728418651008 140521537584887 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
/proc/7906/statm: 3496582 44418 3784 1 0 3484297 0
[pid=7906/tid=7908] ppid=7903 vsize=13986328 memory=0 CPUtime=1.47 cores=0,2,4,6
/proc/7906/task/7908/stat : 7908 (java) R 7903 7906 6269 0 -1 4202560 11125 0 0 0 143 4 0 0 20 0 15 0 118186316 14321999872 44418 33554432000 4194304 4196468 140728418668464 140521541820944 140521150949093 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7909] ppid=7903 vsize=13986328 memory=-8754540793456063680 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7909/stat : 7909 (java) S 7903 7906 6269 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118186317 14321999872 44418 33554432000 4194304 4196468 140728418668464 140521467673488 140521537595093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7910] ppid=7903 vsize=13986328 memory=-2843869621055772062 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7910/stat : 7910 (java) S 7903 7906 6269 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118186317 14321999872 44418 33554432000 4194304 4196468 140728418668464 140521466620688 140521537595093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7911] ppid=7903 vsize=13986328 memory=5450919713671312938 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7911/stat : 7911 (java) S 7903 7906 6269 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118186317 14321999872 44418 33554432000 4194304 4196468 140728418668464 140521131130000 140521537595093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7912] ppid=7903 vsize=13986328 memory=7005738693937936738 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7912/stat : 7912 (java) S 7903 7906 6269 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118186317 14321999872 44418 33554432000 4194304 4196468 140728418668464 140521130077200 140521537595093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7913] ppid=7903 vsize=13986328 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7913/stat : 7913 (java) S 7903 7906 6269 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 118186318 14321999872 44418 33554432000 4194304 4196468 140728418668464 140520449861744 140521537596034 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
################
# More data... #
################
/proc/7906/task/7908/stat : 7908 (java) R 7903 7906 6269 0 -1 4202560 23880 0 0 0 243410 14 0 0 20 0 15 0 118186316 14321999872 63326 33554432000 4194304 4196468 140728418668464 140521541823408 140521151885075 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7909] ppid=7903 vsize=13986328 memory=251256 CPUtime=3.21 cores=0,2,4,6
/proc/7906/task/7909/stat : 7909 (java) S 7903 7906 6269 0 -1 1077944384 3383 0 0 0 296 25 0 0 20 0 15 0 118186317 14321999872 63326 33554432000 4194304 4196468 140728418668464 140521467673488 140521537595093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7910] ppid=7903 vsize=13986328 memory=251256 CPUtime=3.18 cores=0,2,4,6
/proc/7906/task/7910/stat : 7910 (java) S 7903 7906 6269 0 -1 1077944384 3467 0 0 0 294 24 0 0 20 0 15 0 118186317 14321999872 63326 33554432000 4194304 4196468 140728418668464 140521466620688 140521537595093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7911] ppid=7903 vsize=13986328 memory=251256 CPUtime=3.19 cores=0,2,4,6
/proc/7906/task/7911/stat : 7911 (java) S 7903 7906 6269 0 -1 1077944384 3165 0 0 0 296 23 0 0 20 0 15 0 118186317 14321999872 63326 33554432000 4194304 4196468 140728418668464 140521131130000 140521537595093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7912] ppid=7903 vsize=13986328 memory=249208 CPUtime=3.17 cores=0,2,4,6
/proc/7906/task/7912/stat : 7912 (java) S 7903 7906 6269 0 -1 1077944384 2722 0 0 0 293 24 0 0 20 0 15 0 118186317 14321999872 63326 33554432000 4194304 4196468 140728418668464 140521130077200 140521537595093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7913] ppid=7903 vsize=13986328 memory=251256 CPUtime=2.86 cores=0,2,4,6
/proc/7906/task/7913/stat : 7913 (java) S 7903 7906 6269 0 -1 1077944384 3305 0 0 0 265 21 0 0 20 0 15 0 118186318 14321999872 63326 33554432000 4194304 4196468 140728418668464 140520449861744 140521537596034 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7914] ppid=7903 vsize=13986328 memory=253304 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7914/stat : 7914 (java) S 7903 7906 6269 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 118186319 14321999872 63326 33554432000 4194304 4196468 140728418668464 140520448807712 140521537595093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7915] ppid=7903 vsize=13986328 memory=251256 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7915/stat : 7915 (java) S 7903 7906 6269 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 118186319 14321999872 63326 33554432000 4194304 4196468 140728418668464 140520447755376 140521537595093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7916] ppid=7903 vsize=13986328 memory=796 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7916/stat : 7916 (java) S 7903 7906 6269 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118186321 14321999872 63326 33554432000 4194304 4196468 140728418668464 140520446703696 140521537603483 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7917] ppid=7903 vsize=13986328 memory=253304 CPUtime=1.09 cores=0,2,4,6
/proc/7906/task/7917/stat : 7917 (java) S 7903 7906 6269 0 -1 1077944384 3704 0 0 0 108 1 0 0 20 0 15 0 118186321 14321999872 63326 33554432000 4194304 4196468 140728418668464 140520445651568 140521537596034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 21 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7918] ppid=7903 vsize=13986328 memory=253304 CPUtime=1.07 cores=0,2,4,6
/proc/7906/task/7918/stat : 7918 (java) S 7903 7906 6269 0 -1 1077944384 4145 0 0 0 106 1 0 0 20 0 15 0 118186321 14321999872 63326 33554432000 4194304 4196468 140728418668464 140520444598768 140521537596034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7919] ppid=7903 vsize=13986328 memory=33120 CPUtime=0.55 cores=0,2,4,6
/proc/7906/task/7919/stat : 7919 (java) S 7903 7906 6269 0 -1 1077944384 3312 0 0 0 54 1 0 0 20 0 15 0 118186321 14321999872 63326 33554432000 4194304 4196468 140728418668464 140520443546480 140521537596034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 22 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7920] ppid=7903 vsize=13986328 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7920/stat : 7920 (java) S 7903 7906 6269 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118186321 14321999872 63326 33554432000 4194304 4196468 140728418668464 140520442493920 140521537595093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7921] ppid=7903 vsize=13986328 memory=253304 CPUtime=0.81 cores=0,2,4,6
/proc/7906/task/7921/stat : 7921 (java) S 7903 7906 6269 0 -1 1077944384 496 0 0 0 39 42 0 0 20 0 15 0 118186322 14321999872 63326 33554432000 4194304 4196468 140728418668464 140520441440688 140521537596034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 42 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
Current children cumulated CPU time: 2453.47 s
Current children cumulated vsize: 13986328 KiB
Current children cumulated memory: 253304 KiB
[startup+2502.3 s]
/proc/loadavg: 1.75 1.67 1.63 3/217 8098
/proc/meminfo: memFree=24356988/32770624 swapFree=67108860/67108860
[pid=7906] ppid=7903 vsize=13986328 memory=253344 CPUtime=2513.65 cores=0,2,4,6
/proc/7906/stat : 7906 (java) S 7903 7906 6269 0 -1 1077944320 53379 0 0 0 251228 137 0 0 20 0 15 0 118186315 14321999872 63336 33554432000 4194304 4196468 140728418668464 140728418651008 140521537584887 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
/proc/7906/statm: 3496582 63336 3818 1 0 3484297 0
[pid=7906/tid=7908] ppid=7903 vsize=13986328 memory=253344 CPUtime=2494.07 cores=0,2,4,6
/proc/7906/task/7908/stat : 7908 (java) R 7903 7906 6269 0 -1 4202560 24059 0 0 0 249392 15 0 0 20 0 15 0 118186316 14321999872 63336 33554432000 4194304 4196468 140728418668464 140521541823280 140521152056316 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7909] ppid=7903 vsize=13986328 memory=253344 CPUtime=3.28 cores=0,2,4,6
/proc/7906/task/7909/stat : 7909 (java) S 7903 7906 6269 0 -1 1077944384 3470 0 0 0 303 25 0 0 20 0 15 0 118186317 14321999872 63336 33554432000 4194304 4196468 140728418668464 140521467673488 140521537595093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7910] ppid=7903 vsize=13986328 memory=253344 CPUtime=3.26 cores=0,2,4,6
/proc/7906/task/7910/stat : 7910 (java) S 7903 7906 6269 0 -1 1077944384 3485 0 0 0 301 25 0 0 20 0 15 0 118186317 14321999872 63336 33554432000 4194304 4196468 140728418668464 140521466620688 140521537595093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7911] ppid=7903 vsize=13986328 memory=253344 CPUtime=3.26 cores=0,2,4,6
/proc/7906/task/7911/stat : 7911 (java) S 7903 7906 6269 0 -1 1077944384 3206 0 0 0 303 23 0 0 20 0 15 0 118186317 14321999872 63336 33554432000 4194304 4196468 140728418668464 140521131130000 140521537595093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7912] ppid=7903 vsize=13986328 memory=253344 CPUtime=3.24 cores=0,2,4,6
/proc/7906/task/7912/stat : 7912 (java) S 7903 7906 6269 0 -1 1077944384 2728 0 0 0 300 24 0 0 20 0 15 0 118186317 14321999872 63336 33554432000 4194304 4196468 140728418668464 140521130077200 140521537595093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7913] ppid=7903 vsize=13986328 memory=0 CPUtime=2.92 cores=0,2,4,6
/proc/7906/task/7913/stat : 7913 (java) S 7903 7906 6269 0 -1 1077944384 3340 0 0 0 271 21 0 0 20 0 15 0 118186318 14321999872 63336 33554432000 4194304 4196468 140728418668464 140520449861744 140521537596034 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7914] ppid=7903 vsize=13986328 memory=253344 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7914/stat : 7914 (java) S 7903 7906 6269 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 118186319 14321999872 63336 33554432000 4194304 4196468 140728418668464 140520448807712 140521537595093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7915] ppid=7903 vsize=13986328 memory=253344 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7915/stat : 7915 (java) S 7903 7906 6269 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 118186319 14321999872 63336 33554432000 4194304 4196468 140728418668464 140520447755376 140521537595093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7916] ppid=7903 vsize=13986328 memory=2257 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7916/stat : 7916 (java) S 7903 7906 6269 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118186321 14321999872 63336 33554432000 4194304 4196468 140728418668464 140520446703696 140521537603483 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7917] ppid=7903 vsize=13986328 memory=0 CPUtime=1.09 cores=0,2,4,6
/proc/7906/task/7917/stat : 7917 (java) S 7903 7906 6269 0 -1 1077944384 3704 0 0 0 108 1 0 0 20 0 15 0 118186321 14321999872 63336 33554432000 4194304 4196468 140728418668464 140520445651568 140521537596034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 21 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7918] ppid=7903 vsize=13986328 memory=253344 CPUtime=1.07 cores=0,2,4,6
/proc/7906/task/7918/stat : 7918 (java) S 7903 7906 6269 0 -1 1077944384 4145 0 0 0 106 1 0 0 20 0 15 0 118186321 14321999872 63336 33554432000 4194304 4196468 140728418668464 140520444598768 140521537596034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7919] ppid=7903 vsize=13986328 memory=253344 CPUtime=0.55 cores=0,2,4,6
/proc/7906/task/7919/stat : 7919 (java) S 7903 7906 6269 0 -1 1077944384 3312 0 0 0 54 1 0 0 20 0 15 0 118186321 14321999872 63336 33554432000 4194304 4196468 140728418668464 140520443546480 140521537596034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 22 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7920] ppid=7903 vsize=13986328 memory=1420 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7920/stat : 7920 (java) S 7903 7906 6269 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118186321 14321999872 63336 33554432000 4194304 4196468 140728418668464 140520442493920 140521537595093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7921] ppid=7903 vsize=13986328 memory=253344 CPUtime=0.82 cores=0,2,4,6
/proc/7906/task/7921/stat : 7921 (java) S 7903 7906 6269 0 -1 1077944384 509 0 0 0 39 43 0 0 20 0 15 0 118186322 14321999872 63336 33554432000 4194304 4196468 140728418668464 140520441440688 140521537596034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 42 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
Current children cumulated CPU time: 2513.65 s
Current children cumulated vsize: 13986328 KiB
Current children cumulated memory: 253344 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2508.7 s]
/proc/loadavg: 1.77 1.68 1.64 3/217 8099
/proc/meminfo: memFree=24356700/32770624 swapFree=67108860/67108860
[pid=7906] ppid=7903 vsize=13986328 memory=253344 CPUtime=2520.08 cores=0,2,4,6
/proc/7906/stat : 7906 (java) S 7903 7906 6269 0 -1 1077944320 53390 0 0 0 251871 137 0 0 20 0 15 0 118186315 14321999872 63336 33554432000 4194304 4196468 140728418668464 140728418651008 140521537584887 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
/proc/7906/statm: 3496582 63336 3818 1 0 3484297 0
[pid=7906/tid=7908] ppid=7903 vsize=13986328 memory=253344 CPUtime=2500.46 cores=0,2,4,6
/proc/7906/task/7908/stat : 7908 (java) R 7903 7906 6269 0 -1 4202560 24070 0 0 0 250031 15 0 0 20 0 15 0 118186316 14321999872 63336 33554432000 4194304 4196468 140728418668464 140521541823408 140521151940969 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7909] ppid=7903 vsize=13986328 memory=253344 CPUtime=3.29 cores=0,2,4,6
/proc/7906/task/7909/stat : 7909 (java) S 7903 7906 6269 0 -1 1077944384 3470 0 0 0 304 25 0 0 20 0 15 0 118186317 14321999872 63336 33554432000 4194304 4196468 140728418668464 140521467673488 140521537595093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7910] ppid=7903 vsize=13986328 memory=301741373374332954 CPUtime=3.27 cores=0,2,4,6
/proc/7906/task/7910/stat : 7910 (java) S 7903 7906 6269 0 -1 1077944384 3485 0 0 0 302 25 0 0 20 0 15 0 118186317 14321999872 63336 33554432000 4194304 4196468 140728418668464 140521466620688 140521537595093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7911] ppid=7903 vsize=13986328 memory=327 CPUtime=3.26 cores=0,2,4,6
/proc/7906/task/7911/stat : 7911 (java) S 7903 7906 6269 0 -1 1077944384 3206 0 0 0 303 23 0 0 20 0 15 0 118186317 14321999872 63336 33554432000 4194304 4196468 140728418668464 140521131130000 140521537595093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7912] ppid=7903 vsize=13986328 memory=0 CPUtime=3.25 cores=0,2,4,6
/proc/7906/task/7912/stat : 7912 (java) S 7903 7906 6269 0 -1 1077944384 2728 0 0 0 301 24 0 0 20 0 15 0 118186317 14321999872 63336 33554432000 4194304 4196468 140728418668464 140521130077200 140521537595093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7913] ppid=7903 vsize=13986328 memory=109 CPUtime=2.92 cores=0,2,4,6
/proc/7906/task/7913/stat : 7913 (java) S 7903 7906 6269 0 -1 1077944384 3340 0 0 0 271 21 0 0 20 0 15 0 118186318 14321999872 63336 33554432000 4194304 4196468 140728418668464 140520449861744 140521537596034 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7914] ppid=7903 vsize=13986328 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7914/stat : 7914 (java) S 7903 7906 6269 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 118186319 14321999872 63336 33554432000 4194304 4196468 140728418668464 140520448807712 140521537595093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7915] ppid=7903 vsize=13986328 memory=253344 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7915/stat : 7915 (java) S 7903 7906 6269 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 118186319 14321999872 63336 33554432000 4194304 4196468 140728418668464 140520447755376 140521537595093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7916] ppid=7903 vsize=13986328 memory=253344 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7916/stat : 7916 (java) S 7903 7906 6269 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118186321 14321999872 63336 33554432000 4194304 4196468 140728418668464 140520446703696 140521537603483 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7917] ppid=7903 vsize=13986328 memory=4140 CPUtime=1.09 cores=0,2,4,6
/proc/7906/task/7917/stat : 7917 (java) S 7903 7906 6269 0 -1 1077944384 3704 0 0 0 108 1 0 0 20 0 15 0 118186321 14321999872 63336 33554432000 4194304 4196468 140728418668464 140520445651568 140521537596034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 21 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7918] ppid=7903 vsize=13986328 memory=33120 CPUtime=1.07 cores=0,2,4,6
/proc/7906/task/7918/stat : 7918 (java) S 7903 7906 6269 0 -1 1077944384 4145 0 0 0 106 1 0 0 20 0 15 0 118186321 14321999872 63336 33554432000 4194304 4196468 140728418668464 140520444598768 140521537596034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7919] ppid=7903 vsize=13986328 memory=1728 CPUtime=0.55 cores=0,2,4,6
/proc/7906/task/7919/stat : 7919 (java) S 7903 7906 6269 0 -1 1077944384 3312 0 0 0 54 1 0 0 20 0 15 0 118186321 14321999872 63336 33554432000 4194304 4196468 140728418668464 140520443546480 140521537596034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 22 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7920] ppid=7903 vsize=13986328 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7920/stat : 7920 (java) S 7903 7906 6269 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118186321 14321999872 63336 33554432000 4194304 4196468 140728418668464 140520442493920 140521537595093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7921] ppid=7903 vsize=13986328 memory=253344 CPUtime=0.83 cores=0,2,4,6
/proc/7906/task/7921/stat : 7921 (java) S 7903 7906 6269 0 -1 1077944384 509 0 0 0 40 43 0 0 20 0 15 0 118186322 14321999872 63336 33554432000 4194304 4196468 140728418668464 140520441440688 140521537596034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 42 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 13986328 KiB
Current children cumulated memory: 253344 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2508.71 s]
# the end of solver process 7906 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.72 s, system=1.38287 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2508.7 s]
/proc/loadavg: 1.77 1.68 1.64 3/217 8099
/proc/meminfo: memFree=24356700/32770624 swapFree=67108860/67108860
[pid=7906] ppid=7903 vsize=13986328 memory=253344 CPUtime=2520.08 cores=0,2,4,6
/proc/7906/stat : 7906 (java) S 7903 7906 6269 0 -1 1077944320 53390 0 0 0 251871 137 0 0 20 0 15 0 118186315 14321999872 63336 33554432000 4194304 4196468 140728418668464 140728418651008 140521537584887 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
/proc/7906/statm: 3496582 63336 3818 1 0 3484297 0
[pid=7906/tid=7908] ppid=7903 vsize=13986328 memory=253344 CPUtime=2500.46 cores=0,2,4,6
/proc/7906/task/7908/stat : 7908 (java) R 7903 7906 6269 0 -1 4202560 24070 0 0 0 250031 15 0 0 20 0 15 0 118186316 14321999872 63336 33554432000 4194304 4196468 140728418668464 140521541823408 140521151940969 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7909] ppid=7903 vsize=13986328 memory=253344 CPUtime=3.29 cores=0,2,4,6
/proc/7906/task/7909/stat : 7909 (java) S 7903 7906 6269 0 -1 1077944384 3470 0 0 0 304 25 0 0 20 0 15 0 118186317 14321999872 63336 33554432000 4194304 4196468 140728418668464 140521467673488 140521537595093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7910] ppid=7903 vsize=13986328 memory=301741373374332954 CPUtime=3.27 cores=0,2,4,6
/proc/7906/task/7910/stat : 7910 (java) S 7903 7906 6269 0 -1 1077944384 3485 0 0 0 302 25 0 0 20 0 15 0 118186317 14321999872 63336 33554432000 4194304 4196468 140728418668464 140521466620688 140521537595093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7911] ppid=7903 vsize=13986328 memory=327 CPUtime=3.26 cores=0,2,4,6
/proc/7906/task/7911/stat : 7911 (java) S 7903 7906 6269 0 -1 1077944384 3206 0 0 0 303 23 0 0 20 0 15 0 118186317 14321999872 63336 33554432000 4194304 4196468 140728418668464 140521131130000 140521537595093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7912] ppid=7903 vsize=13986328 memory=0 CPUtime=3.25 cores=0,2,4,6
/proc/7906/task/7912/stat : 7912 (java) S 7903 7906 6269 0 -1 1077944384 2728 0 0 0 301 24 0 0 20 0 15 0 118186317 14321999872 63336 33554432000 4194304 4196468 140728418668464 140521130077200 140521537595093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7913] ppid=7903 vsize=13986328 memory=109 CPUtime=2.92 cores=0,2,4,6
/proc/7906/task/7913/stat : 7913 (java) S 7903 7906 6269 0 -1 1077944384 3340 0 0 0 271 21 0 0 20 0 15 0 118186318 14321999872 63336 33554432000 4194304 4196468 140728418668464 140520449861744 140521537596034 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7914] ppid=7903 vsize=13986328 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7914/stat : 7914 (java) S 7903 7906 6269 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 118186319 14321999872 63336 33554432000 4194304 4196468 140728418668464 140520448807712 140521537595093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7915] ppid=7903 vsize=13986328 memory=253344 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7915/stat : 7915 (java) S 7903 7906 6269 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 118186319 14321999872 63336 33554432000 4194304 4196468 140728418668464 140520447755376 140521537595093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7916] ppid=7903 vsize=13986328 memory=253344 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7916/stat : 7916 (java) S 7903 7906 6269 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118186321 14321999872 63336 33554432000 4194304 4196468 140728418668464 140520446703696 140521537603483 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7917] ppid=7903 vsize=13986328 memory=4140 CPUtime=1.09 cores=0,2,4,6
/proc/7906/task/7917/stat : 7917 (java) S 7903 7906 6269 0 -1 1077944384 3704 0 0 0 108 1 0 0 20 0 15 0 118186321 14321999872 63336 33554432000 4194304 4196468 140728418668464 140520445651568 140521537596034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 21 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7918] ppid=7903 vsize=13986328 memory=33120 CPUtime=1.07 cores=0,2,4,6
/proc/7906/task/7918/stat : 7918 (java) S 7903 7906 6269 0 -1 1077944384 4145 0 0 0 106 1 0 0 20 0 15 0 118186321 14321999872 63336 33554432000 4194304 4196468 140728418668464 140520444598768 140521537596034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7919] ppid=7903 vsize=13986328 memory=1728 CPUtime=0.55 cores=0,2,4,6
/proc/7906/task/7919/stat : 7919 (java) S 7903 7906 6269 0 -1 1077944384 3312 0 0 0 54 1 0 0 20 0 15 0 118186321 14321999872 63336 33554432000 4194304 4196468 140728418668464 140520443546480 140521537596034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 22 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7920] ppid=7903 vsize=13986328 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/7906/task/7920/stat : 7920 (java) S 7903 7906 6269 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118186321 14321999872 63336 33554432000 4194304 4196468 140728418668464 140520442493920 140521537595093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
[pid=7906/tid=7921] ppid=7903 vsize=13986328 memory=253344 CPUtime=0.83 cores=0,2,4,6
/proc/7906/task/7921/stat : 7921 (java) S 7903 7906 6269 0 -1 1077944384 509 0 0 0 40 43 0 0 20 0 15 0 118186322 14321999872 63336 33554432000 4194304 4196468 140728418668464 140520441440688 140521537596034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 42 0 0 6293624 6294260 34598912 140728418669672 140728418669855 140728418669855 140728418672591 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 13986328 KiB
Current children cumulated memory: 253344 KiB
Child status: 143
Real time (s): 2508.71
CPU time (s): 2520.1
CPU user time (s): 2518.72
CPU system time (s): 1.38287
CPU usage (%): 100.454
Max. virtual memory (cumulated for all children) (KiB): 13986328
Max. memory (cumulated for all children) (KiB): 390048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.72
system time used= 1.38287
maximum resident set size= 391544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53588
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 133981
involuntary context switches= 5783
# summary of solver processes directly reported to runsolver:
# pid: 7906
# total CPU time (s): 2520.1
# total CPU user time (s): 2518.72
# total CPU system time (s): 1.38287
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.0322 second user time and 21.701 second system time
The end