SAT 2011 Competition: group-oriented MUS track competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06	UNSAT	237.512	236.163
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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 /var/tmp/evaluation-result-3500793-1308036292/watcher-3500793-1308036292 -o /var/tmp/evaluation-result-3500793-1308036292/solver-3500793-1308036292 -C 1800 -W 1850 -M 7680 java -Xms6000m -Xmx6000m -jar sat4j-mus-v20110206.jar /varHOME/instance-3500793-1308036292.gcnf 

running on 2 cores: 0,2

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): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.20 0.26 0.08 6/240 6991
/proc/meminfo: memFree=11601832/32951124 swapFree=67062232/67111528
[pid=6991] ppid=6989 vsize=11804 CPUtime=0 cores=0,2
/proc/6991/stat : 6991 (runsolver) S 6989 6991 6754 0 -1 4202560 41 0 0 0 0 0 0 0 21 0 1 0 896045199 12087296 50 33554432000 4194304 5436572 140737469339376 18446744073709551615 4883175 0 2147483391 4096 24578 18446744071699968823 0 0 17 2 0 0 0
/proc/6991/statm: 2951 50 31 304 0 2643 0

[startup+0.07568 s]
/proc/loadavg: 1.20 0.26 0.08 6/240 6991
/proc/meminfo: memFree=11601832/32951124 swapFree=67062232/67111528
[pid=6991] ppid=6989 vsize=9100 CPUtime=0 cores=0,2
/proc/6991/stat : 6991 (java) S 6989 6991 6754 0 -1 4202496 428 0 0 0 0 0 0 0 22 0 1 0 896045199 9318400 172 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220811312775 0 2147483391 4096 0 18446744071699207358 0 0 17 2 0 0 0
/proc/6991/statm: 2275 172 132 9 0 67 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9100

[startup+0.100631 s]
/proc/loadavg: 1.20 0.26 0.08 6/240 6991
/proc/meminfo: memFree=11601832/32951124 swapFree=67062232/67111528
[pid=6991] ppid=6989 vsize=30540 CPUtime=0 cores=0,2
/proc/6991/stat : 6991 (java) S 6989 6991 6754 0 -1 4202496 1241 0 0 0 0 0 0 0 22 0 2 0 896045199 31272960 959 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828039141 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/6991/statm: 7635 959 732 9 0 386 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 30540

[startup+0.508605 s]
/proc/loadavg: 1.20 0.26 0.08 6/240 6991
/proc/meminfo: memFree=11601832/32951124 swapFree=67062232/67111528
[pid=6991] ppid=6989 vsize=6430004 CPUtime=0.54 cores=0,2
/proc/6991/stat : 6991 (java) S 6989 6991 6754 0 -1 4202496 18824 0 1 0 53 1 0 0 22 0 18 0 896045199 6584324096 17898 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/6991/statm: 1607501 17900 2201 9 0 1598239 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 6430004

[startup+0.700554 s]
/proc/loadavg: 1.20 0.26 0.08 6/240 6991
/proc/meminfo: memFree=11601832/32951124 swapFree=67062232/67111528
[pid=6991] ppid=6989 vsize=6430004 CPUtime=0.74 cores=0,2
/proc/6991/stat : 6991 (java) S 6989 6991 6754 0 -1 4202496 27790 0 1 0 71 3 0 0 22 0 18 0 896045199 6584324096 26864 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/6991/statm: 1607501 26866 2201 9 0 1598239 0
Current children cumulated CPU time (s) 0.74
Current children cumulated vsize (KiB) 6430004

