0.00/0.05 c 0 Sugar v1-13 + HOME/picosat
0.00/0.05 c 0 BEGIN Fri Jul 4 04:07:14 2008
0.00/0.05 c 0 PID 21326
0.00/0.05 c 0 HOST node71.alineos.net
0.00/0.05 c 0 CONVERTING HOME/instance-1063454-1215137234.xml TO HOME/temp.csp
0.00/0.05 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1063454-1215137234.xml' 'HOME/temp.csp'
0.04/0.73 c 0 2 domains, 2219 variables, 20 predicates, 0 relations, 155 constraints
0.04/0.78 c 0 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.04/0.78 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.71/0.86 c 1 Parsing HOME/temp.csp
1.01/1.14 c 1 parsed 2396 expressions
1.01/1.14 c 1 Heap : 2 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
1.01/1.14 c 1 Converting to clausal form CSP
1.01/1.17 c 1 converted 240 (10%) expressions
1.01/1.18 c 1 converted 480 (20%) expressions
1.01/1.18 c 1 converted 719 (30%) expressions
1.01/1.18 c 1 converted 959 (40%) expressions
1.01/1.18 c 1 converted 1198 (50%) expressions
1.01/1.19 c 1 converted 1438 (60%) expressions
1.01/1.20 c 1 converted 1678 (70%) expressions
1.01/1.20 c 1 converted 1917 (80%) expressions
1.01/1.20 c 1 converted 2157 (90%) expressions
1.70/1.86 c 2 converted 2396 (100%) expressions
1.70/1.86 c 2 CSP : 7869 integers, 0 booleans, 10978 clauses, largest domain size 43697
1.70/1.86 c 2 Heap : 8 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.70/1.86 c 2 Propagation in CSP
1.80/1.98 c 2 179540 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.80/1.98 c 2 CSP : 7869 integers, 0 booleans, 10978 clauses, largest domain size 43697
1.80/1.98 c 2 Heap : 8 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.80/1.99 c 2 Simplifing CSP by introducing new Boolean variables
1.90/2.00 c 2 CSP : 7869 integers, 0 booleans, 10978 clauses, largest domain size 43697
1.90/2.00 c 2 Heap : 9 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.90/2.07 c 2 Encoding CSP to SAT : HOME/temp.cnf
1.90/2.08 c 2 787 (10%) CSP integer variables are encoded (0 clauses, 64 bytes)
1.90/2.09 c 2 1574 (20%) CSP integer variables are encoded (0 clauses, 64 bytes)
2.29/2.43 c 2 2361 (30%) CSP integer variables are encoded (253740 clauses, 4100958 bytes)
5.66/5.96 c 6 3148 (40%) CSP integer variables are encoded (2791408 clauses, 50828215 bytes)
6.16/6.48 c 6 3935 (50%) CSP integer variables are encoded (3172728 clauses, 58073295 bytes)
6.55/6.81 c 6 4722 (60%) CSP integer variables are encoded (3413766 clauses, 62653017 bytes)
7.16/7.48 c 7 5509 (70%) CSP integer variables are encoded (3919352 clauses, 72259151 bytes)
7.85/8.15 c 8 6296 (80%) CSP integer variables are encoded (4410648 clauses, 81593775 bytes)
8.55/8.84 c 9 7083 (90%) CSP integer variables are encoded (4924259 clauses, 91352384 bytes)
9.11/9.48 c 9 7869 (100%) CSP integer variables are encoded (5378357 clauses, 99980246 bytes)
238.60/243.90 c 244 ERROR Exception Too large HOME/temp.cnf
238.60/243.91 c 244 jp.ac.kobe_u.cs.sugar.encoder.Encoder.encode(Encoder.java:219)
238.60/243.91 c 244 jp.ac.kobe_u.cs.sugar.SugarMain.encode(SugarMain.java:130)
238.60/243.91 c 244 jp.ac.kobe_u.cs.sugar.SugarMain.main(SugarMain.java:258)
238.60/243.91 s UNKNOWN
238.60/243.95 c 244 CPU 219.35 (0.03 0.01 219.32 19.28)
238.60/243.95 c 244 END Fri Jul 4 04:11:18 2008
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1063454-1215137234/watcher-1063454-1215137234 -o /tmp/evaluation-result-1063454-1215137234/solver-1063454-1215137234 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/sugar -c -vv -java=java -Xmx700M -jar=HOME/sugar-v1-13.jar -solver=HOME/picosat -tmp=HOME/temp HOME/instance-1063454-1215137234.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): 2200 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.09 2.32 2.16 4/72 21326
/proc/meminfo: memFree=1607992/2055920 swapFree=4180436/4192956
[pid=21326] ppid=21324 vsize=12000 CPUtime=0
/proc/21326/stat : 21326 (sugar) R 21324 21326 19801 0 -1 4194304 205 0 0 0 0 0 0 0 22 0 1 0 1992692102 12288000 173 996147200 4194304 4206940 548682068608 18446744073709551615 231980724476 0 0 4224 0 0 0 0 17 1 0 0
/proc/21326/statm: 3000 173 134 3 0 100 0
[startup+0.078474 s]
/proc/loadavg: 3.09 2.32 2.16 4/72 21326
/proc/meminfo: memFree=1607992/2055920 swapFree=4180436/4192956
[pid=21326] ppid=21324 vsize=13600 CPUtime=0.04
/proc/21326/stat : 21326 (sugar) S 21324 21326 19801 0 -1 4194304 900 127 0 0 3 1 0 0 19 0 1 0 1992692102 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21326/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13600
[startup+0.101427 s]
/proc/loadavg: 3.09 2.32 2.16 4/72 21326
/proc/meminfo: memFree=1607992/2055920 swapFree=4180436/4192956
[pid=21326] ppid=21324 vsize=13600 CPUtime=0.04
/proc/21326/stat : 21326 (sugar) S 21324 21326 19801 0 -1 4194304 900 127 0 0 3 1 0 0 19 0 1 0 1992692102 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21326/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13600
[startup+0.301243 s]
/proc/loadavg: 3.09 2.32 2.16 4/72 21326
/proc/meminfo: memFree=1607992/2055920 swapFree=4180436/4192956
[pid=21326] ppid=21324 vsize=13600 CPUtime=0.04
/proc/21326/stat : 21326 (sugar) S 21324 21326 19801 0 -1 4194304 900 127 0 0 3 1 0 0 19 0 1 0 1992692102 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21326/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13600
[startup+0.701301 s]
/proc/loadavg: 3.09 2.32 2.16 4/72 21326
/proc/meminfo: memFree=1607992/2055920 swapFree=4180436/4192956
[pid=21326] ppid=21324 vsize=13600 CPUtime=0.04
/proc/21326/stat : 21326 (sugar) S 21324 21326 19801 0 -1 4194304 900 127 0 0 3 1 0 0 19 0 1 0 1992692102 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21326/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13600
[startup+1.50241 s]
/proc/loadavg: 3.09 2.32 2.16 3/83 21348
/proc/meminfo: memFree=1600032/2055920 swapFree=4180436/4192956
[pid=21326] ppid=21324 vsize=13600 CPUtime=0.71
/proc/21326/stat : 21326 (sugar) S 21324 21326 19801 0 -1 4194304 974 4934 0 1 3 1 64 3 15 0 1 0 1992692102 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21326/statm: 3400 797 370 3 0 500 0
[pid=21339] ppid=21326 vsize=5356 CPUtime=0
/proc/21339/stat : 21339 (sh) S 21326 21326 19801 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 1992692181 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21339/statm: 1339 233 193 169 0 50 0
[pid=21340] ppid=21339 vsize=868272 CPUtime=0.69
/proc/21340/stat : 21340 (java) S 21339 21326 19801 0 -1 0 5769 0 1 0 65 4 0 0 18 0 9 0 1992692181 889110528 5174 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21340/statm: 217068 5174 1734 9 0 211643 0
[pid=21340/tid=21341] ppid=21339 vsize=868272 CPUtime=0.42
/proc/21340/task/21341/stat : 21341 (java) R 21339 21326 19801 0 -1 64 2667 0 1 0 40 2 0 0 22 0 9 0 1992692182 889110528 5174 996147200 134512640 134550740 4294955952 18446744073709551615 4126626528 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21340/tid=21342] ppid=21339 vsize=868272 CPUtime=0.05
/proc/21340/task/21342/stat : 21342 (java) S 21339 21326 19801 0 -1 64 942 0 0 0 4 1 0 0 16 0 9 0 1992692184 889110528 5174 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21340/tid=21343] ppid=21339 vsize=868272 CPUtime=0
/proc/21340/task/21343/stat : 21343 (java) S 21339 21326 19801 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 1992692184 889110528 5174 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21340/tid=21344] ppid=21339 vsize=868272 CPUtime=0
/proc/21340/task/21344/stat : 21344 (java) S 21339 21326 19801 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 1992692184 889110528 5174 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21340/tid=21345] ppid=21339 vsize=868272 CPUtime=0
/proc/21340/task/21345/stat : 21345 (java) S 21339 21326 19801 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992692186 889110528 5174 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21340/tid=21346] ppid=21339 vsize=868272 CPUtime=0.19
/proc/21340/task/21346/stat : 21346 (java) S 21339 21326 19801 0 -1 64 1469 0 0 0 19 0 0 0 16 0 9 0 1992692186 889110528 5174 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21340/tid=21347] ppid=21339 vsize=868272 CPUtime=0
/proc/21340/task/21347/stat : 21347 (java) S 21339 21326 19801 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1992692186 889110528 5174 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21340/tid=21348] ppid=21339 vsize=868272 CPUtime=0
/proc/21340/task/21348/stat : 21348 (java) S 21339 21326 19801 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1992692186 889110528 5174 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 887228
[startup+3.10263 s]
/proc/loadavg: 3.09 2.32 2.16 3/83 21348
/proc/meminfo: memFree=1586080/2055920 swapFree=4180436/4192956
[pid=21326] ppid=21324 vsize=13600 CPUtime=0.71
/proc/21326/stat : 21326 (sugar) S 21324 21326 19801 0 -1 4194304 974 4934 0 1 3 1 64 3 15 0 1 0 1992692102 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21326/statm: 3400 797 370 3 0 500 0
[pid=21339] ppid=21326 vsize=5356 CPUtime=0
/proc/21339/stat : 21339 (sh) S 21326 21326 19801 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 1992692181 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21339/statm: 1339 233 193 169 0 50 0
[pid=21340] ppid=21339 vsize=868500 CPUtime=2.28
/proc/21340/stat : 21340 (java) S 21339 21326 19801 0 -1 0 8525 0 1 0 213 15 0 0 18 0 9 0 1992692181 889344000 7380 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21340/statm: 217125 7380 2564 9 0 211672 0
[pid=21340/tid=21341] ppid=21339 vsize=868500 CPUtime=1.68
/proc/21340/task/21341/stat : 21341 (java) R 21339 21326 19801 0 -1 64 3074 0 1 0 158 10 0 0 25 0 9 0 1992692182 889344000 7380 996147200 134512640 134550740 4294955952 18446744073709551615 4126476169 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21340/tid=21342] ppid=21339 vsize=868500 CPUtime=0.33
/proc/21340/task/21342/stat : 21342 (java) S 21339 21326 19801 0 -1 64 3264 0 0 0 30 3 0 0 16 0 9 0 1992692184 889344000 7380 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21340/tid=21343] ppid=21339 vsize=868500 CPUtime=0
/proc/21340/task/21343/stat : 21343 (java) S 21339 21326 19801 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1992692184 889344000 7380 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21340/tid=21344] ppid=21339 vsize=868500 CPUtime=0
/proc/21340/task/21344/stat : 21344 (java) S 21339 21326 19801 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1992692184 889344000 7380 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21340/tid=21345] ppid=21339 vsize=868500 CPUtime=0
/proc/21340/task/21345/stat : 21345 (java) S 21339 21326 19801 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992692186 889344000 7380 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21340/tid=21346] ppid=21339 vsize=868500 CPUtime=0.24
/proc/21340/task/21346/stat : 21346 (java) S 21339 21326 19801 0 -1 64 1495 0 0 0 24 0 0 0 16 0 9 0 1992692186 889344000 7380 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21340/tid=21347] ppid=21339 vsize=868500 CPUtime=0
/proc/21340/task/21347/stat : 21347 (java) S 21339 21326 19801 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1992692186 889344000 7380 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21340/tid=21348] ppid=21339 vsize=868500 CPUtime=0
/proc/21340/task/21348/stat : 21348 (java) S 21339 21326 19801 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1992692186 889344000 7380 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 887456
[startup+6.30206 s]
/proc/loadavg: 3.00 2.31 2.16 3/83 21348
/proc/meminfo: memFree=1544224/2055920 swapFree=4180436/4192956
[pid=21326] ppid=21324 vsize=13600 CPUtime=0.71
/proc/21326/stat : 21326 (sugar) S 21324 21326 19801 0 -1 4194304 974 4934 0 1 3 1 64 3 16 0 1 0 1992692102 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21326/statm: 3400 797 370 3 0 500 0
[pid=21339] ppid=21326 vsize=5356 CPUtime=0
/proc/21339/stat : 21339 (sh) S 21326 21326 19801 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 1992692181 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21339/statm: 1339 233 193 169 0 50 0
[pid=21340] ppid=21339 vsize=868500 CPUtime=5.35
/proc/21340/stat : 21340 (java) S 21339 21326 19801 0 -1 0 9481 0 1 0 487 48 0 0 18 0 9 0 1992692181 889344000 7380 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21340/statm: 217125 7380 2564 9 0 211672 0
[pid=21340/tid=21341] ppid=21339 vsize=868500 CPUtime=4.51
/proc/21340/task/21341/stat : 21341 (java) R 21339 21326 19801 0 -1 64 4030 0 1 0 413 38 0 0 25 0 9 0 1992692182 889344000 7380 996147200 134512640 134550740 4294955952 18446744073709551615 102055696 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21340/tid=21342] ppid=21339 vsize=868500 CPUtime=0.57
/proc/21340/task/21342/stat : 21342 (java) S 21339 21326 19801 0 -1 64 3264 0 0 0 49 8 0 0 16 0 9 0 1992692184 889344000 7380 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21340/tid=21343] ppid=21339 vsize=868500 CPUtime=0
/proc/21340/task/21343/stat : 21343 (java) S 21339 21326 19801 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1992692184 889344000 7380 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21340/tid=21344] ppid=21339 vsize=868500 CPUtime=0
/proc/21340/task/21344/stat : 21344 (java) S 21339 21326 19801 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1992692184 889344000 7380 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21340/tid=21345] ppid=21339 vsize=868500 CPUtime=0
/proc/21340/task/21345/stat : 21345 (java) S 21339 21326 19801 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992692186 889344000 7380 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21340/tid=21346] ppid=21339 vsize=868500 CPUtime=0.24
/proc/21340/task/21346/stat : 21346 (java) S 21339 21326 19801 0 -1 64 1495 0 0 0 24 0 0 0 16 0 9 0 1992692186 889344000 7380 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21340/tid=21347] ppid=21339 vsize=868500 CPUtime=0
/proc/21340/task/21347/stat : 21347 (java) S 21339 21326 19801 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1992692186 889344000 7380 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21340/tid=21348] ppid=21339 vsize=868500 CPUtime=0
/proc/21340/task/21348/stat : 21348 (java) S 21339 21326 19801 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1992692186 889344000 7380 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 887456
[startup+12.7029 s]
/proc/loadavg: 2.92 2.31 2.16 3/83 21348
/proc/meminfo: memFree=1461664/2055920 swapFree=4180436/4192956
[pid=21326] ppid=21324 vsize=13600 CPUtime=0.71
/proc/21326/stat : 21326 (sugar) S 21324 21326 19801 0 -1 4194304 974 4934 0 1 3 1 64 3 15 0 1 0 1992692102 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21326/statm: 3400 797 370 3 0 500 0
[pid=21339] ppid=21326 vsize=5356 CPUtime=0
/proc/21339/stat : 21339 (sh) S 21326 21326 19801 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 1992692181 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21339/statm: 1339 233 193 169 0 50 0
[pid=21340] ppid=21339 vsize=868500 CPUtime=11.68
/proc/21340/stat : 21340 (java) S 21339 21326 19801 0 -1 0 11483 0 1 0 1055 113 0 0 18 0 9 0 1992692181 889344000 7392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21340/statm: 217125 7392 2565 9 0 211672 0
[pid=21340/tid=21341] ppid=21339 vsize=868500 CPUtime=10.3
/proc/21340/task/21341/stat : 21341 (java) R 21339 21326 19801 0 -1 64 6021 0 1 0 940 90 0 0 25 0 9 0 1992692182 889344000 7392 996147200 134512640 134550740 4294955952 18446744073709551615 4127004332 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21340/tid=21342] ppid=21339 vsize=868500 CPUtime=1.09
/proc/21340/task/21342/stat : 21342 (java) S 21339 21326 19801 0 -1 64 3264 0 0 0 88 21 0 0 16 0 9 0 1992692184 889344000 7392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21340/tid=21343] ppid=21339 vsize=868500 CPUtime=0
/proc/21340/task/21343/stat : 21343 (java) S 21339 21326 19801 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1992692184 889344000 7392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21340/tid=21344] ppid=21339 vsize=868500 CPUtime=0
/proc/21340/task/21344/stat : 21344 (java) S 21339 21326 19801 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1992692184 889344000 7392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21340/tid=21345] ppid=21339 vsize=868500 CPUtime=0
/proc/21340/task/21345/stat : 21345 (java) S 21339 21326 19801 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992692186 889344000 7392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21340/tid=21346] ppid=21339 vsize=868500 CPUtime=0.26
/proc/21340/task/21346/stat : 21346 (java) S 21339 21326 19801 0 -1 64 1506 0 0 0 26 0 0 0 16 0 9 0 1992692186 889344000 7392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21340/tid=21347] ppid=21339 vsize=868500 CPUtime=0
/proc/21340/task/21347/stat : 21347 (java) S 21339 21326 19801 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1992692186 889344000 7392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21340/tid=21348] ppid=21339 vsize=868500 CPUtime=0
/proc/21340/task/21348/stat : 21348 (java) S 21339 21326 19801 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1992692186 889344000 7392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.39
Current children cumulated vsize (KiB) 887456
[startup+25.5017 s]
/proc/loadavg: 2.80 2.31 2.16 2/83 21348
/proc/meminfo: memFree=1299424/2055920 swapFree=4180436/4192956
[pid=21326] ppid=21324 vsize=13600 CPUtime=0.71
/proc/21326/stat : 21326 (sugar) S 21324 21326 19801 0 -1 4194304 974 4934 0 1 3 1 64 3 15 0 1 0 1992692102 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21326/statm: 3400 797 370 3 0 500 0
[pid=21339] ppid=21326 vsize=5356 CPUtime=0
/proc/21339/stat : 21339 (sh) S 21326 21326 19801 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 1992692181 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21339/statm: 1339 233 193 169 0 50 0
[pid=21340] ppid=21339 vsize=868500 CPUtime=23.99
/proc/21340/stat : 21340 (java) S 21339 21326 19801 0 -1 0 15707 0 1 0 2169 230 0 0 18 0 9 0 1992692181 889344000 7392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21340/statm: 217125 7392 2565 9 0 211672 0
[pid=21340/tid=21341] ppid=21339 vsize=868500 CPUtime=21.62
/proc/21340/task/21341/stat : 21341 (java) R 21339 21326 19801 0 -1 64 10245 0 1 0 1979 183 0 0 25 0 9 0 1992692182 889344000 7392 996147200 134512640 134550740 4294955952 18446744073709551615 4126610718 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21340/tid=21342] ppid=21339 vsize=868500 CPUtime=2.08
/proc/21340/task/21342/stat : 21342 (java) S 21339 21326 19801 0 -1 64 3264 0 0 0 163 45 0 0 16 0 9 0 1992692184 889344000 7392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21340/tid=21343] ppid=21339 vsize=868500 CPUtime=0
/proc/21340/task/21343/stat : 21343 (java) S 21339 21326 19801 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1992692184 889344000 7392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21340/tid=21344] ppid=21339 vsize=868500 CPUtime=0
/proc/21340/task/21344/stat : 21344 (java) S 21339 21326 19801 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1992692184 889344000 7392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/21340/task/21341/stat : 21341 (java) R 21339 21326 19801 0 -1 64 62470 0 1 0 18789 1368 0 0 25 0 9 0 1992692182 889344000 7392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21340/tid=21342] ppid=21339 vsize=868500 CPUtime=15.21
/proc/21340/task/21342/stat : 21342 (java) S 21339 21326 19801 0 -1 64 3264 0 0 0 1176 345 0 0 16 0 9 0 1992692184 889344000 7392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21340/tid=21343] ppid=21339 vsize=868500 CPUtime=0
/proc/21340/task/21343/stat : 21343 (java) S 21339 21326 19801 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1992692184 889344000 7392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21340/tid=21344] ppid=21339 vsize=868500 CPUtime=0
/proc/21340/task/21344/stat : 21344 (java) S 21339 21326 19801 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1992692184 889344000 7392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21340/tid=21345] ppid=21339 vsize=868500 CPUtime=0
/proc/21340/task/21345/stat : 21345 (java) S 21339 21326 19801 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992692186 889344000 7392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21340/tid=21346] ppid=21339 vsize=868500 CPUtime=0.26
/proc/21340/task/21346/stat : 21346 (java) S 21339 21326 19801 0 -1 64 1506 0 0 0 26 0 0 0 16 0 9 0 1992692186 889344000 7392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21340/tid=21347] ppid=21339 vsize=868500 CPUtime=0
/proc/21340/task/21347/stat : 21347 (java) S 21339 21326 19801 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1992692186 889344000 7392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21340/tid=21348] ppid=21339 vsize=868500 CPUtime=0
/proc/21340/task/21348/stat : 21348 (java) S 21339 21326 19801 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1992692186 889344000 7392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 217.78
Current children cumulated vsize (KiB) 887456
Solver just ended. Dumping a history of the last processes samples
[startup+230.302 s]
/proc/loadavg: 2.22 2.29 2.18 3/83 21348
/proc/meminfo: memFree=15840/2055920 swapFree=4180436/4192956
[pid=21326] ppid=21324 vsize=13600 CPUtime=0.71
/proc/21326/stat : 21326 (sugar) S 21324 21326 19801 0 -1 4194304 974 4934 0 1 3 1 64 3 15 0 1 0 1992692102 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21326/statm: 3400 797 370 3 0 500 0
[pid=21339] ppid=21326 vsize=5356 CPUtime=0
/proc/21339/stat : 21339 (sh) S 21326 21326 19801 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 1992692181 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21339/statm: 1339 233 193 169 0 50 0
[pid=21340] ppid=21339 vsize=868500 CPUtime=224.72
/proc/21340/stat : 21340 (java) S 21339 21326 19801 0 -1 0 70379 0 1 0 20680 1792 0 0 18 0 9 0 1992692181 889344000 7392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21340/statm: 217125 7392 2565 9 0 211672 0
[pid=21340/tid=21341] ppid=21339 vsize=868500 CPUtime=208.62
/proc/21340/task/21341/stat : 21341 (java) R 21339 21326 19801 0 -1 64 64917 0 1 0 19432 1430 0 0 25 0 9 0 1992692182 889344000 7392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21340/tid=21342] ppid=21339 vsize=868500 CPUtime=15.82
/proc/21340/task/21342/stat : 21342 (java) S 21339 21326 19801 0 -1 64 3264 0 0 0 1222 360 0 0 16 0 9 0 1992692184 889344000 7392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21340/tid=21343] ppid=21339 vsize=868500 CPUtime=0
/proc/21340/task/21343/stat : 21343 (java) S 21339 21326 19801 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1992692184 889344000 7392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21340/tid=21344] ppid=21339 vsize=868500 CPUtime=0
/proc/21340/task/21344/stat : 21344 (java) S 21339 21326 19801 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1992692184 889344000 7392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21340/tid=21345] ppid=21339 vsize=868500 CPUtime=0
/proc/21340/task/21345/stat : 21345 (java) S 21339 21326 19801 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992692186 889344000 7392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21340/tid=21346] ppid=21339 vsize=868500 CPUtime=0.26
/proc/21340/task/21346/stat : 21346 (java) S 21339 21326 19801 0 -1 64 1506 0 0 0 26 0 0 0 16 0 9 0 1992692186 889344000 7392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21340/tid=21347] ppid=21339 vsize=868500 CPUtime=0
/proc/21340/task/21347/stat : 21347 (java) S 21339 21326 19801 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1992692186 889344000 7392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21340/tid=21348] ppid=21339 vsize=868500 CPUtime=0
/proc/21340/task/21348/stat : 21348 (java) S 21339 21326 19801 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1992692186 889344000 7392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 225.43
Current children cumulated vsize (KiB) 887456
[startup+236.702 s]
/proc/loadavg: 2.20 2.28 2.18 3/83 21348
/proc/meminfo: memFree=15840/2055920 swapFree=4180436/4192956
[pid=21326] ppid=21324 vsize=13600 CPUtime=0.71
/proc/21326/stat : 21326 (sugar) S 21324 21326 19801 0 -1 4194304 974 4934 0 1 3 1 64 3 15 0 1 0 1992692102 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21326/statm: 3400 797 370 3 0 500 0
[pid=21339] ppid=21326 vsize=5356 CPUtime=0
/proc/21339/stat : 21339 (sh) S 21326 21326 19801 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 1992692181 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21339/statm: 1339 233 193 169 0 50 0
[pid=21340] ppid=21339 vsize=868500 CPUtime=230.87
/proc/21340/stat : 21340 (java) S 21339 21326 19801 0 -1 0 72335 0 1 0 21234 1853 0 0 18 0 9 0 1992692181 889344000 7392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21340/statm: 217125 7392 2565 9 0 211672 0
[pid=21340/tid=21341] ppid=21339 vsize=868500 CPUtime=214.25
/proc/21340/task/21341/stat : 21341 (java) R 21339 21326 19801 0 -1 64 66873 0 1 0 19946 1479 0 0 25 0 9 0 1992692182 889344000 7392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21340/tid=21342] ppid=21339 vsize=868500 CPUtime=16.33
/proc/21340/task/21342/stat : 21342 (java) S 21339 21326 19801 0 -1 64 3264 0 0 0 1261 372 0 0 16 0 9 0 1992692184 889344000 7392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21340/tid=21343] ppid=21339 vsize=868500 CPUtime=0
/proc/21340/task/21343/stat : 21343 (java) S 21339 21326 19801 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1992692184 889344000 7392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21340/tid=21344] ppid=21339 vsize=868500 CPUtime=0
/proc/21340/task/21344/stat : 21344 (java) S 21339 21326 19801 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1992692184 889344000 7392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21340/tid=21345] ppid=21339 vsize=868500 CPUtime=0
/proc/21340/task/21345/stat : 21345 (java) S 21339 21326 19801 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992692186 889344000 7392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21340/tid=21346] ppid=21339 vsize=868500 CPUtime=0.26
/proc/21340/task/21346/stat : 21346 (java) S 21339 21326 19801 0 -1 64 1506 0 0 0 26 0 0 0 16 0 9 0 1992692186 889344000 7392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21340/tid=21347] ppid=21339 vsize=868500 CPUtime=0
/proc/21340/task/21347/stat : 21347 (java) S 21339 21326 19801 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1992692186 889344000 7392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21340/tid=21348] ppid=21339 vsize=868500 CPUtime=0
/proc/21340/task/21348/stat : 21348 (java) S 21339 21326 19801 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1992692186 889344000 7392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 231.58
Current children cumulated vsize (KiB) 887456
[startup+239.902 s]
/proc/loadavg: 2.18 2.28 2.18 4/83 21348
/proc/meminfo: memFree=16288/2055920 swapFree=4180436/4192956
[pid=21326] ppid=21324 vsize=13600 CPUtime=0.71
/proc/21326/stat : 21326 (sugar) S 21324 21326 19801 0 -1 4194304 974 4934 0 1 3 1 64 3 15 0 1 0 1992692102 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21326/statm: 3400 797 370 3 0 500 0
[pid=21339] ppid=21326 vsize=5356 CPUtime=0
/proc/21339/stat : 21339 (sh) S 21326 21326 19801 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 1992692181 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21339/statm: 1339 233 193 169 0 50 0
[pid=21340] ppid=21339 vsize=868500 CPUtime=234
/proc/21340/stat : 21340 (java) S 21339 21326 19801 0 -1 0 73332 0 1 0 21515 1885 0 0 18 0 9 0 1992692181 889344000 7392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21340/statm: 217125 7392 2565 9 0 211672 0
[pid=21340/tid=21341] ppid=21339 vsize=868500 CPUtime=217.14
/proc/21340/task/21341/stat : 21341 (java) R 21339 21326 19801 0 -1 64 67870 0 1 0 20208 1506 0 0 25 0 9 0 1992692182 889344000 7392 996147200 134512640 134550740 4294955952 18446744073709551615 4126619128 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21340/tid=21342] ppid=21339 vsize=868500 CPUtime=16.57
/proc/21340/task/21342/stat : 21342 (java) S 21339 21326 19801 0 -1 64 3264 0 0 0 1280 377 0 0 16 0 9 0 1992692184 889344000 7392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21340/tid=21343] ppid=21339 vsize=868500 CPUtime=0
/proc/21340/task/21343/stat : 21343 (java) S 21339 21326 19801 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1992692184 889344000 7392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21340/tid=21344] ppid=21339 vsize=868500 CPUtime=0
/proc/21340/task/21344/stat : 21344 (java) S 21339 21326 19801 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1992692184 889344000 7392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21340/tid=21345] ppid=21339 vsize=868500 CPUtime=0
/proc/21340/task/21345/stat : 21345 (java) S 21339 21326 19801 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992692186 889344000 7392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21340/tid=21346] ppid=21339 vsize=868500 CPUtime=0.26
/proc/21340/task/21346/stat : 21346 (java) S 21339 21326 19801 0 -1 64 1506 0 0 0 26 0 0 0 16 0 9 0 1992692186 889344000 7392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21340/tid=21347] ppid=21339 vsize=868500 CPUtime=0
/proc/21340/task/21347/stat : 21347 (java) S 21339 21326 19801 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1992692186 889344000 7392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21340/tid=21348] ppid=21339 vsize=868500 CPUtime=0
/proc/21340/task/21348/stat : 21348 (java) S 21339 21326 19801 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1992692186 889344000 7392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 234.71
Current children cumulated vsize (KiB) 887456
[startup+243.107 s]
/proc/loadavg: 2.25 2.29 2.18 3/83 21348
/proc/meminfo: memFree=16224/2055920 swapFree=4180436/4192956
[pid=21326] ppid=21324 vsize=13600 CPUtime=0.71
/proc/21326/stat : 21326 (sugar) S 21324 21326 19801 0 -1 4194304 974 4934 0 1 3 1 64 3 15 0 1 0 1992692102 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/21326/statm: 3400 797 370 3 0 500 0
[pid=21339] ppid=21326 vsize=5356 CPUtime=0
/proc/21339/stat : 21339 (sh) S 21326 21326 19801 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 1992692181 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21339/statm: 1339 233 193 169 0 50 0
[pid=21340] ppid=21339 vsize=868500 CPUtime=237.12
/proc/21340/stat : 21340 (java) S 21339 21326 19801 0 -1 0 74324 0 1 0 21796 1916 0 0 18 0 9 0 1992692181 889344000 7392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21340/statm: 217125 7392 2565 9 0 211672 0
[pid=21340/tid=21341] ppid=21339 vsize=868500 CPUtime=219.99
/proc/21340/task/21341/stat : 21341 (java) R 21339 21326 19801 0 -1 64 68862 0 1 0 20468 1531 0 0 25 0 9 0 1992692182 889344000 7392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21340/tid=21342] ppid=21339 vsize=868500 CPUtime=16.84
/proc/21340/task/21342/stat : 21342 (java) R 21339 21326 19801 0 -1 64 3264 0 0 0 1301 383 0 0 15 0 9 0 1992692184 889344000 7392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21340/tid=21343] ppid=21339 vsize=868500 CPUtime=0
/proc/21340/task/21343/stat : 21343 (java) S 21339 21326 19801 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1992692184 889344000 7392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21340/tid=21344] ppid=21339 vsize=868500 CPUtime=0
/proc/21340/task/21344/stat : 21344 (java) S 21339 21326 19801 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1992692184 889344000 7392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21340/tid=21345] ppid=21339 vsize=868500 CPUtime=0
/proc/21340/task/21345/stat : 21345 (java) S 21339 21326 19801 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992692186 889344000 7392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21340/tid=21346] ppid=21339 vsize=868500 CPUtime=0.26
/proc/21340/task/21346/stat : 21346 (java) S 21339 21326 19801 0 -1 64 1506 0 0 0 26 0 0 0 16 0 9 0 1992692186 889344000 7392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21340/tid=21347] ppid=21339 vsize=868500 CPUtime=0
/proc/21340/task/21347/stat : 21347 (java) S 21339 21326 19801 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1992692186 889344000 7392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21340/tid=21348] ppid=21339 vsize=868500 CPUtime=0
/proc/21340/task/21348/stat : 21348 (java) S 21339 21326 19801 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1992692186 889344000 7392 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 237.83
Current children cumulated vsize (KiB) 887456
[startup+244.701 s]
/proc/loadavg: 2.25 2.29 2.18 3/73 21348
/proc/meminfo: memFree=315312/2055920 swapFree=4180436/4192956
[pid=21326] ppid=21324 vsize=13600 CPUtime=239.36
/proc/21326/stat : 21326 (sugar) R 21324 21326 19801 0 -1 4194304 996 79806 0 2 3 73 21932 1928 16 0 1 0 1992692102 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 231962547241 0 0 4224 16386 0 0 0 17 1 0 0
/proc/21326/statm: 3400 798 371 3 0 500 0
Current children cumulated CPU time (s) 239.36
Current children cumulated vsize (KiB) 13600
[startup+245.101 s]
/proc/loadavg: 2.25 2.29 2.18 3/73 21348
/proc/meminfo: memFree=315312/2055920 swapFree=4180436/4192956
[pid=21326] ppid=21324 vsize=13600 CPUtime=239.66
/proc/21326/stat : 21326 (sugar) R 21324 21326 19801 0 -1 4194304 996 79806 0 2 3 103 21932 1928 16 0 1 0 1992692102 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 231962547241 0 0 4224 16386 0 0 0 17 1 0 0
/proc/21326/statm: 3400 798 371 3 0 500 0
Current children cumulated CPU time (s) 239.66
Current children cumulated vsize (KiB) 13600
[startup+245.501 s]
/proc/loadavg: 2.25 2.29 2.18 2/73 21348
/proc/meminfo: memFree=1913328/2055920 swapFree=4180436/4192956
[pid=21326] ppid=21324 vsize=13600 CPUtime=239.69
/proc/21326/stat : 21326 (sugar) D 21324 21326 19801 0 -1 4194304 996 79806 0 2 3 106 21932 1928 15 0 1 0 1992692102 13926400 798 996147200 4194304 4206940 548682068608 18446744073709551615 231962547241 0 0 4224 16386 18446744071563608240 0 0 17 1 0 0
/proc/21326/statm: 3400 798 371 3 0 500 0
Current children cumulated CPU time (s) 239.69
Current children cumulated vsize (KiB) 13600
Child status: 0
Real time (s): 245.533
CPU time (s): 239.706
CPU user time (s): 219.356
CPU system time (s): 20.3499
CPU usage (%): 97.6267
Max. virtual memory (cumulated for all children) (KiB): 887456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 219.356
system time used= 20.3499
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80832
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 471278
involuntary context switches= 474308
runsolver used 0.314952 second user time and 0.838872 second system time
The end
Begin job on node71 at 2008-07-04 04:07:14
IDJOB=1063454
IDBENCH=54756
IDSOLVER=345
FILE ID=node71/1063454-1215137234
PBS_JOBID= 7877331
Free space on /tmp= 66556 MiB
SOLVER NAME= Sugar v1.13+picosat
BENCH NAME= CPAI08/csp/pseudo/mpsReduced/normalized-mps-red-bell3a.xml
COMMAND LINE= DIR/sugar -c -vv -java="java -Xmx700M" -jar="DIR/sugar-v1-13.jar" -solver="DIR/picosat" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1063454-1215137234/watcher-1063454-1215137234 -o /tmp/evaluation-result-1063454-1215137234/solver-1063454-1215137234 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/sugar -c -vv -java="java -Xmx700M" -jar="HOME/sugar-v1-13.jar" -solver="HOME/picosat" -tmp="HOME/temp" HOME/instance-1063454-1215137234.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 9671342a156282dfa58edb9dcf56f269
RANDOM SEED=1026342736
node71.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.209
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.209
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: 1608480 kB
Buffers: 45880 kB
Cached: 291516 kB
SwapCached: 6480 kB
Active: 96856 kB
Inactive: 287008 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1608480 kB
SwapTotal: 4192956 kB
SwapFree: 4180436 kB
Dirty: 2472 kB
Writeback: 0 kB
Mapped: 54368 kB
Slab: 48648 kB
Committed_AS: 4279300 kB
PageTables: 2128 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66556 MiB
End job on node71 at 2008-07-04 04:11:19