runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3313371-1304104861/watcher-3313371-1304104861 -o /tmp/evaluation-result-3313371-1304104861/solver-3313371-1304104861 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3313371-1304104861.cnf
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 3.74 3.82 3.77 2/196 13662
/proc/meminfo: memFree=30417708/32951132 swapFree=67111364/67111528
[pid=13662] ppid=13660 vsize=24004 CPUtime=0 cores=0,2,4,6
/proc/13662/stat : 13662 (java) S 13660 13662 12928 0 -1 4202496 1370 0 0 0 0 0 0 0 23 0 2 0 522085986 24580096 850 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982352869 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/13662/statm: 6001 850 648 9 0 381 0
[pid=13662/tid=13663] ppid=13660 vsize=24056 CPUtime=0 cores=0,2,4,6
/proc/13662/task/13663/stat : 13663 (java) R 13660 13662 12928 0 -1 4202560 33 0 0 0 0 0 0 0 24 0 2 0 522085986 24633344 870 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242965626599 0 0 4096 0 0 0 0 -1 4 0 0 0
[startup+0.104776 s]
/proc/loadavg: 3.74 3.82 3.77 2/196 13662
/proc/meminfo: memFree=30417708/32951132 swapFree=67111364/67111528
[pid=13662] ppid=13660 vsize=15676332 CPUtime=0.11 cores=0,2,4,6
/proc/13662/stat : 13662 (java) S 13660 13662 12928 0 -1 4202496 5507 0 1 0 10 1 0 0 23 0 18 0 522085986 16052563968 4946 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13662/statm: 3919083 4947 2117 9 0 3909802 0
[pid=13662/tid=13663] ppid=13660 vsize=15676332 CPUtime=0.09 cores=0,2,4,6
/proc/13662/task/13663/stat : 13663 (java) R 13660 13662 12928 0 -1 4202560 3513 0 1 0 8 1 0 0 18 0 18 0 522085986 16052563968 4947 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 47108673151747 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 15676332
[startup+0.200774 s]
/proc/loadavg: 3.74 3.82 3.77 2/196 13662
/proc/meminfo: memFree=30417708/32951132 swapFree=67111364/67111528
[pid=13662] ppid=13660 vsize=15678584 CPUtime=0.28 cores=0,2,4,6
/proc/13662/stat : 13662 (java) S 13660 13662 12928 0 -1 4202496 7886 0 1 0 27 1 0 0 23 0 18 0 522085986 16054870016 7184 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13662/statm: 3919646 7184 2184 9 0 3910365 0
[pid=13662/tid=13663] ppid=13660 vsize=15678584 CPUtime=0.19 cores=0,2,4,6
/proc/13662/task/13663/stat : 13663 (java) R 13660 13662 12928 0 -1 4202560 5137 0 1 0 18 1 0 0 18 0 18 0 522085986 16054870016 7185 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 46912505511774 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 15678584
[startup+0.30075 s]
/proc/loadavg: 3.74 3.82 3.77 2/196 13662
/proc/meminfo: memFree=30417708/32951132 swapFree=67111364/67111528
[pid=13662] ppid=13660 vsize=15682956 CPUtime=0.53 cores=0,2,4,6
/proc/13662/stat : 13662 (java) S 13660 13662 12928 0 -1 4202496 15252 0 1 0 51 2 0 0 23 0 18 0 522085986 16059346944 13386 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13662/statm: 3920739 13392 2206 9 0 3911458 0
[pid=13662/tid=13663] ppid=13660 vsize=15682956 CPUtime=0.28 cores=0,2,4,6
/proc/13662/task/13663/stat : 13663 (java) R 13660 13662 12928 0 -1 4202560 10020 0 1 0 27 1 0 0 18 0 18 0 522085986 16059346944 13396 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 46912505644337 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 15682956
[startup+0.700679 s]
/proc/loadavg: 3.74 3.82 3.77 2/196 13662
/proc/meminfo: memFree=30417708/32951132 swapFree=67111364/67111528
[pid=13662] ppid=13660 vsize=15682956 CPUtime=0.94 cores=0,2,4,6
/proc/13662/stat : 13662 (java) S 13660 13662 12928 0 -1 4202496 43247 0 1 0 89 5 0 0 23 0 18 0 522085986 16059346944 41378 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13662/statm: 3920739 41378 2222 9 0 3911458 0
[pid=13662/tid=13663] ppid=13660 vsize=15682956 CPUtime=0.68 cores=0,2,4,6
/proc/13662/task/13663/stat : 13663 (java) R 13660 13662 12928 0 -1 4202560 35557 0 1 0 64 4 0 0 18 0 18 0 522085986 16059346944 41378 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 46912505625411 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.94
Current children cumulated vsize (KiB) 15682956
[startup+1.50154 s]
/proc/loadavg: 3.92 3.86 3.79 3/214 13680
/proc/meminfo: memFree=30248500/32951132 swapFree=67111364/67111528
[pid=13662] ppid=13660 vsize=15682956 CPUtime=1.74 cores=0,2,4,6
/proc/13662/stat : 13662 (java) S 13660 13662 12928 0 -1 4202496 77150 0 1 0 165 9 0 0 23 0 18 0 522085986 16059346944 75278 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13662/statm: 3920739 75278 2222 9 0 3911458 0
[pid=13662/tid=13663] ppid=13660 vsize=15682956 CPUtime=1.47 cores=0,2,4,6
/proc/13662/task/13663/stat : 13663 (java) R 13660 13662 12928 0 -1 4202560 65036 0 1 0 139 8 0 0 19 0 18 0 522085986 16059346944 75278 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 46912505643130 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=13662/tid=13665] ppid=13660 vsize=15682956 CPUtime=0 cores=0,2,4,6
/proc/13662/task/13665/stat : 13665 (java) S 13660 13662 12928 0 -1 4202560 1033 0 0 0 0 0 0 0 15 0 18 0 522085987 16059346944 75278 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 2 0 0 0
[pid=13662/tid=13666] ppid=13660 vsize=15682956 CPUtime=0 cores=0,2,4,6
/proc/13662/task/13666/stat : 13666 (java) S 13660 13662 12928 0 -1 4202560 1348 0 0 0 0 0 0 0 16 0 18 0 522085987 16059346944 75278 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 4 0 0 0
[pid=13662/tid=13667] ppid=13660 vsize=15682956 CPUtime=0 cores=0,2,4,6
/proc/13662/task/13667/stat : 13667 (java) S 13660 13662 12928 0 -1 4202560 643 0 0 0 0 0 0 0 15 0 18 0 522085987 16059346944 75278 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 2 0 0 0
[pid=13662/tid=13668] ppid=13660 vsize=15682956 CPUtime=0 cores=0,2,4,6
/proc/13662/task/13668/stat : 13668 (java) S 13660 13662 12928 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 522085987 16059346944 75278 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 4 0 0 0
[pid=13662/tid=13669] ppid=13660 vsize=15682956 CPUtime=0 cores=0,2,4,6
/proc/13662/task/13669/stat : 13669 (java) S 13660 13662 12928 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 18 0 522085987 16059346944 75278 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 4 0 0 0
[pid=13662/tid=13670] ppid=13660 vsize=15682956 CPUtime=0 cores=0,2,4,6
/proc/13662/task/13670/stat : 13670 (java) S 13660 13662 12928 0 -1 4202560 23 0 0 0 0 0 0 0 15 0 18 0 522085987 16059346944 75278 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 2 0 0 0
[pid=13662/tid=13671] ppid=13660 vsize=15682956 CPUtime=0 cores=0,2,4,6
/proc/13662/task/13671/stat : 13671 (java) S 13660 13662 12928 0 -1 4202560 642 0 0 0 0 0 0 0 15 0 18 0 522085987 16059346944 75278 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 2 0 0 0
[pid=13662/tid=13672] ppid=13660 vsize=15682956 CPUtime=0 cores=0,2,4,6
/proc/13662/task/13672/stat : 13672 (java) S 13660 13662 12928 0 -1 4202560 3004 0 0 0 0 0 0 0 15 0 18 0 522085987 16059346944 75278 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 4 0 0 0
[pid=13662/tid=13673] ppid=13660 vsize=15682956 CPUtime=0 cores=0,2,4,6
/proc/13662/task/13673/stat : 13673 (java) S 13660 13662 12928 0 -1 4202560 185 0 0 0 0 0 0 0 15 0 18 0 522085988 16059346944 75278 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366720 0 0 0 16800975 18446604445134235776 0 0 -1 2 0 0 0
[pid=13662/tid=13674] ppid=13660 vsize=15682956 CPUtime=0 cores=0,2,4,6
/proc/13662/task/13674/stat : 13674 (java) S 13660 13662 12928 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 18 0 522085988 16059346944 75278 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 2 0 0 0
[pid=13662/tid=13675] ppid=13660 vsize=15682956 CPUtime=0 cores=0,2,4,6
/proc/13662/task/13675/stat : 13675 (java) S 13660 13662 12928 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 18 0 522085988 16059346944 75278 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 2 0 0 0
[pid=13662/tid=13676] ppid=13660 vsize=15682956 CPUtime=0 cores=0,2,4,6
/proc/13662/task/13676/stat : 13676 (java) S 13660 13662 12928 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 522085990 16059346944 75278 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982373809 0 4 0 16800975 18446604445134235776 0 0 -1 4 0 0 0
[pid=13662/tid=13677] ppid=13660 vsize=15682956 CPUtime=0.1 cores=0,2,4,6
/proc/13662/task/13677/stat : 13677 (java) S 13660 13662 12928 0 -1 4202560 1414 0 0 0 10 0 0 0 17 0 18 0 522085990 16059346944 75278 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 2 0 0 0
[pid=13662/tid=13678] ppid=13660 vsize=15682956 CPUtime=0.13 cores=0,2,4,6
/proc/13662/task/13678/stat : 13678 (java) S 13660 13662 12928 0 -1 4202560 2434 0 0 0 13 0 0 0 15 0 18 0 522085990 16059346944 75278 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 0 0 0 0
[pid=13662/tid=13679] ppid=13660 vsize=15682956 CPUtime=0 cores=0,2,4,6
/proc/13662/task/13679/stat : 13679 (java) S 13660 13662 12928 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 522085990 16059346944 75278 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 4 0 0 0
[pid=13662/tid=13680] ppid=13660 vsize=15682956 CPUtime=0 cores=0,2,4,6
/proc/13662/task/13680/stat : 13680 (java) S 13660 13662 12928 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 522085990 16059346944 75278 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366720 0 4 0 16800975 18446604445134235776 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.74
Current children cumulated vsize (KiB) 15682956
[startup+3.10127 s]
/proc/loadavg: 3.92 3.86 3.79 4/214 13680
/proc/meminfo: memFree=29945568/32951132 swapFree=67111364/67111528
[pid=13662] ppid=13660 vsize=15682956 CPUtime=3.44 cores=0,2,4,6
/proc/13662/stat : 13662 (java) S 13660 13662 12928 0 -1 4202496 146968 0 1 0 326 18 0 0 23 0 18 0 522085986 16059346944 144983 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13662/statm: 3920739 144983 2240 9 0 3911458 0
[pid=13662/tid=13663] ppid=13660 vsize=15682956 CPUtime=3.05 cores=0,2,4,6
/proc/13662/task/13663/stat : 13663 (java) R 13660 13662 12928 0 -1 4202560 125336 0 1 0 290 15 0 0 23 0 18 0 522085986 16059346944 144983 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 46912505644891 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=13662/tid=13665] ppid=13660 vsize=15682956 CPUtime=0.01 cores=0,2,4,6
/proc/13662/task/13665/stat : 13665 (java) S 13660 13662 12928 0 -1 4202560 1033 0 0 0 1 0 0 0 15 0 18 0 522085987 16059346944 144983 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 2 0 0 0
[pid=13662/tid=13666] ppid=13660 vsize=15682956 CPUtime=0.01 cores=0,2,4,6
/proc/13662/task/13666/stat : 13666 (java) S 13660 13662 12928 0 -1 4202560 1988 0 0 0 1 0 0 0 15 0 18 0 522085987 16059346944 144983 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 6 0 0 0
[pid=13662/tid=13667] ppid=13660 vsize=15682956 CPUtime=0 cores=0,2,4,6
/proc/13662/task/13667/stat : 13667 (java) S 13660 13662 12928 0 -1 4202560 666 0 0 0 0 0 0 0 15 0 18 0 522085987 16059346944 144983 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 6 0 0 0
[pid=13662/tid=13668] ppid=13660 vsize=15682956 CPUtime=0 cores=0,2,4,6
/proc/13662/task/13668/stat : 13668 (java) S 13660 13662 12928 0 -1 4202560 690 0 0 0 0 0 0 0 15 0 18 0 522085987 16059346944 144983 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 0 0 0 0
[pid=13662/tid=13669] ppid=13660 vsize=15682956 CPUtime=0 cores=0,2,4,6
/proc/13662/task/13669/stat : 13669 (java) S 13660 13662 12928 0 -1 4202560 2624 0 0 0 0 0 0 0 15 0 18 0 522085987 16059346944 144983 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 2 0 0 0
[pid=13662/tid=13670] ppid=13660 vsize=15682956 CPUtime=0 cores=0,2,4,6
/proc/13662/task/13670/stat : 13670 (java) S 13660 13662 12928 0 -1 4202560 5146 0 0 0 0 0 0 0 16 0 18 0 522085987 16059346944 144983 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 4 0 0 0
[pid=13662/tid=13671] ppid=13660 vsize=15682956 CPUtime=0 cores=0,2,4,6
/proc/13662/task/13671/stat : 13671 (java) S 13660 13662 12928 0 -1 4202560 642 0 0 0 0 0 0 0 15 0 18 0 522085987 16059346944 144983 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 2 0 0 0
[pid=13662/tid=13672] ppid=13660 vsize=15682956 CPUtime=0.01 cores=0,2,4,6
/proc/13662/task/13672/stat : 13672 (java) S 13660 13662 12928 0 -1 4202560 3004 0 0 0 1 0 0 0 15 0 18 0 522085987 16059346944 144983 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 0 0 0 0
[pid=13662/tid=13673] ppid=13660 vsize=15682956 CPUtime=0 cores=0,2,4,6
/proc/13662/task/13673/stat : 13673 (java) S 13660 13662 12928 0 -1 4202560 437 0 0 0 0 0 0 0 15 0 18 0 522085988 16059346944 144983 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366720 0 0 0 16800975 18446604445134235776 0 0 -1 2 0 0 0
[pid=13662/tid=13674] ppid=13660 vsize=15682956 CPUtime=0 cores=0,2,4,6
/proc/13662/task/13674/stat : 13674 (java) S 13660 13662 12928 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 18 0 522085988 16059346944 144983 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 2 0 0 0
[pid=13662/tid=13675] ppid=13660 vsize=15682956 CPUtime=0 cores=0,2,4,6
/proc/13662/task/13675/stat : 13675 (java) S 13660 13662 12928 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 18 0 522085988 16059346944 144983 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 2 0 0 0
[pid=13662/tid=13676] ppid=13660 vsize=15682956 CPUtime=0 cores=0,2,4,6
/proc/13662/task/13676/stat : 13676 (java) S 13660 13662 12928 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 522085990 16059346944 144983 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982373809 0 4 0 16800975 18446604445134235776 0 0 -1 4 0 0 0
[pid=13662/tid=13677] ppid=13660 vsize=15682956 CPUtime=0.12 cores=0,2,4,6
/proc/13662/task/13677/stat : 13677 (java) S 13660 13662 12928 0 -1 4202560 1552 0 0 0 12 0 0 0 16 0 18 0 522085990 16059346944 144983 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 2 0 0 0
[pid=13662/tid=13678] ppid=13660 vsize=15682956 CPUtime=0.16 cores=0,2,4,6
/proc/13662/task/13678/stat : 13678 (java) S 13660 13662 12928 0 -1 4202560 2464 0 0 0 16 0 0 0 15 0 18 0 522085990 16059346944 144983 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 0 0 0 0
[pid=13662/tid=13679] ppid=13660 vsize=15682956 CPUtime=0 cores=0,2,4,6
/proc/13662/task/13679/stat : 13679 (java) S 13660 13662 12928 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 522085990 16059346944 144983 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 4 0 0 0
[pid=13662/tid=13680] ppid=13660 vsize=15682956 CPUtime=0 cores=0,2,4,6
/proc/13662/task/13680/stat : 13680 (java) S 13660 13662 12928 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 522085990 16059346944 144983 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366720 0 4 0 16800975 18446604445134235776 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.44
Current children cumulated vsize (KiB) 15682956
[startup+6.30072 s]
/proc/loadavg: 4.09 3.89 3.80 11/214 13680
/proc/meminfo: memFree=29320496/32951132 swapFree=67111364/67111528
[pid=13662] ppid=13660 vsize=15681016 CPUtime=6.68 cores=0,2,4,6
/proc/13662/stat : 13662 (java) S 13660 13662 12928 0 -1 4202496 285355 0 1 0 635 33 0 0 23 0 18 0 522085986 16057360384 282985 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13662/statm: 3920254 282985 2240 9 0 3910973 0
[pid=13662/tid=13663] ppid=13660 vsize=15681016 CPUtime=6.22 cores=0,2,4,6
/proc/13662/task/13663/stat : 13663 (java) R 13660 13662 12928 0 -1 4202560 253178 0 1 0 593 29 0 0 20 0 18 0 522085986 16057360384 282985 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 46912505615720 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=13662/tid=13665] ppid=13660 vsize=15681016 CPUtime=0.01 cores=0,2,4,6
/proc/13662/task/13665/stat : 13665 (java) S 13660 13662 12928 0 -1 4202560 1034 0 0 0 1 0 0 0 15 0 18 0 522085987 16057360384 282985 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 2 0 0 0
[pid=13662/tid=13666] ppid=13660 vsize=15681016 CPUtime=0.02 cores=0,2,4,6
/proc/13662/task/13666/stat : 13666 (java) S 13660 13662 12928 0 -1 4202560 1988 0 0 0 2 0 0 0 15 0 18 0 522085987 16057360384 282985 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 2 0 0 0
[pid=13662/tid=13667] ppid=13660 vsize=15681016 CPUtime=0.01 cores=0,2,4,6
/proc/13662/task/13667/stat : 13667 (java) S 13660 13662 12928 0 -1 4202560 666 0 0 0 1 0 0 0 15 0 18 0 522085987 16057360384 282985 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 6 0 0 0
[pid=13662/tid=13668] ppid=13660 vsize=15681016 CPUtime=0.01 cores=0,2,4,6
/proc/13662/task/13668/stat : 13668 (java) S 13660 13662 12928 0 -1 4202560 690 0 0 0 1 0 0 0 15 0 18 0 522085987 16057360384 282985 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 0 0 0 0
[pid=13662/tid=13669] ppid=13660 vsize=15681016 CPUtime=0 cores=0,2,4,6
/proc/13662/task/13669/stat : 13669 (java) S 13660 13662 12928 0 -1 4202560 2625 0 0 0 0 0 0 0 15 0 18 0 522085987 16057360384 282985 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 2 0 0 0
[pid=13662/tid=13670] ppid=13660 vsize=15681016 CPUtime=0.02 cores=0,2,4,6
/proc/13662/task/13670/stat : 13670 (java) S 13660 13662 12928 0 -1 4202560 15387 0 0 0 1 1 0 0 16 0 18 0 522085987 16057360384 282985 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 4 0 0 0
[pid=13662/tid=13671] ppid=13660 vsize=15681016 CPUtime=0 cores=0,2,4,6
/proc/13662/task/13671/stat : 13671 (java) S 13660 13662 12928 0 -1 4202560 642 0 0 0 0 0 0 0 15 0 18 0 522085987 16057360384 282985 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 0 0 0 0
[pid=13662/tid=13672] ppid=13660 vsize=15681016 CPUtime=0.02 cores=0,2,4,6
/proc/13662/task/13672/stat : 13672 (java) S 13660 13662 12928 0 -1 4202560 3004 0 0 0 2 0 0 0 15 0 18 0 522085987 16057360384 282985 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 0 0 0 0
[pid=13662/tid=13673] ppid=13660 vsize=15681016 CPUtime=0 cores=0,2,4,6
/proc/13662/task/13673/stat : 13673 (java) S 13660 13662 12928 0 -1 4202560 739 0 0 0 0 0 0 0 15 0 18 0 522085988 16057360384 282985 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366720 0 0 0 16800975 18446604445134235776 0 0 -1 2 0 0 0
[pid=13662/tid=13674] ppid=13660 vsize=15681016 CPUtime=0 cores=0,2,4,6
/proc/13662/task/13674/stat : 13674 (java) S 13660 13662 12928 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 18 0 522085988 16057360384 282985 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 2 0 0 0
[pid=13662/tid=13675] ppid=13660 vsize=15681016 CPUtime=0 cores=0,2,4,6
/proc/13662/task/13675/stat : 13675 (java) S 13660 13662 12928 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 18 0 522085988 16057360384 282985 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 2 0 0 0
[pid=13662/tid=13676] ppid=13660 vsize=15681016 CPUtime=0 cores=0,2,4,6
/proc/13662/task/13676/stat : 13676 (java) S 13660 13662 12928 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 522085990 16057360384 282985 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982373809 0 4 0 16800975 18446604445134235776 0 0 -1 4 0 0 0
[pid=13662/tid=13677] ppid=13660 vsize=15681016 CPUtime=0.12 cores=0,2,4,6
/proc/13662/task/13677/stat : 13677 (java) S 13660 13662 12928 0 -1 4202560 1552 0 0 0 12 0 0 0 16 0 18 0 522085990 16057360384 282985 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 2 0 0 0
[pid=13662/tid=13678] ppid=13660 vsize=15681016 CPUtime=0.16 cores=0,2,4,6
/proc/13662/task/13678/stat : 13678 (java) S 13660 13662 12928 0 -1 4202560 2464 0 0 0 16 0 0 0 15 0 18 0 522085990 16057360384 282985 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 0 0 0 0
[pid=13662/tid=13679] ppid=13660 vsize=15681016 CPUtime=0 cores=0,2,4,6
/proc/13662/task/13679/stat : 13679 (java) S 13660 13662 12928 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 522085990 16057360384 282985 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 4 0 0 0
[pid=13662/tid=13680] ppid=13660 vsize=15681016 CPUtime=0 cores=0,2,4,6
/proc/13662/task/13680/stat : 13680 (java) S 13660 13662 12928 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 522085990 16057360384 282985 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366720 0 4 0 16800975 18446604445134235776 0 0 -1 2 0 0 0
################
# More data... #
################
[pid=13662/tid=13675] ppid=13660 vsize=15704996 CPUtime=0 cores=0,2,4,6
/proc/13662/task/13675/stat : 13675 (java) S 13660 13662 12928 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 18 0 522085988 16081915904 3865999 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 2 0 0 0
[pid=13662/tid=13676] ppid=13660 vsize=15704996 CPUtime=0 cores=0,2,4,6
/proc/13662/task/13676/stat : 13676 (java) S 13660 13662 12928 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 522085990 16081915904 3865999 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982373809 0 4 0 16800975 18446604445134235776 0 0 -1 4 0 0 0
[pid=13662/tid=13677] ppid=13660 vsize=15704996 CPUtime=0.79 cores=0,2,4,6
/proc/13662/task/13677/stat : 13677 (java) S 13660 13662 12928 0 -1 4202560 4171 0 0 0 79 0 0 0 15 0 18 0 522085990 16081915904 3865999 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 0 0 0 0
[pid=13662/tid=13678] ppid=13660 vsize=15704996 CPUtime=2.24 cores=0,2,4,6
/proc/13662/task/13678/stat : 13678 (java) S 13660 13662 12928 0 -1 4202560 15750 0 0 0 222 2 0 0 15 0 18 0 522085990 16081915904 3865999 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 4 0 0 0
[pid=13662/tid=13679] ppid=13660 vsize=15704996 CPUtime=0 cores=0,2,4,6
/proc/13662/task/13679/stat : 13679 (java) S 13660 13662 12928 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 522085990 16081915904 3865999 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 4 0 0 0
[pid=13662/tid=13680] ppid=13660 vsize=15704996 CPUtime=0.01 cores=0,2,4,6
/proc/13662/task/13680/stat : 13680 (java) S 13660 13662 12928 0 -1 4202560 64 0 0 0 0 1 0 0 15 0 18 0 522085990 16081915904 3865999 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366720 0 4 0 16800975 18446604445134235776 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2039.51
Current children cumulated vsize (KiB) 15704996
[startup+1182.3 s]
/proc/loadavg: 4.18 4.92 5.04 5/214 13715
/proc/meminfo: memFree=442404/32951132 swapFree=67111364/67111528
[pid=13662] ppid=13660 vsize=15704996 CPUtime=2039.51 cores=0,2,4,6
/proc/13662/stat : 13662 (java) S 13660 13662 12928 0 -1 4202496 4422297 0 1 0 203244 707 0 0 23 0 18 0 522085986 16081915904 3865999 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13662/statm: 3926249 3865999 2296 9 0 3916968 0
[pid=13662/tid=13663] ppid=13660 vsize=15704996 CPUtime=100.33 cores=0,2,4,6
/proc/13662/task/13663/stat : 13663 (java) S 13660 13662 12928 0 -1 4202560 625384 0 1 0 9951 82 0 0 25 0 18 0 522085986 16081915904 3865999 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 4 0 0 0
[pid=13662/tid=13665] ppid=13660 vsize=15704996 CPUtime=7.97 cores=0,2,4,6
/proc/13662/task/13665/stat : 13665 (java) S 13660 13662 12928 0 -1 4202560 594859 0 0 0 708 89 0 0 16 0 18 0 522085987 16081915904 3865999 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 2 0 0 0
[pid=13662/tid=13666] ppid=13660 vsize=15704996 CPUtime=8.3 cores=0,2,4,6
/proc/13662/task/13666/stat : 13666 (java) S 13660 13662 12928 0 -1 4202560 406282 0 0 0 769 61 0 0 16 0 18 0 522085987 16081915904 3865999 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 4 0 0 0
[pid=13662/tid=13667] ppid=13660 vsize=15704996 CPUtime=8.42 cores=0,2,4,6
/proc/13662/task/13667/stat : 13667 (java) S 13660 13662 12928 0 -1 4202560 391180 0 0 0 779 63 0 0 15 0 18 0 522085987 16081915904 3865999 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 6 0 0 0
[pid=13662/tid=13668] ppid=13660 vsize=15704996 CPUtime=9.04 cores=0,2,4,6
/proc/13662/task/13668/stat : 13668 (java) S 13660 13662 12928 0 -1 4202560 387425 0 0 0 842 62 0 0 16 0 18 0 522085987 16081915904 3865999 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 4 0 0 0
[pid=13662/tid=13669] ppid=13660 vsize=15704996 CPUtime=8.07 cores=0,2,4,6
/proc/13662/task/13669/stat : 13669 (java) S 13660 13662 12928 0 -1 4202560 546624 0 0 0 724 83 0 0 16 0 18 0 522085987 16081915904 3865999 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 2 0 0 0
[pid=13662/tid=13670] ppid=13660 vsize=15704996 CPUtime=8.28 cores=0,2,4,6
/proc/13662/task/13670/stat : 13670 (java) S 13660 13662 12928 0 -1 4202560 371127 0 0 0 769 59 0 0 15 0 18 0 522085987 16081915904 3865999 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 2 0 0 0
[pid=13662/tid=13671] ppid=13660 vsize=15704996 CPUtime=8.81 cores=0,2,4,6
/proc/13662/task/13671/stat : 13671 (java) S 13660 13662 12928 0 -1 4202560 407077 0 0 0 812 69 0 0 16 0 18 0 522085987 16081915904 3865999 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 4 0 0 0
[pid=13662/tid=13672] ppid=13660 vsize=15704996 CPUtime=7.96 cores=0,2,4,6
/proc/13662/task/13672/stat : 13672 (java) S 13660 13662 12928 0 -1 4202560 410241 0 0 0 733 63 0 0 16 0 18 0 522085987 16081915904 3865999 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 6 0 0 0
[pid=13662/tid=13673] ppid=13660 vsize=15704996 CPUtime=285.49 cores=0,2,4,6
/proc/13662/task/13673/stat : 13673 (java) S 13660 13662 12928 0 -1 4202560 260394 0 0 0 28506 43 0 0 15 0 18 0 522085988 16081915904 3865999 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366720 0 0 0 16800975 18446604445134235776 0 0 -1 4 0 0 0
[pid=13662/tid=13674] ppid=13660 vsize=15704996 CPUtime=0 cores=0,2,4,6
/proc/13662/task/13674/stat : 13674 (java) S 13660 13662 12928 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 522085988 16081915904 3865999 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 0 0 0 0
[pid=13662/tid=13675] ppid=13660 vsize=15704996 CPUtime=0 cores=0,2,4,6
/proc/13662/task/13675/stat : 13675 (java) S 13660 13662 12928 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 18 0 522085988 16081915904 3865999 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 2 0 0 0
[pid=13662/tid=13676] ppid=13660 vsize=15704996 CPUtime=0 cores=0,2,4,6
/proc/13662/task/13676/stat : 13676 (java) S 13660 13662 12928 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 522085990 16081915904 3865999 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982373809 0 4 0 16800975 18446604445134235776 0 0 -1 4 0 0 0
[pid=13662/tid=13677] ppid=13660 vsize=15704996 CPUtime=0.79 cores=0,2,4,6
/proc/13662/task/13677/stat : 13677 (java) S 13660 13662 12928 0 -1 4202560 4171 0 0 0 79 0 0 0 15 0 18 0 522085990 16081915904 3865999 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 0 0 0 0
[pid=13662/tid=13678] ppid=13660 vsize=15704996 CPUtime=2.24 cores=0,2,4,6
/proc/13662/task/13678/stat : 13678 (java) S 13660 13662 12928 0 -1 4202560 15750 0 0 0 222 2 0 0 15 0 18 0 522085990 16081915904 3865999 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 4 0 0 0
[pid=13662/tid=13679] ppid=13660 vsize=15704996 CPUtime=0 cores=0,2,4,6
/proc/13662/task/13679/stat : 13679 (java) S 13660 13662 12928 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 522085990 16081915904 3865999 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 4 0 0 0
[pid=13662/tid=13680] ppid=13660 vsize=15704996 CPUtime=0.01 cores=0,2,4,6
/proc/13662/task/13680/stat : 13680 (java) S 13660 13662 12928 0 -1 4202560 68 0 0 0 0 1 0 0 15 0 18 0 522085990 16081915904 3865999 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366720 0 4 0 16800975 18446604445134235776 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2039.51
Current children cumulated vsize (KiB) 15704996
[startup+1242.3 s]
/proc/loadavg: 4.12 4.77 4.98 5/214 13717
/proc/meminfo: memFree=243248/32951132 swapFree=67111364/67111528
[pid=13662] ppid=13660 vsize=15704996 CPUtime=2039.51 cores=0,2,4,6
/proc/13662/stat : 13662 (java) S 13660 13662 12928 0 -1 4202496 4422301 0 1 0 203244 707 0 0 23 0 18 0 522085986 16081915904 3865999 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13662/statm: 3926249 3865999 2296 9 0 3916968 0
[pid=13662/tid=13663] ppid=13660 vsize=15704996 CPUtime=100.33 cores=0,2,4,6
/proc/13662/task/13663/stat : 13663 (java) S 13660 13662 12928 0 -1 4202560 625384 0 1 0 9951 82 0 0 25 0 18 0 522085986 16081915904 3865999 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 4 0 0 0
[pid=13662/tid=13665] ppid=13660 vsize=15704996 CPUtime=7.97 cores=0,2,4,6
/proc/13662/task/13665/stat : 13665 (java) S 13660 13662 12928 0 -1 4202560 594859 0 0 0 708 89 0 0 16 0 18 0 522085987 16081915904 3865999 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 2 0 0 0
[pid=13662/tid=13666] ppid=13660 vsize=15704996 CPUtime=8.3 cores=0,2,4,6
/proc/13662/task/13666/stat : 13666 (java) S 13660 13662 12928 0 -1 4202560 406282 0 0 0 769 61 0 0 16 0 18 0 522085987 16081915904 3865999 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 4 0 0 0
[pid=13662/tid=13667] ppid=13660 vsize=15704996 CPUtime=8.42 cores=0,2,4,6
/proc/13662/task/13667/stat : 13667 (java) S 13660 13662 12928 0 -1 4202560 391180 0 0 0 779 63 0 0 15 0 18 0 522085987 16081915904 3865999 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 6 0 0 0
[pid=13662/tid=13668] ppid=13660 vsize=15704996 CPUtime=9.04 cores=0,2,4,6
/proc/13662/task/13668/stat : 13668 (java) S 13660 13662 12928 0 -1 4202560 387425 0 0 0 842 62 0 0 16 0 18 0 522085987 16081915904 3865999 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 4 0 0 0
[pid=13662/tid=13669] ppid=13660 vsize=15704996 CPUtime=8.07 cores=0,2,4,6
/proc/13662/task/13669/stat : 13669 (java) S 13660 13662 12928 0 -1 4202560 546624 0 0 0 724 83 0 0 16 0 18 0 522085987 16081915904 3865999 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 2 0 0 0
[pid=13662/tid=13670] ppid=13660 vsize=15704996 CPUtime=8.28 cores=0,2,4,6
/proc/13662/task/13670/stat : 13670 (java) S 13660 13662 12928 0 -1 4202560 371127 0 0 0 769 59 0 0 15 0 18 0 522085987 16081915904 3865999 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 2 0 0 0
[pid=13662/tid=13671] ppid=13660 vsize=15704996 CPUtime=8.81 cores=0,2,4,6
/proc/13662/task/13671/stat : 13671 (java) S 13660 13662 12928 0 -1 4202560 407077 0 0 0 812 69 0 0 16 0 18 0 522085987 16081915904 3865999 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 4 0 0 0
[pid=13662/tid=13672] ppid=13660 vsize=15704996 CPUtime=7.96 cores=0,2,4,6
/proc/13662/task/13672/stat : 13672 (java) S 13660 13662 12928 0 -1 4202560 410241 0 0 0 733 63 0 0 16 0 18 0 522085987 16081915904 3865999 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 6 0 0 0
[pid=13662/tid=13673] ppid=13660 vsize=15704996 CPUtime=285.49 cores=0,2,4,6
/proc/13662/task/13673/stat : 13673 (java) S 13660 13662 12928 0 -1 4202560 260394 0 0 0 28506 43 0 0 15 0 18 0 522085988 16081915904 3865999 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366720 0 0 0 16800975 18446604445134235776 0 0 -1 4 0 0 0
[pid=13662/tid=13674] ppid=13660 vsize=15704996 CPUtime=0 cores=0,2,4,6
/proc/13662/task/13674/stat : 13674 (java) S 13660 13662 12928 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 522085988 16081915904 3865999 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 0 0 0 0
[pid=13662/tid=13675] ppid=13660 vsize=15704996 CPUtime=0 cores=0,2,4,6
/proc/13662/task/13675/stat : 13675 (java) S 13660 13662 12928 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 18 0 522085988 16081915904 3865999 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 2 0 0 0
[pid=13662/tid=13676] ppid=13660 vsize=15704996 CPUtime=0 cores=0,2,4,6
/proc/13662/task/13676/stat : 13676 (java) S 13660 13662 12928 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 522085990 16081915904 3865999 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982373809 0 4 0 16800975 18446604445134235776 0 0 -1 4 0 0 0
[pid=13662/tid=13677] ppid=13660 vsize=15704996 CPUtime=0.79 cores=0,2,4,6
/proc/13662/task/13677/stat : 13677 (java) S 13660 13662 12928 0 -1 4202560 4171 0 0 0 79 0 0 0 15 0 18 0 522085990 16081915904 3865999 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 0 0 0 0
[pid=13662/tid=13678] ppid=13660 vsize=15704996 CPUtime=2.24 cores=0,2,4,6
/proc/13662/task/13678/stat : 13678 (java) S 13660 13662 12928 0 -1 4202560 15750 0 0 0 222 2 0 0 15 0 18 0 522085990 16081915904 3865999 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 4 0 0 0
[pid=13662/tid=13679] ppid=13660 vsize=15704996 CPUtime=0 cores=0,2,4,6
/proc/13662/task/13679/stat : 13679 (java) S 13660 13662 12928 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 522085990 16081915904 3865999 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 4 0 0 0
[pid=13662/tid=13680] ppid=13660 vsize=15704996 CPUtime=0.01 cores=0,2,4,6
/proc/13662/task/13680/stat : 13680 (java) S 13660 13662 12928 0 -1 4202560 72 0 0 0 0 1 0 0 15 0 18 0 522085990 16081915904 3865999 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366720 0 4 0 16800975 18446604445134235776 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2039.51
Current children cumulated vsize (KiB) 15704996
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 2.32 4.21 4.78 1/187 13738
/proc/meminfo: memFree=15609892/32951132 swapFree=67111364/67111528
[pid=13662] ppid=13660 vsize=15704996 CPUtime=2039.52 cores=0,2,4,6
/proc/13662/stat : 13662 (java) S 13660 13662 12928 0 -1 4202496 4422303 0 1 0 203244 708 0 0 23 0 18 0 522085986 16081915904 3865999 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982352869 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13662/statm: 3926249 3865999 2296 9 0 3916968 0
[pid=13662/tid=13663] ppid=13660 vsize=15704996 CPUtime=100.33 cores=0,2,4,6
/proc/13662/task/13663/stat : 13663 (java) S 13660 13662 12928 0 -1 4202560 625384 0 1 0 9951 82 0 0 25 0 18 0 522085986 16081915904 3865999 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 4 0 0 0
[pid=13662/tid=13665] ppid=13660 vsize=15704996 CPUtime=7.97 cores=0,2,4,6
/proc/13662/task/13665/stat : 13665 (java) S 13660 13662 12928 0 -1 4202560 594859 0 0 0 708 89 0 0 16 0 18 0 522085987 16081915904 3865999 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 2 0 0 0
[pid=13662/tid=13666] ppid=13660 vsize=15704996 CPUtime=8.3 cores=0,2,4,6
/proc/13662/task/13666/stat : 13666 (java) S 13660 13662 12928 0 -1 4202560 406282 0 0 0 769 61 0 0 16 0 18 0 522085987 16081915904 3865999 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 4 0 0 0
[pid=13662/tid=13667] ppid=13660 vsize=15704996 CPUtime=8.42 cores=0,2,4,6
/proc/13662/task/13667/stat : 13667 (java) S 13660 13662 12928 0 -1 4202560 391180 0 0 0 779 63 0 0 15 0 18 0 522085987 16081915904 3865999 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 6 0 0 0
[pid=13662/tid=13668] ppid=13660 vsize=15704996 CPUtime=9.04 cores=0,2,4,6
/proc/13662/task/13668/stat : 13668 (java) S 13660 13662 12928 0 -1 4202560 387425 0 0 0 842 62 0 0 16 0 18 0 522085987 16081915904 3865999 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 4 0 0 0
[pid=13662/tid=13669] ppid=13660 vsize=15704996 CPUtime=8.07 cores=0,2,4,6
/proc/13662/task/13669/stat : 13669 (java) S 13660 13662 12928 0 -1 4202560 546624 0 0 0 724 83 0 0 16 0 18 0 522085987 16081915904 3865999 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 2 0 0 0
[pid=13662/tid=13670] ppid=13660 vsize=15704996 CPUtime=8.28 cores=0,2,4,6
/proc/13662/task/13670/stat : 13670 (java) S 13660 13662 12928 0 -1 4202560 371127 0 0 0 769 59 0 0 15 0 18 0 522085987 16081915904 3865999 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 2 0 0 0
[pid=13662/tid=13671] ppid=13660 vsize=15704996 CPUtime=8.81 cores=0,2,4,6
/proc/13662/task/13671/stat : 13671 (java) S 13660 13662 12928 0 -1 4202560 407077 0 0 0 812 69 0 0 16 0 18 0 522085987 16081915904 3865999 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 4 0 0 0
[pid=13662/tid=13672] ppid=13660 vsize=15704996 CPUtime=7.96 cores=0,2,4,6
/proc/13662/task/13672/stat : 13672 (java) S 13660 13662 12928 0 -1 4202560 410241 0 0 0 733 63 0 0 16 0 18 0 522085987 16081915904 3865999 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 6 0 0 0
[pid=13662/tid=13673] ppid=13660 vsize=15704996 CPUtime=285.49 cores=0,2,4,6
/proc/13662/task/13673/stat : 13673 (java) S 13660 13662 12928 0 -1 4202560 260394 0 0 0 28506 43 0 0 15 0 18 0 522085988 16081915904 3865999 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366720 0 0 0 16800975 18446604445134235776 0 0 -1 4 0 0 0
[pid=13662/tid=13674] ppid=13660 vsize=15704996 CPUtime=0 cores=0,2,4,6
/proc/13662/task/13674/stat : 13674 (java) S 13660 13662 12928 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 18 0 522085988 16081915904 3865999 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 0 0 0 0
[pid=13662/tid=13675] ppid=13660 vsize=15704996 CPUtime=0 cores=0,2,4,6
/proc/13662/task/13675/stat : 13675 (java) S 13660 13662 12928 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 18 0 522085988 16081915904 3865999 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 2 0 0 0
[pid=13662/tid=13676] ppid=13660 vsize=15704996 CPUtime=0 cores=0,2,4,6
/proc/13662/task/13676/stat : 13676 (java) S 13660 13662 12928 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 522085990 16081915904 3865999 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982373809 0 4 0 16800975 18446604445134235776 0 0 -1 4 0 0 0
[pid=13662/tid=13677] ppid=13660 vsize=15704996 CPUtime=0.79 cores=0,2,4,6
/proc/13662/task/13677/stat : 13677 (java) S 13660 13662 12928 0 -1 4202560 4171 0 0 0 79 0 0 0 15 0 18 0 522085990 16081915904 3865999 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 0 0 0 0
[pid=13662/tid=13678] ppid=13660 vsize=15704996 CPUtime=2.24 cores=0,2,4,6
/proc/13662/task/13678/stat : 13678 (java) S 13660 13662 12928 0 -1 4202560 15750 0 0 0 222 2 0 0 15 0 18 0 522085990 16081915904 3865999 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 4 0 0 0
[pid=13662/tid=13679] ppid=13660 vsize=15704996 CPUtime=0 cores=0,2,4,6
/proc/13662/task/13679/stat : 13679 (java) S 13660 13662 12928 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 522085990 16081915904 3865999 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366105 0 4 0 16800975 18446604445134235776 0 0 -1 4 0 0 0
[pid=13662/tid=13680] ppid=13660 vsize=15704996 CPUtime=0.02 cores=0,2,4,6
/proc/13662/task/13680/stat : 13680 (java) S 13660 13662 12928 0 -1 4202560 74 0 0 0 0 2 0 0 15 0 18 0 522085990 16081915904 3865999 33554432000 1073741824 1073778376 140735907703888 18446744073709551615 242982366720 0 4 0 16800975 18446604445134235776 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2039.52
Current children cumulated vsize (KiB) 15704996
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1300.4 s]
/proc/loadavg: 2.32 4.21 4.78 1/187 13738
/proc/meminfo: memFree=15609892/32951132 swapFree=67111364/67111528
[pid=13662] ppid=13660 vsize=0 CPUtime=2039.91 cores=0,2,4,6
/proc/13662/stat : 13662 (java) Z 13660 13662 12928 0 -1 4203548 4422313 0 1 0 203244 747 0 0 17 0 2 0 522085986 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13662/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2039.91
Current children cumulated vsize (KiB) 0
[startup+1300.5 s]
/proc/loadavg: 2.32 4.21 4.78 1/187 13738
/proc/meminfo: memFree=15609892/32951132 swapFree=67111364/67111528
[pid=13662] ppid=13660 vsize=0 CPUtime=2040.01 cores=0,2,4,6
/proc/13662/stat : 13662 (java) Z 13660 13662 12928 0 -1 4203548 4422313 0 1 0 203244 757 0 0 17 0 2 0 522085986 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/13662/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2040.01
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1300.58
CPU time (s): 2040.1
CPU user time (s): 2032.45
CPU system time (s): 7.65284
CPU usage (%): 156.861
Max. virtual memory (cumulated for all children) (KiB): 15719264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2032.45
system time used= 7.65284
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4422313
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 68108
involuntary context switches= 61365
runsolver used 2.11968 second user time and 4.98024 second system time
The end