Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4J PB RES // CP 2.2.0 2010-05-31 | ? (TO) | 1802.59 | 931.412 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-4.opb |
MD5SUM | e1b2be59a127acc8d929395698929541 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -40 |
Best CPU time to get the best result obtained on this benchmark | 1789.87 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -45 |
Optimality of the best value was proved | NO |
Number of variables | 945 |
Total number of constraints | 58549 |
Number of constraints which are clauses | 58549 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 945 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 945 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 945 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.09/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.09/0.14 c This is free software under the dual EPL/GNU LGPL licenses. 0.09/0.14 c See www.sat4j.org for details. 0.09/0.15 c version 2.2.0.v20100531 0.09/0.15 c java.runtime.name Java(TM) SE Runtime Environment 0.09/0.15 c java.vm.name Java HotSpot(TM) Server VM 0.09/0.15 c java.vm.version 11.2-b01 0.09/0.15 c java.vm.vendor Sun Microsystems Inc. 0.09/0.15 c sun.arch.data.model 32 0.09/0.15 c java.version 1.6.0_12 0.09/0.15 c os.name Linux 0.09/0.15 c os.version 2.6.18-164.el5 0.09/0.15 c os.arch i386 0.09/0.15 c Free memory 1393557488 0.09/0.15 c Max memory 1395916800 0.09/0.15 c Total memory 1395916800 0.09/0.15 c Number of processors 2 0.24/0.21 c Pseudo Boolean Optimization 0.24/0.21 c ManyCore solver with 2 solvers running in parallel 0.24/0.21 c --- Begin Solver configuration --- 0.24/0.21 c Stops conflict analysis at the first Unique Implication Point 0.24/0.21 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1f436f5 0.24/0.21 c Learn all clauses as in MiniSAT 0.24/0.21 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.24/0.21 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.24/0.21 c Expensive reason simplification 0.24/0.21 c Armin Biere (Picosat) restarts strategy 0.24/0.21 c Glucose learned constraints deletion strategy 0.24/0.21 c timeout=2147483s 0.24/0.21 c DB Simplification allowed=false 0.24/0.21 c --- End Solver configuration --- 0.24/0.21 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.24/0.21 c --- Begin Solver configuration --- 0.24/0.21 c Stops conflict analysis at the first Unique Implication Point 0.24/0.21 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@18385e3 0.24/0.21 c Learn all clauses as in MiniSAT 0.24/0.21 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.24/0.22 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.24/0.22 c No reason simplification 0.24/0.22 c Armin Biere (Picosat) restarts strategy 0.24/0.22 c Glucose learned constraints deletion strategy 0.24/0.22 c timeout=2147483s 0.24/0.22 c DB Simplification allowed=false 0.24/0.22 c --- End Solver configuration --- 0.24/0.22 0.24/0.22 c solving HOME/instance-2662287-1276500307.opb 0.24/0.22 c reading problem ... 2.92/1.88 c ... done. Wall clock time 1.665s. 2.92/1.88 c #vars 945 2.92/1.88 c #constraints 58549 2.92/1.88 c constraints type 2.92/1.88 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 58549 2.92/1.88 c constraints type 2.92/1.88 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 58549 3.02/1.97 c And the winner is Resolution 3.19/2.90 c SATISFIABLE 3.19/2.90 c OPTIMIZING... 3.19/2.90 c Got one! Elapsed wall clock time (in seconds):2.684 3.19/2.90 o -34 3.98/3.32 c And the winner is Resolution 4.68/3.92 c Got one! Elapsed wall clock time (in seconds):3.704 4.68/3.92 o -35 9.00/6.12 c cleaning 2499 clauses out of 5000 with flag 5000/5000 12.84/8.17 c And the winner is Resolution 13.14/8.99 c Got one! Elapsed wall clock time (in seconds):8.776 13.14/8.99 o -36 14.75/9.90 c cleaning 4250 clauses out of 8501 with flag 11000/11000 20.91/13.00 c cleaning 5621 clauses out of 11252 with flag 18001/18001 28.68/17.06 c cleaning 6816 clauses out of 13632 with flag 26002/26002 38.46/22.15 c cleaning 7907 clauses out of 15814 with flag 35000/35000 49.30/27.75 c cleaning 8954 clauses out of 17907 with flag 45000/45000 62.08/34.36 c cleaning 9976 clauses out of 19953 with flag 56000/56000 76.39/41.80 c cleaning 10989 clauses out of 21978 with flag 68001/68001 92.75/50.24 c cleaning 11989 clauses out of 23988 with flag 81000/81000 111.82/60.09 c cleaning 12997 clauses out of 25999 with flag 95000/95000 138.75/73.87 c cleaning 13993 clauses out of 28002 with flag 110000/110000 160.64/85.15 c cleaning 14990 clauses out of 30009 with flag 126000/126000 185.13/97.88 c cleaning 16005 clauses out of 32020 with flag 143001/143001 216.71/114.07 c cleaning 17006 clauses out of 34014 with flag 161000/161000 243.18/127.62 c And the winner is Resolution 246.72/131.66 c Got one! Elapsed wall clock time (in seconds):131.438 246.72/131.66 o -37 253.35/135.06 c cleaning 18000 clauses out of 36008 with flag 180000/180000 280.51/149.10 c cleaning 18999 clauses out of 38008 with flag 200000/200000 318.53/168.69 c cleaning 20003 clauses out of 40009 with flag 221000/221000 365.09/192.41 c cleaning 21002 clauses out of 42006 with flag 243000/243000 410.64/215.82 c cleaning 21997 clauses out of 44004 with flag 266000/266000 445.44/233.82 c cleaning 22998 clauses out of 46007 with flag 290000/290000 491.96/257.80 c cleaning 24002 clauses out of 48009 with flag 315000/315000 557.97/291.65 c cleaning 25003 clauses out of 50008 with flag 341001/341001 621.87/324.45 c cleaning 26000 clauses out of 52005 with flag 368001/368001 701.76/365.35 c cleaning 27003 clauses out of 54006 with flag 396002/396002 743.98/387.36 c cleaning 27993 clauses out of 56002 with flag 425001/425001 809.16/420.71 c cleaning 29004 clauses out of 58009 with flag 455001/455001 876.17/455.04 c cleaning 30003 clauses out of 60006 with flag 486002/486002 964.47/500.11 c cleaning 30986 clauses out of 62001 with flag 518000/518000 1052.21/545.25 c cleaning 32006 clauses out of 64015 with flag 551000/551000 1087.18/563.46 c cleaning 0 clauses out of 5000 with flag 0/5000 1169.22/605.57 c cleaning 32994 clauses out of 66009 with flag 585000/585000 1220.50/632.00 c cleaning 34006 clauses out of 68016 with flag 620001/620001 1289.22/667.67 c cleaning 34994 clauses out of 70009 with flag 656000/656000 1372.10/710.27 c cleaning 36007 clauses out of 72015 with flag 693000/693000 1479.59/765.15 c cleaning 37000 clauses out of 74009 with flag 731001/731001 1686.48/870.43 c cleaning 37998 clauses out of 76008 with flag 770000/770000 1798.99/928.47 c cleaning 38999 clauses out of 78010 with flag 810000/810000
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2662287-1276500307/watcher-2662287-1276500307 -o /tmp/evaluation-result-2662287-1276500307/solver-2662287-1276500307 -C 1800 -W 2000 -M 1800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2662287-1276500307.opb 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/106 29696 /proc/meminfo: memFree=1818792/2059040 swapFree=4140220/4192956 [pid=29696] ppid=29694 vsize=1832 CPUtime=0 /proc/29696/stat : 29696 (java6) S 29694 29696 29508 0 -1 4194304 244 0 0 0 0 0 0 0 22 0 1 0 25632351 1875968 148 1992294400 134512640 134550932 4289394656 18446744073709551615 4294960144 0 2147483391 4096 0 18446744071699387582 0 0 17 1 0 0 0 /proc/29696/statm: 458 148 111 10 0 63 0 [startup+0.071141 s] /proc/loadavg: 1.00 1.00 1.00 3/106 29696 /proc/meminfo: memFree=1818792/2059040 swapFree=4140220/4192956 [pid=29696] ppid=29694 vsize=1521796 CPUtime=0.05 /proc/29696/stat : 29696 (java) S 29694 29696 29508 0 -1 4202496 3695 0 1 0 3 2 0 0 18 0 7 0 25632351 1558319104 3137 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 /proc/29696/statm: 380449 3137 1033 10 0 377759 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 1521796 [startup+0.102147 s] /proc/loadavg: 1.00 1.00 1.00 3/106 29696 /proc/meminfo: memFree=1818792/2059040 swapFree=4140220/4192956 [pid=29696] ppid=29694 vsize=1524180 CPUtime=0.09 /proc/29696/stat : 29696 (java) S 29694 29696 29508 0 -1 4202496 3952 0 1 0 6 3 0 0 18 0 12 0 25632351 1560760320 3392 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/29696/statm: 381045 3392 1075 10 0 378348 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1524180 [startup+0.300255 s] /proc/loadavg: 1.00 1.00 1.00 3/106 29696 /proc/meminfo: memFree=1818792/2059040 swapFree=4140220/4192956 [pid=29696] ppid=29694 vsize=1526132 CPUtime=0.36 /proc/29696/stat : 29696 (java) S 29694 29696 29508 0 -1 4202496 5353 0 1 0 32 4 0 0 18 0 12 0 25632351 1562759168 4791 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/29696/statm: 381533 4792 1361 10 0 378836 0 Current children cumulated CPU time (s) 0.36 Current children cumulated vsize (KiB) 1526132 [startup+0.702262 s] /proc/loadavg: 1.00 1.00 1.00 3/106 29696 /proc/meminfo: memFree=1818792/2059040 swapFree=4140220/4192956 [pid=29696] ppid=29694 vsize=1528000 CPUtime=1.14 /proc/29696/stat : 29696 (java) S 29694 29696 29508 0 -1 4202496 7588 0 1 0 108 6 0 0 18 0 12 0 25632351 1564672000 6918 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/29696/statm: 382000 6919 1401 10 0 379303 0 Current children cumulated CPU time (s) 1.14 Current children cumulated vsize (KiB) 1528000 [startup+1.50027 s] /proc/loadavg: 1.16 1.03 1.01 4/118 29708 /proc/meminfo: memFree=1780444/2059040 swapFree=4140220/4192956 [pid=29696] ppid=29694 vsize=1537784 CPUtime=2.61 /proc/29696/stat : 29696 (java) S 29694 29696 29508 0 -1 4202496 23991 0 1 0 249 12 0 0 18 0 12 0 25632351 1574690816 22102 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/29696/statm: 384446 22102 1407 10 0 381749 0 [pid=29696/tid=29698] ppid=29694 vsize=1537784 CPUtime=1.37 /proc/29696/task/29698/stat : 29698 (java) R 29694 29696 29508 0 -1 4202560 18019 0 1 0 128 9 0 0 18 0 12 0 25632353 1574690816 22102 1992294400 134512640 134550932 4287716464 18446744073709551615 4109063650 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=29696/tid=29699] ppid=29694 vsize=1537784 CPUtime=0 /proc/29696/task/29699/stat : 29699 (java) S 29694 29696 29508 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 12 0 25632354 1574690816 22102 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 0 0 0 0 [pid=29696/tid=29700] ppid=29694 vsize=1537784 CPUtime=0 /proc/29696/task/29700/stat : 29700 (java) S 29694 29696 29508 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 12 0 25632354 1574690816 22102 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 0 0 0 0 [pid=29696/tid=29701] ppid=29694 vsize=1537784 CPUtime=0 /proc/29696/task/29701/stat : 29701 (java) S 29694 29696 29508 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 12 0 25632356 1574690816 22102 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 0 0 16800975 18446604437852184768 0 0 -1 1 0 0 0 [pid=29696/tid=29702] ppid=29694 vsize=1537784 CPUtime=0 /proc/29696/task/29702/stat : 29702 (java) S 29694 29696 29508 0 -1 4202560 11 0 0 0 0 0 0 0 23 0 12 0 25632356 1574690816 22102 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 0 0 0 0 [pid=29696/tid=29703] ppid=29694 vsize=1537784 CPUtime=0 /proc/29696/task/29703/stat : 29703 (java) S 29694 29696 29508 0 -1 4202560 5 0 0 0 0 0 0 0 24 0 12 0 25632356 1574690816 22102 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 0 0 0 0 [pid=29696/tid=29704] ppid=29694 vsize=1537784 CPUtime=0 /proc/29696/task/29704/stat : 29704 (java) S 29694 29696 29508 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 12 0 25632361 1574690816 22102 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 0 0 0 0 [pid=29696/tid=29705] ppid=29694 vsize=1537784 CPUtime=0.55 /proc/29696/task/29705/stat : 29705 (java) S 29694 29696 29508 0 -1 4202560 1428 0 0 0 55 0 0 0 25 0 12 0 25632361 1574690816 22102 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 0 0 0 0 [pid=29696/tid=29706] ppid=29694 vsize=1537784 CPUtime=0.66 /proc/29696/task/29706/stat : 29706 (java) S 29694 29696 29508 0 -1 4202560 3482 0 0 0 65 1 0 0 18 0 12 0 25632361 1574690816 22102 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 0 0 0 0 [pid=29696/tid=29707] ppid=29694 vsize=1537784 CPUtime=0 /proc/29696/task/29707/stat : 29707 (java) S 29694 29696 29508 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 12 0 25632361 1574690816 22102 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 0 0 0 0 [pid=29696/tid=29708] ppid=29694 vsize=1537784 CPUtime=0 /proc/29696/task/29708/stat : 29708 (java) S 29694 29696 29508 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 12 0 25632361 1574690816 22102 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2.61 Current children cumulated vsize (KiB) 1537784 [startup+3.1013 s] /proc/loadavg: 1.16 1.03 1.01 1/120 29712 /proc/meminfo: memFree=1684080/2059040 swapFree=4140220/4192956 [pid=29696] ppid=29694 vsize=1539080 CPUtime=3.58 /proc/29696/stat : 29696 (java) S 29694 29696 29508 0 -1 4202496 38511 0 1 0 338 20 0 0 18 0 16 0 25632351 1576017920 36616 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/29696/statm: 384770 36616 1432 10 0 382073 0 [pid=29696/tid=29698] ppid=29694 vsize=1539080 CPUtime=1.78 /proc/29696/task/29698/stat : 29698 (java) S 29694 29696 29508 0 -1 4202560 30276 0 1 0 163 15 0 0 19 0 16 0 25632353 1576017920 36616 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 1 0 0 0 [pid=29696/tid=29699] ppid=29694 vsize=1539080 CPUtime=0.03 /proc/29696/task/29699/stat : 29699 (java) S 29694 29696 29508 0 -1 4202560 863 0 0 0 3 0 0 0 18 0 16 0 25632354 1576017920 36616 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 0 0 0 0 [pid=29696/tid=29700] ppid=29694 vsize=1539080 CPUtime=0.03 /proc/29696/task/29700/stat : 29700 (java) S 29694 29696 29508 0 -1 4202560 781 0 0 0 3 0 0 0 18 0 16 0 25632354 1576017920 36616 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 1 0 0 0 [pid=29696/tid=29701] ppid=29694 vsize=1539080 CPUtime=0 /proc/29696/task/29701/stat : 29701 (java) S 29694 29696 29508 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 16 0 25632356 1576017920 36616 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 0 0 16800975 18446604437852184768 0 0 -1 1 0 0 0 [pid=29696/tid=29702] ppid=29694 vsize=1539080 CPUtime=0 /proc/29696/task/29702/stat : 29702 (java) S 29694 29696 29508 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 25632356 1576017920 36616 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 0 0 0 0 [pid=29696/tid=29703] ppid=29694 vsize=1539080 CPUtime=0 /proc/29696/task/29703/stat : 29703 (java) S 29694 29696 29508 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 16 0 25632356 1576017920 36616 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 0 0 0 0 [pid=29696/tid=29704] ppid=29694 vsize=1539080 CPUtime=0 /proc/29696/task/29704/stat : 29704 (java) S 29694 29696 29508 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 25632361 1576017920 36616 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 0 0 0 0 [pid=29696/tid=29705] ppid=29694 vsize=1539080 CPUtime=0.66 /proc/29696/task/29705/stat : 29705 (java) R 29694 29696 29508 0 -1 4202560 1440 0 0 0 66 0 0 0 17 0 16 0 25632361 1576017920 36616 1992294400 134512640 134550932 4287716464 18446744073709551615 102533143 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=29696/tid=29706] ppid=29694 vsize=1539080 CPUtime=0.79 /proc/29696/task/29706/stat : 29706 (java) S 29694 29696 29508 0 -1 4202560 3501 0 0 0 78 1 0 0 15 0 16 0 25632361 1576017920 36616 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 0 0 0 0 [pid=29696/tid=29707] ppid=29694 vsize=1539080 CPUtime=0 /proc/29696/task/29707/stat : 29707 (java) S 29694 29696 29508 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 16 0 25632361 1576017920 36616 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 0 0 0 0 [pid=29696/tid=29708] ppid=29694 vsize=1539080 CPUtime=0 /proc/29696/task/29708/stat : 29708 (java) S 29694 29696 29508 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 16 0 25632361 1576017920 36616 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 1 0 0 0 [pid=29696/tid=29711] ppid=29694 vsize=1539080 CPUtime=0 /proc/29696/task/29711/stat : 29711 (java) S 29694 29696 29508 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 16 0 25632547 1576017920 36616 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 1 0 0 0 [pid=29696/tid=29712] ppid=29694 vsize=1539080 CPUtime=0 /proc/29696/task/29712/stat : 29712 (java) S 29694 29696 29508 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 16 0 25632548 1576017920 36616 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 3.58 Current children cumulated vsize (KiB) 1539080 [startup+6.31935 s] /proc/loadavg: 1.16 1.03 1.01 3/122 29716 /proc/meminfo: memFree=1671168/2059040 swapFree=4140220/4192956 [pid=29696] ppid=29694 vsize=1544268 CPUtime=9.32 /proc/29696/stat : 29696 (java) S 29694 29696 29508 0 -1 4202496 57800 0 1 0 903 29 0 0 18 0 16 0 25632351 1581330432 52096 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/29696/statm: 386067 52096 1449 10 0 383370 0 [pid=29696/tid=29698] ppid=29694 vsize=1544268 CPUtime=1.78 /proc/29696/task/29698/stat : 29698 (java) S 29694 29696 29508 0 -1 4202560 30277 0 1 0 163 15 0 0 17 0 16 0 25632353 1581330432 52096 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 0 0 0 0 [pid=29696/tid=29699] ppid=29694 vsize=1544268 CPUtime=0.15 /proc/29696/task/29699/stat : 29699 (java) S 29694 29696 29508 0 -1 4202560 6998 0 0 0 12 3 0 0 16 0 16 0 25632354 1581330432 52096 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 0 0 0 0 [pid=29696/tid=29700] ppid=29694 vsize=1544268 CPUtime=0.15 /proc/29696/task/29700/stat : 29700 (java) S 29694 29696 29508 0 -1 4202560 6429 0 0 0 12 3 0 0 16 0 16 0 25632354 1581330432 52096 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 0 0 0 0 [pid=29696/tid=29701] ppid=29694 vsize=1544268 CPUtime=0.11 /proc/29696/task/29701/stat : 29701 (java) S 29694 29696 29508 0 -1 4202560 2829 0 0 0 10 1 0 0 16 0 16 0 25632356 1581330432 52096 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 0 0 16800975 18446604437852184768 0 0 -1 1 0 0 0 [pid=29696/tid=29702] ppid=29694 vsize=1544268 CPUtime=0 /proc/29696/task/29702/stat : 29702 (java) S 29694 29696 29508 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 25632356 1581330432 52096 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 0 0 0 0 [pid=29696/tid=29703] ppid=29694 vsize=1544268 CPUtime=0 /proc/29696/task/29703/stat : 29703 (java) S 29694 29696 29508 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 16 0 25632356 1581330432 52096 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 0 0 0 0 [pid=29696/tid=29704] ppid=29694 vsize=1544268 CPUtime=0 /proc/29696/task/29704/stat : 29704 (java) S 29694 29696 29508 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 25632361 1581330432 52096 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 0 0 0 0 [pid=29696/tid=29705] ppid=29694 vsize=1544268 CPUtime=1.7 /proc/29696/task/29705/stat : 29705 (java) R 29694 29696 29508 0 -1 4202560 5034 0 0 0 169 1 0 0 16 0 16 0 25632361 1581330432 52096 1992294400 134512640 134550932 4287716464 18446744073709551615 103148034 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=29696/tid=29706] ppid=29694 vsize=1544268 CPUtime=1.81 /proc/29696/task/29706/stat : 29706 (java) S 29694 29696 29508 0 -1 4202560 3569 0 0 0 180 1 0 0 15 0 16 0 25632361 1581330432 52096 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 0 0 0 0 [pid=29696/tid=29707] ppid=29694 vsize=1544268 CPUtime=0 /proc/29696/task/29707/stat : 29707 (java) S 29694 29696 29508 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 16 0 25632361 1581330432 52096 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 0 0 0 0 [pid=29696/tid=29708] ppid=29694 vsize=1544268 CPUtime=0 /proc/29696/task/29708/stat : 29708 (java) R 29694 29696 29508 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 16 0 25632361 1581330432 52096 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=29696/tid=29711] ppid=29694 vsize=1544268 CPUtime=0 /proc/29696/task/29711/stat : 29711 (java) S 29694 29696 29508 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 16 0 25632547 1581330432 52096 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 1 0 0 0 [pid=29696/tid=29712] ppid=29694 vsize=1544268 CPUtime=0 /proc/29696/task/29712/stat : 29712 (java) S 29694 29696 29508 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 16 0 25632548 1581330432 52096 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 1 0 0 0 [pid=29696/tid=29715] ppid=29694 vsize=1544268 CPUtime=1.91 /proc/29696/task/29715/stat : 29715 (java) R 29694 29696 29508 0 -1 4202560 31 0 0 0 191 0 0 0 24 0 16 0 25632744 1581330432 52096 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=29696/tid=29716] ppid=29694 vsize=1544268 CPUtime=1.27 /proc/29696/task/29716/stat : 29716 (java) R 29694 29696 29508 0 -1 4202560 971 0 0 0 127 0 0 0 22 0 16 0 25632744 1581330432 52096 1992294400 134512640 134550932 4287716464 18446744073709551615 4109830398 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 9.32 Current children cumulated vsize (KiB) 1544268 [startup+12.7015 s] /proc/loadavg: 1.44 1.10 1.03 3/122 29718 /proc/meminfo: memFree=1570356/2059040 swapFree=4140220/4192956 [pid=29696] ppid=29694 vsize=1543084 CPUtime=20.31 /proc/29696/stat : 29696 (java) S 29694 29696 29508 0 -1 4202496 71243 0 1 0 1998 33 0 0 18 0 16 0 25632351 1580118016 63099 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/29696/statm: 385771 63099 1449 10 0 383074 0 [pid=29696/tid=29698] ppid=29694 vsize=1543084 CPUtime=1.79 /proc/29696/task/29698/stat : 29698 (java) S 29694 29696 29508 0 -1 4202560 30279 0 1 0 164 15 0 0 15 0 16 0 25632353 1580118016 63099 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 1 0 0 0 [pid=29696/tid=29699] ppid=29694 vsize=1543084 CPUtime=0.36 /proc/29696/task/29699/stat : 29699 (java) S 29694 29696 29508 0 -1 4202560 12265 0 0 0 31 5 0 0 16 0 16 0 25632354 1580118016 63099 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 0 0 0 0 [pid=29696/tid=29700] ppid=29694 vsize=1543084 CPUtime=0.34 /proc/29696/task/29700/stat : 29700 (java) S 29694 29696 29508 0 -1 4202560 11692 0 0 0 30 4 0 0 15 0 16 0 25632354 1580118016 63099 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 1 0 0 0 [pid=29696/tid=29701] ppid=29694 vsize=1543084 CPUtime=0.28 /proc/29696/task/29701/stat : 29701 (java) S 29694 29696 29508 0 -1 4202560 5422 0 0 0 27 1 0 0 15 0 16 0 25632356 1580118016 63099 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 0 0 16800975 18446604437852184768 0 0 -1 1 0 0 0 [pid=29696/tid=29702] ppid=29694 vsize=1543084 CPUtime=0 /proc/29696/task/29702/stat : 29702 (java) S 29694 29696 29508 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 25632356 1580118016 63099 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 0 0 0 0 [pid=29696/tid=29703] ppid=29694 vsize=1543084 CPUtime=0 /proc/29696/task/29703/stat : 29703 (java) S 29694 29696 29508 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 16 0 25632356 1580118016 63099 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 0 0 0 0 [pid=29696/tid=29704] ppid=29694 vsize=1543084 CPUtime=0 /proc/29696/task/29704/stat : 29704 (java) S 29694 29696 29508 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 25632361 1580118016 63099 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 0 0 0 0 [pid=29696/tid=29705] ppid=29694 vsize=1543084 CPUtime=1.95 /proc/29696/task/29705/stat : 29705 (java) S 29694 29696 29508 0 -1 4202560 5094 0 0 0 194 1 0 0 16 0 16 0 25632361 1580118016 63099 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 1 0 0 0 [pid=29696/tid=29706] ppid=29694 vsize=1543084 CPUtime=1.96 /proc/29696/task/29706/stat : 29706 (java) S 29694 29696 29508 0 -1 4202560 3579 0 0 0 195 1 0 0 15 0 16 0 25632361 1580118016 63099 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 0 0 0 0 [pid=29696/tid=29707] ppid=29694 vsize=1543084 CPUtime=0 /proc/29696/task/29707/stat : 29707 (java) S 29694 29696 29508 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 16 0 25632361 1580118016 63099 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 0 0 0 0 [pid=29696/tid=29708] ppid=29694 vsize=1543084 CPUtime=0 /proc/29696/task/29708/stat : 29708 (java) S 29694 29696 29508 0 -1 4202560 0 0 0 0 0 0 0 0 15 0 16 0 25632361 1580118016 63099 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 1 0 0 0 [pid=29696/tid=29711] ppid=29694 vsize=1543084 CPUtime=0 /proc/29696/task/29711/stat : 29711 (java) S 29694 29696 29508 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 16 0 25632547 1580118016 63099 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 1 0 0 0 [pid=29696/tid=29712] ppid=29694 vsize=1543084 CPUtime=0 /proc/29696/task/29712/stat : 29712 (java) S 29694 29696 29508 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 16 0 25632548 1580118016 63099 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 1 0 0 0 [pid=29696/tid=29717] ppid=29694 vsize=1543084 CPUtime=3.21 /proc/29696/task/29717/stat : 29717 (java) R 29694 29696 29508 0 -1 4202560 1 0 0 0 321 0 0 0 18 0 16 0 25633251 1580118016 63099 1992294400 134512640 134550932 4287716464 18446744073709551615 4109465216 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=29696/tid=29718] ppid=29694 vsize=1543084 CPUtime=3.26 /proc/29696/task/29718/stat : 29718 (java) R 29694 29696 29508 0 -1 4202560 4 0 0 0 326 0 0 0 19 0 16 0 25633252 1580118016 63099 1992294400 134512640 134550932 4287716464 18446744073709551615 4109494355 0 4 0 16800975 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 20.31 Current children cumulated vsize (KiB) 1543084 [startup+25.5026 s] ################ # More data... # ################ [pid=29696] ppid=29694 vsize=1545132 CPUtime=1800.02 /proc/29696/stat : 29696 (java) S 29694 29696 29508 0 -1 4202496 283981 0 1 0 179768 234 0 0 18 0 16 0 25632351 1582215168 237012 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/29696/statm: 386283 237012 1453 10 0 383586 0 [pid=29696/tid=29698] ppid=29694 vsize=1545132 CPUtime=1.79 /proc/29696/task/29698/stat : 29698 (java) S 29694 29696 29508 0 -1 4202560 30298 0 1 0 164 15 0 0 15 0 16 0 25632353 1582215168 237012 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 0 0 0 0 [pid=29696/tid=29699] ppid=29694 vsize=1545132 CPUtime=20.3 /proc/29696/task/29699/stat : 29699 (java) S 29694 29696 29508 0 -1 4202560 118102 0 0 0 1941 89 0 0 15 0 16 0 25632354 1582215168 237012 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 1 0 0 0 [pid=29696/tid=29700] ppid=29694 vsize=1545132 CPUtime=20.18 /proc/29696/task/29700/stat : 29700 (java) S 29694 29696 29508 0 -1 4202560 116365 0 0 0 1939 79 0 0 16 0 16 0 25632354 1582215168 237012 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 0 0 0 0 [pid=29696/tid=29701] ppid=29694 vsize=1545132 CPUtime=32.91 /proc/29696/task/29701/stat : 29701 (java) R 29694 29696 29508 0 -1 4202560 6497 0 0 0 3284 7 0 0 16 0 16 0 25632356 1582215168 237012 1992294400 134512640 134550932 4287716464 18446744073709551615 105696577 0 0 0 16800975 0 0 0 -1 1 0 0 0 [pid=29696/tid=29702] ppid=29694 vsize=1545132 CPUtime=0 /proc/29696/task/29702/stat : 29702 (java) S 29694 29696 29508 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 25632356 1582215168 237012 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 0 0 0 0 [pid=29696/tid=29703] ppid=29694 vsize=1545132 CPUtime=0 /proc/29696/task/29703/stat : 29703 (java) S 29694 29696 29508 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 16 0 25632356 1582215168 237012 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 0 0 0 0 [pid=29696/tid=29704] ppid=29694 vsize=1545132 CPUtime=0 /proc/29696/task/29704/stat : 29704 (java) S 29694 29696 29508 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 16 0 25632361 1582215168 237012 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 0 0 0 0 [pid=29696/tid=29705] ppid=29694 vsize=1545132 CPUtime=2.77 /proc/29696/task/29705/stat : 29705 (java) S 29694 29696 29508 0 -1 4202560 5805 0 0 0 275 2 0 0 16 0 16 0 25632361 1582215168 237012 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 1 0 0 0 [pid=29696/tid=29706] ppid=29694 vsize=1545132 CPUtime=2.11 /proc/29696/task/29706/stat : 29706 (java) S 29694 29696 29508 0 -1 4202560 3584 0 0 0 210 1 0 0 15 0 16 0 25632361 1582215168 237012 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 0 0 0 0 [pid=29696/tid=29707] ppid=29694 vsize=1545132 CPUtime=0 /proc/29696/task/29707/stat : 29707 (java) S 29694 29696 29508 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 16 0 25632361 1582215168 237012 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 0 0 0 0 [pid=29696/tid=29708] ppid=29694 vsize=1545132 CPUtime=0 /proc/29696/task/29708/stat : 29708 (java) R 29694 29696 29508 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 16 0 25632361 1582215168 237012 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=29696/tid=29711] ppid=29694 vsize=1545132 CPUtime=0 /proc/29696/task/29711/stat : 29711 (java) S 29694 29696 29508 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 16 0 25632547 1582215168 237012 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 1 0 0 0 [pid=29696/tid=29712] ppid=29694 vsize=1545132 CPUtime=0 /proc/29696/task/29712/stat : 29712 (java) S 29694 29696 29508 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 16 0 25632548 1582215168 237012 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 1 0 0 0 [pid=29696/tid=29723] ppid=29694 vsize=1545132 CPUtime=747.64 /proc/29696/task/29723/stat : 29723 (java) S 29694 29696 29508 0 -1 4202560 180 0 0 0 74744 20 0 0 25 0 16 0 25645517 1582215168 237012 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 1 0 0 0 [pid=29696/tid=29724] ppid=29694 vsize=1545132 CPUtime=743.12 /proc/29696/task/29724/stat : 29724 (java) S 29694 29696 29508 0 -1 4202560 119 0 0 0 74302 10 0 0 25 0 16 0 25645517 1582215168 237012 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 1545132 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -29696 Solver just ended. Dumping a history of the last processes samples [startup+929.417 s] /proc/loadavg: 2.04 1.95 1.61 2/123 29745 /proc/meminfo: memFree=871980/2059040 swapFree=4140220/4192956 [pid=29696] ppid=29694 vsize=1545132 CPUtime=1800.13 /proc/29696/stat : 29696 (java) S 29694 29696 29508 0 -1 4202496 283981 0 1 0 179779 234 0 0 18 0 16 0 25632351 1582215168 237012 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/29696/statm: 386283 237012 1453 10 0 383586 0 [pid=29696/tid=29698] ppid=29694 vsize=1545132 CPUtime=1.79 /proc/29696/task/29698/stat : 29698 (java) S 29694 29696 29508 0 -1 4202560 30298 0 1 0 164 15 0 0 15 0 16 0 25632353 1582215168 237012 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 0 0 0 0 [pid=29696/tid=29699] ppid=29694 vsize=1545132 CPUtime=20.3 /proc/29696/task/29699/stat : 29699 (java) S 29694 29696 29508 0 -1 4202560 118102 0 0 0 1941 89 0 0 15 0 16 0 25632354 1582215168 237012 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 1 0 0 0 [pid=29696/tid=29700] ppid=29694 vsize=1545132 CPUtime=20.18 /proc/29696/task/29700/stat : 29700 (java) S 29694 29696 29508 0 -1 4202560 116365 0 0 0 1939 79 0 0 16 0 16 0 25632354 1582215168 237012 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 0 0 0 0 [pid=29696/tid=29701] ppid=29694 vsize=1545132 CPUtime=33.02 /proc/29696/task/29701/stat : 29701 (java) R 29694 29696 29508 0 -1 4202560 6497 0 0 0 3295 7 0 0 16 0 16 0 25632356 1582215168 237012 1992294400 134512640 134550932 4287716464 18446744073709551615 105696579 0 0 0 16800975 0 0 0 -1 1 0 0 0 [pid=29696/tid=29702] ppid=29694 vsize=1545132 CPUtime=0 /proc/29696/task/29702/stat : 29702 (java) S 29694 29696 29508 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 25632356 1582215168 237012 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 0 0 0 0 [pid=29696/tid=29703] ppid=29694 vsize=1545132 CPUtime=0 /proc/29696/task/29703/stat : 29703 (java) S 29694 29696 29508 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 16 0 25632356 1582215168 237012 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 0 0 0 0 [pid=29696/tid=29704] ppid=29694 vsize=1545132 CPUtime=0 /proc/29696/task/29704/stat : 29704 (java) S 29694 29696 29508 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 16 0 25632361 1582215168 237012 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 0 0 0 0 [pid=29696/tid=29705] ppid=29694 vsize=1545132 CPUtime=2.77 /proc/29696/task/29705/stat : 29705 (java) S 29694 29696 29508 0 -1 4202560 5805 0 0 0 275 2 0 0 16 0 16 0 25632361 1582215168 237012 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 1 0 0 0 [pid=29696/tid=29706] ppid=29694 vsize=1545132 CPUtime=2.11 /proc/29696/task/29706/stat : 29706 (java) S 29694 29696 29508 0 -1 4202560 3584 0 0 0 210 1 0 0 15 0 16 0 25632361 1582215168 237012 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 0 0 0 0 [pid=29696/tid=29707] ppid=29694 vsize=1545132 CPUtime=0 /proc/29696/task/29707/stat : 29707 (java) S 29694 29696 29508 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 16 0 25632361 1582215168 237012 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 0 0 0 0 [pid=29696/tid=29708] ppid=29694 vsize=1545132 CPUtime=0 /proc/29696/task/29708/stat : 29708 (java) S 29694 29696 29508 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 16 0 25632361 1582215168 237012 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 0 0 0 0 [pid=29696/tid=29711] ppid=29694 vsize=1545132 CPUtime=0 /proc/29696/task/29711/stat : 29711 (java) S 29694 29696 29508 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 16 0 25632547 1582215168 237012 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 1 0 0 0 [pid=29696/tid=29712] ppid=29694 vsize=1545132 CPUtime=0 /proc/29696/task/29712/stat : 29712 (java) S 29694 29696 29508 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 16 0 25632548 1582215168 237012 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 1 0 0 0 [pid=29696/tid=29723] ppid=29694 vsize=1545132 CPUtime=747.64 /proc/29696/task/29723/stat : 29723 (java) S 29694 29696 29508 0 -1 4202560 180 0 0 0 74744 20 0 0 25 0 16 0 25645517 1582215168 237012 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 1 0 0 0 [pid=29696/tid=29724] ppid=29694 vsize=1545132 CPUtime=743.12 /proc/29696/task/29724/stat : 29724 (java) S 29694 29696 29508 0 -1 4202560 119 0 0 0 74302 10 0 0 25 0 16 0 25645517 1582215168 237012 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.13 Current children cumulated vsize (KiB) 1545132 [startup+930.202 s] /proc/loadavg: 2.04 1.95 1.61 2/123 29745 /proc/meminfo: memFree=871980/2059040 swapFree=4140220/4192956 [pid=29696] ppid=29694 vsize=1545132 CPUtime=1800.91 /proc/29696/stat : 29696 (java) S 29694 29696 29508 0 -1 4202496 283981 0 1 0 179857 234 0 0 18 0 16 0 25632351 1582215168 237012 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/29696/statm: 386283 237012 1453 10 0 383586 0 [pid=29696/tid=29698] ppid=29694 vsize=1545132 CPUtime=1.79 /proc/29696/task/29698/stat : 29698 (java) S 29694 29696 29508 0 -1 4202560 30298 0 1 0 164 15 0 0 15 0 16 0 25632353 1582215168 237012 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 0 0 0 0 [pid=29696/tid=29699] ppid=29694 vsize=1545132 CPUtime=20.3 /proc/29696/task/29699/stat : 29699 (java) S 29694 29696 29508 0 -1 4202560 118102 0 0 0 1941 89 0 0 15 0 16 0 25632354 1582215168 237012 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 1 0 0 0 [pid=29696/tid=29700] ppid=29694 vsize=1545132 CPUtime=20.18 /proc/29696/task/29700/stat : 29700 (java) S 29694 29696 29508 0 -1 4202560 116365 0 0 0 1939 79 0 0 16 0 16 0 25632354 1582215168 237012 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 0 0 0 0 [pid=29696/tid=29701] ppid=29694 vsize=1545132 CPUtime=33.8 /proc/29696/task/29701/stat : 29701 (java) R 29694 29696 29508 0 -1 4202560 6497 0 0 0 3373 7 0 0 17 0 16 0 25632356 1582215168 237012 1992294400 134512640 134550932 4287716464 18446744073709551615 105886120 0 0 0 16800975 0 0 0 -1 1 0 0 0 [pid=29696/tid=29702] ppid=29694 vsize=1545132 CPUtime=0 /proc/29696/task/29702/stat : 29702 (java) S 29694 29696 29508 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 16 0 25632356 1582215168 237012 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 0 0 0 0 [pid=29696/tid=29703] ppid=29694 vsize=1545132 CPUtime=0 /proc/29696/task/29703/stat : 29703 (java) S 29694 29696 29508 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 16 0 25632356 1582215168 237012 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 0 0 0 0 [pid=29696/tid=29704] ppid=29694 vsize=1545132 CPUtime=0 /proc/29696/task/29704/stat : 29704 (java) S 29694 29696 29508 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 16 0 25632361 1582215168 237012 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 0 0 0 0 [pid=29696/tid=29705] ppid=29694 vsize=1545132 CPUtime=2.77 /proc/29696/task/29705/stat : 29705 (java) S 29694 29696 29508 0 -1 4202560 5805 0 0 0 275 2 0 0 16 0 16 0 25632361 1582215168 237012 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 1 0 0 0 [pid=29696/tid=29706] ppid=29694 vsize=1545132 CPUtime=2.11 /proc/29696/task/29706/stat : 29706 (java) S 29694 29696 29508 0 -1 4202560 3584 0 0 0 210 1 0 0 15 0 16 0 25632361 1582215168 237012 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 0 0 0 0 [pid=29696/tid=29707] ppid=29694 vsize=1545132 CPUtime=0 /proc/29696/task/29707/stat : 29707 (java) S 29694 29696 29508 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 16 0 25632361 1582215168 237012 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 0 0 0 0 [pid=29696/tid=29708] ppid=29694 vsize=1545132 CPUtime=0 /proc/29696/task/29708/stat : 29708 (java) S 29694 29696 29508 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 16 0 25632361 1582215168 237012 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 0 0 0 0 [pid=29696/tid=29711] ppid=29694 vsize=1545132 CPUtime=0 /proc/29696/task/29711/stat : 29711 (java) S 29694 29696 29508 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 16 0 25632547 1582215168 237012 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 1 0 0 0 [pid=29696/tid=29712] ppid=29694 vsize=1545132 CPUtime=0 /proc/29696/task/29712/stat : 29712 (java) S 29694 29696 29508 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 16 0 25632548 1582215168 237012 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 1 0 0 0 [pid=29696/tid=29723] ppid=29694 vsize=1545132 CPUtime=747.64 /proc/29696/task/29723/stat : 29723 (java) S 29694 29696 29508 0 -1 4202560 180 0 0 0 74744 20 0 0 25 0 16 0 25645517 1582215168 237012 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 1 0 0 0 [pid=29696/tid=29724] ppid=29694 vsize=1545132 CPUtime=743.12 /proc/29696/task/29724/stat : 29724 (java) S 29694 29696 29508 0 -1 4202560 119 0 0 0 74302 10 0 0 25 0 16 0 25645517 1582215168 237012 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1800.91 Current children cumulated vsize (KiB) 1545132 [startup+931.001 s] /proc/loadavg: 1.95 1.93 1.61 2/123 29745 /proc/meminfo: memFree=871980/2059040 swapFree=4140220/4192956 [pid=29696] ppid=29694 vsize=1545780 CPUtime=1801.86 /proc/29696/stat : 29696 (java) S 29694 29696 29508 0 -1 4202496 283991 0 1 0 179952 234 0 0 18 0 18 0 25632351 1582878720 237022 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/29696/statm: 386445 237022 1453 10 0 383748 0 [pid=29696/tid=29698] ppid=29694 vsize=1545780 CPUtime=1.79 /proc/29696/task/29698/stat : 29698 (java) S 29694 29696 29508 0 -1 4202560 30298 0 1 0 164 15 0 0 15 0 18 0 25632353 1582878720 237022 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 0 0 0 0 [pid=29696/tid=29699] ppid=29694 vsize=1545780 CPUtime=20.3 /proc/29696/task/29699/stat : 29699 (java) S 29694 29696 29508 0 -1 4202560 118102 0 0 0 1941 89 0 0 15 0 18 0 25632354 1582878720 237022 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 1 0 0 0 [pid=29696/tid=29700] ppid=29694 vsize=1545780 CPUtime=20.18 /proc/29696/task/29700/stat : 29700 (java) S 29694 29696 29508 0 -1 4202560 116365 0 0 0 1939 79 0 0 16 0 18 0 25632354 1582878720 237022 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 0 0 0 0 [pid=29696/tid=29701] ppid=29694 vsize=1545780 CPUtime=34.45 /proc/29696/task/29701/stat : 29701 (java) S 29694 29696 29508 0 -1 4202560 6497 0 0 0 3438 7 0 0 18 0 18 0 25632356 1582878720 237022 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 0 0 16800975 18446604437852184768 0 0 -1 1 0 0 0 [pid=29696/tid=29702] ppid=29694 vsize=1545780 CPUtime=0 /proc/29696/task/29702/stat : 29702 (java) S 29694 29696 29508 0 -1 4202560 12 0 0 0 0 0 0 0 18 0 18 0 25632356 1582878720 237022 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 0 0 0 0 [pid=29696/tid=29703] ppid=29694 vsize=1545780 CPUtime=0 /proc/29696/task/29703/stat : 29703 (java) S 29694 29696 29508 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 18 0 25632356 1582878720 237022 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 0 0 0 0 [pid=29696/tid=29704] ppid=29694 vsize=1545780 CPUtime=0 /proc/29696/task/29704/stat : 29704 (java) S 29694 29696 29508 0 -1 4202560 5 0 0 0 0 0 0 0 17 0 18 0 25632361 1582878720 237022 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 0 0 0 0 [pid=29696/tid=29705] ppid=29694 vsize=1545780 CPUtime=2.77 /proc/29696/task/29705/stat : 29705 (java) S 29694 29696 29508 0 -1 4202560 5805 0 0 0 275 2 0 0 16 0 18 0 25632361 1582878720 237022 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 1 0 0 0 [pid=29696/tid=29706] ppid=29694 vsize=1545780 CPUtime=2.11 /proc/29696/task/29706/stat : 29706 (java) S 29694 29696 29508 0 -1 4202560 3584 0 0 0 210 1 0 0 15 0 18 0 25632361 1582878720 237022 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 0 0 0 0 [pid=29696/tid=29707] ppid=29694 vsize=1545780 CPUtime=0 /proc/29696/task/29707/stat : 29707 (java) S 29694 29696 29508 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 18 0 25632361 1582878720 237022 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 0 0 0 0 [pid=29696/tid=29708] ppid=29694 vsize=1545780 CPUtime=0 /proc/29696/task/29708/stat : 29708 (java) S 29694 29696 29508 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 18 0 25632361 1582878720 237022 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 0 0 0 0 [pid=29696/tid=29711] ppid=29694 vsize=1545780 CPUtime=0 /proc/29696/task/29711/stat : 29711 (java) S 29694 29696 29508 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 18 0 25632547 1582878720 237022 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 1 0 0 0 [pid=29696/tid=29712] ppid=29694 vsize=1545780 CPUtime=0 /proc/29696/task/29712/stat : 29712 (java) S 29694 29696 29508 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 18 0 25632548 1582878720 237022 1992294400 134512640 134550932 4287716464 18446744073709551615 4294960144 0 4 0 16800975 18446604437852184768 0 0 -1 1 0 0 0 [pid=29696/tid=29723] ppid=29694 vsize=1545780 CPUtime=747.79 /proc/29696/task/29723/stat : 29723 (java) R 29694 29696 29508 0 -1 4202560 180 0 0 0 74759 20 0 0 18 0 18 0 25645517 1582878720 237022 1992294400 134512640 134550932 4287716464 18446744073709551615 4109339958 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=29696/tid=29724] ppid=29694 vsize=1545780 CPUtime=743.27 /proc/29696/task/29724/stat : 29724 (java) R 29694 29696 29508 0 -1 4202560 119 0 0 0 74317 10 0 0 18 0 18 0 25645517 1582878720 237022 1992294400 134512640 134550932 4287716464 18446744073709551615 4109674098 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1801.86 Current children cumulated vsize (KiB) 1545780 [startup+931.402 s] /proc/loadavg: 1.95 1.93 1.61 2/123 29745 /proc/meminfo: memFree=871980/2059040 swapFree=4140220/4192956 [pid=29696] ppid=29694 vsize=0 CPUtime=1802.58 /proc/29696/stat : 29696 (java) Z 29694 29696 29508 0 -1 4203548 283991 0 1 0 180016 242 0 0 18 0 2 0 25632351 0 0 1992294400 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/29696/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1802.58 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 931.412 CPU time (s): 1802.59 CPU user time (s): 1800.16 CPU system time (s): 2.43163 CPU usage (%): 193.533 Max. virtual memory (cumulated for all children) (KiB): 1546208 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.16 system time used= 2.43163 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 283991 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= 24681 involuntary context switches= 50390 runsolver used 4.49132 second user time and 11.0003 second system time The end
Begin job on node010 at 2010-06-14 09:25:07 IDJOB=2662287 IDBENCH=2253 IDSOLVER=1166 FILE ID=node010/2662287-1276500307 PBS_JOBID= 11173410 Free space on /tmp= 62500 MiB SOLVER NAME= SAT4J PB RES // CP 2.2.0 2010-05-31 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-4.opb COMMAND LINE= java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2662287-1276500307/watcher-2662287-1276500307 -o /tmp/evaluation-result-2662287-1276500307/solver-2662287-1276500307 -C 1800 -W 2000 -M 1800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2662287-1276500307.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e1b2be59a127acc8d929395698929541 RANDOM SEED=498196865 node010.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.267 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 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 syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.53 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.267 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 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 syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1819064 kB Buffers: 61092 kB Cached: 100392 kB SwapCached: 5836 kB Active: 88784 kB Inactive: 85028 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1819064 kB SwapTotal: 4192956 kB SwapFree: 4140220 kB Dirty: 1636 kB Writeback: 4 kB AnonPages: 10796 kB Mapped: 12824 kB Slab: 44320 kB PageTables: 4104 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180936 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62500 MiB End job on node010 at 2010-06-14 09:40:39