[startup+1.50141 s]
/proc/loadavg: 1.58 0.36 0.12 5/258 7010
/proc/meminfo: memFree=11407284/32951124 swapFree=67062232/67111528
[pid=6991] ppid=6989 vsize=6430004 CPUtime=1.53 cores=0,2
/proc/6991/stat : 6991 (java) S 6989 6991 6754 0 -1 4202496 63479 0 1 0 146 7 0 0 22 0 18 0 896045199 6584324096 62552 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/6991/statm: 1607501 62554 2202 9 0 1598239 0
[pid=6991/tid=6994] ppid=6989 vsize=6430004 CPUtime=1.32 cores=0,2
/proc/6991/task/6994/stat : 6994 (java) R 6989 6991 6754 0 -1 4202560 60216 0 1 0 125 7 0 0 19 0 18 0 896045207 6584324096 62555 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 46912505551694 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6991/tid=6995] ppid=6989 vsize=6430004 CPUtime=0 cores=0,2
/proc/6991/task/6995/stat : 6995 (java) S 6989 6991 6754 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 896045213 6584324096 62556 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=6996] ppid=6989 vsize=6430004 CPUtime=0 cores=0,2
/proc/6991/task/6996/stat : 6996 (java) S 6989 6991 6754 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 896045213 6584324096 62557 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=6997] ppid=6989 vsize=6430004 CPUtime=0 cores=0,2
/proc/6991/task/6997/stat : 6997 (java) S 6989 6991 6754 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896045213 6584324096 62558 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=6998] ppid=6989 vsize=6430004 CPUtime=0 cores=0,2
/proc/6991/task/6998/stat : 6998 (java) S 6989 6991 6754 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896045213 6584324096 62559 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=6999] ppid=6989 vsize=6430004 CPUtime=0 cores=0,2
/proc/6991/task/6999/stat : 6999 (java) S 6989 6991 6754 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896045213 6584324096 62560 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=7000] ppid=6989 vsize=6430004 CPUtime=0 cores=0,2
/proc/6991/task/7000/stat : 7000 (java) S 6989 6991 6754 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896045213 6584324096 62561 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=7001] ppid=6989 vsize=6430004 CPUtime=0 cores=0,2
/proc/6991/task/7001/stat : 7001 (java) S 6989 6991 6754 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896045213 6584324096 62562 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=7002] ppid=6989 vsize=6430004 CPUtime=0 cores=0,2
/proc/6991/task/7002/stat : 7002 (java) S 6989 6991 6754 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896045213 6584324096 62563 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=7003] ppid=6989 vsize=6430004 CPUtime=0 cores=0,2
/proc/6991/task/7003/stat : 7003 (java) S 6989 6991 6754 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 18 0 896045215 6584324096 62564 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052992 0 0 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=7004] ppid=6989 vsize=6430004 CPUtime=0 cores=0,2
/proc/6991/task/7004/stat : 7004 (java) S 6989 6991 6754 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 896045215 6584324096 62566 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=7005] ppid=6989 vsize=6430004 CPUtime=0 cores=0,2
/proc/6991/task/7005/stat : 7005 (java) S 6989 6991 6754 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 896045215 6584324096 62567 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=7006] ppid=6989 vsize=6430004 CPUtime=0 cores=0,2
/proc/6991/task/7006/stat : 7006 (java) S 6989 6991 6754 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896045220 6584324096 62568 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828060081 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=7007] ppid=6989 vsize=6430004 CPUtime=0.1 cores=0,2
/proc/6991/task/7007/stat : 7007 (java) S 6989 6991 6754 0 -1 4202560 561 0 0 0 10 0 0 0 25 0 18 0 896045220 6584324096 62569 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 0 0 0 0
[pid=6991/tid=7008] ppid=6989 vsize=6430004 CPUtime=0.11 cores=0,2
/proc/6991/task/7008/stat : 7008 (java) S 6989 6991 6754 0 -1 4202560 1552 0 0 0 11 0 0 0 25 0 18 0 896045220 6584324096 62570 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 0 0 0 0
[pid=6991/tid=7009] ppid=6989 vsize=6430004 CPUtime=0 cores=0,2
/proc/6991/task/7009/stat : 7009 (java) S 6989 6991 6754 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896045220 6584324096 62571 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=7010] ppid=6989 vsize=6430004 CPUtime=0 cores=0,2
/proc/6991/task/7010/stat : 7010 (java) S 6989 6991 6754 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 896045220 6584324096 62572 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052992 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 6430004

