0.12/0.11 c +------------------------------+
0.12/0.11 c | gNovelty+, version 1.0 |
0.12/0.11 c +------------------------------+
0.12/0.11 c gnovelty+ -h for help
0.12/0.11 c
183.45/47.02 s SATISFIABLE
183.45/47.02 v 1 2 3 4 5 6 7 -8 -9 10 -11 -12 13 -14 15 16 17 -18 19 -20 21 22 -23 -24 25 26 27 -28 29 30 -31 32 33 34 -35 36 -37 -38 39 -40 -41 -42 43 44 -45 -46 47 48 -49 50 -51 -52 -53 -54 55 -56 -57 58 59 60 61 62 -63 -64 65 66 -67 68 -69 -70 71 72 -73 74 75 -76 77 -78 79 80 -81 82 -83 -84 -85 -86 87 88 -89 90 91 92 -93 94 -95 -96 -97 -98 -99 100 -101 102 103 104 105 -106 -107 -108 109 -110 -111 112 -113 114 115 -116 117 118 119 -120 121 122 -123 -124 125 126 -127 128 -129 -130 -131 -132 133 134 135 -136 -137 -138 139 -140 0
183.45/47.02 c Done in 180.030000 seconds
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1777276-1243442619/watcher-1777276-1243442619 -o /tmp/evaluation-result-1777276-1243442619/solver-1777276-1243442619 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1777276-1243442619.cnf 1562298963 4
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 5.05 5.11 5.04 3/96 20721
/proc/meminfo: memFree=3046572/3368532 swapFree=1954072/1959888
[pid=20721] ppid=20719 vsize=509232 CPUtime=0
/proc/20721/stat : 20721 (gnovelty+) R 20719 20721 15881 0 -1 4202496 1456 0 0 0 0 0 0 0 18 0 1 0 1098363046 521453568 1412 4294967295 134512640 135680988 3220167248 3220166512 134537167 0 0 0 0 0 0 0 17 2 0 0 0
/proc/20721/statm: 127308 1420 99 286 0 127020 0
[startup+0.037737 s]
/proc/loadavg: 5.05 5.11 5.04 3/96 20721
/proc/meminfo: memFree=3046572/3368532 swapFree=1954072/1959888
[pid=20721] ppid=20719 vsize=517048 CPUtime=0.04
/proc/20721/stat : 20721 (gnovelty+) R 20719 20721 15881 0 -1 4202496 9948 0 0 0 1 3 0 0 18 0 1 0 1098363046 529457152 9904 4294967295 134512640 135680988 3220167248 3220166512 134537493 0 0 0 0 0 0 0 17 2 0 0 0
/proc/20721/statm: 129262 9904 99 286 0 128974 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 517048
[startup+0.117729 s]
/proc/loadavg: 5.05 5.11 5.04 3/96 20721
/proc/meminfo: memFree=3046572/3368532 swapFree=1954072/1959888
[pid=20721] ppid=20719 vsize=517044 CPUtime=0.12
/proc/20721/stat : 20721 (gnovelty+) R 20719 20721 15881 0 -1 4202496 19893 0 0 0 9 3 0 0 18 0 1 0 1098363046 529453056 19848 4294967295 134512640 135680988 3220167248 3220166512 134538748 0 0 0 0 0 0 0 17 2 0 0 0
/proc/20721/statm: 129261 19848 99 286 0 128973 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 517044
[startup+0.317714 s]
/proc/loadavg: 5.05 5.11 5.04 3/96 20721
/proc/meminfo: memFree=3046572/3368532 swapFree=1954072/1959888
[pid=20721] ppid=20719 vsize=547228 CPUtime=0.83
/proc/20721/stat : 20721 (gnovelty+) R 20719 20721 15881 0 -1 4202496 20204 0 0 0 80 3 0 0 17 0 4 0 1098363046 560361472 20159 4294967295 134512640 135680988 3220167248 3220166492 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/20721/statm: 136807 20159 103 286 0 136519 0
Current children cumulated CPU time (s) 0.83
Current children cumulated vsize (KiB) 547228
[startup+0.717687 s]
/proc/loadavg: 5.05 5.11 5.04 3/96 20721
/proc/meminfo: memFree=3046572/3368532 swapFree=1954072/1959888
[pid=20721] ppid=20719 vsize=547228 CPUtime=2.43
/proc/20721/stat : 20721 (gnovelty+) R 20719 20721 15881 0 -1 4202496 20204 0 0 0 235 8 0 0 16 0 4 0 1098363046 560361472 20159 4294967295 134512640 135680988 3220167248 3220166492 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/20721/statm: 136807 20159 103 286 0 136519 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 547228
[startup+1.51862 s]
/proc/loadavg: 5.05 5.11 5.04 6/100 20725
/proc/meminfo: memFree=2966788/3368532 swapFree=1954072/1959888
[pid=20721] ppid=20719 vsize=547228 CPUtime=5.45
/proc/20721/stat : 20721 (gnovelty+) R 20719 20721 15881 0 -1 4202496 20204 0 0 0 530 15 0 0 16 0 4 0 1098363046 560361472 20159 4294967295 134512640 135680988 3220167248 3220166492 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/20721/statm: 136807 20159 103 286 0 136519 0
[pid=20721/tid=20723] ppid=20719 vsize=547228 CPUtime=1.37
/proc/20721/task/20723/stat : 20723 (gnovelty+) R 20719 20721 15881 0 -1 4202560 62 0 0 0 135 2 0 0 15 0 4 0 1098363058 560361472 20159 4294967295 134512640 135680988 3220167248 3077943644 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=20721/tid=20724] ppid=20719 vsize=547228 CPUtime=1.21
/proc/20721/task/20724/stat : 20724 (gnovelty+) R 20719 20721 15881 0 -1 4202560 65 0 0 0 118 3 0 0 15 0 4 0 1098363058 560361472 20159 4294967295 134512640 135680988 3220167248 3068551516 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=20721/tid=20725] ppid=20719 vsize=547228 CPUtime=1.36
/proc/20721/task/20725/stat : 20725 (gnovelty+) R 20719 20721 15881 0 -1 4202560 64 0 0 0 135 1 0 0 15 0 4 0 1098363058 560361472 20159 4294967295 134512640 135680988 3220167248 3059159388 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.45
Current children cumulated vsize (KiB) 547228
[startup+3.12189 s]
/proc/loadavg: 5.05 5.11 5.04 6/100 20725
/proc/meminfo: memFree=2966788/3368532 swapFree=1954072/1959888
[pid=20721] ppid=20719 vsize=547228 CPUtime=11.65
/proc/20721/stat : 20721 (gnovelty+) R 20719 20721 15881 0 -1 4202496 20204 0 0 0 1141 24 0 0 15 0 4 0 1098363046 560361472 20159 4294967295 134512640 135680988 3220167248 3220166492 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/20721/statm: 136807 20159 103 286 0 136519 0
[pid=20721/tid=20723] ppid=20719 vsize=547228 CPUtime=2.9
/proc/20721/task/20723/stat : 20723 (gnovelty+) R 20719 20721 15881 0 -1 4202560 62 0 0 0 288 2 0 0 16 0 4 0 1098363058 560361472 20159 4294967295 134512640 135680988 3220167248 3077943644 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=20721/tid=20724] ppid=20719 vsize=547228 CPUtime=2.78
/proc/20721/task/20724/stat : 20724 (gnovelty+) R 20719 20721 15881 0 -1 4202560 65 0 0 0 272 6 0 0 15 0 4 0 1098363058 560361472 20159 4294967295 134512640 135680988 3220167248 3068551516 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=20721/tid=20725] ppid=20719 vsize=547228 CPUtime=2.91
/proc/20721/task/20725/stat : 20725 (gnovelty+) R 20719 20721 15881 0 -1 4202560 64 0 0 0 286 5 0 0 15 0 4 0 1098363058 560361472 20159 4294967295 134512640 135680988 3220167248 3059159388 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.65
Current children cumulated vsize (KiB) 547228
[startup+6.32075 s]
/proc/loadavg: 5.21 5.14 5.05 6/100 20725
/proc/meminfo: memFree=2966572/3368532 swapFree=1954072/1959888
[pid=20721] ppid=20719 vsize=547228 CPUtime=24.28
/proc/20721/stat : 20721 (gnovelty+) R 20719 20721 15881 0 -1 4202496 20204 0 0 0 2377 51 0 0 15 0 4 0 1098363046 560361472 20159 4294967295 134512640 135680988 3220167248 3220166492 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/20721/statm: 136807 20159 103 286 0 136519 0
[pid=20721/tid=20723] ppid=20719 vsize=547228 CPUtime=6.02
/proc/20721/task/20723/stat : 20723 (gnovelty+) R 20719 20721 15881 0 -1 4202560 62 0 0 0 590 12 0 0 15 0 4 0 1098363058 560361472 20159 4294967295 134512640 135680988 3220167248 3077943644 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=20721/tid=20724] ppid=20719 vsize=547228 CPUtime=5.94
/proc/20721/task/20724/stat : 20724 (gnovelty+) R 20719 20721 15881 0 -1 4202560 65 0 0 0 583 11 0 0 15 0 4 0 1098363058 560361472 20159 4294967295 134512640 135680988 3220167248 3068551516 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=20721/tid=20725] ppid=20719 vsize=547228 CPUtime=6.07
/proc/20721/task/20725/stat : 20725 (gnovelty+) R 20719 20721 15881 0 -1 4202560 64 0 0 0 598 9 0 0 15 0 4 0 1098363058 560361472 20159 4294967295 134512640 135680988 3220167248 3059159388 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.28
Current children cumulated vsize (KiB) 547228
[startup+12.7193 s]
/proc/loadavg: 5.19 5.13 5.05 6/100 20725
/proc/meminfo: memFree=2966480/3368532 swapFree=1954072/1959888
[pid=20721] ppid=20719 vsize=547228 CPUtime=49.43
/proc/20721/stat : 20721 (gnovelty+) R 20719 20721 15881 0 -1 4202496 20204 0 0 0 4856 87 0 0 15 0 4 0 1098363046 560361472 20159 4294967295 134512640 135680988 3220167248 3220166492 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/20721/statm: 136807 20159 103 286 0 136519 0
[pid=20721/tid=20723] ppid=20719 vsize=547228 CPUtime=12.31
/proc/20721/task/20723/stat : 20723 (gnovelty+) R 20719 20721 15881 0 -1 4202560 62 0 0 0 1211 20 0 0 15 0 4 0 1098363058 560361472 20159 4294967295 134512640 135680988 3220167248 3077943644 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=20721/tid=20724] ppid=20719 vsize=547228 CPUtime=12.16
/proc/20721/task/20724/stat : 20724 (gnovelty+) R 20719 20721 15881 0 -1 4202560 65 0 0 0 1200 16 0 0 15 0 4 0 1098363058 560361472 20159 4294967295 134512640 135680988 3220167248 3068551516 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=20721/tid=20725] ppid=20719 vsize=547228 CPUtime=12.4
/proc/20721/task/20725/stat : 20725 (gnovelty+) R 20719 20721 15881 0 -1 4202560 64 0 0 0 1218 22 0 0 15 0 4 0 1098363058 560361472 20159 4294967295 134512640 135680988 3220167248 3059159388 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 49.43
Current children cumulated vsize (KiB) 547228
[startup+25.5159 s]
/proc/loadavg: 5.08 5.11 5.05 6/100 20726
/proc/meminfo: memFree=2966412/3368532 swapFree=1954072/1959888
[pid=20721] ppid=20719 vsize=547228 CPUtime=99.87
/proc/20721/stat : 20721 (gnovelty+) R 20719 20721 15881 0 -1 4202496 20204 0 0 0 9793 194 0 0 15 0 4 0 1098363046 560361472 20159 4294967295 134512640 135680988 3220167248 3220166492 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/20721/statm: 136807 20159 103 286 0 136519 0
[pid=20721/tid=20723] ppid=20719 vsize=547228 CPUtime=24.85
/proc/20721/task/20723/stat : 20723 (gnovelty+) R 20719 20721 15881 0 -1 4202560 62 0 0 0 2439 46 0 0 16 0 4 0 1098363058 560361472 20159 4294967295 134512640 135680988 3220167248 3077943644 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=20721/tid=20724] ppid=20719 vsize=547228 CPUtime=24.74
/proc/20721/task/20724/stat : 20724 (gnovelty+) R 20719 20721 15881 0 -1 4202560 65 0 0 0 2428 46 0 0 15 0 4 0 1098363058 560361472 20159 4294967295 134512640 135680988 3220167248 3068551516 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=20721/tid=20725] ppid=20719 vsize=547228 CPUtime=25.04
/proc/20721/task/20725/stat : 20725 (gnovelty+) R 20719 20721 15881 0 -1 4202560 64 0 0 0 2462 42 0 0 15 0 4 0 1098363058 560361472 20159 4294967295 134512640 135680988 3220167248 3059159388 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 99.87
Current children cumulated vsize (KiB) 547228
Solver just ended. Dumping a history of the last processes samples
[startup+38.3205 s]
/proc/loadavg: 4.99 5.09 5.04 7/100 20731
/proc/meminfo: memFree=2966396/3368532 swapFree=1954072/1959888
[pid=20721] ppid=20719 vsize=547228 CPUtime=150.1
/proc/20721/stat : 20721 (gnovelty+) R 20719 20721 15881 0 -1 4202496 20204 0 0 0 14729 281 0 0 15 0 4 0 1098363046 560361472 20159 4294967295 134512640 135680988 3220167248 3220166492 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/20721/statm: 136807 20159 103 286 0 136519 0
[pid=20721/tid=20723] ppid=20719 vsize=547228 CPUtime=37.44
/proc/20721/task/20723/stat : 20723 (gnovelty+) R 20719 20721 15881 0 -1 4202560 62 0 0 0 3680 64 0 0 15 0 4 0 1098363058 560361472 20159 4294967295 134512640 135680988 3220167248 3077943644 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=20721/tid=20724] ppid=20719 vsize=547228 CPUtime=37.34
/proc/20721/task/20724/stat : 20724 (gnovelty+) R 20719 20721 15881 0 -1 4202560 65 0 0 0 3669 65 0 0 15 0 4 0 1098363058 560361472 20159 4294967295 134512640 135680988 3220167248 3068551516 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=20721/tid=20725] ppid=20719 vsize=547228 CPUtime=37.71
/proc/20721/task/20725/stat : 20725 (gnovelty+) R 20719 20721 15881 0 -1 4202560 64 0 0 0 3705 66 0 0 15 0 4 0 1098363058 560361472 20159 4294967295 134512640 135680988 3220167248 3059159388 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 150.1
Current children cumulated vsize (KiB) 547228
[startup+41.5154 s]
/proc/loadavg: 4.99 5.09 5.04 5/100 20914
/proc/meminfo: memFree=2966080/3368532 swapFree=1954072/1959888
[pid=20721] ppid=20719 vsize=547228 CPUtime=162.27
/proc/20721/stat : 20721 (gnovelty+) R 20719 20721 15881 0 -1 4202496 20204 0 0 0 15931 296 0 0 15 0 4 0 1098363046 560361472 20159 4294967295 134512640 135680988 3220167248 3220166492 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/20721/statm: 136807 20159 103 286 0 136519 0
[pid=20721/tid=20723] ppid=20719 vsize=547228 CPUtime=40.28
/proc/20721/task/20723/stat : 20723 (gnovelty+) R 20719 20721 15881 0 -1 4202560 62 0 0 0 3959 69 0 0 16 0 4 0 1098363058 560361472 20159 4294967295 134512640 135680988 3220167248 3077943644 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=20721/tid=20724] ppid=20719 vsize=547228 CPUtime=40.47
/proc/20721/task/20724/stat : 20724 (gnovelty+) R 20719 20721 15881 0 -1 4202560 65 0 0 0 3979 68 0 0 16 0 4 0 1098363058 560361472 20159 4294967295 134512640 135680988 3220167248 3068551516 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=20721/tid=20725] ppid=20719 vsize=547228 CPUtime=40.71
/proc/20721/task/20725/stat : 20725 (gnovelty+) R 20719 20721 15881 0 -1 4202560 64 0 0 0 4003 68 0 0 15 0 4 0 1098363058 560361472 20159 4294967295 134512640 135680988 3220167248 3059159388 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 547228
[startup+44.7247 s]
/proc/loadavg: 4.91 5.07 5.03 6/100 20914
/proc/meminfo: memFree=2966228/3368532 swapFree=1954072/1959888
[pid=20721] ppid=20719 vsize=547228 CPUtime=174.82
/proc/20721/stat : 20721 (gnovelty+) R 20719 20721 15881 0 -1 4202496 20204 0 0 0 17166 316 0 0 15 0 4 0 1098363046 560361472 20159 4294967295 134512640 135680988 3220167248 3220166492 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/20721/statm: 136807 20159 103 286 0 136519 0
[pid=20721/tid=20723] ppid=20719 vsize=547228 CPUtime=43.44
/proc/20721/task/20723/stat : 20723 (gnovelty+) R 20719 20721 15881 0 -1 4202560 62 0 0 0 4271 73 0 0 15 0 4 0 1098363058 560361472 20159 4294967295 134512640 135680988 3220167248 3077943644 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=20721/tid=20724] ppid=20719 vsize=547228 CPUtime=43.57
/proc/20721/task/20724/stat : 20724 (gnovelty+) R 20719 20721 15881 0 -1 4202560 65 0 0 0 4283 74 0 0 15 0 4 0 1098363058 560361472 20159 4294967295 134512640 135680988 3220167248 3068551516 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=20721/tid=20725] ppid=20719 vsize=547228 CPUtime=43.85
/proc/20721/task/20725/stat : 20725 (gnovelty+) R 20719 20721 15881 0 -1 4202560 64 0 0 0 4311 74 0 0 15 0 4 0 1098363058 560361472 20159 4294967295 134512640 135680988 3220167248 3059159404 134997786 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 174.82
Current children cumulated vsize (KiB) 547228
[startup+46.3143 s]
/proc/loadavg: 4.91 5.07 5.03 6/100 20914
/proc/meminfo: memFree=2966244/3368532 swapFree=1954072/1959888
[pid=20721] ppid=20719 vsize=547228 CPUtime=181.08
/proc/20721/stat : 20721 (gnovelty+) R 20719 20721 15881 0 -1 4202496 20204 0 0 0 17779 329 0 0 15 0 4 0 1098363046 560361472 20159 4294967295 134512640 135680988 3220167248 3220166492 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/20721/statm: 136807 20159 103 286 0 136519 0
[pid=20721/tid=20723] ppid=20719 vsize=547228 CPUtime=45.01
/proc/20721/task/20723/stat : 20723 (gnovelty+) R 20719 20721 15881 0 -1 4202560 62 0 0 0 4424 77 0 0 16 0 4 0 1098363058 560361472 20159 4294967295 134512640 135680988 3220167248 3077943644 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=20721/tid=20724] ppid=20719 vsize=547228 CPUtime=45.16
/proc/20721/task/20724/stat : 20724 (gnovelty+) R 20719 20721 15881 0 -1 4202560 65 0 0 0 4440 76 0 0 15 0 4 0 1098363058 560361472 20159 4294967295 134512640 135680988 3220167248 3068551516 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=20721/tid=20725] ppid=20719 vsize=547228 CPUtime=45.41
/proc/20721/task/20725/stat : 20725 (gnovelty+) R 20719 20721 15881 0 -1 4202560 64 0 0 0 4462 79 0 0 15 0 4 0 1098363058 560361472 20159 4294967295 134512640 135680988 3220167248 3059159388 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 181.08
Current children cumulated vsize (KiB) 547228
[startup+46.7142 s]
/proc/loadavg: 4.91 5.07 5.03 6/100 20914
/proc/meminfo: memFree=2966244/3368532 swapFree=1954072/1959888
[pid=20721] ppid=20719 vsize=547228 CPUtime=182.29
/proc/20721/stat : 20721 (gnovelty+) R 20719 20721 15881 0 -1 4202496 20204 0 0 0 17900 329 0 0 15 0 4 0 1098363046 560361472 20159 4294967295 134512640 135680988 3220167248 3220166492 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/20721/statm: 136807 20159 103 286 0 136519 0
[pid=20721/tid=20723] ppid=20719 vsize=547228 CPUtime=45.34
/proc/20721/task/20723/stat : 20723 (gnovelty+) R 20719 20721 15881 0 -1 4202560 62 0 0 0 4457 77 0 0 15 0 4 0 1098363058 560361472 20159 4294967295 134512640 135680988 3220167248 3077943644 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=20721/tid=20724] ppid=20719 vsize=547228 CPUtime=45.56
/proc/20721/task/20724/stat : 20724 (gnovelty+) R 20719 20721 15881 0 -1 4202560 65 0 0 0 4480 76 0 0 16 0 4 0 1098363058 560361472 20159 4294967295 134512640 135680988 3220167248 3068551516 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=20721/tid=20725] ppid=20719 vsize=547228 CPUtime=45.6
/proc/20721/task/20725/stat : 20725 (gnovelty+) R 20719 20721 15881 0 -1 4202560 64 0 0 0 4481 79 0 0 15 0 4 0 1098363058 560361472 20159 4294967295 134512640 135680988 3220167248 3059159388 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 182.29
Current children cumulated vsize (KiB) 547228
[startup+46.9168 s]
/proc/loadavg: 4.91 5.07 5.03 6/100 20914
/proc/meminfo: memFree=2966244/3368532 swapFree=1954072/1959888
[pid=20721] ppid=20719 vsize=547228 CPUtime=183.05
/proc/20721/stat : 20721 (gnovelty+) R 20719 20721 15881 0 -1 4202496 20204 0 0 0 17974 331 0 0 15 0 4 0 1098363046 560361472 20159 4294967295 134512640 135680988 3220167248 3220166492 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/20721/statm: 136807 20159 103 286 0 136519 0
[pid=20721/tid=20723] ppid=20719 vsize=547228 CPUtime=45.54
/proc/20721/task/20723/stat : 20723 (gnovelty+) R 20719 20721 15881 0 -1 4202560 62 0 0 0 4477 77 0 0 15 0 4 0 1098363058 560361472 20159 4294967295 134512640 135680988 3220167248 3077943644 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=20721/tid=20724] ppid=20719 vsize=547228 CPUtime=45.76
/proc/20721/task/20724/stat : 20724 (gnovelty+) R 20719 20721 15881 0 -1 4202560 65 0 0 0 4500 76 0 0 15 0 4 0 1098363058 560361472 20159 4294967295 134512640 135680988 3220167248 3068551516 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=20721/tid=20725] ppid=20719 vsize=547228 CPUtime=45.77
/proc/20721/task/20725/stat : 20725 (gnovelty+) R 20719 20721 15881 0 -1 4202560 64 0 0 0 4497 80 0 0 15 0 4 0 1098363058 560361472 20159 4294967295 134512640 135680988 3220167248 3059159388 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 183.05
Current children cumulated vsize (KiB) 547228
[startup+47.0155 s]
/proc/loadavg: 4.91 5.07 5.03 6/100 20914
/proc/meminfo: memFree=2966244/3368532 swapFree=1954072/1959888
[pid=20721] ppid=20719 vsize=547228 CPUtime=183.45
/proc/20721/stat : 20721 (gnovelty+) R 20719 20721 15881 0 -1 4202496 20204 0 0 0 18012 333 0 0 16 0 4 0 1098363046 560361472 20159 4294967295 134512640 135680988 3220167248 3220166492 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/20721/statm: 136807 20159 103 286 0 136519 0
[pid=20721/tid=20723] ppid=20719 vsize=547228 CPUtime=45.64
/proc/20721/task/20723/stat : 20723 (gnovelty+) R 20719 20721 15881 0 -1 4202560 62 0 0 0 4486 78 0 0 15 0 4 0 1098363058 560361472 20159 4294967295 134512640 135680988 3220167248 3077943644 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=20721/tid=20724] ppid=20719 vsize=547228 CPUtime=45.86
/proc/20721/task/20724/stat : 20724 (gnovelty+) R 20719 20721 15881 0 -1 4202560 65 0 0 0 4510 76 0 0 15 0 4 0 1098363058 560361472 20159 4294967295 134512640 135680988 3220167248 3068551516 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=20721/tid=20725] ppid=20719 vsize=547228 CPUtime=45.87
/proc/20721/task/20725/stat : 20725 (gnovelty+) R 20719 20721 15881 0 -1 4202560 64 0 0 0 4507 80 0 0 15 0 4 0 1098363058 560361472 20159 4294967295 134512640 135680988 3220167248 3059159388 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 183.45
Current children cumulated vsize (KiB) 547228
Child status: 10
Real time (s): 47.0338
CPU time (s): 183.49
CPU user time (s): 180.16
CPU system time (s): 3.33
CPU usage (%): 390.124
Max. virtual memory (cumulated for all children) (KiB): 547228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 180.16
system time used= 3.33
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20220
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 62620
involuntary context switches= 2440
runsolver used 0.04 second user time and 0.03 second system time
The end
Begin job on tipi44 at 2009-05-27 18:43:39
IDJOB=1777276
IDBENCH=70274
IDSOLVER=617
FILE ID=tipi44/1777276-1243442619
PBS_JOBID=
Free space on /tmp= 15893 MiB
SOLVER NAME= gNovelty+-T 2009-03-22 (4 threads)
BENCH NAME= SAT09/RANDOM/LARGE/7SAT/UNKNOWN/140/unif-k7-r85-v140-c11900-S1017667294-044.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1777276-1243442619/watcher-1777276-1243442619 -o /tmp/evaluation-result-1777276-1243442619/solver-1777276-1243442619 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1777276-1243442619.cnf 1562298963 4
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4
MD5SUM BENCH= 083530c917e5930f85d1f6585a40e1fa
RANDOM SEED= 1562298963
Linux tipi44 2.6.21.5 #6 SMP Wed Jul 4 17:16:38 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.116
cache size : 4096 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3992.42
clflush size : 64
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.116
cache size : 4096 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3990.10
clflush size : 64
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.116
cache size : 4096 KB
physical id : 3
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3990.14
clflush size : 64
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 15
model name : Intel(R) Xeon(R) CPU 5130 @ 2.00GHz
stepping : 6
cpu MHz : 1995.116
cache size : 4096 KB
physical id : 3
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 10
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips : 3990.16
clflush size : 64
/proc/meminfo:
MemTotal: 3368532 kB
MemFree: 3046572 kB
Buffers: 130772 kB
Cached: 84968 kB
SwapCached: 2184 kB
Active: 88728 kB
Inactive: 136920 kB
HighTotal: 2489216 kB
HighFree: 2392176 kB
LowTotal: 879316 kB
LowFree: 654396 kB
SwapTotal: 1959888 kB
SwapFree: 1954072 kB
Dirty: 1796 kB
Writeback: 0 kB
AnonPages: 8692 kB
Mapped: 3360 kB
Slab: 86488 kB
SReclaimable: 76724 kB
SUnreclaim: 9764 kB
PageTables: 476 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 3644152 kB
Committed_AS: 87892 kB
VmallocTotal: 114680 kB
VmallocUsed: 1444 kB
VmallocChunk: 113072 kB
Free space on /tmp at the end= 15893 MiB
End job on tipi44 at 2009-05-27 18:44:26