runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3458686-1307155397/watcher-3458686-1307155397 -o /tmp/evaluation-result-3458686-1307155397/solver-3458686-1307155397 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458686-1307155397.opb
running on 4 cores: 1,3,5,7
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.15 2.09 2.03 2/442 30992
/proc/meminfo: memFree=25499424/32951124 swapFree=44043516/67111528
[pid=30992] ppid=30990 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/30992/stat : 30992 (java) S 30990 30992 27631 0 -1 4202496 5928 0 1 0 0 0 0 0 18 0 2 0 827137980 13850947584 5631 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528636901 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/30992/statm: 3381579 5644 917 9 0 3372735 0
[pid=30992/tid=30993] ppid=30990 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/30992/task/30993/stat : 30993 (java) R 30990 30992 27631 0 -1 4202560 5223 0 1 0 0 0 0 0 19 0 2 0 827137981 13850947584 6039 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246516528187 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.108548 s]
/proc/loadavg: 2.15 2.09 2.03 2/442 30992
/proc/meminfo: memFree=25499424/32951124 swapFree=44043516/67111528
[pid=30992] ppid=30990 vsize=13621984 CPUtime=0.11 cores=1,3,5,7
/proc/30992/stat : 30992 (java) S 30990 30992 27631 0 -1 4202496 15663 0 1 0 9 2 0 0 18 0 18 0 827137980 13948911616 15321 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30992/statm: 3405496 15321 2107 9 0 3396230 0
[pid=30992/tid=30993] ppid=30990 vsize=13621984 CPUtime=0.09 cores=1,3,5,7
/proc/30992/task/30993/stat : 30993 (java) R 30990 30992 27631 0 -1 4202560 13692 0 1 0 8 1 0 0 18 0 18 0 827137981 13948911616 15321 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 47724294840325 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13621984
[startup+0.210432 s]
/proc/loadavg: 2.15 2.09 2.03 2/442 30992
/proc/meminfo: memFree=25499424/32951124 swapFree=44043516/67111528
[pid=30992] ppid=30990 vsize=13622648 CPUtime=0.3 cores=1,3,5,7
/proc/30992/stat : 30992 (java) S 30990 30992 27631 0 -1 4202496 17592 0 1 0 28 2 0 0 18 0 18 0 827137980 13949591552 17064 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30992/statm: 3405662 17064 2191 9 0 3396396 0
[pid=30992/tid=30993] ppid=30990 vsize=13622648 CPUtime=0.2 cores=1,3,5,7
/proc/30992/task/30993/stat : 30993 (java) R 30990 30992 27631 0 -1 4202560 14946 0 1 0 18 2 0 0 18 0 18 0 827137981 13949591552 17064 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 46912505217124 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 13622648
[startup+0.322558 s]
/proc/loadavg: 2.15 2.09 2.03 2/442 30992
/proc/meminfo: memFree=25499424/32951124 swapFree=44043516/67111528
[pid=30992] ppid=30990 vsize=13622968 CPUtime=0.57 cores=1,3,5,7
/proc/30992/stat : 30992 (java) S 30990 30992 27631 0 -1 4202496 20577 0 1 0 54 3 0 0 18 0 18 0 827137980 13949919232 19416 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30992/statm: 3405742 19417 2205 9 0 3396476 0
[pid=30992/tid=30993] ppid=30990 vsize=13622968 CPUtime=0.31 cores=1,3,5,7
/proc/30992/task/30993/stat : 30993 (java) R 30990 30992 27631 0 -1 4202560 16873 0 1 0 29 2 0 0 18 0 18 0 827137981 13949919232 19418 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 46912505565225 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 13622968
[startup+0.70044 s]
/proc/loadavg: 2.15 2.09 2.03 2/442 30992
/proc/meminfo: memFree=25499424/32951124 swapFree=44043516/67111528
[pid=30992] ppid=30990 vsize=13626448 CPUtime=1.16 cores=1,3,5,7
/proc/30992/stat : 30992 (java) S 30990 30992 27631 0 -1 4202496 57760 0 1 0 109 7 0 0 18 0 18 0 827137980 13953482752 55169 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30992/statm: 3406612 55173 2214 9 0 3397346 0
[pid=30992/tid=30993] ppid=30990 vsize=13626448 CPUtime=0.68 cores=1,3,5,7
/proc/30992/task/30993/stat : 30993 (java) R 30990 30992 27631 0 -1 4202560 51122 0 1 0 62 6 0 0 18 0 18 0 827137981 13953482752 55173 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528660939 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 13626448
[startup+1.5013 s]
/proc/loadavg: 2.15 2.09 2.03 3/460 31010
/proc/meminfo: memFree=25106016/32951124 swapFree=44043516/67111528
[pid=30992] ppid=30990 vsize=13626448 CPUtime=1.97 cores=1,3,5,7
/proc/30992/stat : 30992 (java) S 30990 30992 27631 0 -1 4202496 143701 0 1 0 179 18 0 0 18 0 18 0 827137980 13953482752 141110 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30992/statm: 3406612 141114 2214 9 0 3397346 0
[pid=30992/tid=30993] ppid=30990 vsize=13626448 CPUtime=1.49 cores=1,3,5,7
/proc/30992/task/30993/stat : 30993 (java) R 30990 30992 27631 0 -1 4202560 137065 0 1 0 132 17 0 0 20 0 18 0 827137981 13953482752 141116 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 46912505648296 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=30992/tid=30995] ppid=30990 vsize=13626448 CPUtime=0 cores=1,3,5,7
/proc/30992/task/30995/stat : 30995 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 827137983 13953482752 141119 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 3 0 0 0
[pid=30992/tid=30996] ppid=30990 vsize=13626448 CPUtime=0 cores=1,3,5,7
/proc/30992/task/30996/stat : 30996 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 827137983 13953482752 141121 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 1 0 0 0
[pid=30992/tid=30997] ppid=30990 vsize=13626448 CPUtime=0 cores=1,3,5,7
/proc/30992/task/30997/stat : 30997 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 827137983 13953482752 141124 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 7 0 0 0
[pid=30992/tid=30998] ppid=30990 vsize=13626448 CPUtime=0 cores=1,3,5,7
/proc/30992/task/30998/stat : 30998 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 827137983 13953482752 141127 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 1 0 0 0
[pid=30992/tid=30999] ppid=30990 vsize=13626448 CPUtime=0 cores=1,3,5,7
/proc/30992/task/30999/stat : 30999 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 827137983 13953482752 141130 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 1 0 0 0
[pid=30992/tid=31000] ppid=30990 vsize=13626448 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31000/stat : 31000 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 827137983 13953482752 141132 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 7 0 0 0
[pid=30992/tid=31001] ppid=30990 vsize=13626448 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31001/stat : 31001 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 827137983 13953482752 141135 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 1 0 0 0
[pid=30992/tid=31002] ppid=30990 vsize=13626448 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31002/stat : 31002 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 827137983 13953482752 141138 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 1 0 0 0
[pid=30992/tid=31003] ppid=30990 vsize=13626448 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31003/stat : 31003 (java) S 30990 30992 27631 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 827137984 13953482752 141139 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650752 0 0 0 16800975 18446604468781476736 0 0 -1 3 0 0 0
[pid=30992/tid=31004] ppid=30990 vsize=13626448 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31004/stat : 31004 (java) S 30990 30992 27631 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 18 0 827137984 13953482752 141140 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 3 0 0 0
[pid=30992/tid=31005] ppid=30990 vsize=13626448 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31005/stat : 31005 (java) S 30990 30992 27631 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 18 0 827137984 13953482752 141142 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 3 0 0 0
[pid=30992/tid=31006] ppid=30990 vsize=13626448 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31006/stat : 31006 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 827137986 13953482752 141145 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528657841 0 4 0 16800975 18446604468781476736 0 0 -1 3 0 0 0
[pid=30992/tid=31007] ppid=30990 vsize=13626448 CPUtime=0.21 cores=1,3,5,7
/proc/30992/task/31007/stat : 31007 (java) S 30990 30992 27631 0 -1 4202560 2066 0 0 0 21 0 0 0 25 0 18 0 827137986 13953482752 141147 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 7 0 0 0
[pid=30992/tid=31008] ppid=30990 vsize=13626448 CPUtime=0.25 cores=1,3,5,7
/proc/30992/task/31008/stat : 31008 (java) S 30990 30992 27631 0 -1 4202560 3427 0 0 0 25 0 0 0 16 0 18 0 827137986 13953482752 141150 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 1 0 0 0
[pid=30992/tid=31009] ppid=30990 vsize=13626448 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31009/stat : 31009 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 827137986 13953482752 141152 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 3 0 0 0
[pid=30992/tid=31010] ppid=30990 vsize=13626448 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31010/stat : 31010 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 827137986 13953482752 141155 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650752 0 4 0 16800975 18446604468781476736 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.97
Current children cumulated vsize (KiB) 13626448
[startup+3.101 s]
/proc/loadavg: 2.15 2.09 2.03 3/460 31010
/proc/meminfo: memFree=24817596/32951124 swapFree=44043516/67111528
[pid=30992] ppid=30990 vsize=13627476 CPUtime=3.87 cores=1,3,5,7
/proc/30992/stat : 30992 (java) S 30990 30992 27631 0 -1 4202496 192813 0 1 0 363 24 0 0 18 0 19 0 827137980 13954535424 189716 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30992/statm: 3406869 189716 2230 9 0 3397603 0
[pid=30992/tid=30993] ppid=30990 vsize=13627476 CPUtime=3.09 cores=1,3,5,7
/proc/30992/task/30993/stat : 30993 (java) R 30990 30992 27631 0 -1 4202560 185598 0 1 0 286 23 0 0 25 0 19 0 827137981 13954535424 189716 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 46912505891317 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=30992/tid=30995] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/30995/stat : 30995 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827137983 13954535424 189716 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 3 0 0 0
[pid=30992/tid=30996] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/30996/stat : 30996 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827137983 13954535424 189716 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 1 0 0 0
[pid=30992/tid=30997] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/30997/stat : 30997 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827137983 13954535424 189716 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 7 0 0 0
[pid=30992/tid=30998] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/30998/stat : 30998 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827137983 13954535424 189716 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 1 0 0 0
[pid=30992/tid=30999] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/30999/stat : 30999 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827137983 13954535424 189716 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 1 0 0 0
[pid=30992/tid=31000] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31000/stat : 31000 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 827137983 13954535424 189716 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 7 0 0 0
[pid=30992/tid=31001] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31001/stat : 31001 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 827137983 13954535424 189716 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 1 0 0 0
[pid=30992/tid=31002] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31002/stat : 31002 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 827137983 13954535424 189717 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 1 0 0 0
[pid=30992/tid=31003] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31003/stat : 31003 (java) S 30990 30992 27631 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 827137984 13954535424 189717 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650752 0 0 0 16800975 18446604468781476736 0 0 -1 3 0 0 0
[pid=30992/tid=31004] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31004/stat : 31004 (java) S 30990 30992 27631 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 827137984 13954535424 189717 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 3 0 0 0
[pid=30992/tid=31005] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31005/stat : 31005 (java) S 30990 30992 27631 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 827137984 13954535424 189717 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 3 0 0 0
[pid=30992/tid=31006] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31006/stat : 31006 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827137986 13954535424 189717 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528657841 0 4 0 16800975 18446604468781476736 0 0 -1 3 0 0 0
[pid=30992/tid=31007] ppid=30990 vsize=13627476 CPUtime=0.35 cores=1,3,5,7
/proc/30992/task/31007/stat : 31007 (java) S 30990 30992 27631 0 -1 4202560 2091 0 0 0 35 0 0 0 16 0 19 0 827137986 13954535424 189717 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 7 0 0 0
[pid=30992/tid=31008] ppid=30990 vsize=13627476 CPUtime=0.41 cores=1,3,5,7
/proc/30992/task/31008/stat : 31008 (java) S 30990 30992 27631 0 -1 4202560 3965 0 0 0 41 0 0 0 15 0 19 0 827137986 13954535424 189717 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 1 0 0 0
[pid=30992/tid=31009] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31009/stat : 31009 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827137986 13954535424 189717 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 3 0 0 0
[pid=30992/tid=31010] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31010/stat : 31010 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827137986 13954535424 189717 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650752 0 4 0 16800975 18446604468781476736 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.87
Current children cumulated vsize (KiB) 13627476
[startup+6.30142 s]
/proc/loadavg: 2.22 2.11 2.03 3/461 31057
/proc/meminfo: memFree=25029752/32951124 swapFree=44043516/67111528
[pid=30992] ppid=30990 vsize=13627476 CPUtime=7.21 cores=1,3,5,7
/proc/30992/stat : 30992 (java) S 30990 30992 27631 0 -1 4202496 194532 0 1 0 697 24 0 0 18 0 19 0 827137980 13954535424 191417 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30992/statm: 3406869 191417 2236 9 0 3397603 0
[pid=30992/tid=30993] ppid=30990 vsize=13627476 CPUtime=6.29 cores=1,3,5,7
/proc/30992/task/30993/stat : 30993 (java) R 30990 30992 27631 0 -1 4202560 187296 0 1 0 606 23 0 0 25 0 19 0 827137981 13954535424 191417 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 46912505697143 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=30992/tid=30995] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/30995/stat : 30995 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827137983 13954535424 191417 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 3 0 0 0
[pid=30992/tid=30996] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/30996/stat : 30996 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827137983 13954535424 191417 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 1 0 0 0
[pid=30992/tid=30997] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/30997/stat : 30997 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827137983 13954535424 191417 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 7 0 0 0
[pid=30992/tid=30998] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/30998/stat : 30998 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827137983 13954535424 191417 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 1 0 0 0
[pid=30992/tid=30999] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/30999/stat : 30999 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827137983 13954535424 191417 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 1 0 0 0
[pid=30992/tid=31000] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31000/stat : 31000 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 827137983 13954535424 191417 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 7 0 0 0
[pid=30992/tid=31001] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31001/stat : 31001 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 827137983 13954535424 191417 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 1 0 0 0
[pid=30992/tid=31002] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31002/stat : 31002 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 827137983 13954535424 191417 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 1 0 0 0
[pid=30992/tid=31003] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31003/stat : 31003 (java) S 30990 30992 27631 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 827137984 13954535424 191417 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650752 0 0 0 16800975 18446604468781476736 0 0 -1 3 0 0 0
[pid=30992/tid=31004] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31004/stat : 31004 (java) S 30990 30992 27631 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 827137984 13954535424 191417 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 3 0 0 0
[pid=30992/tid=31005] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31005/stat : 31005 (java) S 30990 30992 27631 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 827137984 13954535424 191417 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 3 0 0 0
[pid=30992/tid=31006] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31006/stat : 31006 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827137986 13954535424 191417 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528657841 0 4 0 16800975 18446604468781476736 0 0 -1 3 0 0 0
[pid=30992/tid=31007] ppid=30990 vsize=13627476 CPUtime=0.44 cores=1,3,5,7
/proc/30992/task/31007/stat : 31007 (java) S 30990 30992 27631 0 -1 4202560 2108 0 0 0 44 0 0 0 15 0 19 0 827137986 13954535424 191417 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 7 0 0 0
[pid=30992/tid=31008] ppid=30990 vsize=13627476 CPUtime=0.46 cores=1,3,5,7
/proc/30992/task/31008/stat : 31008 (java) S 30990 30992 27631 0 -1 4202560 3968 0 0 0 46 0 0 0 15 0 19 0 827137986 13954535424 191417 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 1 0 0 0
[pid=30992/tid=31009] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31009/stat : 31009 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827137986 13954535424 191417 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 3 0 0 0
[pid=30992/tid=31010] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31010/stat : 31010 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827137986 13954535424 191417 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650752 0 4 0 16800975 18446604468781476736 0 0 -1 1 0 0 0
################
# More data... #
################
[pid=30992/tid=31000] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31000/stat : 31000 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 827137983 13954535424 488599 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 7 0 0 0
[pid=30992/tid=31001] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31001/stat : 31001 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 827137983 13954535424 488599 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 1 0 0 0
[pid=30992/tid=31002] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31002/stat : 31002 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 827137983 13954535424 488599 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 1 0 0 0
[pid=30992/tid=31003] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31003/stat : 31003 (java) S 30990 30992 27631 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 19 0 827137984 13954535424 488599 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650752 0 0 0 16800975 18446604468781476736 0 0 -1 3 0 0 0
[pid=30992/tid=31004] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31004/stat : 31004 (java) S 30990 30992 27631 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 827137984 13954535424 488599 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 3 0 0 0
[pid=30992/tid=31005] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31005/stat : 31005 (java) S 30990 30992 27631 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 827137984 13954535424 488599 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 3 0 0 0
[pid=30992/tid=31006] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31006/stat : 31006 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827137986 13954535424 488599 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528657841 0 4 0 16800975 18446604468781476736 0 0 -1 3 0 0 0
[pid=30992/tid=31007] ppid=30990 vsize=13627476 CPUtime=0.49 cores=1,3,5,7
/proc/30992/task/31007/stat : 31007 (java) S 30990 30992 27631 0 -1 4202560 2112 0 0 0 49 0 0 0 15 0 19 0 827137986 13954535424 488599 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 7 0 0 0
[pid=30992/tid=31008] ppid=30990 vsize=13627476 CPUtime=0.67 cores=1,3,5,7
/proc/30992/task/31008/stat : 31008 (java) S 30990 30992 27631 0 -1 4202560 4384 0 0 0 67 0 0 0 15 0 19 0 827137986 13954535424 488599 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 1 0 0 0
[pid=30992/tid=31009] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31009/stat : 31009 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827137986 13954535424 488599 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 3 0 0 0
[pid=30992/tid=31010] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31010/stat : 31010 (java) S 30990 30992 27631 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 827137986 13954535424 488599 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650752 0 4 0 16800975 18446604468781476736 0 0 -1 5 0 0 0
[pid=30992/tid=31015] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31015/stat : 31015 (java) S 30990 30992 27631 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827138268 13954535424 488599 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650752 0 4 0 16800975 18446604468781476736 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1723.53
Current children cumulated vsize (KiB) 13627476
[startup+1782.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/461 31117
/proc/meminfo: memFree=22802784/32951124 swapFree=44043516/67111528
[pid=30992] ppid=30990 vsize=13627476 CPUtime=1783.52 cores=1,3,5,7
/proc/30992/stat : 30992 (java) S 30990 30992 27631 0 -1 4202496 501646 0 1 0 178288 64 0 0 18 0 19 0 827137980 13954535424 498038 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30992/statm: 3406869 498038 2239 9 0 3397603 0
[pid=30992/tid=30993] ppid=30990 vsize=13627476 CPUtime=1782.34 cores=1,3,5,7
/proc/30992/task/30993/stat : 30993 (java) R 30990 30992 27631 0 -1 4202560 493884 0 1 0 178171 63 0 0 25 0 19 0 827137981 13954535424 498038 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 46912505935873 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=30992/tid=30995] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/30995/stat : 30995 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827137983 13954535424 498038 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 3 0 0 0
[pid=30992/tid=30996] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/30996/stat : 30996 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827137983 13954535424 498038 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 1 0 0 0
[pid=30992/tid=30997] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/30997/stat : 30997 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827137983 13954535424 498038 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 7 0 0 0
[pid=30992/tid=30998] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/30998/stat : 30998 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827137983 13954535424 498038 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 1 0 0 0
[pid=30992/tid=30999] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/30999/stat : 30999 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827137983 13954535424 498038 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 1 0 0 0
[pid=30992/tid=31000] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31000/stat : 31000 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 827137983 13954535424 498038 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 7 0 0 0
[pid=30992/tid=31001] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31001/stat : 31001 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 827137983 13954535424 498038 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 1 0 0 0
[pid=30992/tid=31002] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31002/stat : 31002 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 827137983 13954535424 498038 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 1 0 0 0
[pid=30992/tid=31003] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31003/stat : 31003 (java) S 30990 30992 27631 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 19 0 827137984 13954535424 498038 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650752 0 0 0 16800975 18446604468781476736 0 0 -1 3 0 0 0
[pid=30992/tid=31004] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31004/stat : 31004 (java) S 30990 30992 27631 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 827137984 13954535424 498038 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 3 0 0 0
[pid=30992/tid=31005] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31005/stat : 31005 (java) S 30990 30992 27631 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 827137984 13954535424 498038 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 3 0 0 0
[pid=30992/tid=31006] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31006/stat : 31006 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827137986 13954535424 498038 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528657841 0 4 0 16800975 18446604468781476736 0 0 -1 3 0 0 0
[pid=30992/tid=31007] ppid=30990 vsize=13627476 CPUtime=0.49 cores=1,3,5,7
/proc/30992/task/31007/stat : 31007 (java) S 30990 30992 27631 0 -1 4202560 2112 0 0 0 49 0 0 0 15 0 19 0 827137986 13954535424 498038 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 7 0 0 0
[pid=30992/tid=31008] ppid=30990 vsize=13627476 CPUtime=0.67 cores=1,3,5,7
/proc/30992/task/31008/stat : 31008 (java) S 30990 30992 27631 0 -1 4202560 4384 0 0 0 67 0 0 0 15 0 19 0 827137986 13954535424 498038 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 1 0 0 0
[pid=30992/tid=31009] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31009/stat : 31009 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827137986 13954535424 498038 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 3 0 0 0
[pid=30992/tid=31010] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31010/stat : 31010 (java) S 30990 30992 27631 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 827137986 13954535424 498038 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650752 0 4 0 16800975 18446604468781476736 0 0 -1 5 0 0 0
[pid=30992/tid=31015] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31015/stat : 31015 (java) S 30990 30992 27631 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827138268 13954535424 498038 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650752 0 4 0 16800975 18446604468781476736 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1783.52
Current children cumulated vsize (KiB) 13627476
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.8 s]
/proc/loadavg: 2.02 2.04 2.00 3/461 31118
/proc/meminfo: memFree=22788392/32951124 swapFree=44043516/67111528
[pid=30992] ppid=30990 vsize=13627476 CPUtime=1800.04 cores=1,3,5,7
/proc/30992/stat : 30992 (java) S 30990 30992 27631 0 -1 4202496 505049 0 1 0 179939 65 0 0 18 0 19 0 827137980 13954535424 501441 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30992/statm: 3406869 501441 2239 9 0 3397603 0
[pid=30992/tid=30993] ppid=30990 vsize=13627476 CPUtime=1798.84 cores=1,3,5,7
/proc/30992/task/30993/stat : 30993 (java) R 30990 30992 27631 0 -1 4202560 497287 0 1 0 179821 63 0 0 25 0 19 0 827137981 13954535424 501441 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 46912505935873 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=30992/tid=30995] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/30995/stat : 30995 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827137983 13954535424 501441 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 3 0 0 0
[pid=30992/tid=30996] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/30996/stat : 30996 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827137983 13954535424 501442 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 1 0 0 0
[pid=30992/tid=30997] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/30997/stat : 30997 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827137983 13954535424 501442 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 7 0 0 0
[pid=30992/tid=30998] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/30998/stat : 30998 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827137983 13954535424 501442 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 1 0 0 0
[pid=30992/tid=30999] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/30999/stat : 30999 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827137983 13954535424 501442 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 1 0 0 0
[pid=30992/tid=31000] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31000/stat : 31000 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 827137983 13954535424 501442 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 7 0 0 0
[pid=30992/tid=31001] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31001/stat : 31001 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 827137983 13954535424 501442 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 1 0 0 0
[pid=30992/tid=31002] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31002/stat : 31002 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 827137983 13954535424 501442 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 1 0 0 0
[pid=30992/tid=31003] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31003/stat : 31003 (java) S 30990 30992 27631 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 19 0 827137984 13954535424 501442 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650752 0 0 0 16800975 18446604468781476736 0 0 -1 3 0 0 0
[pid=30992/tid=31004] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31004/stat : 31004 (java) S 30990 30992 27631 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 827137984 13954535424 501442 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 3 0 0 0
[pid=30992/tid=31005] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31005/stat : 31005 (java) S 30990 30992 27631 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 827137984 13954535424 501442 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 3 0 0 0
[pid=30992/tid=31006] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31006/stat : 31006 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827137986 13954535424 501442 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528657841 0 4 0 16800975 18446604468781476736 0 0 -1 3 0 0 0
[pid=30992/tid=31007] ppid=30990 vsize=13627476 CPUtime=0.49 cores=1,3,5,7
/proc/30992/task/31007/stat : 31007 (java) S 30990 30992 27631 0 -1 4202560 2112 0 0 0 49 0 0 0 15 0 19 0 827137986 13954535424 501442 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 7 0 0 0
[pid=30992/tid=31008] ppid=30990 vsize=13627476 CPUtime=0.67 cores=1,3,5,7
/proc/30992/task/31008/stat : 31008 (java) S 30990 30992 27631 0 -1 4202560 4384 0 0 0 67 0 0 0 15 0 19 0 827137986 13954535424 501442 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 1 0 0 0
[pid=30992/tid=31009] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31009/stat : 31009 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827137986 13954535424 501442 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 3 0 0 0
[pid=30992/tid=31010] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31010/stat : 31010 (java) S 30990 30992 27631 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 827137986 13954535424 501442 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650752 0 4 0 16800975 18446604468781476736 0 0 -1 5 0 0 0
[pid=30992/tid=31015] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31015/stat : 31015 (java) S 30990 30992 27631 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827138268 13954535424 501442 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650752 0 4 0 16800975 18446604468781476736 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 13627476
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1798.8 s]
/proc/loadavg: 2.02 2.04 2.00 3/461 31118
/proc/meminfo: memFree=22788392/32951124 swapFree=44043516/67111528
[pid=30992] ppid=30990 vsize=13627476 CPUtime=1800.04 cores=1,3,5,7
/proc/30992/stat : 30992 (java) S 30990 30992 27631 0 -1 4202496 505049 0 1 0 179939 65 0 0 18 0 19 0 827137980 13954535424 501441 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/30992/statm: 3406869 501441 2239 9 0 3397603 0
[pid=30992/tid=30993] ppid=30990 vsize=13627476 CPUtime=1798.84 cores=1,3,5,7
/proc/30992/task/30993/stat : 30993 (java) R 30990 30992 27631 0 -1 4202560 497287 0 1 0 179821 63 0 0 25 0 19 0 827137981 13954535424 501441 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 46912505935873 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=30992/tid=30995] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/30995/stat : 30995 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 827137983 13954535424 501441 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 3 0 0 0
[pid=30992/tid=30996] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/30996/stat : 30996 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827137983 13954535424 501442 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 1 0 0 0
[pid=30992/tid=30997] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/30997/stat : 30997 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827137983 13954535424 501442 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 7 0 0 0
[pid=30992/tid=30998] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/30998/stat : 30998 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827137983 13954535424 501442 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 1 0 0 0
[pid=30992/tid=30999] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/30999/stat : 30999 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 827137983 13954535424 501442 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 1 0 0 0
[pid=30992/tid=31000] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31000/stat : 31000 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 827137983 13954535424 501442 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 7 0 0 0
[pid=30992/tid=31001] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31001/stat : 31001 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 827137983 13954535424 501442 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 1 0 0 0
[pid=30992/tid=31002] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31002/stat : 31002 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 827137983 13954535424 501442 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 1 0 0 0
[pid=30992/tid=31003] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31003/stat : 31003 (java) S 30990 30992 27631 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 19 0 827137984 13954535424 501442 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650752 0 0 0 16800975 18446604468781476736 0 0 -1 3 0 0 0
[pid=30992/tid=31004] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31004/stat : 31004 (java) S 30990 30992 27631 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 827137984 13954535424 501442 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 3 0 0 0
[pid=30992/tid=31005] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31005/stat : 31005 (java) S 30990 30992 27631 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 827137984 13954535424 501442 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 3 0 0 0
[pid=30992/tid=31006] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31006/stat : 31006 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827137986 13954535424 501442 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528657841 0 4 0 16800975 18446604468781476736 0 0 -1 3 0 0 0
[pid=30992/tid=31007] ppid=30990 vsize=13627476 CPUtime=0.49 cores=1,3,5,7
/proc/30992/task/31007/stat : 31007 (java) S 30990 30992 27631 0 -1 4202560 2112 0 0 0 49 0 0 0 15 0 19 0 827137986 13954535424 501442 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 7 0 0 0
[pid=30992/tid=31008] ppid=30990 vsize=13627476 CPUtime=0.67 cores=1,3,5,7
/proc/30992/task/31008/stat : 31008 (java) S 30990 30992 27631 0 -1 4202560 4384 0 0 0 67 0 0 0 15 0 19 0 827137986 13954535424 501442 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 1 0 0 0
[pid=30992/tid=31009] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31009/stat : 31009 (java) S 30990 30992 27631 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827137986 13954535424 501442 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650137 0 4 0 16800975 18446604468781476736 0 0 -1 3 0 0 0
[pid=30992/tid=31010] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31010/stat : 31010 (java) S 30990 30992 27631 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 827137986 13954535424 501442 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650752 0 4 0 16800975 18446604468781476736 0 0 -1 5 0 0 0
[pid=30992/tid=31015] ppid=30990 vsize=13627476 CPUtime=0 cores=1,3,5,7
/proc/30992/task/31015/stat : 31015 (java) S 30990 30992 27631 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827138268 13954535424 501442 33554432000 1073741824 1073778376 140737156554976 18446744073709551615 246528650752 0 4 0 16800975 18446604468781476736 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 13627476
Child status: 143
Real time (s): 1798.91
CPU time (s): 1800.14
CPU user time (s): 1799.41
CPU system time (s): 0.731888
CPU usage (%): 100.069
Max. virtual memory (cumulated for all children) (KiB): 13627476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.41
system time used= 0.731888
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 505092
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= 36745
involuntary context switches= 5100
runsolver used 7.27789 second user time and 17.3274 second system time
The end