[startup+3.10108 s]
/proc/loadavg: 1.58 0.36 0.12 7/259 7011
/proc/meminfo: memFree=11260940/32951124 swapFree=67062232/67111528
[pid=6991] ppid=6989 vsize=6431032 CPUtime=3.73 cores=0,2
/proc/6991/stat : 6991 (java) S 6989 6991 6754 0 -1 4202496 91531 0 1 0 363 10 0 0 22 0 19 0 896045199 6585376768 89722 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/6991/statm: 1607758 89722 2232 9 0 1598496 0
[pid=6991/tid=6994] ppid=6989 vsize=6431032 CPUtime=2.91 cores=0,2
/proc/6991/task/6994/stat : 6994 (java) R 6989 6991 6754 0 -1 4202560 86564 0 1 0 282 9 0 0 24 0 19 0 896045207 6585376768 89722 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 46912505795564 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=6991/tid=6995] ppid=6989 vsize=6431032 CPUtime=0 cores=0,2
/proc/6991/task/6995/stat : 6995 (java) S 6989 6991 6754 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 896045213 6585376768 89722 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=6996] ppid=6989 vsize=6431032 CPUtime=0 cores=0,2
/proc/6991/task/6996/stat : 6996 (java) S 6989 6991 6754 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 896045213 6585376768 89722 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=6997] ppid=6989 vsize=6431032 CPUtime=0 cores=0,2
/proc/6991/task/6997/stat : 6997 (java) S 6989 6991 6754 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896045213 6585376768 89722 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=6998] ppid=6989 vsize=6431032 CPUtime=0 cores=0,2
/proc/6991/task/6998/stat : 6998 (java) S 6989 6991 6754 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896045213 6585376768 89722 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=6999] ppid=6989 vsize=6431032 CPUtime=0 cores=0,2
/proc/6991/task/6999/stat : 6999 (java) S 6989 6991 6754 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896045213 6585376768 89722 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=7000] ppid=6989 vsize=6431032 CPUtime=0 cores=0,2
/proc/6991/task/7000/stat : 7000 (java) S 6989 6991 6754 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896045213 6585376768 89722 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=7001] ppid=6989 vsize=6431032 CPUtime=0 cores=0,2
/proc/6991/task/7001/stat : 7001 (java) S 6989 6991 6754 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896045213 6585376768 89722 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=7002] ppid=6989 vsize=6431032 CPUtime=0 cores=0,2
/proc/6991/task/7002/stat : 7002 (java) S 6989 6991 6754 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896045213 6585376768 89722 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=7003] ppid=6989 vsize=6431032 CPUtime=0 cores=0,2
/proc/6991/task/7003/stat : 7003 (java) S 6989 6991 6754 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 896045215 6585376768 89722 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052992 0 0 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=7004] ppid=6989 vsize=6431032 CPUtime=0 cores=0,2
/proc/6991/task/7004/stat : 7004 (java) S 6989 6991 6754 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 896045215 6585376768 89722 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=7005] ppid=6989 vsize=6431032 CPUtime=0 cores=0,2
/proc/6991/task/7005/stat : 7005 (java) S 6989 6991 6754 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 896045215 6585376768 89722 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=7006] ppid=6989 vsize=6431032 CPUtime=0 cores=0,2
/proc/6991/task/7006/stat : 7006 (java) S 6989 6991 6754 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896045220 6585376768 89722 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828060081 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=7007] ppid=6989 vsize=6431032 CPUtime=0.5 cores=0,2
/proc/6991/task/7007/stat : 7007 (java) S 6989 6991 6754 0 -1 4202560 1075 0 0 0 50 0 0 0 15 0 19 0 896045220 6585376768 89722 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 0 0 0 0
[pid=6991/tid=7008] ppid=6989 vsize=6431032 CPUtime=0.3 cores=0,2
/proc/6991/task/7008/stat : 7008 (java) S 6989 6991 6754 0 -1 4202560 2728 0 0 0 30 0 0 0 15 0 19 0 896045220 6585376768 89722 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 0 0 0 0
[pid=6991/tid=7009] ppid=6989 vsize=6431032 CPUtime=0 cores=0,2
/proc/6991/task/7009/stat : 7009 (java) S 6989 6991 6754 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896045220 6585376768 89722 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=7010] ppid=6989 vsize=6431032 CPUtime=0 cores=0,2
/proc/6991/task/7010/stat : 7010 (java) S 6989 6991 6754 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 896045220 6585376768 89722 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052992 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.73
Current children cumulated vsize (KiB) 6431032

