runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4118028-1467218128/watcher-4118028-1467218128 -o /tmp/evaluation-result-4118028-1467218128/solver-4118028-1467218128 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1467209106-4305 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4118028-1467218128.opb
pid=5338
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.05 2.12 2.09 3/194 5341
/proc/meminfo: memFree=30039992/32872528 swapFree=242912/249044
[pid=5341] ppid=5338 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/5341/stat : 5341 (java) S 5338 5341 4289 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 2919107 98570240 977 33554432000 1073741824 1073778376 140733992562464 140733992553600 247067607101 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5341/statm: 24065 977 744 9 0 16771 0
[pid=5341/tid=5342] ppid=5338 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/5341/task/5342/stat : 5342 (java) R 5338 5341 4289 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 2919107 98570240 977 33554432000 1073741824 1073778376 140733992562464 140235005697576 247064249728 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0
[startup+0.100162 s]
/proc/loadavg: 2.05 2.12 2.09 3/194 5341
/proc/meminfo: memFree=30039992/32872528 swapFree=242912/249044
[pid=5341] ppid=5338 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/5341/stat : 5341 (java) S 5338 5341 4289 0 -1 4202496 4413 0 1 0 9 1 0 0 20 0 18 0 2919107 9787879424 6043 33554432000 1073741824 1073778376 140733992562464 140733992553600 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5341/statm: 2389619 6043 2140 9 0 2380296 0
[pid=5341/tid=5342] ppid=5338 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/5341/task/5342/stat : 5342 (java) R 5338 5341 4289 0 -1 4202560 2375 0 1 0 6 2 0 0 20 0 18 0 2919107 9787879424 6043 33554432000 1073741824 1073778376 140733992562464 140235005701024 140234859764114 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476
[startup+0.200307 s]
/proc/loadavg: 2.05 2.12 2.09 3/194 5341
/proc/meminfo: memFree=30039992/32872528 swapFree=242912/249044
[pid=5341] ppid=5338 vsize=9558476 CPUtime=0.26 cores=0,2,4,6
/proc/5341/stat : 5341 (java) S 5338 5341 4289 0 -1 4202496 4703 0 1 0 24 2 0 0 20 0 18 0 2919107 9787879424 6777 33554432000 1073741824 1073778376 140733992562464 140733992553600 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5341/statm: 2389619 6777 2212 9 0 2380296 0
[pid=5341/tid=5342] ppid=5338 vsize=9558476 CPUtime=0.18 cores=0,2,4,6
/proc/5341/task/5342/stat : 5342 (java) R 5338 5341 4289 0 -1 4202560 2399 0 1 0 16 2 0 0 20 0 18 0 2919107 9787879424 6777 33554432000 1073741824 1073778376 140733992562464 140235005701024 140234859814575 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476
[startup+0.30031 s]
/proc/loadavg: 2.05 2.12 2.09 3/194 5341
/proc/meminfo: memFree=30039992/32872528 swapFree=242912/249044
[pid=5341] ppid=5338 vsize=9558476 CPUtime=0.48 cores=0,2,4,6
/proc/5341/stat : 5341 (java) S 5338 5341 4289 0 -1 4202496 6169 0 1 0 46 2 0 0 20 0 18 0 2919107 9787879424 8747 33554432000 1073741824 1073778376 140733992562464 140733992553600 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5341/statm: 2389619 8747 2244 9 0 2380296 0
[pid=5341/tid=5342] ppid=5338 vsize=9558476 CPUtime=0.28 cores=0,2,4,6
/proc/5341/task/5342/stat : 5342 (java) R 5338 5341 4289 0 -1 4202560 2403 0 1 0 26 2 0 0 20 0 18 0 2919107 9787879424 8747 33554432000 1073741824 1073778376 140733992562464 140235005702088 140234859864784 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476
[startup+0.700297 s]
/proc/loadavg: 2.05 2.12 2.09 3/194 5341
/proc/meminfo: memFree=30039992/32872528 swapFree=242912/249044
[pid=5341] ppid=5338 vsize=9558476 CPUtime=1.67 cores=0,2,4,6
/proc/5341/stat : 5341 (java) S 5338 5341 4289 0 -1 4202496 27851 0 1 0 161 6 0 0 20 0 18 0 2919107 9787879424 34467 33554432000 1073741824 1073778376 140733992562464 140733992553600 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5341/statm: 2389619 34467 2257 9 0 2380296 0
[pid=5341/tid=5342] ppid=5338 vsize=9558476 CPUtime=0.68 cores=0,2,4,6
/proc/5341/task/5342/stat : 5342 (java) R 5338 5341 4289 0 -1 4202560 2430 0 1 0 66 2 0 0 20 0 18 0 2919107 9787879424 34467 33554432000 1073741824 1073778376 140733992562464 140235005693760 140234859818528 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.67
Current children cumulated vsize (KiB) 9558476
[startup+1.50076 s]
/proc/loadavg: 2.05 2.12 2.09 5/212 5359
/proc/meminfo: memFree=29770740/32872528 swapFree=242912/249044
[pid=5341] ppid=5338 vsize=9558476 CPUtime=3.78 cores=0,2,4,6
/proc/5341/stat : 5341 (java) S 5338 5341 4289 0 -1 4202496 32781 0 1 0 357 21 0 0 20 0 18 0 2919107 9787879424 87856 33554432000 1073741824 1073778376 140733992562464 140733992553600 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5341/statm: 2389619 87856 2275 9 0 2380296 0
[pid=5341/tid=5342] ppid=5338 vsize=9558476 CPUtime=1.3 cores=0,2,4,6
/proc/5341/task/5342/stat : 5342 (java) R 5338 5341 4289 0 -1 4202560 2474 0 1 0 127 3 0 0 20 0 18 0 2919107 9787879424 87856 33554432000 1073741824 1073778376 140733992562464 140235005701368 140234860205032 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=5341/tid=5344] ppid=5338 vsize=9558476 CPUtime=0.04 cores=0,2,4,6
/proc/5341/task/5344/stat : 5344 (java) S 5338 5341 4289 0 -1 4202560 34 0 0 0 3 1 0 0 20 0 18 0 2919108 9787879424 87856 33554432000 1073741824 1073778376 140733992562464 140234848774568 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5341/tid=5345] ppid=5338 vsize=9558476 CPUtime=0.06 cores=0,2,4,6
/proc/5341/task/5345/stat : 5345 (java) S 5338 5341 4289 0 -1 4202560 120 0 0 0 5 1 0 0 20 0 18 0 2919108 9787879424 87856 33554432000 1073741824 1073778376 140733992562464 140234847722024 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5341/tid=5346] ppid=5338 vsize=9558476 CPUtime=0.04 cores=0,2,4,6
/proc/5341/task/5346/stat : 5346 (java) S 5338 5341 4289 0 -1 4202560 87 0 0 0 4 0 0 0 20 0 18 0 2919108 9787879424 87856 33554432000 1073741824 1073778376 140733992562464 140234846668968 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5341/tid=5347] ppid=5338 vsize=9558476 CPUtime=0.13 cores=0,2,4,6
/proc/5341/task/5347/stat : 5347 (java) S 5338 5341 4289 0 -1 4202560 133 0 0 0 10 3 0 0 20 0 18 0 2919108 9787879424 87856 33554432000 1073741824 1073778376 140733992562464 140234845616424 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5341/tid=5348] ppid=5338 vsize=9558476 CPUtime=0.03 cores=0,2,4,6
/proc/5341/task/5348/stat : 5348 (java) S 5338 5341 4289 0 -1 4202560 27 0 0 0 3 0 0 0 20 0 18 0 2919108 9787879424 87856 33554432000 1073741824 1073778376 140733992562464 140234844564392 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5341/tid=5349] ppid=5338 vsize=9558476 CPUtime=0.04 cores=0,2,4,6
/proc/5341/task/5349/stat : 5349 (java) S 5338 5341 4289 0 -1 4202560 33 0 0 0 3 1 0 0 20 0 18 0 2919108 9787879424 87856 33554432000 1073741824 1073778376 140733992562464 140234507414568 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5341/tid=5350] ppid=5338 vsize=9558476 CPUtime=0.11 cores=0,2,4,6
/proc/5341/task/5350/stat : 5350 (java) S 5338 5341 4289 0 -1 4202560 171 0 0 0 9 2 0 0 20 0 18 0 2919108 9787879424 87856 33554432000 1073741824 1073778376 140733992562464 140234506361512 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5341/tid=5351] ppid=5338 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/5341/task/5351/stat : 5351 (java) S 5338 5341 4289 0 -1 4202560 51 0 0 0 6 3 0 0 20 0 18 0 2919108 9787879424 87856 33554432000 1073741824 1073778376 140733992562464 140234505308968 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5341/tid=5352] ppid=5338 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/5341/task/5352/stat : 5352 (java) S 5338 5341 4289 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 18 0 2919109 9787879424 87856 33554432000 1073741824 1073778376 140733992562464 140234493110632 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5341/tid=5353] ppid=5338 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/5341/task/5353/stat : 5353 (java) S 5338 5341 4289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 2919110 9787879424 87856 33554432000 1073741824 1073778376 140733992562464 140234492056952 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5341/tid=5354] ppid=5338 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/5341/task/5354/stat : 5354 (java) S 5338 5341 4289 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 18 0 2919110 9787879424 87856 33554432000 1073741824 1073778376 140733992562464 140234491003784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5341/tid=5355] ppid=5338 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/5341/task/5355/stat : 5355 (java) S 5338 5341 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2919112 9787879424 87856 33554432000 1073741824 1073778376 140733992562464 140234489952528 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5341/tid=5356] ppid=5338 vsize=9558476 CPUtime=0.88 cores=0,2,4,6
/proc/5341/task/5356/stat : 5356 (java) S 5338 5341 4289 0 -1 4202560 10478 0 0 0 87 1 0 0 20 0 18 0 2919112 9787879424 87856 33554432000 1073741824 1073778376 140733992562464 140234488900408 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5341/tid=5357] ppid=5338 vsize=9558476 CPUtime=0.89 cores=0,2,4,6
/proc/5341/task/5357/stat : 5357 (java) R 5338 5341 4289 0 -1 4202560 17847 0 0 0 86 3 0 0 20 0 18 0 2919112 9787879424 87856 33554432000 1073741824 1073778376 140733992562464 140234487847864 140235009791993 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=5341/tid=5358] ppid=5338 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/5341/task/5358/stat : 5358 (java) S 5338 5341 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2919112 9787879424 87856 33554432000 1073741824 1073778376 140733992562464 140234486795000 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5341/tid=5359] ppid=5338 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/5341/task/5359/stat : 5359 (java) S 5338 5341 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 2919112 9787879424 87856 33554432000 1073741824 1073778376 140733992562464 140234485742664 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.78
Current children cumulated vsize (KiB) 9558476
[startup+3.1008 s]
/proc/loadavg: 2.05 2.12 2.09 5/213 5360
/proc/meminfo: memFree=29684408/32872528 swapFree=242912/249044
[pid=5341] ppid=5338 vsize=9625040 CPUtime=6.32 cores=0,2,4,6
/proc/5341/stat : 5341 (java) S 5338 5341 4289 0 -1 4202496 33272 0 1 0 600 32 0 0 20 0 19 0 2919107 9856040960 133723 33554432000 1073741824 1073778376 140733992562464 140733992553600 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5341/statm: 2406260 133723 2283 9 0 2396937 0
[pid=5341/tid=5342] ppid=5338 vsize=9625040 CPUtime=2.81 cores=0,2,4,6
/proc/5341/task/5342/stat : 5342 (java) R 5338 5341 4289 0 -1 4202560 2529 0 1 0 275 6 0 0 20 0 19 0 2919107 9856040960 133723 33554432000 1073741824 1073778376 140733992562464 140235005701432 140234861009248 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=5341/tid=5344] ppid=5338 vsize=9625040 CPUtime=0.06 cores=0,2,4,6
/proc/5341/task/5344/stat : 5344 (java) S 5338 5341 4289 0 -1 4202560 42 0 0 0 4 2 0 0 20 0 19 0 2919108 9856040960 133723 33554432000 1073741824 1073778376 140733992562464 140234848774568 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5341/tid=5345] ppid=5338 vsize=9625040 CPUtime=0.11 cores=0,2,4,6
/proc/5341/task/5345/stat : 5345 (java) S 5338 5341 4289 0 -1 4202560 138 0 0 0 9 2 0 0 20 0 19 0 2919108 9856040960 133723 33554432000 1073741824 1073778376 140733992562464 140234847722024 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5341/tid=5346] ppid=5338 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/5341/task/5346/stat : 5346 (java) S 5338 5341 4289 0 -1 4202560 96 0 0 0 5 2 0 0 20 0 19 0 2919108 9856040960 133723 33554432000 1073741824 1073778376 140733992562464 140234846668968 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5341/tid=5347] ppid=5338 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/5341/task/5347/stat : 5347 (java) S 5338 5341 4289 0 -1 4202560 142 0 0 0 12 3 0 0 20 0 19 0 2919108 9856040960 133723 33554432000 1073741824 1073778376 140733992562464 140234845616424 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5341/tid=5348] ppid=5338 vsize=9625040 CPUtime=0.08 cores=0,2,4,6
/proc/5341/task/5348/stat : 5348 (java) S 5338 5341 4289 0 -1 4202560 57 0 0 0 6 2 0 0 20 0 19 0 2919108 9856040960 133723 33554432000 1073741824 1073778376 140733992562464 140234844564392 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5341/tid=5349] ppid=5338 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/5341/task/5349/stat : 5349 (java) S 5338 5341 4289 0 -1 4202560 70 0 0 0 10 4 0 0 20 0 19 0 2919108 9856040960 133723 33554432000 1073741824 1073778376 140733992562464 140234507414568 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5341/tid=5350] ppid=5338 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/5341/task/5350/stat : 5350 (java) S 5338 5341 4289 0 -1 4202560 295 0 0 0 15 4 0 0 20 0 19 0 2919108 9856040960 133723 33554432000 1073741824 1073778376 140733992562464 140234506361512 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5341/tid=5351] ppid=5338 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/5341/task/5351/stat : 5351 (java) S 5338 5341 4289 0 -1 4202560 68 0 0 0 10 3 0 0 20 0 19 0 2919108 9856040960 133723 33554432000 1073741824 1073778376 140733992562464 140234505308968 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5341/tid=5352] ppid=5338 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5341/task/5352/stat : 5352 (java) S 5338 5341 4289 0 -1 4202560 199 0 0 0 0 0 0 0 20 0 19 0 2919109 9856040960 133723 33554432000 1073741824 1073778376 140733992562464 140234493110632 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5341/tid=5353] ppid=5338 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5341/task/5353/stat : 5353 (java) S 5338 5341 4289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 2919110 9856040960 133723 33554432000 1073741824 1073778376 140733992562464 140234492056952 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5341/tid=5354] ppid=5338 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5341/task/5354/stat : 5354 (java) S 5338 5341 4289 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 2919110 9856040960 133723 33554432000 1073741824 1073778376 140733992562464 140234491003784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5341/tid=5355] ppid=5338 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5341/task/5355/stat : 5355 (java) S 5338 5341 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2919112 9856040960 133723 33554432000 1073741824 1073778376 140733992562464 140234489952528 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5341/tid=5356] ppid=5338 vsize=9625040 CPUtime=1.15 cores=0,2,4,6
/proc/5341/task/5356/stat : 5356 (java) S 5338 5341 4289 0 -1 4202560 10481 0 0 0 113 2 0 0 20 0 19 0 2919112 9856040960 133723 33554432000 1073741824 1073778376 140733992562464 140234488900408 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5341/tid=5357] ppid=5338 vsize=9625040 CPUtime=1.28 cores=0,2,4,6
/proc/5341/task/5357/stat : 5357 (java) S 5338 5341 4289 0 -1 4202560 17894 0 0 0 125 3 0 0 20 0 19 0 2919112 9856040960 133723 33554432000 1073741824 1073778376 140733992562464 140234487847864 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5341/tid=5358] ppid=5338 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5341/task/5358/stat : 5358 (java) S 5338 5341 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2919112 9856040960 133723 33554432000 1073741824 1073778376 140733992562464 140234486795000 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5341/tid=5359] ppid=5338 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5341/task/5359/stat : 5359 (java) S 5338 5341 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2919112 9856040960 133723 33554432000 1073741824 1073778376 140733992562464 140234485742664 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5341/tid=5360] ppid=5338 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5341/task/5360/stat : 5360 (java) S 5338 5341 4289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2919263 9856040960 133723 33554432000 1073741824 1073778376 140733992562464 140234484589608 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 9625040
[startup+6.30082 s]
/proc/loadavg: 2.12 2.13 2.09 3/213 5360
/proc/meminfo: memFree=29523664/32872528 swapFree=242912/249044
[pid=5341] ppid=5338 vsize=9625040 CPUtime=9.53 cores=0,2,4,6
/proc/5341/stat : 5341 (java) S 5338 5341 4289 0 -1 4202496 33273 0 1 0 920 33 0 0 20 0 19 0 2919107 9856040960 130909 33554432000 1073741824 1073778376 140733992562464 140733992553600 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5341/statm: 2406260 130909 2283 9 0 2396937 0
[pid=5341/tid=5342] ppid=5338 vsize=9625040 CPUtime=6 cores=0,2,4,6
/proc/5341/task/5342/stat : 5342 (java) R 5338 5341 4289 0 -1 4202560 2530 0 1 0 594 6 0 0 20 0 19 0 2919107 9856040960 130909 33554432000 1073741824 1073778376 140733992562464 140235005700448 140234861031113 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=5341/tid=5344] ppid=5338 vsize=9625040 CPUtime=0.06 cores=0,2,4,6
/proc/5341/task/5344/stat : 5344 (java) S 5338 5341 4289 0 -1 4202560 42 0 0 0 4 2 0 0 20 0 19 0 2919108 9856040960 130909 33554432000 1073741824 1073778376 140733992562464 140234848774568 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5341/tid=5345] ppid=5338 vsize=9625040 CPUtime=0.11 cores=0,2,4,6
/proc/5341/task/5345/stat : 5345 (java) S 5338 5341 4289 0 -1 4202560 138 0 0 0 9 2 0 0 20 0 19 0 2919108 9856040960 130909 33554432000 1073741824 1073778376 140733992562464 140234847722024 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5341/tid=5346] ppid=5338 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/5341/task/5346/stat : 5346 (java) S 5338 5341 4289 0 -1 4202560 96 0 0 0 5 2 0 0 20 0 19 0 2919108 9856040960 130909 33554432000 1073741824 1073778376 140733992562464 140234846668968 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5341/tid=5347] ppid=5338 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/5341/task/5347/stat : 5347 (java) S 5338 5341 4289 0 -1 4202560 142 0 0 0 12 3 0 0 20 0 19 0 2919108 9856040960 130909 33554432000 1073741824 1073778376 140733992562464 140234845616424 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5341/tid=5348] ppid=5338 vsize=9625040 CPUtime=0.08 cores=0,2,4,6
/proc/5341/task/5348/stat : 5348 (java) S 5338 5341 4289 0 -1 4202560 57 0 0 0 6 2 0 0 20 0 19 0 2919108 9856040960 130909 33554432000 1073741824 1073778376 140733992562464 140234844564392 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5341/tid=5349] ppid=5338 vsize=9625040 CPUtime=0.14 cores=0,2,4,6
/proc/5341/task/5349/stat : 5349 (java) S 5338 5341 4289 0 -1 4202560 70 0 0 0 10 4 0 0 20 0 19 0 2919108 9856040960 130909 33554432000 1073741824 1073778376 140733992562464 140234507414568 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5341/tid=5350] ppid=5338 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/5341/task/5350/stat : 5350 (java) S 5338 5341 4289 0 -1 4202560 295 0 0 0 15 4 0 0 20 0 19 0 2919108 9856040960 130909 33554432000 1073741824 1073778376 140733992562464 140234506361512 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5341/tid=5351] ppid=5338 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/5341/task/5351/stat : 5351 (java) S 5338 5341 4289 0 -1 4202560 68 0 0 0 10 3 0 0 20 0 19 0 2919108 9856040960 130909 33554432000 1073741824 1073778376 140733992562464 140234505308968 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5341/tid=5352] ppid=5338 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5341/task/5352/stat : 5352 (java) S 5338 5341 4289 0 -1 4202560 199 0 0 0 0 0 0 0 20 0 19 0 2919109 9856040960 130909 33554432000 1073741824 1073778376 140733992562464 140234493110632 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5341/tid=5353] ppid=5338 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5341/task/5353/stat : 5353 (java) S 5338 5341 4289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 2919110 9856040960 130909 33554432000 1073741824 1073778376 140733992562464 140234492056952 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5341/tid=5354] ppid=5338 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5341/task/5354/stat : 5354 (java) S 5338 5341 4289 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 2919110 9856040960 130909 33554432000 1073741824 1073778376 140733992562464 140234491003784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5341/tid=5355] ppid=5338 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5341/task/5355/stat : 5355 (java) S 5338 5341 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2919112 9856040960 130909 33554432000 1073741824 1073778376 140733992562464 140234489952528 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5341/tid=5356] ppid=5338 vsize=9625040 CPUtime=1.15 cores=0,2,4,6
/proc/5341/task/5356/stat : 5356 (java) S 5338 5341 4289 0 -1 4202560 10481 0 0 0 113 2 0 0 20 0 19 0 2919112 9856040960 130909 33554432000 1073741824 1073778376 140733992562464 140234488900408 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5341/tid=5357] ppid=5338 vsize=9625040 CPUtime=1.28 cores=0,2,4,6
/proc/5341/task/5357/stat : 5357 (java) S 5338 5341 4289 0 -1 4202560 17894 0 0 0 125 3 0 0 20 0 19 0 2919112 9856040960 130909 33554432000 1073741824 1073778376 140733992562464 140234487847864 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5341/tid=5358] ppid=5338 vsize=9625040 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[pid=5341/tid=5353] ppid=5338 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5341/task/5353/stat : 5353 (java) S 5338 5341 4289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 2919110 9856040960 271121 33554432000 1073741824 1073778376 140733992562464 140234492056952 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5341/tid=5354] ppid=5338 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5341/task/5354/stat : 5354 (java) S 5338 5341 4289 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 2919110 9856040960 271121 33554432000 1073741824 1073778376 140733992562464 140234491003784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5341/tid=5355] ppid=5338 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5341/task/5355/stat : 5355 (java) S 5338 5341 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2919112 9856040960 271121 33554432000 1073741824 1073778376 140733992562464 140234489952528 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5341/tid=5356] ppid=5338 vsize=9625040 CPUtime=1.29 cores=0,2,4,6
/proc/5341/task/5356/stat : 5356 (java) S 5338 5341 4289 0 -1 4202560 10493 0 0 0 127 2 0 0 20 0 19 0 2919112 9856040960 271121 33554432000 1073741824 1073778376 140733992562464 140234488900408 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5341/tid=5357] ppid=5338 vsize=9625040 CPUtime=1.4 cores=0,2,4,6
/proc/5341/task/5357/stat : 5357 (java) S 5338 5341 4289 0 -1 4202560 17903 0 0 0 137 3 0 0 20 0 19 0 2919112 9856040960 271121 33554432000 1073741824 1073778376 140733992562464 140234487847864 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5341/tid=5358] ppid=5338 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5341/task/5358/stat : 5358 (java) S 5338 5341 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2919112 9856040960 271121 33554432000 1073741824 1073778376 140733992562464 140234486795000 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5341/tid=5359] ppid=5338 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/5341/task/5359/stat : 5359 (java) S 5338 5341 4289 0 -1 4202560 97 0 0 0 30 32 0 0 20 0 19 0 2919112 9856040960 271121 33554432000 1073741824 1073778376 140733992562464 140234485742664 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5341/tid=5360] ppid=5338 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5341/task/5360/stat : 5360 (java) S 5338 5341 4289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2919263 9856040960 271121 33554432000 1073741824 1073778376 140733992562464 140234484589608 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1666.52
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.06 2.06 2.05 3/213 5427
/proc/meminfo: memFree=28331452/32872528 swapFree=242912/249044
[pid=5341] ppid=5338 vsize=9625040 CPUtime=1726.53 cores=0,2,4,6
/proc/5341/stat : 5341 (java) S 5338 5341 4289 0 -1 4202496 35067 0 1 0 172565 88 0 0 20 0 19 0 2919107 9856040960 271121 33554432000 1073741824 1073778376 140733992562464 140733992553600 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5341/statm: 2406260 271121 2298 9 0 2396937 0
[pid=5341/tid=5342] ppid=5338 vsize=9625040 CPUtime=1721.18 cores=0,2,4,6
/proc/5341/task/5342/stat : 5342 (java) R 5338 5341 4289 0 -1 4202560 2827 0 1 0 172081 37 0 0 20 0 19 0 2919107 9856040960 271121 33554432000 1073741824 1073778376 140733992562464 140235005693648 140234861070624 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=5341/tid=5344] ppid=5338 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/5341/task/5344/stat : 5344 (java) S 5338 5341 4289 0 -1 4202560 183 0 0 0 13 7 0 0 20 0 19 0 2919108 9856040960 271121 33554432000 1073741824 1073778376 140733992562464 140234848774568 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5341/tid=5345] ppid=5338 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/5341/task/5345/stat : 5345 (java) S 5338 5341 4289 0 -1 4202560 203 0 0 0 14 6 0 0 20 0 19 0 2919108 9856040960 271121 33554432000 1073741824 1073778376 140733992562464 140234847722024 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5341/tid=5346] ppid=5338 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/5341/task/5346/stat : 5346 (java) S 5338 5341 4289 0 -1 4202560 213 0 0 0 11 5 0 0 20 0 19 0 2919108 9856040960 271121 33554432000 1073741824 1073778376 140733992562464 140234846668968 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5341/tid=5347] ppid=5338 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/5341/task/5347/stat : 5347 (java) S 5338 5341 4289 0 -1 4202560 270 0 0 0 20 7 0 0 20 0 19 0 2919108 9856040960 271121 33554432000 1073741824 1073778376 140733992562464 140234845616424 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5341/tid=5348] ppid=5338 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/5341/task/5348/stat : 5348 (java) S 5338 5341 4289 0 -1 4202560 122 0 0 0 13 4 0 0 20 0 19 0 2919108 9856040960 271121 33554432000 1073741824 1073778376 140733992562464 140234844564392 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5341/tid=5349] ppid=5338 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/5341/task/5349/stat : 5349 (java) S 5338 5341 4289 0 -1 4202560 201 0 0 0 21 10 0 0 20 0 19 0 2919108 9856040960 271121 33554432000 1073741824 1073778376 140733992562464 140234507414568 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5341/tid=5350] ppid=5338 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/5341/task/5350/stat : 5350 (java) S 5338 5341 4289 0 -1 4202560 438 0 0 0 21 7 0 0 20 0 19 0 2919108 9856040960 271121 33554432000 1073741824 1073778376 140733992562464 140234506361512 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5341/tid=5351] ppid=5338 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/5341/task/5351/stat : 5351 (java) S 5338 5341 4289 0 -1 4202560 138 0 0 0 17 7 0 0 20 0 19 0 2919108 9856040960 271121 33554432000 1073741824 1073778376 140733992562464 140234505308968 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5341/tid=5352] ppid=5338 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/5341/task/5352/stat : 5352 (java) S 5338 5341 4289 0 -1 4202560 715 0 0 0 49 2 0 0 20 0 19 0 2919109 9856040960 271121 33554432000 1073741824 1073778376 140733992562464 140234493110632 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5341/tid=5353] ppid=5338 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5341/task/5353/stat : 5353 (java) S 5338 5341 4289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 2919110 9856040960 271121 33554432000 1073741824 1073778376 140733992562464 140234492056952 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5341/tid=5354] ppid=5338 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5341/task/5354/stat : 5354 (java) S 5338 5341 4289 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 2919110 9856040960 271121 33554432000 1073741824 1073778376 140733992562464 140234491003784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5341/tid=5355] ppid=5338 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5341/task/5355/stat : 5355 (java) S 5338 5341 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2919112 9856040960 271121 33554432000 1073741824 1073778376 140733992562464 140234489952528 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5341/tid=5356] ppid=5338 vsize=9625040 CPUtime=1.29 cores=0,2,4,6
/proc/5341/task/5356/stat : 5356 (java) S 5338 5341 4289 0 -1 4202560 10493 0 0 0 127 2 0 0 20 0 19 0 2919112 9856040960 271121 33554432000 1073741824 1073778376 140733992562464 140234488900408 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5341/tid=5357] ppid=5338 vsize=9625040 CPUtime=1.4 cores=0,2,4,6
/proc/5341/task/5357/stat : 5357 (java) S 5338 5341 4289 0 -1 4202560 17903 0 0 0 137 3 0 0 20 0 19 0 2919112 9856040960 271121 33554432000 1073741824 1073778376 140733992562464 140234487847864 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5341/tid=5358] ppid=5338 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5341/task/5358/stat : 5358 (java) S 5338 5341 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2919112 9856040960 271121 33554432000 1073741824 1073778376 140733992562464 140234486795000 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5341/tid=5359] ppid=5338 vsize=9625040 CPUtime=0.65 cores=0,2,4,6
/proc/5341/task/5359/stat : 5359 (java) S 5338 5341 4289 0 -1 4202560 101 0 0 0 32 33 0 0 20 0 19 0 2919112 9856040960 271121 33554432000 1073741824 1073778376 140733992562464 140234485742664 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5341/tid=5360] ppid=5338 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5341/task/5360/stat : 5360 (java) S 5338 5341 4289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2919263 9856040960 271121 33554432000 1073741824 1073778376 140733992562464 140234484589608 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1726.53
Current children cumulated vsize (KiB) 9625040
[startup+1782.3 s]
/proc/loadavg: 2.02 2.04 2.04 3/213 5494
/proc/meminfo: memFree=29300428/32872528 swapFree=242912/249044
[pid=5341] ppid=5338 vsize=9625040 CPUtime=1786.54 cores=0,2,4,6
/proc/5341/stat : 5341 (java) S 5338 5341 4289 0 -1 4202496 35069 0 1 0 178565 89 0 0 20 0 19 0 2919107 9856040960 271121 33554432000 1073741824 1073778376 140733992562464 140733992553600 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5341/statm: 2406260 271121 2298 9 0 2396937 0
[pid=5341/tid=5342] ppid=5338 vsize=9625040 CPUtime=1781.19 cores=0,2,4,6
/proc/5341/task/5342/stat : 5342 (java) R 5338 5341 4289 0 -1 4202560 2827 0 1 0 178081 38 0 0 20 0 19 0 2919107 9856040960 271121 33554432000 1073741824 1073778376 140733992562464 140235005693648 140234860901127 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=5341/tid=5344] ppid=5338 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/5341/task/5344/stat : 5344 (java) S 5338 5341 4289 0 -1 4202560 183 0 0 0 13 7 0 0 20 0 19 0 2919108 9856040960 271121 33554432000 1073741824 1073778376 140733992562464 140234848774568 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5341/tid=5345] ppid=5338 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/5341/task/5345/stat : 5345 (java) S 5338 5341 4289 0 -1 4202560 203 0 0 0 14 6 0 0 20 0 19 0 2919108 9856040960 271121 33554432000 1073741824 1073778376 140733992562464 140234847722024 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5341/tid=5346] ppid=5338 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/5341/task/5346/stat : 5346 (java) S 5338 5341 4289 0 -1 4202560 213 0 0 0 11 5 0 0 20 0 19 0 2919108 9856040960 271121 33554432000 1073741824 1073778376 140733992562464 140234846668968 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5341/tid=5347] ppid=5338 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/5341/task/5347/stat : 5347 (java) S 5338 5341 4289 0 -1 4202560 270 0 0 0 20 7 0 0 20 0 19 0 2919108 9856040960 271121 33554432000 1073741824 1073778376 140733992562464 140234845616424 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5341/tid=5348] ppid=5338 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/5341/task/5348/stat : 5348 (java) S 5338 5341 4289 0 -1 4202560 122 0 0 0 13 4 0 0 20 0 19 0 2919108 9856040960 271121 33554432000 1073741824 1073778376 140733992562464 140234844564392 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5341/tid=5349] ppid=5338 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/5341/task/5349/stat : 5349 (java) S 5338 5341 4289 0 -1 4202560 201 0 0 0 21 10 0 0 20 0 19 0 2919108 9856040960 271121 33554432000 1073741824 1073778376 140733992562464 140234507414568 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5341/tid=5350] ppid=5338 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/5341/task/5350/stat : 5350 (java) S 5338 5341 4289 0 -1 4202560 438 0 0 0 21 7 0 0 20 0 19 0 2919108 9856040960 271121 33554432000 1073741824 1073778376 140733992562464 140234506361512 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5341/tid=5351] ppid=5338 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/5341/task/5351/stat : 5351 (java) S 5338 5341 4289 0 -1 4202560 138 0 0 0 17 7 0 0 20 0 19 0 2919108 9856040960 271121 33554432000 1073741824 1073778376 140733992562464 140234505308968 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5341/tid=5352] ppid=5338 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/5341/task/5352/stat : 5352 (java) S 5338 5341 4289 0 -1 4202560 715 0 0 0 49 3 0 0 20 0 19 0 2919109 9856040960 271121 33554432000 1073741824 1073778376 140733992562464 140234493110632 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5341/tid=5353] ppid=5338 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5341/task/5353/stat : 5353 (java) S 5338 5341 4289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 2919110 9856040960 271121 33554432000 1073741824 1073778376 140733992562464 140234492056952 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5341/tid=5354] ppid=5338 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5341/task/5354/stat : 5354 (java) S 5338 5341 4289 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 2919110 9856040960 271121 33554432000 1073741824 1073778376 140733992562464 140234491003784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5341/tid=5355] ppid=5338 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5341/task/5355/stat : 5355 (java) S 5338 5341 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2919112 9856040960 271121 33554432000 1073741824 1073778376 140733992562464 140234489952528 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5341/tid=5356] ppid=5338 vsize=9625040 CPUtime=1.29 cores=0,2,4,6
/proc/5341/task/5356/stat : 5356 (java) S 5338 5341 4289 0 -1 4202560 10493 0 0 0 127 2 0 0 20 0 19 0 2919112 9856040960 271121 33554432000 1073741824 1073778376 140733992562464 140234488900408 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5341/tid=5357] ppid=5338 vsize=9625040 CPUtime=1.4 cores=0,2,4,6
/proc/5341/task/5357/stat : 5357 (java) S 5338 5341 4289 0 -1 4202560 17903 0 0 0 137 3 0 0 20 0 19 0 2919112 9856040960 271121 33554432000 1073741824 1073778376 140733992562464 140234487847864 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5341/tid=5358] ppid=5338 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5341/task/5358/stat : 5358 (java) S 5338 5341 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2919112 9856040960 271121 33554432000 1073741824 1073778376 140733992562464 140234486795000 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5341/tid=5359] ppid=5338 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/5341/task/5359/stat : 5359 (java) S 5338 5341 4289 0 -1 4202560 103 0 0 0 33 34 0 0 20 0 19 0 2919112 9856040960 271121 33554432000 1073741824 1073778376 140733992562464 140234485742664 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5341/tid=5360] ppid=5338 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5341/task/5360/stat : 5360 (java) S 5338 5341 4289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2919263 9856040960 271121 33554432000 1073741824 1073778376 140733992562464 140234484589608 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1786.54
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.8 s]
/proc/loadavg: 2.09 2.06 2.05 3/213 5494
/proc/meminfo: memFree=29267508/32872528 swapFree=242912/249044
[pid=5341] ppid=5338 vsize=9625040 CPUtime=1800.04 cores=0,2,4,6
/proc/5341/stat : 5341 (java) S 5338 5341 4289 0 -1 4202496 35071 0 1 0 179915 89 0 0 20 0 19 0 2919107 9856040960 271867 33554432000 1073741824 1073778376 140733992562464 140733992553600 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5341/statm: 2406260 271867 2298 9 0 2396937 0
[pid=5341/tid=5342] ppid=5338 vsize=9625040 CPUtime=1794.69 cores=0,2,4,6
/proc/5341/task/5342/stat : 5342 (java) R 5338 5341 4289 0 -1 4202560 2827 0 1 0 179431 38 0 0 20 0 19 0 2919107 9856040960 271867 33554432000 1073741824 1073778376 140733992562464 140235005693648 140234861070524 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=5341/tid=5344] ppid=5338 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/5341/task/5344/stat : 5344 (java) S 5338 5341 4289 0 -1 4202560 183 0 0 0 13 7 0 0 20 0 19 0 2919108 9856040960 271867 33554432000 1073741824 1073778376 140733992562464 140234848774568 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5341/tid=5345] ppid=5338 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/5341/task/5345/stat : 5345 (java) S 5338 5341 4289 0 -1 4202560 203 0 0 0 14 6 0 0 20 0 19 0 2919108 9856040960 271867 33554432000 1073741824 1073778376 140733992562464 140234847722024 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5341/tid=5346] ppid=5338 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/5341/task/5346/stat : 5346 (java) S 5338 5341 4289 0 -1 4202560 213 0 0 0 11 5 0 0 20 0 19 0 2919108 9856040960 271867 33554432000 1073741824 1073778376 140733992562464 140234846668968 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5341/tid=5347] ppid=5338 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/5341/task/5347/stat : 5347 (java) S 5338 5341 4289 0 -1 4202560 270 0 0 0 20 7 0 0 20 0 19 0 2919108 9856040960 271867 33554432000 1073741824 1073778376 140733992562464 140234845616424 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5341/tid=5348] ppid=5338 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/5341/task/5348/stat : 5348 (java) S 5338 5341 4289 0 -1 4202560 122 0 0 0 13 4 0 0 20 0 19 0 2919108 9856040960 271867 33554432000 1073741824 1073778376 140733992562464 140234844564392 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5341/tid=5349] ppid=5338 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/5341/task/5349/stat : 5349 (java) S 5338 5341 4289 0 -1 4202560 201 0 0 0 21 10 0 0 20 0 19 0 2919108 9856040960 271867 33554432000 1073741824 1073778376 140733992562464 140234507414568 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5341/tid=5350] ppid=5338 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/5341/task/5350/stat : 5350 (java) S 5338 5341 4289 0 -1 4202560 438 0 0 0 21 7 0 0 20 0 19 0 2919108 9856040960 271867 33554432000 1073741824 1073778376 140733992562464 140234506361512 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5341/tid=5351] ppid=5338 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/5341/task/5351/stat : 5351 (java) S 5338 5341 4289 0 -1 4202560 138 0 0 0 17 7 0 0 20 0 19 0 2919108 9856040960 271867 33554432000 1073741824 1073778376 140733992562464 140234505308968 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5341/tid=5352] ppid=5338 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/5341/task/5352/stat : 5352 (java) S 5338 5341 4289 0 -1 4202560 715 0 0 0 49 3 0 0 20 0 19 0 2919109 9856040960 271867 33554432000 1073741824 1073778376 140733992562464 140234493110632 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5341/tid=5353] ppid=5338 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5341/task/5353/stat : 5353 (java) S 5338 5341 4289 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 2919110 9856040960 271867 33554432000 1073741824 1073778376 140733992562464 140234492056952 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5341/tid=5354] ppid=5338 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5341/task/5354/stat : 5354 (java) S 5338 5341 4289 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 2919110 9856040960 271867 33554432000 1073741824 1073778376 140733992562464 140234491003784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5341/tid=5355] ppid=5338 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5341/task/5355/stat : 5355 (java) S 5338 5341 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2919112 9856040960 271867 33554432000 1073741824 1073778376 140733992562464 140234489952528 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5341/tid=5356] ppid=5338 vsize=9625040 CPUtime=1.29 cores=0,2,4,6
/proc/5341/task/5356/stat : 5356 (java) S 5338 5341 4289 0 -1 4202560 10493 0 0 0 127 2 0 0 20 0 19 0 2919112 9856040960 271867 33554432000 1073741824 1073778376 140733992562464 140234488900408 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5341/tid=5357] ppid=5338 vsize=9625040 CPUtime=1.4 cores=0,2,4,6
/proc/5341/task/5357/stat : 5357 (java) S 5338 5341 4289 0 -1 4202560 17903 0 0 0 137 3 0 0 20 0 19 0 2919112 9856040960 271867 33554432000 1073741824 1073778376 140733992562464 140234487847864 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5341/tid=5358] ppid=5338 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5341/task/5358/stat : 5358 (java) S 5338 5341 4289 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 2919112 9856040960 271867 33554432000 1073741824 1073778376 140733992562464 140234486795000 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5341/tid=5359] ppid=5338 vsize=9625040 CPUtime=0.68 cores=0,2,4,6
/proc/5341/task/5359/stat : 5359 (java) S 5338 5341 4289 0 -1 4202560 105 0 0 0 33 35 0 0 20 0 19 0 2919112 9856040960 271867 33554432000 1073741824 1073778376 140733992562464 140234485742664 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5341/tid=5360] ppid=5338 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5341/task/5360/stat : 5360 (java) S 5338 5341 4289 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 2919263 9856040960 271867 33554432000 1073741824 1073778376 140733992562464 140234484589608 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 9625040
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 5341 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 1795.84
CPU time (s): 1800.74
CPU user time (s): 1799.26
CPU system time (s): 1.48277
CPU usage (%): 100.273
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.26
system time used= 1.48277
maximum resident set size= 1087596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35110
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38314
involuntary context switches= 10283
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.1935 second user time and 13.8219 second system time
The end