| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco 2 | ? (TO) | 2520 | 2520.01 |
| Name | SuperSolutions/SuperSolutions-Taillard-js15/ SuperTaillard-js-15-13.xml |
| MD5SUM | 388994c608323cc5ca888624a3c66f06 |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 110.493 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 450 |
| Number of constraints | 5580 |
| Number of domains | 89 |
| Minimum domain size | 1197 |
| Maximum domain size | 1295 |
| Distribution of domain sizes | [{"size":1197,"count":4},{"size":1199,"count":2},{"size":1200,"count":14},{"size":1201,"count":2},{"size":1202,"count":4},{"size":1203,"count":4},{"size":1204,"count":4},{"size":1206,"count":6},{"size":1207,"count":6},{"size":1208,"count":4},{"size":1209,"count":4},{"size":1210,"count":6},{"size":1211,"count":2},{"size":1212,"count":6},{"size":1213,"count":6},{"size":1214,"count":6},{"size":1215,"count":6},{"size":1216,"count":8},{"size":1217,"count":2},{"size":1218,"count":6},{"size":1219,"count":2},{"size":1220,"count":6},{"size":1221,"count":6},{"size":1222,"count":4},{"size":1223,"count":4},"...",{"size":1269,"count":8}, {"size":1270,"count":6}, {"size":1271,"count":4}, {"size":1272,"count":4}, {"size":1273,"count":6}, {"size":1274,"count":6}, {"size":1275,"count":4}, {"size":1277,"count":6}, {"size":1278,"count":6}, {"size":1279,"count":8}, {"size":1280,"count":4}, {"size":1281,"count":6}, {"size":1282,"count":6}, {"size":1283,"count":4}, {"size":1284,"count":10}, {"size":1285,"count":6}, {"size":1286,"count":6}, {"size":1287,"count":4}, {"size":1288,"count":2}, {"size":1289,"count":2}, {"size":1290,"count":2}, {"size":1291,"count":6}, {"size":1292,"count":4}, {"size":1293,"count":10}, {"size":1295,"count":2}] |
| Minimum variable degree | 16 |
| Maximum variable degree | 33 |
| Distribution of variable degrees | [{"degree":16,"count":30},{"degree":17,"count":195},{"degree":31,"count":30},{"degree":33,"count":195}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 2 |
| Distribution of constraint arities | [{"arity":2,"count":5580}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 5580 |
| Distribution of constraint types | [{"type":"intension","count":5580}] |
| Optimization problem | NO |
| Type of objective |
4.10/4.19 c root propagations : 313068 4.10/4.19 c restarts enabled, print stats at every restarts 4.10/4.19 c 4.10/4.19 c 4.10/4.19 c 4.10/4.19 c This is cosoco 2.00 -- 4.10/4.19 c 4.10/4.19 c command line: cosoco -lc -model -restarts -stick HOME/instance-4389473-1568357938.xml 4.10/4.19 c ========================================[ Problem Statistics ]=========================================== 4.10/4.19 c | 4.10/4.19 c | Parse time : 4.04 s 4.10/4.19 c | 4.10/4.19 c | Variables: 450 4.10/4.19 c | Domain Sizes: 1197..1295 4.10/4.19 c | 4.10/4.19 c | Constraints: 5580 4.10/4.19 c | Arity: 2..2 -- Binary: 5580 4.10/4.19 c | 4.10/4.19 c | Types: 4.10/4.19 c | (X != Y): 225 4.10/4.19 c | (X -Y <= k): 630 4.10/4.19 c | Intension: 4725 4.10/4.19 c | 4.10/4.19 c ========================================================================================================= 4.10/4.19 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 28.49/28.51 c 101 193 354092 1810721 450 0 6 65 44 46.58/46.69 c 211 427 672894 2699314 450 0 1 46 20 68.49/68.50 c 332 760 1075505 3202606 450 0 1 18 6 97.49/97.52 c 465 945 1366199 5564596 450 0 1 39 34 121.89/121.98 c 611 1326 1779115 5920272 450 0 19 43 29 147.88/147.94 c 771 1787 2305088 8318500 450 0 6 58 43 174.69/174.79 c 947 2369 2829606 9053060 450 0 1 68 14 221.48/221.52 c 1140 2618 3203939 12403269 450 0 4 43 41 268.47/268.55 c 1352 2896 3709586 15706832 450 0 24 54 50 295.77/295.81 c 1585 3457 4196982 16315289 450 0 1 50 26 331.47/331.58 c 1841 4078 4823866 17431292 450 0 1 52 23 404.08/404.19 c 2122 4828 6076246 20180130 450 0 1 69 28 486.67/486.75 c 2431 5595 7055401 23274268 450 0 1 55 26 507.68/507.73 c 2770 6062 7349023 24544187 450 0 5 52 47 556.09/556.13 c 3142 6615 8033292 26683491 450 0 3 44 33 633.87/634.01 c 3551 7372 8859651 31142966 450 0 1 43 30 718.47/718.51 c 4000 7943 9447740 36718923 450 0 1 57 53 761.67/761.79 c 4493 8737 10177277 39549943 450 0 5 106 86 831.08/831.13 c 5035 10286 10908075 43430637 450 0 4 70 54 884.26/884.38 c 5631 11134 11630276 46264048 450 0 2 95 84 922.17/922.26 c 6286 11983 12279463 49870707 450 0 1 59 54 944.77/944.88 c 7006 12782 12568840 51755006 450 0 3 39 38 975.17/975.29 c 7798 13688 12960646 54432564 450 0 3 38 36 993.47/993.50 c 8669 14669 13337382 55929676 450 0 3 40 38 1068.97/1069.01 c 9627 15710 13945441 64517438 450 0 3 41 40 1325.47/1325.52 c 10680 16974 15436983 82761528 450 0 12 53 51 1406.77/1406.81 c 11838 18380 16460674 92417295 450 0 19 52 48 1944.88/1944.94 c 13111 20099 20708334 122636947 450 0 2 43 40 1975.57/1975.65 c 14511 21669 21195398 124617691 450 0 12 73 68 2205.17/2205.28 c 16051 23631 23150976 141895968 450 0 5 21 18 2491.68/2491.76 c 17745 25748 25228889 160066623 450 0 6 40 37 2519.99/2520.01 2519.99/2520.01 c *** INTERRUPTED *** 2519.99/2520.01 c restarts : 31 2519.99/2520.01 c conflicts : 18082 (7 /sec) 2519.99/2520.01 c decisions : 26148 (10 /sec) 2519.99/2520.01 c propagations : 162271900 (64402 /sec) 2519.99/2520.01 c root propagations : 313068 2519.99/2520.01 c filter calls : 25491972 (10117 /sec) 2519.99/2520.01 c useless filter calls : 22687569 (88 %) 2519.99/2520.01 c Memory used : 447.41 MB 2519.99/2520.01 c CPU time : 2519.67 s 2519.99/2520.01 c real time : 2520.01 s 2519.99/2520.01 2519.99/2520.01 s UNKNOWN
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16375 MiB (13561 MiB free)
memory of node 1: 16384 MiB (13563 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389473-1568357938/watcher-4389473-1568357938 -o /tmp/evaluation-result-4389473-1568357938/solver-4389473-1568357938 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323872360-31075 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389473-1568357938.xml
running on 4 cores: 4-7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=31104, runsolver pid=31101
[startup+0.100156 s]*
/proc/loadavg: 4.01 4.42 4.88 3/199 31105
/proc/meminfo: memFree=27770580/32770688 swapFree=66919992/67108860
[pid=31104] ppid=31101 vsize=32408 memory=8636 CPUtime=0.1 cores=4-7
/proc/31104/stat : 31104 (cosoco) R 31101 31104 31043 0 -1 4202496 2356 0 0 0 10 0 0 0 20 0 1 0 411800125 33185792 2159 33554432000 4194304 6210612 140733518048608 140733518045144 140101767109763 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8308220 8313664 27320320 140733518050315 140733518050417 140733518050417 140733518053326 0
/proc/31104/statm: 8102 2159 796 493 0 1407 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32408 KiB
Current children cumulated memory: 8636 KiB
[startup+0.210791 s]*
/proc/loadavg: 4.01 4.42 4.88 3/199 31105
/proc/meminfo: memFree=27769092/32770688 swapFree=66919992/67108860
[pid=31104] ppid=31101 vsize=33416 memory=9328 CPUtime=0.21 cores=4-7
/proc/31104/stat : 31104 (cosoco) R 31101 31104 31043 0 -1 4202496 2548 0 0 0 21 0 0 0 20 0 1 0 411800125 34217984 2332 33554432000 4194304 6210612 140733518048608 140733518045144 140101772967701 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8308220 8313664 27320320 140733518050315 140733518050417 140733518050417 140733518053326 0
/proc/31104/statm: 8354 2332 796 493 0 1659 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 33416 KiB
Current children cumulated memory: 9328 KiB
[startup+0.310443 s]*
/proc/loadavg: 4.01 4.42 4.88 3/199 31105
/proc/meminfo: memFree=27758252/32770688 swapFree=66919992/67108860
[pid=31104] ppid=31101 vsize=39320 memory=15488 CPUtime=0.31 cores=4-7
/proc/31104/stat : 31104 (cosoco) R 31101 31104 31043 0 -1 4202496 4062 0 0 0 31 0 0 0 20 0 1 0 411800125 40263680 3872 33554432000 4194304 6210612 140733518048608 140733518045144 140101763619813 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8308220 8313664 27320320 140733518050315 140733518050417 140733518050417 140733518053326 0
/proc/31104/statm: 9830 3872 815 493 0 3135 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 39320 KiB
Current children cumulated memory: 15488 KiB
[startup+0.70033 s]
/proc/loadavg: 4.01 4.42 4.88 3/199 31105
/proc/meminfo: memFree=27726304/32770688 swapFree=66919992/67108860
[pid=31104] ppid=31101 vsize=69392 memory=45416 CPUtime=0.69 cores=4-7
/proc/31104/stat : 31104 (cosoco) R 31101 31104 31043 0 -1 4202496 11576 0 0 0 67 2 0 0 20 0 1 0 411800125 71057408 11354 33554432000 4194304 6210612 140733518048608 140733518039832 140101763619813 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8308220 8313664 27320320 140733518050315 140733518050417 140733518050417 140733518053326 0
/proc/31104/statm: 17348 11354 815 493 0 10653 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 69392 KiB
Current children cumulated memory: 45416 KiB
[startup+1.50034 s]
/proc/loadavg: 4.01 4.42 4.88 4/199 31105
/proc/meminfo: memFree=27651788/32770688 swapFree=66919992/67108860
[pid=31104] ppid=31101 vsize=132800 memory=108852 CPUtime=1.49 cores=4-7
/proc/31104/stat : 31104 (cosoco) R 31101 31104 31043 0 -1 4202496 27437 0 0 0 145 4 0 0 20 0 1 0 411800125 135987200 27213 33554432000 4194304 6210612 140733518048608 140733518038584 140101763619813 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8308220 8313664 27320320 140733518050315 140733518050417 140733518050417 140733518053326 0
/proc/31104/statm: 33200 27213 815 493 0 26505 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 132800 KiB
Current children cumulated memory: 108852 KiB
[startup+3.11067 s]
/proc/loadavg: 3.85 4.38 4.86 3/199 31105
/proc/meminfo: memFree=27347048/32770688 swapFree=66919992/67108860
[pid=31104] ppid=31101 vsize=260392 memory=236572 CPUtime=3.1 cores=4-7
/proc/31104/stat : 31104 (cosoco) R 31101 31104 31043 0 -1 4202496 59508 0 0 0 301 9 0 0 20 0 1 0 411800125 266641408 59143 33554432000 4194304 6210612 140733518048608 140733518043784 140101763619813 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8308220 8313664 27320320 140733518050315 140733518050417 140733518050417 140733518053326 0
/proc/31104/statm: 65098 59143 815 493 0 58403 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 260392 KiB
Current children cumulated memory: 236572 KiB
[startup+6.30032 s]
/proc/loadavg: 3.85 4.38 4.86 3/199 31105
/proc/meminfo: memFree=27161392/32770688 swapFree=66919992/67108860
[pid=31104] ppid=31101 vsize=339604 memory=316116 CPUtime=6.29 cores=4-7
/proc/31104/stat : 31104 (cosoco) R 31101 31104 31043 0 -1 4202496 97450 0 0 0 616 13 0 0 20 0 1 0 411800125 347754496 79029 33554432000 4194304 6210612 140733518048608 140733518046104 5440464 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8308220 8313664 27320320 140733518050315 140733518050417 140733518050417 140733518053326 0
/proc/31104/statm: 84901 79029 857 493 0 78206 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 339604 KiB
Current children cumulated memory: 316116 KiB
[startup+12.7003 s]
/proc/loadavg: 3.70 4.34 4.85 3/199 31105
/proc/meminfo: memFree=27142444/32770688 swapFree=66919992/67108860
[pid=31104] ppid=31101 vsize=355444 memory=331932 CPUtime=12.69 cores=4-7
/proc/31104/stat : 31104 (cosoco) R 31101 31104 31043 0 -1 4202496 124631 0 0 0 1254 15 0 0 20 0 1 0 411800125 363974656 82983 33554432000 4194304 6210612 140733518048608 140733518046264 5069103 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8308220 8313664 27320320 140733518050315 140733518050417 140733518050417 140733518053326 0
/proc/31104/statm: 88861 82983 857 493 0 82166 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 355444 KiB
Current children cumulated memory: 331932 KiB
[startup+25.5003 s]
/proc/loadavg: 3.32 4.22 4.80 3/199 31105
/proc/meminfo: memFree=27125936/32770688 swapFree=66919992/67108860
[pid=31104] ppid=31101 vsize=361780 memory=338292 CPUtime=25.49 cores=4-7
/proc/31104/stat : 31104 (cosoco) R 31101 31104 31043 0 -1 4202496 149555 0 0 0 2531 18 0 0 20 0 1 0 411800125 370462720 84573 33554432000 4194304 6210612 140733518048608 140733518046264 5442901 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8308220 8313664 27320320 140733518050315 140733518050417 140733518050417 140733518053326 0
/proc/31104/statm: 90445 84573 857 493 0 83750 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 361780 KiB
Current children cumulated memory: 338292 KiB
[startup+51.1106 s]
/proc/loadavg: 2.87 4.04 4.73 3/199 31115
/proc/meminfo: memFree=27103256/32770688 swapFree=66919992/67108860
[pid=31104] ppid=31101 vsize=374188 memory=350712 CPUtime=51.1 cores=4-7
/proc/31104/stat : 31104 (cosoco) R 31101 31104 31043 0 -1 4202496 191023 0 0 0 5090 20 0 0 20 0 1 0 411800125 383168512 87678 33554432000 4194304 6210612 140733518048608 140733518046264 5453766 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8308220 8313664 27320320 140733518050315 140733518050417 140733518050417 140733518053326 0
/proc/31104/statm: 93547 87678 860 493 0 86852 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 374188 KiB
Current children cumulated memory: 350712 KiB
[startup+102.3 s]
/proc/loadavg: 2.38 3.73 4.58 3/199 31118
/proc/meminfo: memFree=27075280/32770688 swapFree=66919992/67108860
[pid=31104] ppid=31101 vsize=389632 memory=366136 CPUtime=102.29 cores=4-7
/proc/31104/stat : 31104 (cosoco) R 31101 31104 31043 0 -1 4202496 225012 0 0 0 10207 22 0 0 20 0 1 0 411800125 398983168 91534 33554432000 4194304 6210612 140733518048608 140733518046264 5453748 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8308220 8313664 27320320 140733518050315 140733518050417 140733518050417 140733518053326 0
/proc/31104/statm: 97408 91534 860 493 0 90713 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 389632 KiB
Current children cumulated memory: 366136 KiB
[startup+162.3 s]
/proc/loadavg: 2.14 3.41 4.42 4/199 31122
/proc/meminfo: memFree=27045512/32770688 swapFree=66919992/67108860
[pid=31104] ppid=31101 vsize=401644 memory=378252 CPUtime=162.28 cores=4-7
/proc/31104/stat : 31104 (cosoco) R 31101 31104 31043 0 -1 4202496 247325 0 0 0 16205 23 0 0 20 0 1 0 411800125 411283456 94563 33554432000 4194304 6210612 140733518048608 140733518046264 5478214 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8308220 8313664 27320320 140733518050315 140733518050417 140733518050417 140733518053326 0
/proc/31104/statm: 100411 94563 860 493 0 93716 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 401644 KiB
Current children cumulated memory: 378252 KiB
[startup+222.3 s]
/proc/loadavg: 2.05 3.16 4.27 3/199 31128
/proc/meminfo: memFree=27029212/32770688 swapFree=66919992/67108860
[pid=31104] ppid=31101 vsize=408244 memory=384744 CPUtime=222.28 cores=4-7
/proc/31104/stat : 31104 (cosoco) R 31101 31104 31043 0 -1 4202496 259184 0 0 0 22203 25 0 0 20 0 1 0 411800125 418041856 96186 33554432000 4194304 6210612 140733518048608 140733518046264 5440937 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8308220 8313664 27320320 140733518050315 140733518050417 140733518050417 140733518053326 0
/proc/31104/statm: 102061 96186 860 493 0 95366 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 408244 KiB
Current children cumulated memory: 384744 KiB
[startup+282.3 s]
/proc/loadavg: 2.02 2.95 4.13 3/199 31132
/proc/meminfo: memFree=27017868/32770688 swapFree=66919992/67108860
[pid=31104] ppid=31101 vsize=412072 memory=388636 CPUtime=282.27 cores=4-7
/proc/31104/stat : 31104 (cosoco) R 31101 31104 31043 0 -1 4202496 262578 0 0 0 28202 25 0 0 20 0 1 0 411800125 421961728 97159 33554432000 4194304 6210612 140733518048608 140733518046264 5446767 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8308220 8313664 27320320 140733518050315 140733518050417 140733518050417 140733518053326 0
/proc/31104/statm: 103018 97159 860 493 0 96323 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 412072 KiB
Current children cumulated memory: 388636 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.77 3.99 3/199 31137
/proc/meminfo: memFree=27003576/32770688 swapFree=66919992/67108860
[pid=31104] ppid=31101 vsize=421312 memory=397648 CPUtime=342.28 cores=4-7
/proc/31104/stat : 31104 (cosoco) R 31101 31104 31043 0 -1 4202496 266113 0 0 0 34202 26 0 0 20 0 1 0 411800125 431423488 99412 33554432000 4194304 6210612 140733518048608 140733518046264 5451442 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8308220 8313664 27320320 140733518050315 140733518050417 140733518050417 140733518053326 0
/proc/31104/statm: 105328 99412 860 493 0 98633 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 421312 KiB
Current children cumulated memory: 397648 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.63 3.87 4/199 31143
/proc/meminfo: memFree=26995980/32770688 swapFree=66919992/67108860
[pid=31104] ppid=31101 vsize=425148 memory=401540 CPUtime=402.27 cores=4-7
/proc/31104/stat : 31104 (cosoco) R 31101 31104 31043 0 -1 4202496 269488 0 0 0 40201 26 0 0 20 0 1 0 411800125 435351552 100385 33554432000 4194304 6210612 140733518048608 140733518046264 5440456 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8308220 8313664 27320320 140733518050315 140733518050417 140733518050417 140733518053326 0
/proc/31104/statm: 106287 100385 860 493 0 99592 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 425148 KiB
Current children cumulated memory: 401540 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.52 3.75 4/199 31147
/proc/meminfo: memFree=26987896/32770688 swapFree=66919992/67108860
[pid=31104] ppid=31101 vsize=429240 memory=405704 CPUtime=462.27 cores=4-7
/proc/31104/stat : 31104 (cosoco) R 31101 31104 31043 0 -1 4202496 272323 0 0 0 46201 26 0 0 20 0 1 0 411800125 439541760 101426 33554432000 4194304 6210612 140733518048608 140733518046264 140101773564815 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8308220 8313664 27320320 140733518050315 140733518050417 140733518050417 140733518053326 0
/proc/31104/statm: 107310 101426 860 493 0 100615 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 429240 KiB
Current children cumulated memory: 405704 KiB
################
# More data... #
################
/proc/31104/statm: 113415 107558 860 493 0 106720 0
Current children cumulated CPU time: 1722.27 s
Current children cumulated vsize: 453660 KiB
Current children cumulated memory: 430232 KiB
[startup+1782.3 s]
/proc/loadavg: 2.01 2.04 2.45 3/199 31264
/proc/meminfo: memFree=26951408/32770688 swapFree=66919992/67108860
[pid=31104] ppid=31101 vsize=453660 memory=430232 CPUtime=1782.27 cores=4-7
/proc/31104/stat : 31104 (cosoco) R 31101 31104 31043 0 -1 4202496 319966 0 0 0 178197 30 0 0 20 0 1 0 411800125 464547840 107558 33554432000 4194304 6210612 140733518048608 140733518046264 5442901 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8308220 8313664 27320320 140733518050315 140733518050417 140733518050417 140733518053326 0
/proc/31104/statm: 113415 107558 860 493 0 106720 0
Current children cumulated CPU time: 1782.27 s
Current children cumulated vsize: 453660 KiB
Current children cumulated memory: 430232 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.04 2.42 3/200 31278
/proc/meminfo: memFree=26951732/32770688 swapFree=66919992/67108860
[pid=31104] ppid=31101 vsize=453660 memory=430232 CPUtime=1842.27 cores=4-7
/proc/31104/stat : 31104 (cosoco) R 31101 31104 31043 0 -1 4202496 320787 0 0 0 184197 30 0 0 20 0 1 0 411800125 464547840 107558 33554432000 4194304 6210612 140733518048608 140733518046264 5446025 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8308220 8313664 27320320 140733518050315 140733518050417 140733518050417 140733518053326 0
/proc/31104/statm: 113415 107558 860 493 0 106720 0
Current children cumulated CPU time: 1842.27 s
Current children cumulated vsize: 453660 KiB
Current children cumulated memory: 430232 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.03 2.39 3/200 31282
/proc/meminfo: memFree=26951040/32770688 swapFree=66919992/67108860
[pid=31104] ppid=31101 vsize=453660 memory=430232 CPUtime=1902.27 cores=4-7
/proc/31104/stat : 31104 (cosoco) R 31101 31104 31043 0 -1 4202496 321618 0 0 0 190197 30 0 0 20 0 1 0 411800125 464547840 107558 33554432000 4194304 6210612 140733518048608 140733518046264 5478189 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8308220 8313664 27320320 140733518050315 140733518050417 140733518050417 140733518053326 0
/proc/31104/statm: 113415 107558 860 493 0 106720 0
Current children cumulated CPU time: 1902.27 s
Current children cumulated vsize: 453660 KiB
Current children cumulated memory: 430232 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.03 2.37 3/200 31286
/proc/meminfo: memFree=26948008/32770688 swapFree=66919992/67108860
[pid=31104] ppid=31101 vsize=455904 memory=432420 CPUtime=1962.28 cores=4-7
/proc/31104/stat : 31104 (cosoco) R 31101 31104 31043 0 -1 4202496 323027 0 0 0 196197 31 0 0 20 0 1 0 411800125 466845696 108105 33554432000 4194304 6210612 140733518048608 140733518046264 5446115 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8308220 8313664 27320320 140733518050315 140733518050417 140733518050417 140733518053326 0
/proc/31104/statm: 113976 108105 860 493 0 107281 0
Current children cumulated CPU time: 1962.28 s
Current children cumulated vsize: 455904 KiB
Current children cumulated memory: 432420 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.35 3/200 31292
/proc/meminfo: memFree=26947076/32770688 swapFree=66919992/67108860
[pid=31104] ppid=31101 vsize=456696 memory=433212 CPUtime=2022.27 cores=4-7
/proc/31104/stat : 31104 (cosoco) R 31101 31104 31043 0 -1 4202496 323959 0 0 0 202196 31 0 0 20 0 1 0 411800125 467656704 108303 33554432000 4194304 6210612 140733518048608 140733518046264 5476650 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8308220 8313664 27320320 140733518050315 140733518050417 140733518050417 140733518053326 0
/proc/31104/statm: 114174 108303 860 493 0 107479 0
Current children cumulated CPU time: 2022.27 s
Current children cumulated vsize: 456696 KiB
Current children cumulated memory: 433212 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.02 2.32 4/200 31296
/proc/meminfo: memFree=26946528/32770688 swapFree=66919992/67108860
[pid=31104] ppid=31101 vsize=456828 memory=433408 CPUtime=2082.27 cores=4-7
/proc/31104/stat : 31104 (cosoco) R 31101 31104 31043 0 -1 4202496 324742 0 0 0 208196 31 0 0 20 0 1 0 411800125 467791872 108352 33554432000 4194304 6210612 140733518048608 140733518046264 5446066 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8308220 8313664 27320320 140733518050315 140733518050417 140733518050417 140733518053326 0
/proc/31104/statm: 114207 108352 860 493 0 107512 0
Current children cumulated CPU time: 2082.27 s
Current children cumulated vsize: 456828 KiB
Current children cumulated memory: 433408 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.30 4/199 31301
/proc/meminfo: memFree=26946748/32770688 swapFree=66919992/67108860
[pid=31104] ppid=31101 vsize=456960 memory=433476 CPUtime=2142.27 cores=4-7
/proc/31104/stat : 31104 (cosoco) R 31101 31104 31043 0 -1 4202496 325492 0 0 0 214196 31 0 0 20 0 1 0 411800125 467927040 108369 33554432000 4194304 6210612 140733518048608 140733518046264 5440943 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8308220 8313664 27320320 140733518050315 140733518050417 140733518050417 140733518053326 0
/proc/31104/statm: 114240 108369 860 493 0 107545 0
Current children cumulated CPU time: 2142.27 s
Current children cumulated vsize: 456960 KiB
Current children cumulated memory: 433476 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.29 3/199 31307
/proc/meminfo: memFree=26946100/32770688 swapFree=66919992/67108860
[pid=31104] ppid=31101 vsize=457092 memory=433560 CPUtime=2202.27 cores=4-7
/proc/31104/stat : 31104 (cosoco) R 31101 31104 31043 0 -1 4202496 326321 0 0 0 220196 31 0 0 20 0 1 0 411800125 468062208 108390 33554432000 4194304 6210612 140733518048608 140733518046264 5451322 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8308220 8313664 27320320 140733518050315 140733518050417 140733518050417 140733518053326 0
/proc/31104/statm: 114273 108390 860 493 0 107578 0
Current children cumulated CPU time: 2202.27 s
Current children cumulated vsize: 457092 KiB
Current children cumulated memory: 433560 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.27 3/199 31311
/proc/meminfo: memFree=26945452/32770688 swapFree=66919992/67108860
[pid=31104] ppid=31101 vsize=457356 memory=433844 CPUtime=2262.27 cores=4-7
/proc/31104/stat : 31104 (cosoco) R 31101 31104 31043 0 -1 4202496 327159 0 0 0 226196 31 0 0 20 0 1 0 411800125 468332544 108461 33554432000 4194304 6210612 140733518048608 140733518046264 5440975 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8308220 8313664 27320320 140733518050315 140733518050417 140733518050417 140733518053326 0
/proc/31104/statm: 114339 108461 860 493 0 107644 0
Current children cumulated CPU time: 2262.27 s
Current children cumulated vsize: 457356 KiB
Current children cumulated memory: 433844 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.25 3/199 31316
/proc/meminfo: memFree=26945420/32770688 swapFree=66919992/67108860
[pid=31104] ppid=31101 vsize=457356 memory=433956 CPUtime=2322.27 cores=4-7
/proc/31104/stat : 31104 (cosoco) R 31101 31104 31043 0 -1 4202496 327928 0 0 0 232196 31 0 0 20 0 1 0 411800125 468332544 108489 33554432000 4194304 6210612 140733518048608 140733518046264 5442952 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8308220 8313664 27320320 140733518050315 140733518050417 140733518050417 140733518053326 0
/proc/31104/statm: 114339 108489 860 493 0 107644 0
Current children cumulated CPU time: 2322.27 s
Current children cumulated vsize: 457356 KiB
Current children cumulated memory: 433956 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.23 3/199 31322
/proc/meminfo: memFree=26945520/32770688 swapFree=66919992/67108860
[pid=31104] ppid=31101 vsize=457356 memory=433972 CPUtime=2382.27 cores=4-7
/proc/31104/stat : 31104 (cosoco) R 31101 31104 31043 0 -1 4202496 328657 0 0 0 238196 31 0 0 20 0 1 0 411800125 468332544 108493 33554432000 4194304 6210612 140733518048608 140733518046264 5446066 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8308220 8313664 27320320 140733518050315 140733518050417 140733518050417 140733518053326 0
/proc/31104/statm: 114339 108493 860 493 0 107644 0
Current children cumulated CPU time: 2382.27 s
Current children cumulated vsize: 457356 KiB
Current children cumulated memory: 433972 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.22 3/200 31334
/proc/meminfo: memFree=26943988/32770688 swapFree=66919992/67108860
[pid=31104] ppid=31101 vsize=457356 memory=433972 CPUtime=2442.27 cores=4-7
/proc/31104/stat : 31104 (cosoco) R 31101 31104 31043 0 -1 4202496 329382 0 0 0 244196 31 0 0 20 0 1 0 411800125 468332544 108493 33554432000 4194304 6210612 140733518048608 140733518046264 5192912 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8308220 8313664 27320320 140733518050315 140733518050417 140733518050417 140733518053326 0
/proc/31104/statm: 114339 108493 860 493 0 107644 0
Current children cumulated CPU time: 2442.27 s
Current children cumulated vsize: 457356 KiB
Current children cumulated memory: 433972 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.21 3/201 31361
/proc/meminfo: memFree=26943416/32770688 swapFree=66919992/67108860
[pid=31104] ppid=31101 vsize=458148 memory=434556 CPUtime=2502.28 cores=4-7
/proc/31104/stat : 31104 (cosoco) R 31101 31104 31043 0 -1 4202496 330451 0 0 0 250196 32 0 0 20 0 1 0 411800125 469143552 108639 33554432000 4194304 6210612 140733518048608 140733518046264 5451458 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8308220 8313664 27320320 140733518050315 140733518050417 140733518050417 140733518053326 0
/proc/31104/statm: 114537 108639 860 493 0 107842 0
Current children cumulated CPU time: 2502.28 s
Current children cumulated vsize: 458148 KiB
Current children cumulated memory: 434556 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.20 2/199 31364
/proc/meminfo: memFree=27345016/32770688 swapFree=66919992/67108860
[pid=31104] ppid=31101 vsize=458148 memory=434736 CPUtime=2519.99 cores=4-7
/proc/31104/stat : 31104 (cosoco) R 31101 31104 31043 0 -1 4202496 330937 0 0 0 251967 32 0 0 20 0 1 0 411800125 469143552 108684 33554432000 4194304 6210612 140733518048608 140733518046264 5451322 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8308220 8313664 27320320 140733518050315 140733518050417 140733518050417 140733518053326 0
/proc/31104/statm: 114537 108684 860 493 0 107842 0
Current children cumulated CPU time: 2519.99 s
Current children cumulated vsize: 458148 KiB
Current children cumulated memory: 434736 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 31104 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.67 s, system=0.322999 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.01
CPU time (s): 2520
CPU user time (s): 2519.67
CPU system time (s): 0.322999
CPU usage (%): 99.9993
Max. virtual memory (cumulated for all children) (KiB): 458148
Max. memory (cumulated for all children) (KiB): 434736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.67
system time used= 0.322999
maximum resident set size= 434812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 330976
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= 25
involuntary context switches= 1417
# summary of solver processes directly reported to runsolver:
# pid: 31104
# total CPU time (s): 2520
# total CPU user time (s): 2519.67
# total CPU system time (s): 0.322999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.5636 second user time and 19.4952 second system time
The end
Begin job on node120 at 2011-12-14 15:19:21 IDJOB=4389473 IDBENCH=138480 IDSOLVER=2829 FILE ID=node120/4389473-1568357938 RUNJOBID= node120-1323872360-31075 PBS_JOBID= 21701193 Free space on /tmp= 59152 MiB SOLVER NAME= cosoco 2 BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-js15/SuperTaillard-js-15-13.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4389473-1568357938/watcher-4389473-1568357938 -o /tmp/evaluation-result-4389473-1568357938/solver-4389473-1568357938 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323872360-31075 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389473-1568357938.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 388994c608323cc5ca888624a3c66f06 RANDOM SEED=917022084 node120.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5329.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5329.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5329.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2667.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5329.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770688 kB MemFree: 27779908 kB MemAvailable: 31817224 kB Buffers: 167380 kB Cached: 4163664 kB SwapCached: 77548 kB Active: 1251184 kB Inactive: 3161428 kB Active(anon): 4460 kB Inactive(anon): 127220 kB Active(file): 1246724 kB Inactive(file): 3034208 kB Unevictable: 108232 kB Mlocked: 108232 kB SwapTotal: 67108860 kB SwapFree: 66919992 kB Dirty: 6216 kB Writeback: 0 kB AnonPages: 113040 kB Mapped: 46716 kB Shmem: 41008 kB Slab: 173592 kB SReclaimable: 144440 kB SUnreclaim: 29152 kB KernelStack: 3280 kB PageTables: 5924 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 519076 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 146880 kB DirectMap2M: 33398784 kB Free space on /tmp at the end= 59148 MiB End job on node120 at 2011-12-14 16:01:21