[startup+6.30155 s]
/proc/loadavg: 1.58 0.36 0.12 7/258 7016
/proc/meminfo: memFree=11225440/32951124 swapFree=67062232/67111528
[pid=6991] ppid=6989 vsize=6431032 CPUtime=6.94 cores=0,2
/proc/6991/stat : 6991 (java) S 6989 6991 6754 0 -1 4202496 91578 0 1 0 684 10 0 0 22 0 19 0 896045199 6585376768 89750 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/6991/statm: 1607758 89750 2232 9 0 1598496 0
[pid=6991/tid=6994] ppid=6989 vsize=6431032 CPUtime=6.09 cores=0,2
/proc/6991/task/6994/stat : 6994 (java) R 6989 6991 6754 0 -1 4202560 86610 0 1 0 600 9 0 0 25 0 19 0 896045207 6585376768 89750 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 46912505796304 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6991/tid=6995] ppid=6989 vsize=6431032 CPUtime=0 cores=0,2
/proc/6991/task/6995/stat : 6995 (java) S 6989 6991 6754 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 896045213 6585376768 89750 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=6996] ppid=6989 vsize=6431032 CPUtime=0 cores=0,2
/proc/6991/task/6996/stat : 6996 (java) S 6989 6991 6754 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 896045213 6585376768 89750 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=6997] ppid=6989 vsize=6431032 CPUtime=0 cores=0,2
/proc/6991/task/6997/stat : 6997 (java) S 6989 6991 6754 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896045213 6585376768 89750 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=6998] ppid=6989 vsize=6431032 CPUtime=0 cores=0,2
/proc/6991/task/6998/stat : 6998 (java) S 6989 6991 6754 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896045213 6585376768 89750 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=6999] ppid=6989 vsize=6431032 CPUtime=0 cores=0,2
/proc/6991/task/6999/stat : 6999 (java) S 6989 6991 6754 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896045213 6585376768 89750 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=7000] ppid=6989 vsize=6431032 CPUtime=0 cores=0,2
/proc/6991/task/7000/stat : 7000 (java) S 6989 6991 6754 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896045213 6585376768 89750 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=7001] ppid=6989 vsize=6431032 CPUtime=0 cores=0,2
/proc/6991/task/7001/stat : 7001 (java) S 6989 6991 6754 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896045213 6585376768 89750 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=7002] ppid=6989 vsize=6431032 CPUtime=0 cores=0,2
/proc/6991/task/7002/stat : 7002 (java) S 6989 6991 6754 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896045213 6585376768 89750 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=7003] ppid=6989 vsize=6431032 CPUtime=0 cores=0,2
/proc/6991/task/7003/stat : 7003 (java) S 6989 6991 6754 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 896045215 6585376768 89750 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052992 0 0 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=7004] ppid=6989 vsize=6431032 CPUtime=0 cores=0,2
/proc/6991/task/7004/stat : 7004 (java) S 6989 6991 6754 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 896045215 6585376768 89750 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=7005] ppid=6989 vsize=6431032 CPUtime=0 cores=0,2
/proc/6991/task/7005/stat : 7005 (java) S 6989 6991 6754 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 896045215 6585376768 89750 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=7006] ppid=6989 vsize=6431032 CPUtime=0 cores=0,2
/proc/6991/task/7006/stat : 7006 (java) S 6989 6991 6754 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896045220 6585376768 89750 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828060081 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=7007] ppid=6989 vsize=6431032 CPUtime=0.5 cores=0,2
/proc/6991/task/7007/stat : 7007 (java) S 6989 6991 6754 0 -1 4202560 1075 0 0 0 50 0 0 0 15 0 19 0 896045220 6585376768 89750 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 0 0 0 0
[pid=6991/tid=7008] ppid=6989 vsize=6431032 CPUtime=0.33 cores=0,2
/proc/6991/task/7008/stat : 7008 (java) S 6989 6991 6754 0 -1 4202560 2729 0 0 0 33 0 0 0 15 0 19 0 896045220 6585376768 89750 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 0 0 0 0
[pid=6991/tid=7009] ppid=6989 vsize=6431032 CPUtime=0 cores=0,2
/proc/6991/task/7009/stat : 7009 (java) S 6989 6991 6754 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896045220 6585376768 89750 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=7010] ppid=6989 vsize=6431032 CPUtime=0 cores=0,2
/proc/6991/task/7010/stat : 7010 (java) S 6989 6991 6754 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 896045220 6585376768 89750 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052992 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=7013] ppid=6989 vsize=6431032 CPUtime=0 cores=0,2
/proc/6991/task/7013/stat : 7013 (java) S 6989 6991 6754 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 19 0 896045478 6585376768 89750 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052992 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.94
Current children cumulated vsize (KiB) 6431032

[startup+12.7014 s]
/proc/loadavg: 1.95 0.48 0.16 5/259 7080
/proc/meminfo: memFree=11242028/32951124 swapFree=67062232/67111528
[pid=6991] ppid=6989 vsize=6431032 CPUtime=13.33 cores=0,2
/proc/6991/stat : 6991 (java) S 6989 6991 6754 0 -1 4202496 91598 0 1 0 1323 10 0 0 22 0 19 0 896045199 6585376768 89548 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0

################
# More data... #
################

