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 (10701 MiB free)
memory of node 1: 16384 MiB (9145 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291529-1532248174/watcher-4291529-1532248174 -o /tmp/evaluation-result-4291529-1532248174/solver-4291529-1532248174 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532226532-29117 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 29095729 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4291529-1532248174.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=32203, runsolver pid=32200
[startup+0.100133 s]*
/proc/loadavg: 1.42 1.41 1.41 3/215 32218
/proc/meminfo: memFree=20303024/32770624 swapFree=67108860/67108860
[pid=32203] ppid=32200 vsize=14082740 memory=34020 CPUtime=0.11 cores=1,3,5,7
/proc/32203/stat : 32203 (java) S 32200 32203 29085 0 -1 1077944320 6928 0 0 0 10 1 0 0 20 0 15 0 42380580 14420725760 8505 33554432000 4194304 4196468 140735020989776 140735020972320 140696957566711 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
/proc/32203/statm: 3520685 8505 3141 1 0 3482761 0
[pid=32203/tid=32205] ppid=32200 vsize=14082740 memory=-8485517772678665091 CPUtime=0.09 cores=1,3,5,7
/proc/32203/task/32205/stat : 32205 (java) R 32200 32203 29085 0 -1 4202560 5003 0 0 0 8 1 0 0 20 0 15 0 42380581 14420725760 8505 33554432000 4194304 4196468 140735020989776 140696961765608 140696941647198 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32206] ppid=32200 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32206/stat : 32206 (java) S 32200 32203 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42380581 14420725760 8505 33554432000 4194304 4196468 140735020989776 140696553700112 140696957576917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32207] ppid=32200 vsize=14082740 memory=140077102376576 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32207/stat : 32207 (java) S 32200 32203 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42380581 14420725760 8505 33554432000 4194304 4196468 140735020989776 140696552647568 140696957576917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32208] ppid=32200 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32208/stat : 32208 (java) S 32200 32203 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42380581 14420725760 8505 33554432000 4194304 4196468 140735020989776 140696551595024 140696957576917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32209] ppid=32200 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32209/stat : 32209 (java) S 32200 32203 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42380581 14420725760 8505 33554432000 4194304 4196468 140735020989776 140696550542480 140696957576917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32210] ppid=32200 vsize=14082740 memory=140077102376576 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32210/stat : 32210 (java) S 32200 32203 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42380583 14420725760 8505 33554432000 4194304 4196468 140735020989776 140696499664880 140696957577858 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32211] ppid=32200 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32211/stat : 32211 (java) S 32200 32203 29085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 42380583 14420725760 8505 33554432000 4194304 4196468 140735020989776 140696498611104 140696957576917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32212] ppid=32200 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32212/stat : 32212 (java) S 32200 32203 29085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 42380583 14420725760 8505 33554432000 4194304 4196468 140735020989776 140696497558512 140696957576917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32213] ppid=32200 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32213/stat : 32213 (java) S 32200 32203 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42380586 14420725760 8505 33554432000 4194304 4196468 140735020989776 140696496507088 140696957585307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32214] ppid=32200 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32214/stat : 32214 (java) S 32200 32203 29085 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 42380586 14420725760 8505 33554432000 4194304 4196468 140735020989776 140696495454704 140696957577858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32215] ppid=32200 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32215/stat : 32215 (java) S 32200 32203 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42380586 14420725760 8505 33554432000 4194304 4196468 140735020989776 140696494402160 140696957577858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32216] ppid=32200 vsize=14082740 memory=140077102376576 CPUtime=0.01 cores=1,3,5,7
/proc/32203/task/32216/stat : 32216 (java) R 32200 32203 29085 0 -1 4202560 246 0 0 0 1 0 0 0 20 0 15 0 42380586 14420725760 8505 33554432000 4194304 4196468 140735020989776 140696493349616 140696942697535 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32217] ppid=32200 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32217/stat : 32217 (java) S 32200 32203 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42380586 14420725760 8505 33554432000 4194304 4196468 140735020989776 140696492297312 140696957576917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32218] ppid=32200 vsize=14082740 memory=140077102376576 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32218/stat : 32218 (java) S 32200 32203 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42380586 14420725760 8505 33554432000 4194304 4196468 140735020989776 140696491243824 140696957577858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 34020 KiB
[startup+0.216085 s]*
/proc/loadavg: 1.42 1.41 1.41 6/215 32218
/proc/meminfo: memFree=20288016/32770624 swapFree=67108860/67108860
[pid=32203] ppid=32200 vsize=14082740 memory=47956 CPUtime=0.32 cores=1,3,5,7
/proc/32203/stat : 32203 (java) S 32200 32203 29085 0 -1 1077944320 10004 0 0 0 30 2 0 0 20 0 15 0 42380580 14420725760 11989 33554432000 4194304 4196468 140735020989776 140735020972320 140696957566711 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
/proc/32203/statm: 3520685 11989 3419 1 0 3482761 0
[pid=32203/tid=32205] ppid=32200 vsize=14082740 memory=7022364594140610616 CPUtime=0.21 cores=1,3,5,7
/proc/32203/task/32205/stat : 32205 (java) R 32200 32203 29085 0 -1 4202560 7732 0 0 0 19 2 0 0 20 0 15 0 42380581 14420725760 11989 33554432000 4194304 4196468 140735020989776 140696961795456 140696950663603 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32206] ppid=32200 vsize=14082740 memory=343 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32206/stat : 32206 (java) S 32200 32203 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42380581 14420725760 11989 33554432000 4194304 4196468 140735020989776 140696553700112 140696957576917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32207] ppid=32200 vsize=14082740 memory=288370453254088320 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32207/stat : 32207 (java) S 32200 32203 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42380581 14420725760 11989 33554432000 4194304 4196468 140735020989776 140696552647568 140696957576917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32208] ppid=32200 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32208/stat : 32208 (java) S 32200 32203 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42380581 14420725760 11989 33554432000 4194304 4196468 140735020989776 140696551595024 140696957576917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32209] ppid=32200 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32209/stat : 32209 (java) S 32200 32203 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42380581 14420725760 11989 33554432000 4194304 4196468 140735020989776 140696550542480 140696957576917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32210] ppid=32200 vsize=14082740 memory=140077102376576 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32210/stat : 32210 (java) S 32200 32203 29085 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 42380583 14420725760 11989 33554432000 4194304 4196468 140735020989776 140696499664880 140696957577858 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32211] ppid=32200 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32211/stat : 32211 (java) S 32200 32203 29085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 42380583 14420725760 11989 33554432000 4194304 4196468 140735020989776 140696498611104 140696957576917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32212] ppid=32200 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32212/stat : 32212 (java) S 32200 32203 29085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 42380583 14420725760 11989 33554432000 4194304 4196468 140735020989776 140696497558512 140696957576917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32213] ppid=32200 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32213/stat : 32213 (java) S 32200 32203 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42380586 14420725760 11989 33554432000 4194304 4196468 140735020989776 140696496507088 140696957585307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32214] ppid=32200 vsize=14082740 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/32203/task/32214/stat : 32214 (java) S 32200 32203 29085 0 -1 1077944384 349 0 0 0 1 0 0 0 20 0 15 0 42380586 14420725760 11989 33554432000 4194304 4196468 140735020989776 140696495454704 140696957577858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32215] ppid=32200 vsize=14082740 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/32203/task/32215/stat : 32215 (java) S 32200 32203 29085 0 -1 1077944384 269 0 0 0 2 0 0 0 20 0 15 0 42380586 14420725760 11989 33554432000 4194304 4196468 140735020989776 140696494402160 140696957577858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32216] ppid=32200 vsize=14082740 memory=140077102376576 CPUtime=0.06 cores=1,3,5,7
/proc/32203/task/32216/stat : 32216 (java) R 32200 32203 29085 0 -1 4202560 277 0 0 0 6 0 0 0 20 0 15 0 42380586 14420725760 11989 33554432000 4194304 4196468 140735020989776 140696493349616 140696935932436 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32217] ppid=32200 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32217/stat : 32217 (java) S 32200 32203 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42380586 14420725760 11989 33554432000 4194304 4196468 140735020989776 140696492297312 140696957576917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32218] ppid=32200 vsize=14082740 memory=140077102376576 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32218/stat : 32218 (java) S 32200 32203 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42380586 14420725760 11989 33554432000 4194304 4196468 140735020989776 140696491243824 140696957577858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 47956 KiB
[startup+0.310524 s]*
/proc/loadavg: 1.42 1.41 1.41 3/215 32218
/proc/meminfo: memFree=20284604/32770624 swapFree=67108860/67108860
[pid=32203] ppid=32200 vsize=14082740 memory=50928 CPUtime=0.44 cores=1,3,5,7
/proc/32203/stat : 32203 (java) S 32200 32203 29085 0 -1 1077944320 10361 0 0 0 41 3 0 0 20 0 15 0 42380580 14420725760 12732 33554432000 4194304 4196468 140735020989776 140735020972320 140696957566711 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
/proc/32203/statm: 3520685 12732 3420 1 0 3482761 0
[pid=32203/tid=32205] ppid=32200 vsize=14082740 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/32203/task/32205/stat : 32205 (java) R 32200 32203 29085 0 -1 4202560 8077 0 0 0 28 2 0 0 20 0 15 0 42380581 14420725760 12732 33554432000 4194304 4196468 140735020989776 140696961787808 140696942732256 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32206] ppid=32200 vsize=14082740 memory=288230609002954775 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32206/stat : 32206 (java) S 32200 32203 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42380581 14420725760 12732 33554432000 4194304 4196468 140735020989776 140696553700112 140696957576917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32207] ppid=32200 vsize=14082740 memory=288370453254088320 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32207/stat : 32207 (java) S 32200 32203 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42380581 14420725760 12732 33554432000 4194304 4196468 140735020989776 140696552647568 140696957576917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32208] ppid=32200 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32208/stat : 32208 (java) S 32200 32203 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42380581 14420725760 12732 33554432000 4194304 4196468 140735020989776 140696551595024 140696957576917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32209] ppid=32200 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32209/stat : 32209 (java) S 32200 32203 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42380581 14420725760 12732 33554432000 4194304 4196468 140735020989776 140696550542480 140696957576917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32210] ppid=32200 vsize=14082740 memory=140077102376576 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32210/stat : 32210 (java) S 32200 32203 29085 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 42380583 14420725760 12732 33554432000 4194304 4196468 140735020989776 140696499664880 140696957577858 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32211] ppid=32200 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32211/stat : 32211 (java) S 32200 32203 29085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 42380583 14420725760 12732 33554432000 4194304 4196468 140735020989776 140696498611104 140696957576917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32212] ppid=32200 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32212/stat : 32212 (java) S 32200 32203 29085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 42380583 14420725760 12732 33554432000 4194304 4196468 140735020989776 140696497558512 140696957576917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32213] ppid=32200 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32213/stat : 32213 (java) S 32200 32203 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42380586 14420725760 12732 33554432000 4194304 4196468 140735020989776 140696496507088 140696957585307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32214] ppid=32200 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/32203/task/32214/stat : 32214 (java) S 32200 32203 29085 0 -1 1077944384 349 0 0 0 2 0 0 0 20 0 15 0 42380586 14420725760 12732 33554432000 4194304 4196468 140735020989776 140696495454704 140696957577858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32215] ppid=32200 vsize=14082740 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/32203/task/32215/stat : 32215 (java) S 32200 32203 29085 0 -1 1077944384 269 0 0 0 2 0 0 0 20 0 15 0 42380586 14420725760 12732 33554432000 4194304 4196468 140735020989776 140696494402160 140696957577858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32216] ppid=32200 vsize=14082740 memory=140077102376576 CPUtime=0.08 cores=1,3,5,7
/proc/32203/task/32216/stat : 32216 (java) S 32200 32203 29085 0 -1 1077944384 282 0 0 0 8 0 0 0 20 0 15 0 42380586 14420725760 12732 33554432000 4194304 4196468 140735020989776 140696493349616 140696957577858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32217] ppid=32200 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32217/stat : 32217 (java) S 32200 32203 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42380586 14420725760 12732 33554432000 4194304 4196468 140735020989776 140696492297312 140696957576917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32218] ppid=32200 vsize=14082740 memory=140077102376576 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32218/stat : 32218 (java) S 32200 32203 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42380586 14420725760 12732 33554432000 4194304 4196468 140735020989776 140696491243824 140696957577858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50928 KiB
[startup+0.700708 s]
/proc/loadavg: 1.42 1.41 1.41 3/215 32218
/proc/meminfo: memFree=20260544/32770624 swapFree=67108860/67108860
[pid=32203] ppid=32200 vsize=14084808 memory=90744 CPUtime=0.98 cores=1,3,5,7
/proc/32203/stat : 32203 (java) S 32200 32203 29085 0 -1 1077944320 17061 0 0 0 94 4 0 0 20 0 15 0 42380580 14422843392 22686 33554432000 4194304 4196468 140735020989776 140735020972320 140696957566711 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
/proc/32203/statm: 3521202 22686 3499 1 0 3483273 0
[pid=32203/tid=32205] ppid=32200 vsize=14084808 memory=1728 CPUtime=0.67 cores=1,3,5,7
/proc/32203/task/32205/stat : 32205 (java) R 32200 32203 29085 0 -1 4202560 14377 0 0 0 64 3 0 0 20 0 15 0 42380581 14422843392 22686 33554432000 4194304 4196468 140735020989776 140696961772816 140696957588637 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32206] ppid=32200 vsize=14084808 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32206/stat : 32206 (java) S 32200 32203 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42380581 14422843392 22686 33554432000 4194304 4196468 140735020989776 140696553700112 140696957576917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32207] ppid=32200 vsize=14084808 memory=11956 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32207/stat : 32207 (java) S 32200 32203 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42380581 14422843392 22686 33554432000 4194304 4196468 140735020989776 140696552647568 140696957576917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32208] ppid=32200 vsize=14084808 memory=5520 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32208/stat : 32208 (java) S 32200 32203 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42380581 14422843392 22686 33554432000 4194304 4196468 140735020989776 140696551595024 140696957576917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32209] ppid=32200 vsize=14084808 memory=792 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32209/stat : 32209 (java) S 32200 32203 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42380581 14422843392 22686 33554432000 4194304 4196468 140735020989776 140696550542480 140696957576917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32210] ppid=32200 vsize=14084808 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32210/stat : 32210 (java) S 32200 32203 29085 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 42380583 14422843392 22686 33554432000 4194304 4196468 140735020989776 140696499664880 140696957577858 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32211] ppid=32200 vsize=14084808 memory=1944 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32211/stat : 32211 (java) S 32200 32203 29085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 42380583 14422843392 22686 33554432000 4194304 4196468 140735020989776 140696498611104 140696957576917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32212] ppid=32200 vsize=14084808 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32212/stat : 32212 (java) S 32200 32203 29085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 42380583 14422843392 22686 33554432000 4194304 4196468 140735020989776 140696497558512 140696957576917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32213] ppid=32200 vsize=14084808 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32213/stat : 32213 (java) S 32200 32203 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42380586 14422843392 22686 33554432000 4194304 4196468 140735020989776 140696496507088 140696957585307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32214] ppid=32200 vsize=14084808 memory=7163631965283378496 CPUtime=0.07 cores=1,3,5,7
/proc/32203/task/32214/stat : 32214 (java) S 32200 32203 29085 0 -1 1077944384 515 0 0 0 7 0 0 0 20 0 15 0 42380586 14422843392 22686 33554432000 4194304 4196468 140735020989776 140696495454704 140696957577858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32215] ppid=32200 vsize=14084808 memory=6083353102074538087 CPUtime=0.07 cores=1,3,5,7
/proc/32203/task/32215/stat : 32215 (java) S 32200 32203 29085 0 -1 1077944384 421 0 0 0 7 0 0 0 20 0 15 0 42380586 14422843392 22686 33554432000 4194304 4196468 140735020989776 140696494402160 140696957577858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32216] ppid=32200 vsize=14084808 memory=7223888500751355984 CPUtime=0.15 cores=1,3,5,7
/proc/32203/task/32216/stat : 32216 (java) S 32200 32203 29085 0 -1 1077944384 364 0 0 0 15 0 0 0 20 0 15 0 42380586 14422843392 22686 33554432000 4194304 4196468 140735020989776 140696493349616 140696957577858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32217] ppid=32200 vsize=14084808 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32217/stat : 32217 (java) S 32200 32203 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42380586 14422843392 22686 33554432000 4194304 4196468 140735020989776 140696492297312 140696957576917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32218] ppid=32200 vsize=14084808 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32218/stat : 32218 (java) S 32200 32203 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42380586 14422843392 22686 33554432000 4194304 4196468 140735020989776 140696491243824 140696957577858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 90744 KiB
[startup+1.50109 s]
/proc/loadavg: 1.42 1.41 1.41 3/215 32218
/proc/meminfo: memFree=20226200/32770624 swapFree=67108860/67108860
[pid=32203] ppid=32200 vsize=14090952 memory=141580 CPUtime=3.05 cores=1,3,5,7
/proc/32203/stat : 32203 (java) S 32200 32203 29085 0 -1 1077944320 24779 0 0 0 297 8 0 0 20 0 15 0 42380580 14429134848 35395 33554432000 4194304 4196468 140735020989776 140735020972320 140696957566711 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
/proc/32203/statm: 3522738 35395 3542 1 0 3484809 0
[pid=32203/tid=32205] ppid=32200 vsize=14090952 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/32203/task/32205/stat : 32205 (java) R 32200 32203 29085 0 -1 4202560 18814 0 0 0 142 5 0 0 20 0 15 0 42380581 14429134848 35395 33554432000 4194304 4196468 140735020989776 140696961801536 140696569044000 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32206] ppid=32200 vsize=14090952 memory=-6951259422114956437 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32206/stat : 32206 (java) S 32200 32203 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42380581 14429134848 35395 33554432000 4194304 4196468 140735020989776 140696553700112 140696957576917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32207] ppid=32200 vsize=14090952 memory=-6509546260019855295 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32207/stat : 32207 (java) S 32200 32203 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42380581 14429134848 35395 33554432000 4194304 4196468 140735020989776 140696552647568 140696957576917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32208] ppid=32200 vsize=14090952 memory=-7390251449858225344 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32208/stat : 32208 (java) S 32200 32203 29085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42380581 14429134848 35395 33554432000 4194304 4196468 140735020989776 140696551595024 140696957576917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32209] ppid=32200 vsize=14090952 memory=4134692831991786133 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32209/stat : 32209 (java) S 32200 32203 29085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42380581 14429134848 35395 33554432000 4194304 4196468 140735020989776 140696550542480 140696957576917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32210] ppid=32200 vsize=14090952 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32210/stat : 32210 (java) S 32200 32203 29085 0 -1 1077944384 98 0 0 0 0 0 0 0 20 0 15 0 42380583 14429134848 35395 33554432000 4194304 4196468 140735020989776 140696499664880 140696957577858 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
################
# More data... #
################
/proc/32203/task/32205/stat : 32205 (java) R 32200 32203 29085 0 -1 4202560 78804 0 0 0 223964 33 0 0 20 0 15 0 42380581 14431232000 99300 33554432000 4194304 4196468 140735020989776 140696961804304 140696576568240 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32206] ppid=32200 vsize=14093000 memory=397716 CPUtime=11.81 cores=1,3,5,7
/proc/32203/task/32206/stat : 32206 (java) S 32200 32203 29085 0 -1 1077944384 6018 0 0 0 1133 48 0 0 20 0 15 0 42380581 14431232000 99300 33554432000 4194304 4196468 140735020989776 140696553700112 140696957576917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32207] ppid=32200 vsize=14093000 memory=398228 CPUtime=11.8 cores=1,3,5,7
/proc/32203/task/32207/stat : 32207 (java) S 32200 32203 29085 0 -1 1077944384 7583 0 0 0 1134 46 0 0 20 0 15 0 42380581 14431232000 99300 33554432000 4194304 4196468 140735020989776 140696552647568 140696957576917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32208] ppid=32200 vsize=14093000 memory=399772 CPUtime=11.82 cores=1,3,5,7
/proc/32203/task/32208/stat : 32208 (java) S 32200 32203 29085 0 -1 1077944384 9891 0 0 0 1136 46 0 0 20 0 15 0 42380581 14431232000 99300 33554432000 4194304 4196468 140735020989776 140696551595024 140696957576917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32209] ppid=32200 vsize=14093000 memory=401308 CPUtime=11.77 cores=1,3,5,7
/proc/32203/task/32209/stat : 32209 (java) S 32200 32203 29085 0 -1 1077944384 8610 0 0 0 1128 49 0 0 20 0 15 0 42380581 14431232000 99300 33554432000 4194304 4196468 140735020989776 140696550542480 140696957576917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32210] ppid=32200 vsize=14093000 memory=280153067069650 CPUtime=6.86 cores=1,3,5,7
/proc/32203/task/32210/stat : 32210 (java) S 32200 32203 29085 0 -1 1077944384 7479 0 0 0 636 50 0 0 20 0 15 0 42380583 14431232000 99300 33554432000 4194304 4196468 140735020989776 140696499664880 140696957577858 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32211] ppid=32200 vsize=14093000 memory=396692 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32211/stat : 32211 (java) S 32200 32203 29085 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 42380583 14431232000 99300 33554432000 4194304 4196468 140735020989776 140696498611168 140696957576917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32212] ppid=32200 vsize=14093000 memory=397200 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32212/stat : 32212 (java) S 32200 32203 29085 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 42380583 14431232000 99300 33554432000 4194304 4196468 140735020989776 140696497558528 140696957576917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32213] ppid=32200 vsize=14093000 memory=398228 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32213/stat : 32213 (java) S 32200 32203 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42380586 14431232000 99300 33554432000 4194304 4196468 140735020989776 140696496507088 140696957585307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32214] ppid=32200 vsize=14093000 memory=4028 CPUtime=1.24 cores=1,3,5,7
/proc/32203/task/32214/stat : 32214 (java) S 32200 32203 29085 0 -1 1077944384 6244 0 0 0 122 2 0 0 20 0 15 0 42380586 14431232000 99300 33554432000 4194304 4196468 140735020989776 140696495454704 140696957577858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32215] ppid=32200 vsize=14093000 memory=397716 CPUtime=1.46 cores=1,3,5,7
/proc/32203/task/32215/stat : 32215 (java) S 32200 32203 29085 0 -1 1077944384 8028 0 0 0 145 1 0 0 20 0 15 0 42380586 14431232000 99300 33554432000 4194304 4196468 140735020989776 140696494402160 140696957577858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32216] ppid=32200 vsize=14093000 memory=397716 CPUtime=0.86 cores=1,3,5,7
/proc/32203/task/32216/stat : 32216 (java) S 32200 32203 29085 0 -1 1077944384 20629 0 0 0 84 2 0 0 20 0 15 0 42380586 14431232000 99300 33554432000 4194304 4196468 140735020989776 140696493349616 140696957577858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 31 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32217] ppid=32200 vsize=14093000 memory=398232 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32217/stat : 32217 (java) S 32200 32203 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42380586 14431232000 99300 33554432000 4194304 4196468 140735020989776 140696492297312 140696957576917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32218] ppid=32200 vsize=14093000 memory=401308 CPUtime=1.1 cores=1,3,5,7
/proc/32203/task/32218/stat : 32218 (java) S 32200 32203 29085 0 -1 1077944384 1433 0 0 0 49 61 0 0 20 0 15 0 42380586 14431232000 99300 33554432000 4194304 4196468 140735020989776 140696491243824 140696957577858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 40 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
Current children cumulated CPU time: 2298.77 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 397200 KiB
[startup+2322.3 s]
/proc/loadavg: 1.46 1.43 1.37 3/215 32412
/proc/meminfo: memFree=19844880/32770624 swapFree=67108860/67108860
[pid=32203] ppid=32200 vsize=14093000 memory=423072 CPUtime=2359.9 cores=1,3,5,7
/proc/32203/stat : 32203 (java) S 32200 32203 29085 0 -1 1077944320 160736 0 0 0 235687 303 0 0 20 0 15 0 42380580 14431232000 105768 33554432000 4194304 4196468 140735020989776 140735020972320 140696957566711 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
/proc/32203/statm: 3523250 105768 3582 1 0 3485321 0
[pid=32203/tid=32205] ppid=32200 vsize=14093000 memory=424100 CPUtime=2299.32 cores=1,3,5,7
/proc/32203/task/32205/stat : 32205 (java) R 32200 32203 29085 0 -1 4202560 82063 0 0 0 229898 34 0 0 20 0 15 0 42380581 14431232000 105768 33554432000 4194304 4196468 140735020989776 140696961804304 140696943265806 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32206] ppid=32200 vsize=14093000 memory=423548 CPUtime=12.21 cores=1,3,5,7
/proc/32203/task/32206/stat : 32206 (java) S 32200 32203 29085 0 -1 1077944384 6167 0 0 0 1171 50 0 0 20 0 15 0 42380581 14431232000 105768 33554432000 4194304 4196468 140735020989776 140696553700112 140696957576917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32207] ppid=32200 vsize=14093000 memory=280154007419968 CPUtime=12.19 cores=1,3,5,7
/proc/32203/task/32207/stat : 32207 (java) S 32200 32203 29085 0 -1 1077944384 7787 0 0 0 1171 48 0 0 20 0 15 0 42380581 14431232000 105768 33554432000 4194304 4196468 140735020989776 140696552647568 140696957576917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32208] ppid=32200 vsize=14093000 memory=415636 CPUtime=12.21 cores=1,3,5,7
/proc/32203/task/32208/stat : 32208 (java) S 32200 32203 29085 0 -1 1077944384 10072 0 0 0 1173 48 0 0 20 0 15 0 42380581 14431232000 105768 33554432000 4194304 4196468 140735020989776 140696551595024 140696957576917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32209] ppid=32200 vsize=14093000 memory=410012 CPUtime=12.17 cores=1,3,5,7
/proc/32203/task/32209/stat : 32209 (java) S 32200 32203 29085 0 -1 1077944384 8953 0 0 0 1167 50 0 0 20 0 15 0 42380581 14431232000 105768 33554432000 4194304 4196468 140735020989776 140696550542480 140696957576917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32210] ppid=32200 vsize=14093000 memory=421284 CPUtime=7.02 cores=1,3,5,7
/proc/32203/task/32210/stat : 32210 (java) S 32200 32203 29085 0 -1 1077944384 7679 0 0 0 651 51 0 0 20 0 15 0 42380583 14431232000 105768 33554432000 4194304 4196468 140735020989776 140696499664880 140696957577858 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32211] ppid=32200 vsize=14093000 memory=423048 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32211/stat : 32211 (java) S 32200 32203 29085 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 42380583 14431232000 105768 33554432000 4194304 4196468 140735020989776 140696498611168 140696957576917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32212] ppid=32200 vsize=14093000 memory=424600 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32212/stat : 32212 (java) S 32200 32203 29085 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 42380583 14431232000 105768 33554432000 4194304 4196468 140735020989776 140696497558528 140696957576917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32213] ppid=32200 vsize=14093000 memory=423072 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32213/stat : 32213 (java) S 32200 32203 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42380586 14431232000 105768 33554432000 4194304 4196468 140735020989776 140696496507088 140696957585307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32214] ppid=32200 vsize=14093000 memory=640 CPUtime=1.24 cores=1,3,5,7
/proc/32203/task/32214/stat : 32214 (java) S 32200 32203 29085 0 -1 1077944384 6355 0 0 0 122 2 0 0 20 0 15 0 42380586 14431232000 105768 33554432000 4194304 4196468 140735020989776 140696495454704 140696957577858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32215] ppid=32200 vsize=14093000 memory=424100 CPUtime=1.46 cores=1,3,5,7
/proc/32203/task/32215/stat : 32215 (java) S 32200 32203 29085 0 -1 1077944384 8031 0 0 0 145 1 0 0 20 0 15 0 42380586 14431232000 105768 33554432000 4194304 4196468 140735020989776 140696494402160 140696957577858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32216] ppid=32200 vsize=14093000 memory=424600 CPUtime=0.86 cores=1,3,5,7
/proc/32203/task/32216/stat : 32216 (java) S 32200 32203 29085 0 -1 1077944384 20758 0 0 0 84 2 0 0 20 0 15 0 42380586 14431232000 105768 33554432000 4194304 4196468 140735020989776 140696493349616 140696957577858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 31 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32217] ppid=32200 vsize=14093000 memory=424100 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32217/stat : 32217 (java) S 32200 32203 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42380586 14431232000 105768 33554432000 4194304 4196468 140735020989776 140696492297312 140696957576917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32218] ppid=32200 vsize=14093000 memory=424100 CPUtime=1.13 cores=1,3,5,7
/proc/32203/task/32218/stat : 32218 (java) S 32200 32203 29085 0 -1 1077944384 1448 0 0 0 51 62 0 0 20 0 15 0 42380586 14431232000 105768 33554432000 4194304 4196468 140735020989776 140696491243824 140696957577858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 40 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
Current children cumulated CPU time: 2359.9 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 423072 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2361.7 s]
/proc/loadavg: 1.31 1.40 1.36 3/215 32413
/proc/meminfo: memFree=19831544/32770624 swapFree=67108860/67108860
[pid=32203] ppid=32200 vsize=14093000 memory=404716 CPUtime=2400.03 cores=1,3,5,7
/proc/32203/stat : 32203 (java) S 32200 32203 29085 0 -1 1077944320 163754 0 0 0 239696 307 0 0 20 0 15 0 42380580 14431232000 101179 33554432000 4194304 4196468 140735020989776 140735020972320 140696957566711 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
/proc/32203/statm: 3523250 101179 3582 1 0 3485321 0
[pid=32203/tid=32205] ppid=32200 vsize=14093000 memory=406772 CPUtime=2338.31 cores=1,3,5,7
/proc/32203/task/32205/stat : 32205 (java) R 32200 32203 29085 0 -1 4202560 84374 0 0 0 233797 34 0 0 20 0 15 0 42380581 14431232000 101179 33554432000 4194304 4196468 140735020989776 140696961804304 140696572352830 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32206] ppid=32200 vsize=14093000 memory=421284 CPUtime=12.47 cores=1,3,5,7
/proc/32203/task/32206/stat : 32206 (java) S 32200 32203 29085 0 -1 1077944384 6392 0 0 0 1196 51 0 0 20 0 15 0 42380581 14431232000 101179 33554432000 4194304 4196468 140735020989776 140696553700112 140696957576917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32207] ppid=32200 vsize=14093000 memory=415976 CPUtime=12.45 cores=1,3,5,7
/proc/32203/task/32207/stat : 32207 (java) S 32200 32203 29085 0 -1 1077944384 7846 0 0 0 1196 49 0 0 20 0 15 0 42380581 14431232000 101179 33554432000 4194304 4196468 140735020989776 140696552647568 140696957576917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32208] ppid=32200 vsize=14093000 memory=4108 CPUtime=12.46 cores=1,3,5,7
/proc/32203/task/32208/stat : 32208 (java) S 32200 32203 29085 0 -1 1077944384 10092 0 0 0 1198 48 0 0 20 0 15 0 42380581 14431232000 101179 33554432000 4194304 4196468 140735020989776 140696551595024 140696957576917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32209] ppid=32200 vsize=14093000 memory=404720 CPUtime=12.41 cores=1,3,5,7
/proc/32203/task/32209/stat : 32209 (java) S 32200 32203 29085 0 -1 1077944384 9018 0 0 0 1191 50 0 0 20 0 15 0 42380581 14431232000 101179 33554432000 4194304 4196468 140735020989776 140696550542480 140696957576917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32210] ppid=32200 vsize=14093000 memory=403180 CPUtime=7.13 cores=1,3,5,7
/proc/32203/task/32210/stat : 32210 (java) S 32200 32203 29085 0 -1 1077944384 7856 0 0 0 661 52 0 0 20 0 15 0 42380583 14431232000 101179 33554432000 4194304 4196468 140735020989776 140696499664880 140696957577858 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32211] ppid=32200 vsize=14093000 memory=406260 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32211/stat : 32211 (java) S 32200 32203 29085 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 42380583 14431232000 101179 33554432000 4194304 4196468 140735020989776 140696498611168 140696957576917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32212] ppid=32200 vsize=14093000 memory=405228 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32212/stat : 32212 (java) S 32200 32203 29085 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 42380583 14431232000 101179 33554432000 4194304 4196468 140735020989776 140696497558528 140696957576917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32213] ppid=32200 vsize=14093000 memory=280154008026960 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32213/stat : 32213 (java) S 32200 32203 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42380586 14431232000 101179 33554432000 4194304 4196468 140735020989776 140696496507088 140696957585307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32214] ppid=32200 vsize=14093000 memory=3292 CPUtime=1.24 cores=1,3,5,7
/proc/32203/task/32214/stat : 32214 (java) S 32200 32203 29085 0 -1 1077944384 6357 0 0 0 122 2 0 0 20 0 15 0 42380586 14431232000 101179 33554432000 4194304 4196468 140735020989776 140696495454704 140696957577858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32215] ppid=32200 vsize=14093000 memory=404720 CPUtime=1.46 cores=1,3,5,7
/proc/32203/task/32215/stat : 32215 (java) S 32200 32203 29085 0 -1 1077944384 8033 0 0 0 145 1 0 0 20 0 15 0 42380586 14431232000 101179 33554432000 4194304 4196468 140735020989776 140696494402160 140696957577858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32216] ppid=32200 vsize=14093000 memory=404720 CPUtime=0.86 cores=1,3,5,7
/proc/32203/task/32216/stat : 32216 (java) S 32200 32203 29085 0 -1 1077944384 20899 0 0 0 84 2 0 0 20 0 15 0 42380586 14431232000 101179 33554432000 4194304 4196468 140735020989776 140696493349616 140696957577858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 31 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32217] ppid=32200 vsize=14093000 memory=4028 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32217/stat : 32217 (java) S 32200 32203 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42380586 14431232000 101179 33554432000 4194304 4196468 140735020989776 140696492297312 140696957576917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32218] ppid=32200 vsize=14093000 memory=14576 CPUtime=1.14 cores=1,3,5,7
/proc/32203/task/32218/stat : 32218 (java) S 32200 32203 29085 0 -1 1077944384 1464 0 0 0 51 63 0 0 20 0 15 0 42380586 14431232000 101179 33554432000 4194304 4196468 140735020989776 140696491243824 140696957577858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 40 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 404716 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2361.73 s]
# the end of solver process 32203 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2396.98 s, system=3.07985 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2361.7 s]
/proc/loadavg: 1.31 1.40 1.36 3/215 32413
/proc/meminfo: memFree=19831544/32770624 swapFree=67108860/67108860
[pid=32203] ppid=32200 vsize=14093000 memory=404716 CPUtime=2400.03 cores=1,3,5,7
/proc/32203/stat : 32203 (java) S 32200 32203 29085 0 -1 1077944320 163754 0 0 0 239696 307 0 0 20 0 15 0 42380580 14431232000 101179 33554432000 4194304 4196468 140735020989776 140735020972320 140696957566711 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
/proc/32203/statm: 3523250 101179 3582 1 0 3485321 0
[pid=32203/tid=32205] ppid=32200 vsize=14093000 memory=406772 CPUtime=2338.31 cores=1,3,5,7
/proc/32203/task/32205/stat : 32205 (java) R 32200 32203 29085 0 -1 4202560 84374 0 0 0 233797 34 0 0 20 0 15 0 42380581 14431232000 101179 33554432000 4194304 4196468 140735020989776 140696961804304 140696572352830 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32206] ppid=32200 vsize=14093000 memory=421284 CPUtime=12.47 cores=1,3,5,7
/proc/32203/task/32206/stat : 32206 (java) S 32200 32203 29085 0 -1 1077944384 6392 0 0 0 1196 51 0 0 20 0 15 0 42380581 14431232000 101179 33554432000 4194304 4196468 140735020989776 140696553700112 140696957576917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32207] ppid=32200 vsize=14093000 memory=415976 CPUtime=12.45 cores=1,3,5,7
/proc/32203/task/32207/stat : 32207 (java) S 32200 32203 29085 0 -1 1077944384 7846 0 0 0 1196 49 0 0 20 0 15 0 42380581 14431232000 101179 33554432000 4194304 4196468 140735020989776 140696552647568 140696957576917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32208] ppid=32200 vsize=14093000 memory=4108 CPUtime=12.46 cores=1,3,5,7
/proc/32203/task/32208/stat : 32208 (java) S 32200 32203 29085 0 -1 1077944384 10092 0 0 0 1198 48 0 0 20 0 15 0 42380581 14431232000 101179 33554432000 4194304 4196468 140735020989776 140696551595024 140696957576917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32209] ppid=32200 vsize=14093000 memory=404720 CPUtime=12.41 cores=1,3,5,7
/proc/32203/task/32209/stat : 32209 (java) S 32200 32203 29085 0 -1 1077944384 9018 0 0 0 1191 50 0 0 20 0 15 0 42380581 14431232000 101179 33554432000 4194304 4196468 140735020989776 140696550542480 140696957576917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32210] ppid=32200 vsize=14093000 memory=403180 CPUtime=7.13 cores=1,3,5,7
/proc/32203/task/32210/stat : 32210 (java) S 32200 32203 29085 0 -1 1077944384 7856 0 0 0 661 52 0 0 20 0 15 0 42380583 14431232000 101179 33554432000 4194304 4196468 140735020989776 140696499664880 140696957577858 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32211] ppid=32200 vsize=14093000 memory=406260 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32211/stat : 32211 (java) S 32200 32203 29085 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 42380583 14431232000 101179 33554432000 4194304 4196468 140735020989776 140696498611168 140696957576917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32212] ppid=32200 vsize=14093000 memory=405228 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32212/stat : 32212 (java) S 32200 32203 29085 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 42380583 14431232000 101179 33554432000 4194304 4196468 140735020989776 140696497558528 140696957576917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32213] ppid=32200 vsize=14093000 memory=280154008026960 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32213/stat : 32213 (java) S 32200 32203 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42380586 14431232000 101179 33554432000 4194304 4196468 140735020989776 140696496507088 140696957585307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32214] ppid=32200 vsize=14093000 memory=3292 CPUtime=1.24 cores=1,3,5,7
/proc/32203/task/32214/stat : 32214 (java) S 32200 32203 29085 0 -1 1077944384 6357 0 0 0 122 2 0 0 20 0 15 0 42380586 14431232000 101179 33554432000 4194304 4196468 140735020989776 140696495454704 140696957577858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32215] ppid=32200 vsize=14093000 memory=404720 CPUtime=1.46 cores=1,3,5,7
/proc/32203/task/32215/stat : 32215 (java) S 32200 32203 29085 0 -1 1077944384 8033 0 0 0 145 1 0 0 20 0 15 0 42380586 14431232000 101179 33554432000 4194304 4196468 140735020989776 140696494402160 140696957577858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32216] ppid=32200 vsize=14093000 memory=404720 CPUtime=0.86 cores=1,3,5,7
/proc/32203/task/32216/stat : 32216 (java) S 32200 32203 29085 0 -1 1077944384 20899 0 0 0 84 2 0 0 20 0 15 0 42380586 14431232000 101179 33554432000 4194304 4196468 140735020989776 140696493349616 140696957577858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 31 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32217] ppid=32200 vsize=14093000 memory=4028 CPUtime=0 cores=1,3,5,7
/proc/32203/task/32217/stat : 32217 (java) S 32200 32203 29085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42380586 14431232000 101179 33554432000 4194304 4196468 140735020989776 140696492297312 140696957576917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
[pid=32203/tid=32218] ppid=32200 vsize=14093000 memory=14576 CPUtime=1.14 cores=1,3,5,7
/proc/32203/task/32218/stat : 32218 (java) S 32200 32203 29085 0 -1 1077944384 1464 0 0 0 51 63 0 0 20 0 15 0 42380586 14431232000 101179 33554432000 4194304 4196468 140735020989776 140696491243824 140696957577858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 40 0 0 6293624 6294260 37154816 140735020995670 140735020995849 140735020995849 140735020998607 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 404716 KiB
Child status: 143
Real time (s): 2361.73
CPU time (s): 2400.06
CPU user time (s): 2396.98
CPU system time (s): 3.07985
CPU usage (%): 101.623
Max. virtual memory (cumulated for all children) (KiB): 14093000
Max. memory (cumulated for all children) (KiB): 424600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.98
system time used= 3.07985
maximum resident set size= 424600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 163928
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 240302
involuntary context switches= 6687
# summary of solver processes directly reported to runsolver:
# pid: 32203
# total CPU time (s): 2400.06
# total CPU user time (s): 2396.98
# total CPU system time (s): 3.07985
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.2236 second user time and 21.4209 second system time
The end