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 (5853 MiB free)
memory of node 1: 16384 MiB (14254 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4258248-1502639158/watcher-4258248-1502639158 -o /tmp/evaluation-result-4258248-1502639158/solver-4258248-1502639158 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node148-1502637430-15761 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4258248-1502639158.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=17273, runsolver pid=17270
[startup+0.10008 s]*
/proc/loadavg: 6.14 5.01 4.12 6/216 17288
/proc/meminfo: memFree=20571608/32770624 swapFree=67108860/67108860
[pid=17273] ppid=17270 vsize=10555400 memory=29904 CPUtime=0.12 cores=1,3,5,7
/proc/17273/stat : 17273 (java) S 17270 17273 6338 0 -1 1077944320 6536 0 0 0 11 1 0 0 20 0 15 0 96996889 10808729600 7476 33554432000 4194304 4196468 140734778962976 140734778945520 139909217533687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
/proc/17273/statm: 2638850 7476 2818 1 0 2627263 0
[pid=17273/tid=17275] ppid=17270 vsize=10555400 memory=-7254954386087372155 CPUtime=0.09 cores=1,3,5,7
/proc/17273/task/17275/stat : 17275 (java) R 17270 17273 6338 0 -1 4202560 4373 0 0 0 8 1 0 0 20 0 15 0 96996889 10808729600 7476 33554432000 4194304 4196468 140734778962976 139909221722032 139909217545622 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17276] ppid=17270 vsize=10555400 memory=5793855606441064889 CPUtime=0 cores=1,3,5,7
/proc/17273/task/17276/stat : 17276 (java) S 17270 17273 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96996890 10808729600 7476 33554432000 4194304 4196468 140734778962976 139909170154512 139909217543893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17277] ppid=17270 vsize=10555400 memory=140355431171712 CPUtime=0 cores=1,3,5,7
/proc/17273/task/17277/stat : 17277 (java) S 17270 17273 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96996890 10808729600 7476 33554432000 4194304 4196468 140734778962976 139909169101968 139909217543893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17278] ppid=17270 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17273/task/17278/stat : 17278 (java) S 17270 17273 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96996890 10808729600 7476 33554432000 4194304 4196468 140734778962976 139909168048912 139909217543893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17279] ppid=17270 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17273/task/17279/stat : 17279 (java) S 17270 17273 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96996890 10808729600 7476 33554432000 4194304 4196468 140734778962976 139909166996368 139909217543893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17280] ppid=17270 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17273/task/17280/stat : 17280 (java) S 17270 17273 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96996892 10808729600 7476 33554432000 4194304 4196468 140734778962976 139908777339120 139909217544834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17281] ppid=17270 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17273/task/17281/stat : 17281 (java) S 17270 17273 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96996892 10808729600 7476 33554432000 4194304 4196468 140734778962976 139908776285344 139909217543893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17282] ppid=17270 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17273/task/17282/stat : 17282 (java) S 17270 17273 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96996892 10808729600 7476 33554432000 4194304 4196468 140734778962976 139908775232240 139909217543893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17283] ppid=17270 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17273/task/17283/stat : 17283 (java) S 17270 17273 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96996895 10808729600 7476 33554432000 4194304 4196468 140734778962976 139908774180816 139909217552283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17284] ppid=17270 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17273/task/17284/stat : 17284 (java) S 17270 17273 6338 0 -1 1077944384 429 0 0 0 0 0 0 0 20 0 15 0 96996895 10808729600 7476 33554432000 4194304 4196468 140734778962976 139908773128944 139909217544834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17285] ppid=17270 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17273/task/17285/stat : 17285 (java) S 17270 17273 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96996895 10808729600 7476 33554432000 4194304 4196468 140734778962976 139908772076400 139909217544834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17286] ppid=17270 vsize=10555400 memory=140355431171712 CPUtime=0.01 cores=1,3,5,7
/proc/17273/task/17286/stat : 17286 (java) R 17270 17273 6338 0 -1 4202560 366 0 0 0 1 0 0 0 20 0 15 0 96996895 10808729600 7476 33554432000 4194304 4196468 140734778962976 139908771023344 139909201614174 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17287] ppid=17270 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17273/task/17287/stat : 17287 (java) S 17270 17273 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96996895 10808729600 7476 33554432000 4194304 4196468 140734778962976 139908769971040 139909217543893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17288] ppid=17270 vsize=10555400 memory=140355431171712 CPUtime=0 cores=1,3,5,7
/proc/17273/task/17288/stat : 17288 (java) S 17270 17273 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96996895 10808729600 7476 33554432000 4194304 4196468 140734778962976 139908768918064 139909217544834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 29904 KiB
[startup+0.210833 s]*
/proc/loadavg: 6.14 5.01 4.12 3/216 17288
/proc/meminfo: memFree=20562164/32770624 swapFree=67108860/67108860
[pid=17273] ppid=17270 vsize=10555400 memory=39888 CPUtime=0.29 cores=1,3,5,7
/proc/17273/stat : 17273 (java) S 17270 17273 6338 0 -1 1077944320 8037 0 0 0 27 2 0 0 20 0 15 0 96996889 10808729600 9972 33554432000 4194304 4196468 140734778962976 140734778945520 139909217533687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
/proc/17273/statm: 2638850 9972 2941 1 0 2627263 0
[pid=17273/tid=17275] ppid=17270 vsize=10555400 memory=6735269665583770266 CPUtime=0.19 cores=1,3,5,7
/proc/17273/task/17275/stat : 17275 (java) R 17270 17273 6338 0 -1 4202560 5166 0 0 0 18 1 0 0 20 0 15 0 96996889 10808729600 9972 33554432000 4194304 4196468 140734778962976 139909221768512 139909201577317 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17276] ppid=17270 vsize=10555400 memory=4211974081635962250 CPUtime=0 cores=1,3,5,7
/proc/17273/task/17276/stat : 17276 (java) S 17270 17273 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96996890 10808729600 9972 33554432000 4194304 4196468 140734778962976 139909170154512 139909217543893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17277] ppid=17270 vsize=10555400 memory=140355431171712 CPUtime=0 cores=1,3,5,7
/proc/17273/task/17277/stat : 17277 (java) S 17270 17273 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96996890 10808729600 9972 33554432000 4194304 4196468 140734778962976 139909169101968 139909217543893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17278] ppid=17270 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17273/task/17278/stat : 17278 (java) S 17270 17273 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96996890 10808729600 9972 33554432000 4194304 4196468 140734778962976 139909168048912 139909217543893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17279] ppid=17270 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17273/task/17279/stat : 17279 (java) S 17270 17273 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96996890 10808729600 9972 33554432000 4194304 4196468 140734778962976 139909166996368 139909217543893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17280] ppid=17270 vsize=10555400 memory=140355431171712 CPUtime=0 cores=1,3,5,7
/proc/17273/task/17280/stat : 17280 (java) S 17270 17273 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96996892 10808729600 9972 33554432000 4194304 4196468 140734778962976 139908777339120 139909217544834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17281] ppid=17270 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17273/task/17281/stat : 17281 (java) S 17270 17273 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96996892 10808729600 9972 33554432000 4194304 4196468 140734778962976 139908776285344 139909217543893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17282] ppid=17270 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17273/task/17282/stat : 17282 (java) S 17270 17273 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96996892 10808729600 9972 33554432000 4194304 4196468 140734778962976 139908775232240 139909217543893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17283] ppid=17270 vsize=10555400 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17273/task/17283/stat : 17283 (java) S 17270 17273 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96996895 10808729600 9972 33554432000 4194304 4196468 140734778962976 139908774180816 139909217552283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17284] ppid=17270 vsize=10555400 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/17273/task/17284/stat : 17284 (java) S 17270 17273 6338 0 -1 1077944384 557 0 0 0 1 0 0 0 20 0 15 0 96996895 10808729600 9972 33554432000 4194304 4196468 140734778962976 139908773128944 139909217544834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17285] ppid=17270 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17273/task/17285/stat : 17285 (java) S 17270 17273 6338 0 -1 1077944384 146 0 0 0 0 0 0 0 20 0 15 0 96996895 10808729600 9972 33554432000 4194304 4196468 140734778962976 139908772076400 139909217544834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17286] ppid=17270 vsize=10555400 memory=140355431171712 CPUtime=0.06 cores=1,3,5,7
/proc/17273/task/17286/stat : 17286 (java) S 17270 17273 6338 0 -1 1077944384 800 0 0 0 6 0 0 0 20 0 15 0 96996895 10808729600 9972 33554432000 4194304 4196468 140734778962976 139908771023344 139909217544834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17287] ppid=17270 vsize=10555400 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17273/task/17287/stat : 17287 (java) S 17270 17273 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96996895 10808729600 9972 33554432000 4194304 4196468 140734778962976 139908769971040 139909217543893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17288] ppid=17270 vsize=10555400 memory=140355431171712 CPUtime=0 cores=1,3,5,7
/proc/17273/task/17288/stat : 17288 (java) S 17270 17273 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96996895 10808729600 9972 33554432000 4194304 4196468 140734778962976 139908768918064 139909217544834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 39888 KiB
[startup+0.311309 s]*
/proc/loadavg: 6.14 5.01 4.12 5/216 17288
/proc/meminfo: memFree=20555216/32770624 swapFree=67108860/67108860
[pid=17273] ppid=17270 vsize=10555476 memory=46320 CPUtime=0.51 cores=1,3,5,7
/proc/17273/stat : 17273 (java) S 17270 17273 6338 0 -1 1077944320 8707 0 0 0 49 2 0 0 20 0 15 0 96996889 10808807424 11580 33554432000 4194304 4196468 140734778962976 140734778945520 139909217533687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
/proc/17273/statm: 2638869 11580 3017 1 0 2627263 0
[pid=17273/tid=17275] ppid=17270 vsize=10555476 memory=4871374705135476842 CPUtime=0.3 cores=1,3,5,7
/proc/17273/task/17275/stat : 17275 (java) R 17270 17273 6338 0 -1 4202560 5522 0 0 0 28 2 0 0 20 0 15 0 96996889 10808807424 11580 33554432000 4194304 4196468 140734778962976 139909221770096 139908845030404 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17276] ppid=17270 vsize=10555476 memory=4211974081635962250 CPUtime=0 cores=1,3,5,7
/proc/17273/task/17276/stat : 17276 (java) S 17270 17273 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96996890 10808807424 11580 33554432000 4194304 4196468 140734778962976 139909170154512 139909217543893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17277] ppid=17270 vsize=10555476 memory=140355431174069 CPUtime=0 cores=1,3,5,7
/proc/17273/task/17277/stat : 17277 (java) S 17270 17273 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96996890 10808807424 11580 33554432000 4194304 4196468 140734778962976 139909169101968 139909217543893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17278] ppid=17270 vsize=10555476 memory=140355303490258 CPUtime=0 cores=1,3,5,7
/proc/17273/task/17278/stat : 17278 (java) S 17270 17273 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96996890 10808807424 11580 33554432000 4194304 4196468 140734778962976 139909168048912 139909217543893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17279] ppid=17270 vsize=10555476 memory=140355303493071 CPUtime=0 cores=1,3,5,7
/proc/17273/task/17279/stat : 17279 (java) S 17270 17273 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96996890 10808807424 11580 33554432000 4194304 4196468 140734778962976 139909166996368 139909217543893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17280] ppid=17270 vsize=10555476 memory=140355431178077 CPUtime=0 cores=1,3,5,7
/proc/17273/task/17280/stat : 17280 (java) S 17270 17273 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 96996892 10808807424 11580 33554432000 4194304 4196468 140734778962976 139908777339120 139909217544834 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17281] ppid=17270 vsize=10555476 memory=140355303502255 CPUtime=0 cores=1,3,5,7
/proc/17273/task/17281/stat : 17281 (java) S 17270 17273 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 96996892 10808807424 11580 33554432000 4194304 4196468 140734778962976 139908776285344 139909217543893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17282] ppid=17270 vsize=10555476 memory=280710606995344 CPUtime=0 cores=1,3,5,7
/proc/17273/task/17282/stat : 17282 (java) S 17270 17273 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96996892 10808807424 11580 33554432000 4194304 4196468 140734778962976 139908775232240 139909217543893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17283] ppid=17270 vsize=10555476 memory=280710606993040 CPUtime=0 cores=1,3,5,7
/proc/17273/task/17283/stat : 17283 (java) S 17270 17273 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96996895 10808807424 11580 33554432000 4194304 4196468 140734778962976 139908774180816 139909217552283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17284] ppid=17270 vsize=10555476 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/17273/task/17284/stat : 17284 (java) R 17270 17273 6338 0 -1 1077944384 659 0 0 0 4 0 0 0 20 0 15 0 96996895 10808807424 11580 33554432000 4194304 4196468 140734778962976 139908773128944 139909217544834 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17285] ppid=17270 vsize=10555476 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/17273/task/17285/stat : 17285 (java) R 17270 17273 6338 0 -1 4202560 228 0 0 0 3 0 0 0 20 0 15 0 96996895 10808807424 11580 33554432000 4194304 4196468 140734778962976 139908772076400 139909210518729 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17286] ppid=17270 vsize=10555476 memory=140355431171712 CPUtime=0.13 cores=1,3,5,7
/proc/17273/task/17286/stat : 17286 (java) R 17270 17273 6338 0 -1 4202560 930 0 0 0 13 0 0 0 20 0 15 0 96996895 10808807424 11580 33554432000 4194304 4196468 140734778962976 139908771019072 139909196435898 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17287] ppid=17270 vsize=10555476 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/17273/task/17287/stat : 17287 (java) S 17270 17273 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96996895 10808807424 11580 33554432000 4194304 4196468 140734778962976 139908769971040 139909217543893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17288] ppid=17270 vsize=10555476 memory=140355431171712 CPUtime=0 cores=1,3,5,7
/proc/17273/task/17288/stat : 17288 (java) S 17270 17273 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96996895 10808807424 11580 33554432000 4194304 4196468 140734778962976 139908768918064 139909217544834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 46320 KiB
[startup+0.700979 s]
/proc/loadavg: 6.14 5.01 4.12 6/216 17288
/proc/meminfo: memFree=20402612/32770624 swapFree=67108860/67108860
[pid=17273] ppid=17270 vsize=10555476 memory=384636 CPUtime=1.48 cores=1,3,5,7
/proc/17273/stat : 17273 (java) S 17270 17273 6338 0 -1 1077944320 10173 0 0 0 129 19 0 0 20 0 15 0 96996889 10808807424 96159 33554432000 4194304 4196468 140734778962976 140734778945520 139909217533687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
/proc/17273/statm: 2638869 96159 3096 1 0 2627263 0
[pid=17273/tid=17275] ppid=17270 vsize=10555476 memory=1952 CPUtime=0.57 cores=1,3,5,7
/proc/17273/task/17275/stat : 17275 (java) R 17270 17273 6338 0 -1 4202560 5702 0 0 0 51 6 0 0 20 0 15 0 96996889 10808807424 96159 33554432000 4194304 4196468 140734778962976 139909221770608 139909203601806 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17276] ppid=17270 vsize=10555476 memory=5796 CPUtime=0.1 cores=1,3,5,7
/proc/17273/task/17276/stat : 17276 (java) S 17270 17273 6338 0 -1 1077944384 132 0 0 0 7 3 0 0 20 0 15 0 96996890 10808807424 96159 33554432000 4194304 4196468 140734778962976 139909170154512 139909217543893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17277] ppid=17270 vsize=10555476 memory=4616 CPUtime=0.09 cores=1,3,5,7
/proc/17273/task/17277/stat : 17277 (java) S 17270 17273 6338 0 -1 1077944384 125 0 0 0 7 2 0 0 20 0 15 0 96996890 10808807424 96159 33554432000 4194304 4196468 140734778962976 139909169101968 139909217543893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17278] ppid=17270 vsize=10555476 memory=7523356985603351872 CPUtime=0.09 cores=1,3,5,7
/proc/17273/task/17278/stat : 17278 (java) S 17270 17273 6338 0 -1 1077944384 130 0 0 0 7 2 0 0 20 0 15 0 96996890 10808807424 96159 33554432000 4194304 4196468 140734778962976 139909168048912 139909217543893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17279] ppid=17270 vsize=10555476 memory=7881696724453321575 CPUtime=0.09 cores=1,3,5,7
/proc/17273/task/17279/stat : 17279 (java) S 17270 17273 6338 0 -1 1077944384 135 0 0 0 7 2 0 0 20 0 15 0 96996890 10808807424 96159 33554432000 4194304 4196468 140734778962976 139909166996368 139909217543893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17280] ppid=17270 vsize=10555476 memory=7440066780423278672 CPUtime=0 cores=1,3,5,7
/proc/17273/task/17280/stat : 17280 (java) S 17270 17273 6338 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 15 0 96996892 10808807424 96159 33554432000 4194304 4196468 140734778962976 139908777339120 139909217544834 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17281] ppid=17270 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17273/task/17281/stat : 17281 (java) S 17270 17273 6338 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 96996892 10808807424 96159 33554432000 4194304 4196468 140734778962976 139908776285344 139909217543893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17282] ppid=17270 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17273/task/17282/stat : 17282 (java) S 17270 17273 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 96996892 10808807424 96159 33554432000 4194304 4196468 140734778962976 139908775232240 139909217543893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17283] ppid=17270 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17273/task/17283/stat : 17283 (java) S 17270 17273 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96996895 10808807424 96159 33554432000 4194304 4196468 140734778962976 139908774180816 139909217552283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17284] ppid=17270 vsize=10555476 memory=72 CPUtime=0.17 cores=1,3,5,7
/proc/17273/task/17284/stat : 17284 (java) S 17270 17273 6338 0 -1 1077944384 980 0 0 0 17 0 0 0 20 0 15 0 96996895 10808807424 96159 33554432000 4194304 4196468 140734778962976 139908773128944 139909217544834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17285] ppid=17270 vsize=10555476 memory=3 CPUtime=0.11 cores=1,3,5,7
/proc/17273/task/17285/stat : 17285 (java) S 17270 17273 6338 0 -1 1077944384 302 0 0 0 11 0 0 0 20 0 15 0 96996895 10808807424 96159 33554432000 4194304 4196468 140734778962976 139908772076400 139909217544834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17286] ppid=17270 vsize=10555476 memory=6075 CPUtime=0.2 cores=1,3,5,7
/proc/17273/task/17286/stat : 17286 (java) S 17270 17273 6338 0 -1 1077944384 1096 0 0 0 20 0 0 0 20 0 15 0 96996895 10808807424 96159 33554432000 4194304 4196468 140734778962976 139908771023344 139909217544834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17287] ppid=17270 vsize=10555476 memory=280710607179248 CPUtime=0 cores=1,3,5,7
/proc/17273/task/17287/stat : 17287 (java) S 17270 17273 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96996895 10808807424 96159 33554432000 4194304 4196468 140734778962976 139908769971040 139909217543893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17288] ppid=17270 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17273/task/17288/stat : 17288 (java) S 17270 17273 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 96996895 10808807424 96159 33554432000 4194304 4196468 140734778962976 139908768918064 139909217544834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 384636 KiB
[startup+1.50077 s]
/proc/loadavg: 6.14 5.01 4.12 3/216 17288
/proc/meminfo: memFree=20157416/32770624 swapFree=67108860/67108860
[pid=17273] ppid=17270 vsize=10555476 memory=616728 CPUtime=2.87 cores=1,3,5,7
/proc/17273/stat : 17273 (java) S 17270 17273 6338 0 -1 1077944320 11677 0 0 0 262 25 0 0 20 0 15 0 96996889 10808807424 154182 33554432000 4194304 4196468 140734778962976 140734778945520 139909217533687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
/proc/17273/statm: 2638869 154182 3110 1 0 2627263 0
[pid=17273/tid=17275] ppid=17270 vsize=10555476 memory=0 CPUtime=1.3 cores=1,3,5,7
/proc/17273/task/17275/stat : 17275 (java) R 17270 17273 6338 0 -1 4202560 6254 0 0 0 123 7 0 0 20 0 15 0 96996889 10808807424 154182 33554432000 4194304 4196468 140734778962976 139909221761712 139908848008006 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17276] ppid=17270 vsize=10555476 memory=-6292470442678707039 CPUtime=0.15 cores=1,3,5,7
/proc/17273/task/17276/stat : 17276 (java) S 17270 17273 6338 0 -1 1077944384 156 0 0 0 11 4 0 0 20 0 15 0 96996890 10808807424 154182 33554432000 4194304 4196468 140734778962976 139909170154512 139909217543893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17277] ppid=17270 vsize=10555476 memory=-5935602824819121961 CPUtime=0.15 cores=1,3,5,7
/proc/17273/task/17277/stat : 17277 (java) S 17270 17273 6338 0 -1 1077944384 324 0 0 0 11 4 0 0 20 0 15 0 96996890 10808807424 154182 33554432000 4194304 4196468 140734778962976 139909169101968 139909217543893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17278] ppid=17270 vsize=10555476 memory=-1161699032755887712 CPUtime=0.14 cores=1,3,5,7
/proc/17273/task/17278/stat : 17278 (java) S 17270 17273 6338 0 -1 1077944384 228 0 0 0 11 3 0 0 20 0 15 0 96996890 10808807424 154182 33554432000 4194304 4196468 140734778962976 139909168048912 139909217543893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17279] ppid=17270 vsize=10555476 memory=-6305719382032737664 CPUtime=0.16 cores=1,3,5,7
/proc/17273/task/17279/stat : 17279 (java) S 17270 17273 6338 0 -1 1077944384 168 0 0 0 12 4 0 0 20 0 15 0 96996890 10808807424 154182 33554432000 4194304 4196468 140734778962976 139909166996368 139909217543893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17280] ppid=17270 vsize=10555476 memory=-6305711685316600960 CPUtime=0 cores=1,3,5,7
/proc/17273/task/17280/stat : 17280 (java) S 17270 17273 6338 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 15 0 96996892 10808807424 154182 33554432000 4194304 4196468 140734778962976 139908777339120 139909217544834 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
################
# More data... #
################
/proc/17273/statm: 2638869 2032745 3129 1 0 2627263 0
[pid=17273/tid=17275] ppid=17270 vsize=10555476 memory=6791534058613427641 CPUtime=13.68 cores=1,3,5,7
/proc/17273/task/17275/stat : 17275 (java) S 17270 17273 6338 0 -1 1077944384 14859 0 0 0 1357 11 0 0 20 0 15 0 96996889 10808807424 2032745 33554432000 4194304 4196468 140734778962976 139909221770432 139909217543893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17276] ppid=17270 vsize=10555476 memory=-7003737579269690708 CPUtime=57.02 cores=1,3,5,7
/proc/17273/task/17276/stat : 17276 (java) R 17270 17273 6338 0 -1 4202560 32189 0 0 0 5560 142 0 0 20 0 15 0 96996890 10808807424 2032745 33554432000 4194304 4196468 140734778962976 139909170154712 139909202484292 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17277] ppid=17270 vsize=10555476 memory=0 CPUtime=56.38 cores=1,3,5,7
/proc/17273/task/17277/stat : 17277 (java) R 17270 17273 6338 0 -1 4202560 24655 0 0 0 5488 150 0 0 20 0 15 0 96996890 10808807424 2032745 33554432000 4194304 4196468 140734778962976 139909169102168 139909202484396 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17278] ppid=17270 vsize=10555476 memory=0 CPUtime=56.7 cores=1,3,5,7
/proc/17273/task/17278/stat : 17278 (java) R 17270 17273 6338 0 -1 4202560 18295 0 0 0 5527 143 0 0 20 0 15 0 96996890 10808807424 2032745 33554432000 4194304 4196468 140734778962976 139909168048496 139909210161895 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17279] ppid=17270 vsize=10555476 memory=0 CPUtime=56.47 cores=1,3,5,7
/proc/17273/task/17279/stat : 17279 (java) S 17270 17273 6338 0 -1 1077944384 26530 0 0 0 5478 169 0 0 20 0 15 0 96996890 10808807424 2032745 33554432000 4194304 4196468 140734778962976 139909166995952 139909217544834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17280] ppid=17270 vsize=10555476 memory=0 CPUtime=10.86 cores=1,3,5,7
/proc/17273/task/17280/stat : 17280 (java) S 17270 17273 6338 0 -1 1077944384 19931 0 0 0 1084 2 0 0 20 0 15 0 96996892 10808807424 2032745 33554432000 4194304 4196468 140734778962976 139908777337440 139909217543893 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17281] ppid=17270 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17273/task/17281/stat : 17281 (java) S 17270 17273 6338 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 96996892 10808807424 2032745 33554432000 4194304 4196468 140734778962976 139908776285408 139909217543893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17282] ppid=17270 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17273/task/17282/stat : 17282 (java) S 17270 17273 6338 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 96996892 10808807424 2032745 33554432000 4194304 4196468 140734778962976 139908775232256 139909217543893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17283] ppid=17270 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17273/task/17283/stat : 17283 (java) S 17270 17273 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96996895 10808807424 2032745 33554432000 4194304 4196468 140734778962976 139908774180816 139909217552283 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17284] ppid=17270 vsize=10555476 memory=0 CPUtime=0.44 cores=1,3,5,7
/proc/17273/task/17284/stat : 17284 (java) S 17270 17273 6338 0 -1 1077944384 2617 0 0 0 44 0 0 0 20 0 15 0 96996895 10808807424 2032745 33554432000 4194304 4196468 140734778962976 139908773128944 139909217544834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17285] ppid=17270 vsize=10555476 memory=0 CPUtime=0.41 cores=1,3,5,7
/proc/17273/task/17285/stat : 17285 (java) S 17270 17273 6338 0 -1 1077944384 2740 0 0 0 41 0 0 0 20 0 15 0 96996895 10808807424 2032745 33554432000 4194304 4196468 140734778962976 139908772076400 139909217544834 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17286] ppid=17270 vsize=10555476 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/17273/task/17286/stat : 17286 (java) S 17270 17273 6338 0 -1 1077944384 2721 0 0 0 27 0 0 0 20 0 15 0 96996895 10808807424 2032745 33554432000 4194304 4196468 140734778962976 139908771023344 139909217544834 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17287] ppid=17270 vsize=10555476 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17273/task/17287/stat : 17287 (java) S 17270 17273 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96996895 10808807424 2032745 33554432000 4194304 4196468 140734778962976 139908769971040 139909217543893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17288] ppid=17270 vsize=10555476 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/17273/task/17288/stat : 17288 (java) S 17270 17273 6338 0 -1 1077944384 250 0 0 0 1 2 0 0 20 0 15 0 96996895 10808807424 2032745 33554432000 4194304 4196468 140734778962976 139908768918064 139909217544834 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
Current children cumulated CPU time: 252.35 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8130980 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+84.056 s]
# the end of solver process 17273 was just reported to runsolver
# cumulated CPU time of all completed processes: user=253.992 s, system=6.27426 s
Solver just ended.
Dumping a history of the last processes samples
[startup+83.206 s]
/proc/loadavg: 4.69 4.77 4.11 9/216 17364
/proc/meminfo: memFree=12442640/32770624 swapFree=67108860/67108860
[pid=17273] ppid=17270 vsize=10555476 memory=8130980 CPUtime=256.98 cores=1,3,5,7
/proc/17273/stat : 17273 (java) S 17270 17273 6338 0 -1 1077944320 146574 0 0 0 25075 623 0 0 20 0 15 0 96996889 10808807424 2032745 33554432000 4194304 4196468 140734778962976 140734778945520 139909217533687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
/proc/17273/statm: 2638869 2032745 3129 1 0 2627263 0
[pid=17273/tid=17275] ppid=17270 vsize=10555476 memory=76360290666986 CPUtime=13.68 cores=1,3,5,7
/proc/17273/task/17275/stat : 17275 (java) S 17270 17273 6338 0 -1 1077944384 14859 0 0 0 1357 11 0 0 20 0 15 0 96996889 10808807424 2032745 33554432000 4194304 4196468 140734778962976 139909221770432 139909217543893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17276] ppid=17270 vsize=10555476 memory=76360290666730 CPUtime=58.19 cores=1,3,5,7
/proc/17273/task/17276/stat : 17276 (java) R 17270 17273 6338 0 -1 4202560 32189 0 0 0 5677 142 0 0 20 0 15 0 96996890 10808807424 2032745 33554432000 4194304 4196468 140734778962976 139909170154512 139909201991309 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17277] ppid=17270 vsize=10555476 memory=8130972 CPUtime=57.57 cores=1,3,5,7
/proc/17273/task/17277/stat : 17277 (java) R 17270 17273 6338 0 -1 4202560 25075 0 0 0 5607 150 0 0 20 0 15 0 96996890 10808807424 2032745 33554432000 4194304 4196468 140734778962976 139909169102168 139909202233539 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17278] ppid=17270 vsize=10555476 memory=840 CPUtime=57.84 cores=1,3,5,7
/proc/17273/task/17278/stat : 17278 (java) R 17270 17273 6338 0 -1 4202560 18295 0 0 0 5640 144 0 0 20 0 15 0 96996890 10808807424 2032745 33554432000 4194304 4196468 140734778962976 139909168048912 139909202523287 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17279] ppid=17270 vsize=10555476 memory=1692 CPUtime=57.61 cores=1,3,5,7
/proc/17273/task/17279/stat : 17279 (java) R 17270 17273 6338 0 -1 4202560 26530 0 0 0 5591 170 0 0 20 0 15 0 96996890 10808807424 2032745 33554432000 4194304 4196468 140734778962976 139909166996568 139909202523351 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17280] ppid=17270 vsize=10555476 memory=6791534058613427641 CPUtime=10.86 cores=1,3,5,7
/proc/17273/task/17280/stat : 17280 (java) S 17270 17273 6338 0 -1 1077944384 19932 0 0 0 1084 2 0 0 20 0 15 0 96996892 10808807424 2032745 33554432000 4194304 4196468 140734778962976 139908777337664 139909217543893 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17281] ppid=17270 vsize=10555476 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/17273/task/17281/stat : 17281 (java) S 17270 17273 6338 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 96996892 10808807424 2032745 33554432000 4194304 4196468 140734778962976 139908776285408 139909217543893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17282] ppid=17270 vsize=10555476 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/17273/task/17282/stat : 17282 (java) S 17270 17273 6338 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 96996892 10808807424 2032745 33554432000 4194304 4196468 140734778962976 139908775232256 139909217543893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17283] ppid=17270 vsize=10555476 memory=12064 CPUtime=0 cores=1,3,5,7
/proc/17273/task/17283/stat : 17283 (java) S 17270 17273 6338 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 96996895 10808807424 2032745 33554432000 4194304 4196468 140734778962976 139908774180464 139909217543893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17284] ppid=17270 vsize=10555476 memory=6791534058613427641 CPUtime=0.44 cores=1,3,5,7
/proc/17273/task/17284/stat : 17284 (java) S 17270 17273 6338 0 -1 1077944384 2617 0 0 0 44 0 0 0 20 0 15 0 96996895 10808807424 2032745 33554432000 4194304 4196468 140734778962976 139908773128704 139909217543893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17285] ppid=17270 vsize=10555476 memory=7919768 CPUtime=0.41 cores=1,3,5,7
/proc/17273/task/17285/stat : 17285 (java) S 17270 17273 6338 0 -1 1077944384 2740 0 0 0 41 0 0 0 20 0 15 0 96996895 10808807424 2032745 33554432000 4194304 4196468 140734778962976 139908772076448 139909217543893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17286] ppid=17270 vsize=10555476 memory=7919768 CPUtime=0.27 cores=1,3,5,7
/proc/17273/task/17286/stat : 17286 (java) S 17270 17273 6338 0 -1 1077944384 2721 0 0 0 27 0 0 0 20 0 15 0 96996895 10808807424 2032745 33554432000 4194304 4196468 140734778962976 139908771023392 139909217543893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17287] ppid=17270 vsize=10555476 memory=8105786059494140491 CPUtime=0 cores=1,3,5,7
/proc/17273/task/17287/stat : 17287 (java) S 17270 17273 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96996895 10808807424 2032745 33554432000 4194304 4196468 140734778962976 139908769971040 139909217543893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17288] ppid=17270 vsize=10555476 memory=6791534058613427641 CPUtime=0.03 cores=1,3,5,7
/proc/17273/task/17288/stat : 17288 (java) S 17270 17273 6338 0 -1 1077944384 250 0 0 0 1 2 0 0 20 0 15 0 96996895 10808807424 2032745 33554432000 4194304 4196468 140734778962976 139908768918064 139909217544834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
Current children cumulated CPU time: 256.98 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8130980 KiB
[startup+83.6009 s]
/proc/loadavg: 4.69 4.77 4.11 9/216 17364
/proc/meminfo: memFree=12442640/32770624 swapFree=67108860/67108860
[pid=17273] ppid=17270 vsize=10555476 memory=8130980 CPUtime=258.55 cores=1,3,5,7
/proc/17273/stat : 17273 (java) S 17270 17273 6338 0 -1 1077944320 146574 0 0 0 25232 623 0 0 20 0 15 0 96996889 10808807424 2032745 33554432000 4194304 4196468 140734778962976 140734778945520 139909217533687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
/proc/17273/statm: 2638869 2032745 3129 1 0 2627263 0
[pid=17273/tid=17275] ppid=17270 vsize=10555476 memory=636 CPUtime=13.68 cores=1,3,5,7
/proc/17273/task/17275/stat : 17275 (java) S 17270 17273 6338 0 -1 1077944384 14859 0 0 0 1357 11 0 0 20 0 15 0 96996889 10808807424 2032745 33554432000 4194304 4196468 140734778962976 139909221770432 139909217543893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17276] ppid=17270 vsize=10555476 memory=1236 CPUtime=58.58 cores=1,3,5,7
/proc/17273/task/17276/stat : 17276 (java) R 17270 17273 6338 0 -1 4202560 32189 0 0 0 5716 142 0 0 20 0 15 0 96996890 10808807424 2032745 33554432000 4194304 4196468 140734778962976 139909170154712 139909201991290 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17277] ppid=17270 vsize=10555476 memory=960 CPUtime=57.96 cores=1,3,5,7
/proc/17273/task/17277/stat : 17277 (java) R 17270 17273 6338 0 -1 4202560 25075 0 0 0 5646 150 0 0 20 0 15 0 96996890 10808807424 2032745 33554432000 4194304 4196468 140734778962976 139909169101776 139909202234291 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17278] ppid=17270 vsize=10555476 memory=2240 CPUtime=58.24 cores=1,3,5,7
/proc/17273/task/17278/stat : 17278 (java) R 17270 17273 6338 0 -1 4202560 18295 0 0 0 5680 144 0 0 20 0 15 0 96996890 10808807424 2032745 33554432000 4194304 4196468 140734778962976 139909168049032 139909202234371 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17279] ppid=17270 vsize=10555476 memory=2340 CPUtime=58 cores=1,3,5,7
/proc/17273/task/17279/stat : 17279 (java) R 17270 17273 6338 0 -1 4202560 26530 0 0 0 5630 170 0 0 20 0 15 0 96996890 10808807424 2032745 33554432000 4194304 4196468 140734778962976 139909166996488 139909202531632 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17280] ppid=17270 vsize=10555476 memory=6791534058613427641 CPUtime=10.86 cores=1,3,5,7
/proc/17273/task/17280/stat : 17280 (java) S 17270 17273 6338 0 -1 1077944384 19932 0 0 0 1084 2 0 0 20 0 15 0 96996892 10808807424 2032745 33554432000 4194304 4196468 140734778962976 139908777337664 139909217543893 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17281] ppid=17270 vsize=10555476 memory=7919768 CPUtime=0 cores=1,3,5,7
/proc/17273/task/17281/stat : 17281 (java) S 17270 17273 6338 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 96996892 10808807424 2032745 33554432000 4194304 4196468 140734778962976 139908776285408 139909217543893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17282] ppid=17270 vsize=10555476 memory=16432 CPUtime=0 cores=1,3,5,7
/proc/17273/task/17282/stat : 17282 (java) S 17270 17273 6338 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 96996892 10808807424 2032745 33554432000 4194304 4196468 140734778962976 139908775232256 139909217543893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17283] ppid=17270 vsize=10555476 memory=7919768 CPUtime=0 cores=1,3,5,7
/proc/17273/task/17283/stat : 17283 (java) S 17270 17273 6338 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 96996895 10808807424 2032745 33554432000 4194304 4196468 140734778962976 139908774180464 139909217543893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17284] ppid=17270 vsize=10555476 memory=4044 CPUtime=0.44 cores=1,3,5,7
/proc/17273/task/17284/stat : 17284 (java) S 17270 17273 6338 0 -1 1077944384 2617 0 0 0 44 0 0 0 20 0 15 0 96996895 10808807424 2032745 33554432000 4194304 4196468 140734778962976 139908773128704 139909217543893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17285] ppid=17270 vsize=10555476 memory=8130972 CPUtime=0.41 cores=1,3,5,7
/proc/17273/task/17285/stat : 17285 (java) S 17270 17273 6338 0 -1 1077944384 2740 0 0 0 41 0 0 0 20 0 15 0 96996895 10808807424 2032745 33554432000 4194304 4196468 140734778962976 139908772076448 139909217543893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17286] ppid=17270 vsize=10555476 memory=6791534058613427641 CPUtime=0.27 cores=1,3,5,7
/proc/17273/task/17286/stat : 17286 (java) S 17270 17273 6338 0 -1 1077944384 2721 0 0 0 27 0 0 0 20 0 15 0 96996895 10808807424 2032745 33554432000 4194304 4196468 140734778962976 139908771023392 139909217543893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17287] ppid=17270 vsize=10555476 memory=8128708 CPUtime=0 cores=1,3,5,7
/proc/17273/task/17287/stat : 17287 (java) S 17270 17273 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96996895 10808807424 2032745 33554432000 4194304 4196468 140734778962976 139908769971040 139909217543893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17288] ppid=17270 vsize=10555476 memory=1728 CPUtime=0.03 cores=1,3,5,7
/proc/17273/task/17288/stat : 17288 (java) S 17270 17273 6338 0 -1 1077944384 250 0 0 0 1 2 0 0 20 0 15 0 96996895 10808807424 2032745 33554432000 4194304 4196468 140734778962976 139908768918064 139909217544834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
Current children cumulated CPU time: 258.55 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8130980 KiB
[startup+84.0009 s]*
/proc/loadavg: 4.69 4.77 4.11 9/216 17364
/proc/meminfo: memFree=12442640/32770624 swapFree=67108860/67108860
[pid=17273] ppid=17270 vsize=10555476 memory=8130980 CPUtime=260.18 cores=1,3,5,7
/proc/17273/stat : 17273 (java) S 17270 17273 6338 0 -1 1077944320 146574 0 0 0 25395 623 0 0 20 0 15 0 96996889 10808807424 2032745 33554432000 4194304 4196468 140734778962976 140734778945520 139909217533687 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
/proc/17273/statm: 2638869 2032745 3129 1 0 2627263 0
[pid=17273/tid=17275] ppid=17270 vsize=10555476 memory=6791534058613427641 CPUtime=13.68 cores=1,3,5,7
/proc/17273/task/17275/stat : 17275 (java) S 17270 17273 6338 0 -1 1077944384 14859 0 0 0 1357 11 0 0 20 0 15 0 96996889 10808807424 2032745 33554432000 4194304 4196468 140734778962976 139909221770432 139909217543893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17276] ppid=17270 vsize=10555476 memory=-7003737579269690708 CPUtime=58.99 cores=1,3,5,7
/proc/17273/task/17276/stat : 17276 (java) R 17270 17273 6338 0 -1 4202560 32189 0 0 0 5757 142 0 0 20 0 15 0 96996890 10808807424 2032745 33554432000 4194304 4196468 140734778962976 139909170154712 139909202233477 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17277] ppid=17270 vsize=10555476 memory=840 CPUtime=58.37 cores=1,3,5,7
/proc/17273/task/17277/stat : 17277 (java) R 17270 17273 6338 0 -1 4202560 25075 0 0 0 5687 150 0 0 20 0 15 0 96996890 10808807424 2032745 33554432000 4194304 4196468 140734778962976 139909169101776 139909210161895 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17278] ppid=17270 vsize=10555476 memory=1692 CPUtime=58.65 cores=1,3,5,7
/proc/17273/task/17278/stat : 17278 (java) R 17270 17273 6338 0 -1 4202560 18295 0 0 0 5721 144 0 0 20 0 15 0 96996890 10808807424 2032745 33554432000 4194304 4196468 140734778962976 139909168049032 139909210161895 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17279] ppid=17270 vsize=10555476 memory=916 CPUtime=58.4 cores=1,3,5,7
/proc/17273/task/17279/stat : 17279 (java) R 17270 17273 6338 0 -1 4202560 26530 0 0 0 5670 170 0 0 20 0 15 0 96996890 10808807424 2032745 33554432000 4194304 4196468 140734778962976 139909166996488 139909202234403 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17280] ppid=17270 vsize=10555476 memory=3832 CPUtime=10.86 cores=1,3,5,7
/proc/17273/task/17280/stat : 17280 (java) S 17270 17273 6338 0 -1 1077944384 19932 0 0 0 1084 2 0 0 20 0 15 0 96996892 10808807424 2032745 33554432000 4194304 4196468 140734778962976 139908777337664 139909217543893 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17281] ppid=17270 vsize=10555476 memory=4096 CPUtime=0 cores=1,3,5,7
/proc/17273/task/17281/stat : 17281 (java) S 17270 17273 6338 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 96996892 10808807424 2032745 33554432000 4194304 4196468 140734778962976 139908776285408 139909217543893 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17282] ppid=17270 vsize=10555476 memory=2536 CPUtime=0 cores=1,3,5,7
/proc/17273/task/17282/stat : 17282 (java) S 17270 17273 6338 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 96996892 10808807424 2032745 33554432000 4194304 4196468 140734778962976 139908775232256 139909217543893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17283] ppid=17270 vsize=10555476 memory=2536 CPUtime=0 cores=1,3,5,7
/proc/17273/task/17283/stat : 17283 (java) S 17270 17273 6338 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 96996895 10808807424 2032745 33554432000 4194304 4196468 140734778962976 139908774180464 139909217543893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17284] ppid=17270 vsize=10555476 memory=1160 CPUtime=0.44 cores=1,3,5,7
/proc/17273/task/17284/stat : 17284 (java) S 17270 17273 6338 0 -1 1077944384 2617 0 0 0 44 0 0 0 20 0 15 0 96996895 10808807424 2032745 33554432000 4194304 4196468 140734778962976 139908773128704 139909217543893 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17285] ppid=17270 vsize=10555476 memory=2836 CPUtime=0.41 cores=1,3,5,7
/proc/17273/task/17285/stat : 17285 (java) S 17270 17273 6338 0 -1 1077944384 2740 0 0 0 41 0 0 0 20 0 15 0 96996895 10808807424 2032745 33554432000 4194304 4196468 140734778962976 139908772076448 139909217543893 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17286] ppid=17270 vsize=10555476 memory=8130980 CPUtime=0.27 cores=1,3,5,7
/proc/17273/task/17286/stat : 17286 (java) S 17270 17273 6338 0 -1 1077944384 2721 0 0 0 27 0 0 0 20 0 15 0 96996895 10808807424 2032745 33554432000 4194304 4196468 140734778962976 139908771023392 139909217543893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17287] ppid=17270 vsize=10555476 memory=1160 CPUtime=0 cores=1,3,5,7
/proc/17273/task/17287/stat : 17287 (java) S 17270 17273 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 96996895 10808807424 2032745 33554432000 4194304 4196468 140734778962976 139908769971040 139909217543893 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
[pid=17273/tid=17288] ppid=17270 vsize=10555476 memory=2880 CPUtime=0.03 cores=1,3,5,7
/proc/17273/task/17288/stat : 17288 (java) S 17270 17273 6338 0 -1 1077944384 250 0 0 0 1 2 0 0 20 0 15 0 96996895 10808807424 2032745 33554432000 4194304 4196468 140734778962976 139908768918064 139909217544834 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 20176896 140734778971275 140734778971428 140734778971428 140734778974159 0
Current children cumulated CPU time: 260.18 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8130980 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 84.056
CPU time (s): 260.266
CPU user time (s): 253.992
CPU system time (s): 6.27426
CPU usage (%): 309.634
Max. virtual memory (cumulated for all children) (KiB): 10555476
Max. memory (cumulated for all children) (KiB): 8130980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 253.992
system time used= 6.27426
maximum resident set size= 8131292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 146578
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5847
involuntary context switches= 4885
# summary of solver processes directly reported to runsolver:
# pid: 17273
# total CPU time (s): 260.266
# total CPU user time (s): 253.992
# total CPU system time (s): 6.27426
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.488099 second user time and 0.903751 second system time
The end