/proc/loadavg: 4.14 2.50 1.04 6/259 10947
/proc/meminfo: memFree=5103356/32951124 swapFree=67062232/67111528
[pid=6991] ppid=6989 vsize=6431032 CPUtime=235.04 cores=0,2
/proc/6991/stat : 6991 (java) S 6989 6991 6754 0 -1 4202496 242330 0 1 0 23474 30 0 0 22 0 19 0 896045199 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/6991/statm: 1607758 232619 2259 9 0 1598496 0
[pid=6991/tid=6994] ppid=6989 vsize=6431032 CPUtime=232.26 cores=0,2
/proc/6991/task/6994/stat : 6994 (java) R 6989 6991 6754 0 -1 4202560 152193 0 1 0 23208 18 0 0 25 0 19 0 896045207 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 46912505796107 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6991/tid=6995] ppid=6989 vsize=6431032 CPUtime=0.13 cores=0,2
/proc/6991/task/6995/stat : 6995 (java) S 6989 6991 6754 0 -1 4202560 9807 0 0 0 12 1 0 0 17 0 19 0 896045213 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=6996] ppid=6989 vsize=6431032 CPUtime=0.11 cores=0,2
/proc/6991/task/6996/stat : 6996 (java) S 6989 6991 6754 0 -1 4202560 11201 0 0 0 10 1 0 0 17 0 19 0 896045213 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=6997] ppid=6989 vsize=6431032 CPUtime=0.1 cores=0,2
/proc/6991/task/6997/stat : 6997 (java) S 6989 6991 6754 0 -1 4202560 6923 0 0 0 10 0 0 0 18 0 19 0 896045213 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=6998] ppid=6989 vsize=6431032 CPUtime=0.07 cores=0,2
/proc/6991/task/6998/stat : 6998 (java) S 6989 6991 6754 0 -1 4202560 6096 0 0 0 7 0 0 0 18 0 19 0 896045213 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=6999] ppid=6989 vsize=6431032 CPUtime=0 cores=0,2
/proc/6991/task/6999/stat : 6999 (java) S 6989 6991 6754 0 -1 4202560 224 0 0 0 0 0 0 0 15 0 19 0 896045213 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=7000] ppid=6989 vsize=6431032 CPUtime=0 cores=0,2
/proc/6991/task/7000/stat : 7000 (java) S 6989 6991 6754 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 896045213 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=7001] ppid=6989 vsize=6431032 CPUtime=0.01 cores=0,2
/proc/6991/task/7001/stat : 7001 (java) S 6989 6991 6754 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 19 0 896045213 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=7002] ppid=6989 vsize=6431032 CPUtime=0.02 cores=0,2
/proc/6991/task/7002/stat : 7002 (java) S 6989 6991 6754 0 -1 4202560 4 0 0 0 2 0 0 0 16 0 19 0 896045213 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=7003] ppid=6989 vsize=6431032 CPUtime=0.84 cores=0,2
/proc/6991/task/7003/stat : 7003 (java) S 6989 6991 6754 0 -1 4202560 43249 0 0 0 79 5 0 0 16 0 19 0 896045215 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052992 0 0 0 16800975 18446604453985339200 0 0 -1 0 0 0 0
[pid=6991/tid=7004] ppid=6989 vsize=6431032 CPUtime=0 cores=0,2
/proc/6991/task/7004/stat : 7004 (java) S 6989 6991 6754 0 -1 4202560 16 0 0 0 0 0 0 0 17 0 19 0 896045215 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=7005] ppid=6989 vsize=6431032 CPUtime=0 cores=0,2
/proc/6991/task/7005/stat : 7005 (java) S 6989 6991 6754 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 19 0 896045215 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=7006] ppid=6989 vsize=6431032 CPUtime=0 cores=0,2
/proc/6991/task/7006/stat : 7006 (java) S 6989 6991 6754 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896045220 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828060081 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=7007] ppid=6989 vsize=6431032 CPUtime=0.52 cores=0,2
/proc/6991/task/7007/stat : 7007 (java) S 6989 6991 6754 0 -1 4202560 1345 0 0 0 52 0 0 0 15 0 19 0 896045220 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 0 0 0 0
[pid=6991/tid=7008] ppid=6989 vsize=6431032 CPUtime=0.88 cores=0,2
/proc/6991/task/7008/stat : 7008 (java) S 6989 6991 6754 0 -1 4202560 9997 0 0 0 86 2 0 0 15 0 19 0 896045220 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=7009] ppid=6989 vsize=6431032 CPUtime=0 cores=0,2
/proc/6991/task/7009/stat : 7009 (java) S 6989 6991 6754 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896045220 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=7010] ppid=6989 vsize=6431032 CPUtime=0 cores=0,2
/proc/6991/task/7010/stat : 7010 (java) S 6989 6991 6754 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 19 0 896045220 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052992 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 235.04
Current children cumulated vsize (KiB) 6431032

