0.00/0.08 c 0 Sugar v1-14-6 + HOME/minisat
0.00/0.08 c 0 BEGIN Sat Jul 11 22:56:54 2009
0.00/0.08 c 0 PID 16526
0.07/0.08 c 0 HOST node28.alineos.net
0.07/0.08 c 0 CONVERTING HOME/instance-2068046-1247345814.xml TO HOME/temp.csp
0.07/0.08 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.XML2CSP -v -v 'HOME/instance-2068046-1247345814.xml' 'HOME/temp.csp'
0.07/0.78 c 1 2 domains, 2283 variables, 26 predicates, 0 relations, 155 constraints
0.07/0.82 c 1 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.07/0.82 c 1 CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.SugarMain -v -v -competition -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.07/0.89 c 1 Parsing HOME/temp.csp
1.01/1.17 c 1 parsed 2466 expressions
1.01/1.18 c 1 Heap : 2 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
1.01/1.18 c 1 Converting to clausal form CSP
1.28/1.64 c 2 converted 247 (10%) expressions
1.28/1.64 c 2 converted 494 (20%) expressions
1.28/1.65 c 2 converted 740 (30%) expressions
1.28/1.65 c 2 converted 987 (40%) expressions
1.28/1.65 c 2 converted 1233 (50%) expressions
1.28/1.65 c 2 converted 1480 (60%) expressions
1.28/1.66 c 2 converted 1727 (70%) expressions
1.28/1.66 c 2 converted 1973 (80%) expressions
1.28/1.66 c 2 converted 2220 (90%) expressions
1.78/2.06 c 2 converted 2466 (100%) expressions
1.78/2.06 c 2 CSP : 3384 integers, 0 booleans, 2341 clauses, largest domain size 108941
1.78/2.06 c 2 Heap : 4 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
1.78/2.06 c 2 Propagation in CSP
1.88/2.13 c 2 5688 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.88/2.13 c 2 CSP : 3384 integers, 0 booleans, 2341 clauses, largest domain size 108941
1.88/2.13 c 2 Heap : 4 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
1.88/2.13 c 2 Simplifing CSP by introducing new Boolean variables
1.88/2.14 c 2 CSP : 3384 integers, 0 booleans, 2341 clauses, largest domain size 108941
1.88/2.14 c 2 Heap : 4 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
1.88/2.17 c 2 Encoding CSP to SAT : HOME/temp.cnf
1.88/2.18 c 2 339 (10%) CSP integer variables are encoded (0 clauses, 64 bytes)
1.88/2.18 c 2 677 (20%) CSP integer variables are encoded (0 clauses, 64 bytes)
1.88/2.18 c 2 1016 (30%) CSP integer variables are encoded (0 clauses, 64 bytes)
1.88/2.18 c 2 1354 (40%) CSP integer variables are encoded (0 clauses, 64 bytes)
1.88/2.18 c 2 1692 (50%) CSP integer variables are encoded (0 clauses, 64 bytes)
1.88/2.19 c 2 2031 (60%) CSP integer variables are encoded (0 clauses, 64 bytes)
2.79/3.02 c 3 2369 (70%) CSP integer variables are encoded (682883 clauses, 11396433 bytes)
8.87/15.71 c 16 2708 (80%) CSP integer variables are encoded (4469335 clauses, 82708676 bytes)
10.75/17.69 c 18 3046 (90%) CSP integer variables are encoded (5195874 clauses, 96512917 bytes)
11.51/19.20 c 19 3384 (100%) CSP integer variables are encoded (5742958 clauses, 106907513 bytes)
705.92/1402.98 c 1403 ERROR Exception Too large HOME/temp.cnf
705.93/1404.06 c 1403 jp.ac.kobe_u.cs.sugar.encoder.Encoder.encode(Encoder.java:231)
705.93/1404.06 c 1403 jp.ac.kobe_u.cs.sugar.SugarMain.encode(SugarMain.java:144)
705.93/1404.06 c 1403 jp.ac.kobe_u.cs.sugar.SugarMain.main(SugarMain.java:314)
705.93/1404.06 s UNKNOWN
706.38/1412.75 c 1413 CPU 706.35 (0.1 0.04 624.18 82.03)
706.39/1412.88 c 1413 END Sat Jul 11 23:20:27 2009
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2068046-1247345814/watcher-2068046-1247345814 -o /tmp/evaluation-result-2068046-1247345814/solver-2068046-1247345814 -C 1800 -W 2000 -M 900 HOME/sugar -c -vv -memlimit=900 -jar=HOME/sugar-v1-14-6.jar -solver=HOME/minisat -tmp=HOME/temp HOME/instance-2068046-1247345814.xml
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): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 4/82 16526
/proc/meminfo: memFree=1856288/2055920 swapFree=4192812/4192956
[pid=16526] ppid=16524 vsize=4708 CPUtime=0
/proc/16526/stat : 16526 (sugar) R 16524 16526 15171 0 -1 4194304 58 0 0 0 0 0 0 0 22 0 1 0 21648023 4820992 43 996147200 4194304 4206940 548682068608 18446744073709551615 217868989833 0 0 4096 0 0 0 0 17 1 0 0
/proc/16526/statm: 1177 43 33 3 0 8 0
[startup+0.0827349 s]
/proc/loadavg: 1.92 1.98 1.99 4/82 16526
/proc/meminfo: memFree=1856288/2055920 swapFree=4192812/4192956
[pid=16526] ppid=16524 vsize=16740 CPUtime=0.07
/proc/16526/stat : 16526 (sugar) S 16524 16526 15171 0 -1 4194304 1152 0 0 0 6 1 0 0 18 0 1 0 21648023 17141760 1107 996147200 4194304 4206940 548682068608 18446744073709551615 217880506466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16526/statm: 4185 1107 406 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740
[startup+0.102577 s]
/proc/loadavg: 1.92 1.98 1.99 4/82 16526
/proc/meminfo: memFree=1856288/2055920 swapFree=4192812/4192956
[pid=16526] ppid=16524 vsize=16868 CPUtime=0.07
/proc/16526/stat : 16526 (sugar) S 16524 16526 15171 0 -1 4194304 1227 128 0 0 6 1 0 0 19 0 1 0 21648023 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 217880506466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16526/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16868
[startup+0.30141 s]
/proc/loadavg: 1.92 1.98 1.99 4/82 16526
/proc/meminfo: memFree=1856288/2055920 swapFree=4192812/4192956
[pid=16526] ppid=16524 vsize=16868 CPUtime=0.07
/proc/16526/stat : 16526 (sugar) S 16524 16526 15171 0 -1 4194304 1227 128 0 0 6 1 0 0 19 0 1 0 21648023 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 217880506466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16526/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16868
[startup+0.701462 s]
/proc/loadavg: 1.92 1.98 1.99 4/82 16526
/proc/meminfo: memFree=1856288/2055920 swapFree=4192812/4192956
[pid=16526] ppid=16524 vsize=16868 CPUtime=0.07
/proc/16526/stat : 16526 (sugar) S 16524 16526 15171 0 -1 4194304 1227 128 0 0 6 1 0 0 19 0 1 0 21648023 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 217880506466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16526/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16868
[startup+1.50256 s]
/proc/loadavg: 1.92 1.98 1.99 4/93 16548
/proc/meminfo: memFree=1847688/2055920 swapFree=4192812/4192956
[pid=16526] ppid=16524 vsize=16868 CPUtime=0.75
/proc/16526/stat : 16526 (sugar) S 16524 16526 15171 0 -1 4194304 1309 5012 0 1 6 1 65 3 17 0 1 0 21648023 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 217880506466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16526/statm: 4217 1111 409 3 0 796 0
[pid=16539] ppid=16526 vsize=5356 CPUtime=0
/proc/16539/stat : 16539 (sh) S 16526 16526 15171 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 21648106 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16539/statm: 1339 233 193 169 0 50 0
[pid=16540] ppid=16539 vsize=864124 CPUtime=0.49
/proc/16540/stat : 16540 (java) S 16539 16526 15171 0 -1 0 4030 0 1 0 45 4 0 0 18 0 9 0 21648106 884862976 3501 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16540/statm: 216031 3501 1716 9 0 210536 0
[pid=16540/tid=16541] ppid=16539 vsize=864124 CPUtime=0.42
/proc/16540/task/16541/stat : 16541 (java) R 16539 16526 15171 0 -1 64 2549 0 1 0 39 3 0 0 18 0 9 0 21648107 884862976 3501 996147200 134512640 134550932 4294955936 18446744073709551615 4159710486 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16540/tid=16542] ppid=16539 vsize=864124 CPUtime=0.01
/proc/16540/task/16542/stat : 16542 (java) S 16539 16526 15171 0 -1 64 485 0 0 0 1 0 0 0 16 0 9 0 21648108 884862976 3501 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16540/tid=16543] ppid=16539 vsize=864124 CPUtime=0
/proc/16540/task/16543/stat : 16543 (java) S 16539 16526 15171 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 21648108 884862976 3501 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16540/tid=16544] ppid=16539 vsize=864124 CPUtime=0
/proc/16540/task/16544/stat : 16544 (java) S 16539 16526 15171 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 21648108 884862976 3501 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16540/tid=16545] ppid=16539 vsize=864124 CPUtime=0
/proc/16540/task/16545/stat : 16545 (java) S 16539 16526 15171 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 21648110 884862976 3501 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16540/tid=16546] ppid=16539 vsize=864124 CPUtime=0.04
/proc/16540/task/16546/stat : 16546 (java) S 16539 16526 15171 0 -1 64 303 0 0 0 4 0 0 0 16 0 9 0 21648110 884862976 3501 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16540/tid=16547] ppid=16539 vsize=864124 CPUtime=0
/proc/16540/task/16547/stat : 16547 (java) S 16539 16526 15171 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 21648110 884862976 3501 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16540/tid=16548] ppid=16539 vsize=864124 CPUtime=0
/proc/16540/task/16548/stat : 16548 (java) S 16539 16526 15171 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 21648110 884862976 3501 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 886348
[startup+3.10276 s]
/proc/loadavg: 1.92 1.98 1.99 2/81 16550
/proc/meminfo: memFree=1876720/2055920 swapFree=4192812/4192956
[pid=16526] ppid=16524 vsize=16868 CPUtime=0.75
/proc/16526/stat : 16526 (sugar) S 16524 16526 15171 0 -1 4194304 1310 5012 0 1 6 1 65 3 16 0 1 0 21648023 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 217880506466 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16526/statm: 4217 1111 409 3 0 796 0
[pid=16539] ppid=16526 vsize=5356 CPUtime=0
/proc/16539/stat : 16539 (sh) S 16526 16526 15171 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 21648106 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16539/statm: 1339 233 193 169 0 50 0
[pid=16540] ppid=16539 vsize=868624 CPUtime=2.14
/proc/16540/stat : 16540 (java) S 16539 16526 15171 0 -1 0 7544 0 1 0 201 13 0 0 18 0 9 0 21648106 889470976 6445 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16540/statm: 217156 6445 2590 9 0 211633 0
[pid=16540/tid=16541] ppid=16539 vsize=868624 CPUtime=1.72
/proc/16540/task/16541/stat : 16541 (java) R 16539 16526 15171 0 -1 64 3045 0 1 0 162 10 0 0 17 0 9 0 21648107 889470976 6445 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16540/tid=16542] ppid=16539 vsize=868624 CPUtime=0.19
/proc/16540/task/16542/stat : 16542 (java) S 16539 16526 15171 0 -1 64 2279 0 0 0 17 2 0 0 16 0 9 0 21648108 889470976 6445 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16540/tid=16543] ppid=16539 vsize=868624 CPUtime=0
/proc/16540/task/16543/stat : 16543 (java) S 16539 16526 15171 0 -1 64 15 0 0 0 0 0 0 0 15 0 9 0 21648108 889470976 6445 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16540/tid=16544] ppid=16539 vsize=868624 CPUtime=0
/proc/16540/task/16544/stat : 16544 (java) S 16539 16526 15171 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 21648108 889470976 6445 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16540/tid=16545] ppid=16539 vsize=868624 CPUtime=0
/proc/16540/task/16545/stat : 16545 (java) S 16539 16526 15171 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 21648110 889470976 6445 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16540/tid=16546] ppid=16539 vsize=868624 CPUtime=0.2
/proc/16540/task/16546/stat : 16546 (java) S 16539 16526 15171 0 -1 64 1522 0 0 0 20 0 0 0 16 0 9 0 21648110 889470976 6445 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16540/tid=16547] ppid=16539 vsize=868624 CPUtime=0
/proc/16540/task/16547/stat : 16547 (java) S 16539 16526 15171 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 21648110 889470976 6445 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16540/tid=16548] ppid=16539 vsize=868624 CPUtime=0
/proc/16540/task/16548/stat : 16548 (java) S 16539 16526 15171 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 21648110 889470976 6445 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 890848
[startup+6.38999 s]
/proc/loadavg: 1.85 1.97 1.99 4/92 16589
/proc/meminfo: memFree=1819216/2055920 swapFree=4192812/4192956
[pid=16526] ppid=16524 vsize=16868 CPUtime=0.75
/proc/16526/stat : 16526 (sugar) S 16524 16526 15171 0 -1 4194304 1310 5012 0 1 6 1 65 3 16 0 1 0 21648023 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 217880506466 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16526/statm: 4217 1111 409 3 0 796 0
[pid=16539] ppid=16526 vsize=5356 CPUtime=0
/proc/16539/stat : 16539 (sh) S 16526 16526 15171 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 21648106 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16539/statm: 1339 233 193 169 0 50 0
[pid=16540] ppid=16539 vsize=868624 CPUtime=5.4
/proc/16540/stat : 16540 (java) S 16539 16526 15171 0 -1 0 8585 0 1 0 484 56 0 0 18 0 9 0 21648106 889470976 6445 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16540/statm: 217156 6445 2590 9 0 211633 0
[pid=16540/tid=16541] ppid=16539 vsize=868624 CPUtime=4.66
/proc/16540/task/16541/stat : 16541 (java) R 16539 16526 15171 0 -1 64 4086 0 1 0 427 39 0 0 17 0 9 0 21648107 889470976 6445 996147200 134512640 134550932 4294955936 18446744073709551615 4126977306 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16540/tid=16542] ppid=16539 vsize=868624 CPUtime=0.46
/proc/16540/task/16542/stat : 16542 (java) S 16539 16526 15171 0 -1 64 2279 0 0 0 34 12 0 0 16 0 9 0 21648108 889470976 6445 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16540/tid=16543] ppid=16539 vsize=868624 CPUtime=0
/proc/16540/task/16543/stat : 16543 (java) S 16539 16526 15171 0 -1 64 15 0 0 0 0 0 0 0 15 0 9 0 21648108 889470976 6445 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16540/tid=16544] ppid=16539 vsize=868624 CPUtime=0
/proc/16540/task/16544/stat : 16544 (java) S 16539 16526 15171 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 21648108 889470976 6445 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16540/tid=16545] ppid=16539 vsize=868624 CPUtime=0
/proc/16540/task/16545/stat : 16545 (java) S 16539 16526 15171 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 21648110 889470976 6445 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16540/tid=16546] ppid=16539 vsize=868624 CPUtime=0.2
/proc/16540/task/16546/stat : 16546 (java) S 16539 16526 15171 0 -1 64 1522 0 0 0 20 0 0 0 16 0 9 0 21648110 889470976 6445 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16540/tid=16547] ppid=16539 vsize=868624 CPUtime=0
/proc/16540/task/16547/stat : 16547 (java) S 16539 16526 15171 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 21648110 889470976 6445 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16540/tid=16548] ppid=16539 vsize=868624 CPUtime=0.04
/proc/16540/task/16548/stat : 16548 (java) R 16539 16526 15171 0 -1 64 0 0 0 0 2 2 0 0 15 0 9 0 21648110 889470976 6445 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 890848
[startup+12.7027 s]
/proc/loadavg: 1.94 1.98 1.99 5/93 16590
/proc/meminfo: memFree=1728008/2055920 swapFree=4192812/4192956
[pid=16526] ppid=16524 vsize=16868 CPUtime=0.75
/proc/16526/stat : 16526 (sugar) S 16524 16526 15171 0 -1 4194304 1310 5012 0 1 6 1 65 3 16 0 1 0 21648023 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 217880506466 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/16526/statm: 4217 1111 409 3 0 796 0
[pid=16539] ppid=16526 vsize=5356 CPUtime=0
/proc/16539/stat : 16539 (sh) S 16526 16526 15171 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 21648106 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16539/statm: 1339 233 193 169 0 50 0
[pid=16540] ppid=16539 vsize=868624 CPUtime=7.87
/proc/16540/stat : 16540 (java) S 16539 16526 15171 0 -1 0 8628 0 1 0 632 155 0 0 18 0 9 0 21648106 889470976 6445 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16540/statm: 217156 6445 2590 9 0 211633 0
[pid=16540/tid=16541] ppid=16539 vsize=868624 CPUtime=6.05
/proc/16540/task/16541/stat : 16541 (java) R 16539 16526 15171 0 -1 64 4129 0 1 0 536 69 0 0 19 0 9 0 21648107 889470976 6445 996147200 134512640 134550932 4294955936 18446744073709551615 4126974724 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16540/tid=16542] ppid=16539 vsize=868624 CPUtime=0.75
/proc/16540/task/16542/stat : 16542 (java) S 16539 16526 15171 0 -1 64 2279 0 0 0 48 27 0 0 16 0 9 0 21648108 889470976 6445 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16540/tid=16543] ppid=16539 vsize=868624 CPUtime=0
/proc/16540/task/16543/stat : 16543 (java) S 16539 16526 15171 0 -1 64 15 0 0 0 0 0 0 0 15 0 9 0 21648108 889470976 6445 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16540/tid=16544] ppid=16539 vsize=868624 CPUtime=0
/proc/16540/task/16544/stat : 16544 (java) S 16539 16526 15171 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 21648108 889470976 6445 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16540/tid=16545] ppid=16539 vsize=868624 CPUtime=0
/proc/16540/task/16545/stat : 16545 (java) S 16539 16526 15171 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 21648110 889470976 6445 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16540/tid=16546] ppid=16539 vsize=868624 CPUtime=0.2
/proc/16540/task/16546/stat : 16546 (java) S 16539 16526 15171 0 -1 64 1522 0 0 0 20 0 0 0 16 0 9 0 21648110 889470976 6445 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16540/tid=16547] ppid=16539 vsize=868624 CPUtime=0
/proc/16540/task/16547/stat : 16547 (java) S 16539 16526 15171 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 21648110 889470976 6445 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16540/tid=16548] ppid=16539 vsize=868624 CPUtime=0.85
/proc/16540/task/16548/stat : 16548 (java) S 16539 16526 15171 0 -1 64 0 0 0 0 27 58 0 0 15 0 9 0 21648110 889470976 6445 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 8.62
Current children cumulated vsize (KiB) 890848
heavy processes:
[startup+25.502 s]
/proc/loadavg: 2.53 2.11 2.04 3/93 16590
/proc/meminfo: memFree=1642120/2055920 swapFree=4192812/4192956
[pid=16526] ppid=16524 vsize=16868 CPUtime=0.75
/proc/16526/stat : 16526 (sugar) S 16524 16526 15171 0 -1 4194304 1310 5012 0 1 6 1 65 3 16 0 1 0 21648023 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 217880506466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16526/statm: 4217 1111 409 3 0 796 0
[pid=16539] ppid=16526 vsize=5356 CPUtime=0
/proc/16539/stat : 16539 (sh) S 16526 16526 15171 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 21648106 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16539/statm: 1339 233 193 169 0 50 0
[pid=16540] ppid=16539 vsize=868624 CPUtime=14.31
/proc/16540/stat : 16540 (java) S 16539 16526 15171 0 -1 0 10414 0 1 0 1181 250 0 0 18 0 9 0 21648106 889470976 6449 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16540/statm: 217156 6449 2590 9 0 211633 0
[pid=16540/tid=16541] ppid=16539 vsize=868624 CPUtime=11.66
/proc/16540/task/16541/stat : 16541 (java) R 16539 16526 15171 0 -1 64 5911 0 1 0 1038 128 0 0 25 0 9 0 21648107 889470976 6449 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16540/tid=16542] ppid=16539 vsize=868624 CPUtime=1.26
/proc/16540/task/16542/stat : 16542 (java) S 16539 16526 15171 0 -1 64 2279 0 0 0 85 41 0 0 16 0 9 0 21648108 889470976 6449 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16540/tid=16543] ppid=16539 vsize=868624 CPUtime=0
/proc/16540/task/16543/stat : 16543 (java) S 16539 16526 15171 0 -1 64 15 0 0 0 0 0 0 0 15 0 9 0 21648108 889470976 6449 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16540/tid=16544] ppid=16539 vsize=868624 CPUtime=0
/proc/16540/task/16544/stat : 16544 (java) S 16539 16526 15171 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 21648108 889470976 6449 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/loadavg: 24.22 15.66 8.62 5/97 16665
/proc/meminfo: memFree=50272/2055920 swapFree=4192812/4192956
[pid=16526] ppid=16524 vsize=16868 CPUtime=0.75
/proc/16526/stat : 16526 (sugar) S 16524 16526 15171 0 -1 4194304 1310 5012 0 1 6 1 65 3 16 0 1 0 21648023 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 217880506466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16526/statm: 4217 1111 409 3 0 796 0
[pid=16539] ppid=16526 vsize=5356 CPUtime=0
/proc/16539/stat : 16539 (sh) S 16526 16526 15171 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 21648106 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16539/statm: 1339 233 193 169 0 50 0
[pid=16540] ppid=16539 vsize=868624 CPUtime=626.7
/proc/16540/stat : 16540 (java) S 16539 16526 15171 0 -1 0 122421 0 1 0 55749 6921 0 0 18 0 9 0 21648106 889470976 6449 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16540/statm: 217156 6449 2590 9 0 211633 0
[pid=16540/tid=16541] ppid=16539 vsize=868624 CPUtime=560
/proc/16540/task/16541/stat : 16541 (java) R 16539 16526 15171 0 -1 64 117918 0 1 0 52095 3905 0 0 16 0 9 0 21648107 889470976 6449 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16540/tid=16542] ppid=16539 vsize=868624 CPUtime=44.87
/proc/16540/task/16542/stat : 16542 (java) S 16539 16526 15171 0 -1 64 2279 0 0 0 2953 1534 0 0 15 0 9 0 21648108 889470976 6449 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16540/tid=16543] ppid=16539 vsize=868624 CPUtime=0
/proc/16540/task/16543/stat : 16543 (java) S 16539 16526 15171 0 -1 64 15 0 0 0 0 0 0 0 15 0 9 0 21648108 889470976 6449 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16540/tid=16544] ppid=16539 vsize=868624 CPUtime=0
/proc/16540/task/16544/stat : 16544 (java) S 16539 16526 15171 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 21648108 889470976 6449 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16540/tid=16545] ppid=16539 vsize=868624 CPUtime=0
/proc/16540/task/16545/stat : 16545 (java) S 16539 16526 15171 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 21648110 889470976 6449 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16540/tid=16546] ppid=16539 vsize=868624 CPUtime=0.21
/proc/16540/task/16546/stat : 16546 (java) S 16539 16526 15171 0 -1 64 1526 0 0 0 21 0 0 0 17 0 9 0 21648110 889470976 6449 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16540/tid=16547] ppid=16539 vsize=868624 CPUtime=0
/proc/16540/task/16547/stat : 16547 (java) S 16539 16526 15171 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 21648110 889470976 6449 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16540/tid=16548] ppid=16539 vsize=868624 CPUtime=21.57
/proc/16540/task/16548/stat : 16548 (java) S 16539 16526 15171 0 -1 64 0 0 0 0 678 1479 0 0 15 0 9 0 21648110 889470976 6449 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 627.45
Current children cumulated vsize (KiB) 890848
heavy processes:
[startup+1302.3 s]
/proc/loadavg: 13.70 14.05 8.40 3/93 16665
/proc/meminfo: memFree=16384/2055920 swapFree=4192812/4192956
[pid=16526] ppid=16524 vsize=16868 CPUtime=0.75
/proc/16526/stat : 16526 (sugar) S 16524 16526 15171 0 -1 4194304 1310 5012 0 1 6 1 65 3 16 0 1 0 21648023 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 217880506466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16526/statm: 4217 1111 409 3 0 796 0
[pid=16539] ppid=16526 vsize=5356 CPUtime=0
/proc/16539/stat : 16539 (sh) S 16526 16526 15171 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 21648106 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16539/statm: 1339 233 193 169 0 50 0
[pid=16540] ppid=16539 vsize=868624 CPUtime=654.87
/proc/16540/stat : 16540 (java) S 16539 16526 15171 0 -1 0 129254 0 1 0 58019 7468 0 0 18 0 9 0 21648106 889470976 6449 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16540/statm: 217156 6449 2590 9 0 211633 0
[pid=16540/tid=16541] ppid=16539 vsize=868624 CPUtime=583.41
/proc/16540/task/16541/stat : 16541 (java) R 16539 16526 15171 0 -1 64 124751 0 1 0 54130 4211 0 0 25 0 9 0 21648107 889470976 6449 996147200 134512640 134550932 4294955936 18446744073709551615 4126609427 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16540/tid=16542] ppid=16539 vsize=868624 CPUtime=48.25
/proc/16540/task/16542/stat : 16542 (java) S 16539 16526 15171 0 -1 64 2279 0 0 0 3147 1678 0 0 16 0 9 0 21648108 889470976 6449 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16540/tid=16543] ppid=16539 vsize=868624 CPUtime=0
/proc/16540/task/16543/stat : 16543 (java) S 16539 16526 15171 0 -1 64 15 0 0 0 0 0 0 0 15 0 9 0 21648108 889470976 6449 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16540/tid=16544] ppid=16539 vsize=868624 CPUtime=0
/proc/16540/task/16544/stat : 16544 (java) S 16539 16526 15171 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 21648108 889470976 6449 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16540/tid=16545] ppid=16539 vsize=868624 CPUtime=0
/proc/16540/task/16545/stat : 16545 (java) S 16539 16526 15171 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 21648110 889470976 6449 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16540/tid=16546] ppid=16539 vsize=868624 CPUtime=0.21
/proc/16540/task/16546/stat : 16546 (java) S 16539 16526 15171 0 -1 64 1526 0 0 0 21 0 0 0 17 0 9 0 21648110 889470976 6449 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16540/tid=16547] ppid=16539 vsize=868624 CPUtime=0
/proc/16540/task/16547/stat : 16547 (java) S 16539 16526 15171 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 21648110 889470976 6449 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16540/tid=16548] ppid=16539 vsize=868624 CPUtime=22.96
/proc/16540/task/16548/stat : 16548 (java) S 16539 16526 15171 0 -1 64 0 0 0 0 720 1576 0 0 15 0 9 0 21648110 889470976 6449 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 655.62
Current children cumulated vsize (KiB) 890848
heavy processes:
[startup+1362.3 s]
/proc/loadavg: 8.07 12.33 8.16 6/93 16665
/proc/meminfo: memFree=14976/2055920 swapFree=4192812/4192956
[pid=16526] ppid=16524 vsize=16868 CPUtime=0.75
/proc/16526/stat : 16526 (sugar) S 16524 16526 15171 0 -1 4194304 1310 5012 0 1 6 1 65 3 16 0 1 0 21648023 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 217880506466 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/16526/statm: 4217 1111 409 3 0 796 0
[pid=16539] ppid=16526 vsize=5356 CPUtime=0
/proc/16539/stat : 16539 (sh) S 16526 16526 15171 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 21648106 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 217871606596 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16539/statm: 1339 233 193 169 0 50 0
[pid=16540] ppid=16539 vsize=868624 CPUtime=681.21
/proc/16540/stat : 16540 (java) S 16539 16526 15171 0 -1 0 134983 0 1 0 60256 7865 0 0 18 0 9 0 21648106 889470976 6449 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16540/statm: 217156 6449 2590 9 0 211633 0
[pid=16540/tid=16541] ppid=16539 vsize=868624 CPUtime=606.5
/proc/16540/task/16541/stat : 16541 (java) R 16539 16526 15171 0 -1 64 130480 0 1 0 56166 4484 0 0 25 0 9 0 21648107 889470976 6449 996147200 134512640 134550932 4294955936 18446744073709551615 4126609466 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16540/tid=16542] ppid=16539 vsize=868624 CPUtime=50.62
/proc/16540/task/16542/stat : 16542 (java) S 16539 16526 15171 0 -1 64 2279 0 0 0 3320 1742 0 0 16 0 9 0 21648108 889470976 6449 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16540/tid=16543] ppid=16539 vsize=868624 CPUtime=0
/proc/16540/task/16543/stat : 16543 (java) S 16539 16526 15171 0 -1 64 15 0 0 0 0 0 0 0 15 0 9 0 21648108 889470976 6449 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16540/tid=16544] ppid=16539 vsize=868624 CPUtime=0
/proc/16540/task/16544/stat : 16544 (java) S 16539 16526 15171 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 21648108 889470976 6449 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16540/tid=16545] ppid=16539 vsize=868624 CPUtime=0
/proc/16540/task/16545/stat : 16545 (java) S 16539 16526 15171 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 21648110 889470976 6449 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16540/tid=16546] ppid=16539 vsize=868624 CPUtime=0.21
/proc/16540/task/16546/stat : 16546 (java) S 16539 16526 15171 0 -1 64 1526 0 0 0 21 0 0 0 17 0 9 0 21648110 889470976 6449 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16540/tid=16547] ppid=16539 vsize=868624 CPUtime=0
/proc/16540/task/16547/stat : 16547 (java) S 16539 16526 15171 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 21648110 889470976 6449 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16540/tid=16548] ppid=16539 vsize=868624 CPUtime=23.83
/proc/16540/task/16548/stat : 16548 (java) S 16539 16526 15171 0 -1 64 0 0 0 0 747 1636 0 0 15 0 9 0 21648110 889470976 6449 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 681.96
Current children cumulated vsize (KiB) 890848
heavy processes:
[startup+1422.3 s]
/proc/loadavg: 6.95 11.26 8.05 4/83 16666
/proc/meminfo: memFree=1248400/2055920 swapFree=4192812/4192956
[pid=16526] ppid=16524 vsize=16868 CPUtime=708.8
/proc/16526/stat : 16526 (sugar) R 16524 16526 15171 0 -1 4194304 1334 148007 0 4 14 245 62418 8203 25 0 1 0 21648023 17272832 1112 996147200 4194304 4206940 548682068608 18446744073709551615 217871782953 0 0 4224 16386 0 0 0 17 1 0 0
/proc/16526/statm: 4217 1112 410 3 0 796 0
Current children cumulated CPU time (s) 708.8
Current children cumulated vsize (KiB) 16868
heavy processes:
[startup+1482.3 s]
/proc/loadavg: 5.59 10.11 7.86 4/83 16666
/proc/meminfo: memFree=1493584/2055920 swapFree=4192812/4192956
[pid=16526] ppid=16524 vsize=16868 CPUtime=718.39
/proc/16526/stat : 16526 (sugar) R 16524 16526 15171 0 -1 4194304 1334 148007 0 4 14 1204 62418 8203 21 0 1 0 21648023 17272832 1112 996147200 4194304 4206940 548682068608 18446744073709551615 217871782953 0 0 4224 16386 0 0 0 17 0 0 0
/proc/16526/statm: 4217 1112 410 3 0 796 0
Current children cumulated CPU time (s) 718.39
Current children cumulated vsize (KiB) 16868
heavy processes:
Solver just ended. Dumping a history of the last processes samples
[startup+1484.3 s]
/proc/loadavg: 5.59 10.11 7.86 4/83 16666
/proc/meminfo: memFree=1502416/2055920 swapFree=4192812/4192956
[pid=16526] ppid=16524 vsize=16868 CPUtime=718.39
/proc/16526/stat : 16526 (sugar) D 16524 16526 15171 0 -1 4194304 1334 148007 0 4 14 1204 62418 8203 18 0 1 0 21648023 17272832 1112 996147200 4194304 4206940 548682068608 18446744073709551615 217871782953 0 0 4224 16386 18446744071563608069 0 0 17 1 0 0
/proc/16526/statm: 4217 1112 410 3 0 796 0
Current children cumulated CPU time (s) 718.39
Current children cumulated vsize (KiB) 16868
[startup+1485.9 s]
/proc/loadavg: 5.55 10.03 7.84 6/83 16666
/proc/meminfo: memFree=1509136/2055920 swapFree=4192812/4192956
[pid=16526] ppid=16524 vsize=16868 CPUtime=718.39
/proc/16526/stat : 16526 (sugar) R 16524 16526 15171 0 -1 4194304 1334 148007 0 4 14 1204 62418 8203 18 0 1 0 21648023 17272832 1112 996147200 4194304 4206940 548682068608 18446744073709551615 217871782953 0 0 4224 16386 0 0 0 17 0 0 0
/proc/16526/statm: 4217 1112 410 3 0 796 0
Current children cumulated CPU time (s) 718.39
Current children cumulated vsize (KiB) 16868
[startup+1487.5 s]
/proc/loadavg: 5.55 10.03 7.84 3/83 16666
/proc/meminfo: memFree=1511312/2055920 swapFree=4192812/4192956
[pid=16526] ppid=16524 vsize=16868 CPUtime=718.59
/proc/16526/stat : 16526 (sugar) D 16524 16526 15171 0 -1 4194304 1334 148007 0 4 14 1224 62418 8203 18 0 1 0 21648023 17272832 1112 996147200 4194304 4206940 548682068608 18446744073709551615 217871782953 0 0 4224 16386 18446744071563608240 0 0 17 1 0 0
/proc/16526/statm: 4217 1112 410 3 0 796 0
Current children cumulated CPU time (s) 718.59
Current children cumulated vsize (KiB) 16868
[startup+1488.3 s]
/proc/loadavg: 5.55 10.03 7.84 2/83 16666
/proc/meminfo: memFree=1510352/2055920 swapFree=4192812/4192956
[pid=16526] ppid=16524 vsize=16868 CPUtime=718.66
/proc/16526/stat : 16526 (sugar) D 16524 16526 15171 0 -1 4194304 1334 148007 0 4 14 1231 62418 8203 18 0 1 0 21648023 17272832 1112 996147200 4194304 4206940 548682068608 18446744073709551615 217871782953 0 0 4224 16386 18446744071563608240 0 0 17 1 0 0
/proc/16526/statm: 4217 1112 410 3 0 796 0
Current children cumulated CPU time (s) 718.66
Current children cumulated vsize (KiB) 16868
[startup+1488.5 s]
/proc/loadavg: 5.55 10.03 7.84 2/83 16666
/proc/meminfo: memFree=1510352/2055920 swapFree=4192812/4192956
[pid=16526] ppid=16524 vsize=16868 CPUtime=718.7
/proc/16526/stat : 16526 (sugar) D 16524 16526 15171 0 -1 4194304 1334 148007 0 4 14 1235 62418 8203 18 0 1 0 21648023 17272832 1112 996147200 4194304 4206940 548682068608 18446744073709551615 217871782953 0 0 4224 16386 18446744071563608240 0 0 17 1 0 0
/proc/16526/statm: 4217 1112 410 3 0 796 0
Current children cumulated CPU time (s) 718.7
Current children cumulated vsize (KiB) 16868
[startup+1488.6 s]
/proc/loadavg: 5.55 10.03 7.84 2/83 16666
/proc/meminfo: memFree=1510352/2055920 swapFree=4192812/4192956
[pid=16526] ppid=16524 vsize=16868 CPUtime=718.7
/proc/16526/stat : 16526 (sugar) D 16524 16526 15171 0 -1 4194304 1334 148007 0 4 14 1235 62418 8203 18 0 1 0 21648023 17272832 1112 996147200 4194304 4206940 548682068608 18446744073709551615 217871782953 0 0 4224 16386 18446744071563608240 0 0 17 1 0 0
/proc/16526/statm: 4217 1112 410 3 0 796 0
Current children cumulated CPU time (s) 718.7
Current children cumulated vsize (KiB) 16868
Child status: 0
Real time (s): 1488.65
CPU time (s): 718.721
CPU user time (s): 624.33
CPU system time (s): 94.3906
CPU usage (%): 48.2802
Max. virtual memory (cumulated for all children) (KiB): 890848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 624.33
system time used= 94.3906
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 149402
page faults= 4
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1214448
involuntary context switches= 1197543
runsolver used 9.01863 second user time and 19.3721 second system time
The end
Begin job on node28 at 2009-07-11 22:56:54
IDJOB=2068046
IDBENCH=54787
IDSOLVER=739
FILE ID=node28/2068046-1247345814
PBS_JOBID= 9506671
Free space on /tmp= 66096 MiB
SOLVER NAME= Sugar v1.14.6+minisat
BENCH NAME= CPAI08/csp/pseudo/mpsReduced/normalized-mps-red-bell3b.xml
COMMAND LINE= DIR/sugar -c -vv -memlimit=MEMLIMIT -jar="DIR/sugar-v1-14-6.jar" -solver="DIR/minisat" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2068046-1247345814/watcher-2068046-1247345814 -o /tmp/evaluation-result-2068046-1247345814/solver-2068046-1247345814 -C 1800 -W 2000 -M 900 HOME/sugar -c -vv -memlimit=900 -jar="HOME/sugar-v1-14-6.jar" -solver="HOME/minisat" -tmp="HOME/temp" HOME/instance-2068046-1247345814.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 65eb944c41b4a2fafe7932d513515ca0
RANDOM SEED=1607407942
node28.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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.230
cache size : 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
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.230
cache size : 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1856768 kB
Buffers: 15020 kB
Cached: 78684 kB
SwapCached: 0 kB
Active: 117596 kB
Inactive: 32780 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1856768 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1640 kB
Writeback: 0 kB
Mapped: 77128 kB
Slab: 33704 kB
Committed_AS: 208936 kB
PageTables: 1960 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66092 MiB
End job on node28 at 2009-07-11 23:21:43