[startup+235.301 s]
/proc/loadavg: 4.14 2.50 1.04 6/259 10980
/proc/meminfo: memFree=5095172/32951124 swapFree=67062232/67111528
[pid=6991] ppid=6989 vsize=6431032 CPUtime=236.64 cores=0,2
/proc/6991/stat : 6991 (java) S 6989 6991 6754 0 -1 4202496 242340 0 1 0 23634 30 0 0 22 0 19 0 896045199 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/6991/statm: 1607758 232619 2259 9 0 1598496 0
[pid=6991/tid=6994] ppid=6989 vsize=6431032 CPUtime=233.86 cores=0,2
/proc/6991/task/6994/stat : 6994 (java) R 6989 6991 6754 0 -1 4202560 152194 0 1 0 23368 18 0 0 25 0 19 0 896045207 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 46912505741856 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6991/tid=6995] ppid=6989 vsize=6431032 CPUtime=0.13 cores=0,2
/proc/6991/task/6995/stat : 6995 (java) S 6989 6991 6754 0 -1 4202560 9807 0 0 0 12 1 0 0 17 0 19 0 896045213 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=6996] ppid=6989 vsize=6431032 CPUtime=0.11 cores=0,2
/proc/6991/task/6996/stat : 6996 (java) S 6989 6991 6754 0 -1 4202560 11201 0 0 0 10 1 0 0 17 0 19 0 896045213 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=6997] ppid=6989 vsize=6431032 CPUtime=0.1 cores=0,2
/proc/6991/task/6997/stat : 6997 (java) S 6989 6991 6754 0 -1 4202560 6923 0 0 0 10 0 0 0 18 0 19 0 896045213 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=6998] ppid=6989 vsize=6431032 CPUtime=0.07 cores=0,2
/proc/6991/task/6998/stat : 6998 (java) S 6989 6991 6754 0 -1 4202560 6096 0 0 0 7 0 0 0 18 0 19 0 896045213 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=6999] ppid=6989 vsize=6431032 CPUtime=0 cores=0,2
/proc/6991/task/6999/stat : 6999 (java) S 6989 6991 6754 0 -1 4202560 224 0 0 0 0 0 0 0 15 0 19 0 896045213 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=7000] ppid=6989 vsize=6431032 CPUtime=0 cores=0,2
/proc/6991/task/7000/stat : 7000 (java) S 6989 6991 6754 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 896045213 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=7001] ppid=6989 vsize=6431032 CPUtime=0.01 cores=0,2
/proc/6991/task/7001/stat : 7001 (java) S 6989 6991 6754 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 19 0 896045213 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=7002] ppid=6989 vsize=6431032 CPUtime=0.02 cores=0,2
/proc/6991/task/7002/stat : 7002 (java) S 6989 6991 6754 0 -1 4202560 4 0 0 0 2 0 0 0 16 0 19 0 896045213 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=7003] ppid=6989 vsize=6431032 CPUtime=0.84 cores=0,2
/proc/6991/task/7003/stat : 7003 (java) S 6989 6991 6754 0 -1 4202560 43250 0 0 0 79 5 0 0 16 0 19 0 896045215 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052992 0 0 0 16800975 18446604453985339200 0 0 -1 0 0 0 0
[pid=6991/tid=7004] ppid=6989 vsize=6431032 CPUtime=0 cores=0,2
/proc/6991/task/7004/stat : 7004 (java) S 6989 6991 6754 0 -1 4202560 16 0 0 0 0 0 0 0 17 0 19 0 896045215 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=7005] ppid=6989 vsize=6431032 CPUtime=0 cores=0,2
/proc/6991/task/7005/stat : 7005 (java) S 6989 6991 6754 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 19 0 896045215 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=7006] ppid=6989 vsize=6431032 CPUtime=0 cores=0,2
/proc/6991/task/7006/stat : 7006 (java) S 6989 6991 6754 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896045220 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828060081 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=7007] ppid=6989 vsize=6431032 CPUtime=0.52 cores=0,2
/proc/6991/task/7007/stat : 7007 (java) S 6989 6991 6754 0 -1 4202560 1345 0 0 0 52 0 0 0 15 0 19 0 896045220 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 0 0 0 0
[pid=6991/tid=7008] ppid=6989 vsize=6431032 CPUtime=0.88 cores=0,2
/proc/6991/task/7008/stat : 7008 (java) S 6989 6991 6754 0 -1 4202560 9997 0 0 0 86 2 0 0 15 0 19 0 896045220 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=7009] ppid=6989 vsize=6431032 CPUtime=0 cores=0,2
/proc/6991/task/7009/stat : 7009 (java) S 6989 6991 6754 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896045220 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=7010] ppid=6989 vsize=6431032 CPUtime=0 cores=0,2
/proc/6991/task/7010/stat : 7010 (java) S 6989 6991 6754 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 896045220 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052992 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 236.64
Current children cumulated vsize (KiB) 6431032

[startup+235.701 s]
/proc/loadavg: 4.14 2.50 1.04 5/257 11013
/proc/meminfo: memFree=5085380/32951124 swapFree=67062232/67111528
[pid=6991] ppid=6989 vsize=6431032 CPUtime=237.04 cores=0,2
/proc/6991/stat : 6991 (java) S 6989 6991 6754 0 -1 4202496 242341 0 1 0 23674 30 0 0 22 0 18 0 896045199 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/6991/statm: 1607758 232619 2259 9 0 1598496 0
[pid=6991/tid=6994] ppid=6989 vsize=6431032 CPUtime=234.26 cores=0,2
/proc/6991/task/6994/stat : 6994 (java) R 6989 6991 6754 0 -1 4202560 152194 0 1 0 23408 18 0 0 25 0 18 0 896045207 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 46912505721201 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6991/tid=6995] ppid=6989 vsize=6431032 CPUtime=0.13 cores=0,2
/proc/6991/task/6995/stat : 6995 (java) S 6989 6991 6754 0 -1 4202560 9807 0 0 0 12 1 0 0 17 0 18 0 896045213 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=6996] ppid=6989 vsize=6431032 CPUtime=0.11 cores=0,2
/proc/6991/task/6996/stat : 6996 (java) S 6989 6991 6754 0 -1 4202560 11201 0 0 0 10 1 0 0 17 0 18 0 896045213 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=6997] ppid=6989 vsize=6431032 CPUtime=0.1 cores=0,2
/proc/6991/task/6997/stat : 6997 (java) S 6989 6991 6754 0 -1 4202560 6923 0 0 0 10 0 0 0 18 0 18 0 896045213 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=6998] ppid=6989 vsize=6431032 CPUtime=0.07 cores=0,2
/proc/6991/task/6998/stat : 6998 (java) S 6989 6991 6754 0 -1 4202560 6096 0 0 0 7 0 0 0 18 0 18 0 896045213 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=6999] ppid=6989 vsize=6431032 CPUtime=0 cores=0,2
/proc/6991/task/6999/stat : 6999 (java) S 6989 6991 6754 0 -1 4202560 224 0 0 0 0 0 0 0 15 0 18 0 896045213 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=7000] ppid=6989 vsize=6431032 CPUtime=0 cores=0,2
/proc/6991/task/7000/stat : 7000 (java) S 6989 6991 6754 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 18 0 896045213 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=7001] ppid=6989 vsize=6431032 CPUtime=0.01 cores=0,2
/proc/6991/task/7001/stat : 7001 (java) S 6989 6991 6754 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 18 0 896045213 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=7002] ppid=6989 vsize=6431032 CPUtime=0.02 cores=0,2
/proc/6991/task/7002/stat : 7002 (java) S 6989 6991 6754 0 -1 4202560 4 0 0 0 2 0 0 0 16 0 18 0 896045213 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=7003] ppid=6989 vsize=6431032 CPUtime=0.84 cores=0,2
/proc/6991/task/7003/stat : 7003 (java) S 6989 6991 6754 0 -1 4202560 43250 0 0 0 79 5 0 0 16 0 18 0 896045215 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052992 0 0 0 16800975 18446604453985339200 0 0 -1 0 0 0 0
[pid=6991/tid=7004] ppid=6989 vsize=6431032 CPUtime=0 cores=0,2
/proc/6991/task/7004/stat : 7004 (java) S 6989 6991 6754 0 -1 4202560 16 0 0 0 0 0 0 0 17 0 18 0 896045215 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=7005] ppid=6989 vsize=6431032 CPUtime=0 cores=0,2
/proc/6991/task/7005/stat : 7005 (java) S 6989 6991 6754 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 18 0 896045215 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=7006] ppid=6989 vsize=6431032 CPUtime=0 cores=0,2
/proc/6991/task/7006/stat : 7006 (java) S 6989 6991 6754 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896045220 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828060081 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=7007] ppid=6989 vsize=6431032 CPUtime=0.52 cores=0,2
/proc/6991/task/7007/stat : 7007 (java) S 6989 6991 6754 0 -1 4202560 1345 0 0 0 52 0 0 0 15 0 18 0 896045220 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 0 0 0 0
[pid=6991/tid=7008] ppid=6989 vsize=6431032 CPUtime=0.88 cores=0,2
/proc/6991/task/7008/stat : 7008 (java) S 6989 6991 6754 0 -1 4202560 9997 0 0 0 86 2 0 0 15 0 18 0 896045220 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=7009] ppid=6989 vsize=6431032 CPUtime=0 cores=0,2
/proc/6991/task/7009/stat : 7009 (java) S 6989 6991 6754 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 896045220 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=7010] ppid=6989 vsize=6431032 CPUtime=0 cores=0,2
/proc/6991/task/7010/stat : 7010 (java) S 6989 6991 6754 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 18 0 896045220 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052992 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 237.04
Current children cumulated vsize (KiB) 6431032

[startup+236.101 s]
/proc/loadavg: 4.14 2.50 1.04 5/257 11013
/proc/meminfo: memFree=5085380/32951124 swapFree=67062232/67111528
[pid=6991] ppid=6989 vsize=6431032 CPUtime=237.44 cores=0,2
/proc/6991/stat : 6991 (java) S 6989 6991 6754 0 -1 4202496 242343 0 1 0 23714 30 0 0 22 0 19 0 896045199 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/6991/statm: 1607758 232619 2259 9 0 1598496 0
[pid=6991/tid=6994] ppid=6989 vsize=6431032 CPUtime=234.66 cores=0,2
/proc/6991/task/6994/stat : 6994 (java) R 6989 6991 6754 0 -1 4202560 152194 0 1 0 23448 18 0 0 25 0 19 0 896045207 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 46912505734216 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6991/tid=6995] ppid=6989 vsize=6431032 CPUtime=0.13 cores=0,2
/proc/6991/task/6995/stat : 6995 (java) S 6989 6991 6754 0 -1 4202560 9807 0 0 0 12 1 0 0 17 0 19 0 896045213 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=6996] ppid=6989 vsize=6431032 CPUtime=0.11 cores=0,2
/proc/6991/task/6996/stat : 6996 (java) S 6989 6991 6754 0 -1 4202560 11201 0 0 0 10 1 0 0 17 0 19 0 896045213 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=6997] ppid=6989 vsize=6431032 CPUtime=0.1 cores=0,2
/proc/6991/task/6997/stat : 6997 (java) S 6989 6991 6754 0 -1 4202560 6923 0 0 0 10 0 0 0 18 0 19 0 896045213 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=6998] ppid=6989 vsize=6431032 CPUtime=0.07 cores=0,2
/proc/6991/task/6998/stat : 6998 (java) S 6989 6991 6754 0 -1 4202560 6096 0 0 0 7 0 0 0 18 0 19 0 896045213 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=6999] ppid=6989 vsize=6431032 CPUtime=0 cores=0,2
/proc/6991/task/6999/stat : 6999 (java) S 6989 6991 6754 0 -1 4202560 224 0 0 0 0 0 0 0 15 0 19 0 896045213 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=7000] ppid=6989 vsize=6431032 CPUtime=0 cores=0,2
/proc/6991/task/7000/stat : 7000 (java) S 6989 6991 6754 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 896045213 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=7001] ppid=6989 vsize=6431032 CPUtime=0.01 cores=0,2
/proc/6991/task/7001/stat : 7001 (java) S 6989 6991 6754 0 -1 4202560 2 0 0 0 1 0 0 0 16 0 19 0 896045213 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=7002] ppid=6989 vsize=6431032 CPUtime=0.02 cores=0,2
/proc/6991/task/7002/stat : 7002 (java) S 6989 6991 6754 0 -1 4202560 4 0 0 0 2 0 0 0 16 0 19 0 896045213 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=7003] ppid=6989 vsize=6431032 CPUtime=0.84 cores=0,2
/proc/6991/task/7003/stat : 7003 (java) S 6989 6991 6754 0 -1 4202560 43250 0 0 0 79 5 0 0 16 0 19 0 896045215 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052992 0 0 0 16800975 18446604453985339200 0 0 -1 0 0 0 0
[pid=6991/tid=7004] ppid=6989 vsize=6431032 CPUtime=0 cores=0,2
/proc/6991/task/7004/stat : 7004 (java) S 6989 6991 6754 0 -1 4202560 16 0 0 0 0 0 0 0 17 0 19 0 896045215 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=7005] ppid=6989 vsize=6431032 CPUtime=0 cores=0,2
/proc/6991/task/7005/stat : 7005 (java) S 6989 6991 6754 0 -1 4202560 50 0 0 0 0 0 0 0 16 0 19 0 896045215 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=7006] ppid=6989 vsize=6431032 CPUtime=0 cores=0,2
/proc/6991/task/7006/stat : 7006 (java) S 6989 6991 6754 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896045220 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828060081 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=7007] ppid=6989 vsize=6431032 CPUtime=0.52 cores=0,2
/proc/6991/task/7007/stat : 7007 (java) S 6989 6991 6754 0 -1 4202560 1345 0 0 0 52 0 0 0 15 0 19 0 896045220 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 0 0 0 0
[pid=6991/tid=7008] ppid=6989 vsize=6431032 CPUtime=0.88 cores=0,2
/proc/6991/task/7008/stat : 7008 (java) S 6989 6991 6754 0 -1 4202560 9997 0 0 0 86 2 0 0 15 0 19 0 896045220 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=7009] ppid=6989 vsize=6431032 CPUtime=0 cores=0,2
/proc/6991/task/7009/stat : 7009 (java) S 6989 6991 6754 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 896045220 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052377 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
[pid=6991/tid=7010] ppid=6989 vsize=6431032 CPUtime=0 cores=0,2
/proc/6991/task/7010/stat : 7010 (java) S 6989 6991 6754 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 896045220 6585376768 232619 33554432000 1073741824 1073778376 140733414314752 18446744073709551615 220828052992 0 4 0 16800975 18446604453985339200 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 237.44
Current children cumulated vsize (KiB) 6431032

Child status: 20
Real time (s): 236.163
CPU time (s): 237.512
CPU user time (s): 237.169
CPU system time (s): 0.342947
CPU usage (%): 100.571
Max. virtual memory (cumulated for all children) (KiB): 6431032

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 237.169
system time used= 0.342947
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 242354
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= 6251
involuntary context switches= 3763

runsolver used 0.416936 second user time and 0.875866 second system time

The end
Name	gmus/nadel/ edn_9789_6.cnf_0.31000000.unsat.gcnf
MD5SUM	de44268d1ba47a44f46895f7af94a42d
Bench Category	GMUS (GMUS)
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.57461
Satisfiable
(Un)Satisfiability was proved
Number of variables	325518
Number of clauses	942434
Sum of the clauses size	2187146
Maximum clause length	3
Minimum clause length	1
Number of clauses of size 1	1644
Number of clauses of size 2	636868
Number of clauses of size 3	303922
Number of clauses of size 4	0
Number of clauses of size 5	0
Number of clauses of size over 5	0
Number of groups	3502
Number of clauses in the kernel (group 0)	914873
Least number of clauses in a group (except group 0)	1
Greatest number of clauses in a group (except group 0)	10
Trace number 3500793

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
