0.05/0.08 c 0 Sugar v1-14-6 + HOME/picosat
0.05/0.08 c 0 BEGIN Sat Jul 11 16:40:12 2009
0.05/0.08 c 0 PID 12610
0.05/0.08 c 0 HOST node64.alineos.net
0.05/0.08 c 0 CONVERTING HOME/instance-2059036-1247323211.xml TO HOME/temp.csp
0.05/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-2059036-1247323211.xml' 'HOME/temp.csp'
0.07/0.96 c 1 26 domains, 625 variables, 0 predicates, 26 relations, 10142 constraints
0.07/0.98 c 1 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.07/0.98 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.94/1.06 c 1 Parsing HOME/temp.csp
1.13/1.21 c 1 parsed 10000 expressions
1.13/1.22 c 1 parsed 10819 expressions
1.13/1.22 c 1 Heap : 3 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
1.13/1.22 c 1 Converting to clausal form CSP
1.13/1.29 c 1 converted 1082 (10%) expressions
1.23/1.38 c 1 converted 2164 (20%) expressions
1.34/1.48 c 1 converted 3246 (30%) expressions
1.43/1.56 c 1 converted 4328 (40%) expressions
1.53/1.60 c 1 converted 5410 (50%) expressions
1.53/1.63 c 1 converted 6492 (60%) expressions
1.53/1.65 c 1 converted 7574 (70%) expressions
1.63/1.76 c 1 converted 8656 (80%) expressions
1.73/1.81 c 1 converted 9738 (90%) expressions
1.73/1.84 c 1 converted 10819 (100%) expressions
1.73/1.84 c 1 CSP : 625 integers, 0 booleans, 10142 clauses, largest domain size 25
1.73/1.84 c 1 Heap : 17 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
1.73/1.84 c 1 Propagation in CSP
1.73/1.86 c 1 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.73/1.86 c 1 CSP : 625 integers, 0 booleans, 10142 clauses, largest domain size 25
1.73/1.86 c 1 Heap : 17 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
1.73/1.87 c 1 Simplifing CSP by introducing new Boolean variables
1.73/1.87 c 1 CSP : 625 integers, 0 booleans, 10142 clauses, largest domain size 25
1.73/1.87 c 1 Heap : 17 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
1.83/1.99 c 2 Encoding CSP to SAT : HOME/temp.cnf
1.93/2.00 c 2 63 (10%) CSP integer variables are encoded (575 clauses, 6183 bytes)
1.93/2.01 c 2 125 (20%) CSP integer variables are encoded (1219 clauses, 13790 bytes)
1.93/2.01 c 2 188 (30%) CSP integer variables are encoded (1817 clauses, 21564 bytes)
1.93/2.01 c 2 250 (40%) CSP integer variables are encoded (2415 clauses, 29338 bytes)
1.93/2.01 c 2 313 (50%) CSP integer variables are encoded (2990 clauses, 36813 bytes)
1.93/2.01 c 2 375 (60%) CSP integer variables are encoded (3588 clauses, 44587 bytes)
1.93/2.02 c 2 438 (70%) CSP integer variables are encoded (4278 clauses, 53557 bytes)
1.93/2.02 c 2 500 (80%) CSP integer variables are encoded (4853 clauses, 61032 bytes)
1.93/2.02 c 2 563 (90%) CSP integer variables are encoded (5474 clauses, 69105 bytes)
1.93/2.02 c 2 625 (100%) CSP integer variables are encoded (6072 clauses, 76879 bytes)
2.02/2.15 c 2 1015 (10%) CSP clauses are encoded (12823 clauses, 202652 bytes)
2.13/2.23 c 2 2029 (20%) CSP clauses are encoded (20101 clauses, 344482 bytes)
2.22/2.30 c 2 3043 (30%) CSP clauses are encoded (26947 clauses, 490257 bytes)
2.22/2.37 c 2 4057 (40%) CSP clauses are encoded (34321 clauses, 652871 bytes)
2.31/2.45 c 2 5071 (50%) CSP clauses are encoded (42103 clauses, 825080 bytes)
2.42/2.51 c 2 6086 (60%) CSP clauses are encoded (48446 clauses, 963477 bytes)
2.42/2.58 c 2 7100 (70%) CSP clauses are encoded (55388 clauses, 1115811 bytes)
2.52/2.65 c 2 8114 (80%) CSP clauses are encoded (62834 clauses, 1280157 bytes)
2.62/2.72 c 2 9128 (90%) CSP clauses are encoded (69728 clauses, 1431533 bytes)
2.62/2.79 c 2 10142 (100%) CSP clauses are encoded (76934 clauses, 1590069 bytes)
2.62/2.79 c 2 10142 CSP clauses encoded
2.62/2.79 c 2 Writing map file : HOME/temp.map
2.72/2.80 c 2 Heap : 15 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
2.72/2.80 c 2 SAT : 6336 SAT variables, 76934 SAT clauses, 1590069 bytes
2.72/2.80 c 2 Heap : 15 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
2.72/2.81 c 2 SOLVING HOME/temp.cnf
2.72/2.81 c 2 CMD HOME/picosat 'HOME/temp.cnf' -o 'HOME/temp.out'
1681.10/1693.91 c 1693 DECODING HOME/temp.out WITH HOME/temp.map
1681.10/1693.91 c 1693 CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.SugarMain -v -v -competition -decode 'HOME/temp.out' 'HOME/temp.map'
1681.10/1693.99 c 1694 Decoding HOME/temp.out
1681.12/1694.13 s SATISFIABLE
1681.12/1694.16 v 6 10 13 22 17 14 1 21 7 12 18 8 5 11 19 15 4 0 20 9 23 2 16 24 3 1 2 23 18 3 10 8 15 9 20 14 24 4 21 13 16 11 17 6 22 19 12 5 7 0 0 11 2 15 7 4 17 9 3 24 19 14 1 6 20 10 8 18 21 13 5 23 12 22 16 9 20 17 2 5 7 24 16 21 11 13 12 22 10 1 3 18 8 23 19 14 0 6 4 15 15 0 1 7 6 8 12 10 2 9 11 13 18 23 24 14 22 5 4 3 16 20 19 21 17 4 7 8 21 10 5 18 3 24 22 1 0 20 2 9 6 12 15 16 23 11 17 13 19 14 8 13 19 9 24 22 10 18 15 14 12 23 6 4 16 21 1 11 17 5 20 7 0 3 2 22 21 20 8 19 18 6 13 0 16 9 1 15 17 10 23 24 3 12 11 7 14 4 2 5 16 22 12 11 23 9 4 0 6 1 10 17 24 3 5 8 14 19 18 7 15 13 2 20 21 5 18 16 14 8 3 19 12 20 6 23 22 7 9 2 4 15 10 11 0 17 21 24 13 1 7 9 5 17 20 16 23 19 4 0 24 15 21 14 3 1 13 6 22 10 2 8 18 11 12 11 5 9 23 16 19 15 4 14 13 7 10 2 20 21 0 3 12 1 17 6 24 22 18 8 17 6 7 19 15 23 9 14 12 5 22 16 3 18 8 13 2 24 0 21 10 4 11 1 20 20 8 3 6 22 13 14 1 19 17 2 21 0 24 12 7 23 16 9 18 4 11 15 5 10 3 16 22 10 2 11 7 24 8 18 0 9 17 12 23 19 20 4 5 6 21 15 1 14 13 14 24 10 20 0 15 3 22 5 19 16 2 13 8 11 17 9 23 7 4 18 1 21 12 6 18 1 21 24 14 6 13 23 10 3 15 11 12 5 0 2 19 20 8 16 22 9 7 17 4 24 19 18 1 21 17 5 11 22 15 4 3 9 13 7 12 16 14 2 20 0 10 8 6 23 2 12 14 3 9 21 11 7 17 8 6 4 23 0 22 5 10 13 19 15 1 18 20 16 24 12 17 11 16 4 0 21 20 13 2 8 18 10 22 6 9 7 1 15 24 3 5 14 23 19 21 3 15 4 11 24 0 2 23 10 5 20 19 1 18 22 6 9 13 14 12 16 17 8 7 10 15 6 0 13 1 2 17 16 7 20 5 11 19 4 24 21 22 14 12 8 3 23 9 18 13 14 4 5 12 2 22 8 18 23 3 6 16 7 15 20 17 21 24 1 9 19 10 0 11 19 23 24 12 1 20 16 5 11 4 21 7 14 15 17 18 0 2 3 8 13 6 9 10 22 23 4 0 13 18 12 20 6 1 21 17 19 8 16 14 11 5 7 10 2 24 22 3 15 9
1681.12/1694.16 c 1694 Heap : 0 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
1681.12/1694.18 c 1694 CPU 1681.37 (0.06 0.01 1680.63 0.67)
1681.12/1694.18 c 1694 END Sat Jul 11 17:08:26 2009
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2059036-1247323211/watcher-2059036-1247323211 -o /tmp/evaluation-result-2059036-1247323211/solver-2059036-1247323211 -C 1800 -W 2000 -M 900 HOME/sugar -c -vv -memlimit=900 -jar=HOME/sugar-v1-14-6.jar -solver=HOME/picosat -tmp=HOME/temp HOME/instance-2059036-1247323211.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.99 1.97 1.91 4/73 12610
/proc/meminfo: memFree=1060792/2055920 swapFree=4192956/4192956
[pid=12610] ppid=12608 vsize=18576 CPUtime=0
/proc/12610/stat : 12610 (runsolver) R 12608 12610 11570 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 19384454 19021824 284 996147200 4194304 4302564 548682068304 18446744073709551615 251255123239 0 0 4096 24578 0 0 0 17 1 0 0
/proc/12610/statm: 4644 284 249 26 0 2626 0
[startup+0.075785 s]
/proc/loadavg: 1.99 1.97 1.91 4/73 12610
/proc/meminfo: memFree=1060792/2055920 swapFree=4192956/4192956
[pid=12610] ppid=12608 vsize=16344 CPUtime=0.05
/proc/12610/stat : 12610 (sugar) R 12608 12610 11570 0 -1 4194304 1009 0 0 0 4 1 0 0 18 0 1 0 19384454 16736256 977 996147200 4194304 4206940 548682068608 18446744073709551615 251273112571 0 0 4224 0 0 0 0 17 1 0 0
/proc/12610/statm: 4086 977 380 3 0 665 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 16344
[startup+0.101796 s]
/proc/loadavg: 1.99 1.97 1.91 4/73 12610
/proc/meminfo: memFree=1060792/2055920 swapFree=4192956/4192956
[pid=12610] ppid=12608 vsize=16868 CPUtime=0.07
/proc/12610/stat : 12610 (sugar) S 12608 12610 11570 0 -1 4194304 1227 128 0 0 6 1 0 0 19 0 1 0 19384454 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12610/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16868
[startup+0.301805 s]
/proc/loadavg: 1.99 1.97 1.91 4/73 12610
/proc/meminfo: memFree=1060792/2055920 swapFree=4192956/4192956
[pid=12610] ppid=12608 vsize=16868 CPUtime=0.07
/proc/12610/stat : 12610 (sugar) S 12608 12610 11570 0 -1 4194304 1227 128 0 0 6 1 0 0 19 0 1 0 19384454 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12610/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16868
[startup+0.701856 s]
/proc/loadavg: 1.99 1.97 1.91 4/73 12610
/proc/meminfo: memFree=1060792/2055920 swapFree=4192956/4192956
[pid=12610] ppid=12608 vsize=16868 CPUtime=0.07
/proc/12610/stat : 12610 (sugar) S 12608 12610 11570 0 -1 4194304 1227 128 0 0 6 1 0 0 19 0 1 0 19384454 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12610/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16868
[startup+1.50194 s]
/proc/loadavg: 1.99 1.97 1.91 3/77 12625
/proc/meminfo: memFree=1055576/2055920 swapFree=4192956/4192956
[pid=12610] ppid=12608 vsize=16868 CPUtime=0.94
/proc/12610/stat : 12610 (sugar) S 12608 12610 11570 0 -1 4194304 1309 7966 0 1 6 1 82 5 16 0 1 0 19384454 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12610/statm: 4217 1111 409 3 0 796 0
[pid=12623] ppid=12610 vsize=5356 CPUtime=0
/proc/12623/stat : 12623 (sh) S 12610 12610 11570 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 19384552 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12623/statm: 1339 233 193 169 0 50 0
[pid=12624] ppid=12623 vsize=868472 CPUtime=0.49
/proc/12624/stat : 12624 (java) S 12623 12610 11570 0 -1 0 7870 0 1 0 46 3 0 0 18 0 9 0 19384553 889315328 7088 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12624/statm: 217118 7088 2566 9 0 211623 0
[pid=12624/tid=12625] ppid=12623 vsize=868472 CPUtime=0.25
/proc/12624/task/12625/stat : 12625 (java) R 12623 12610 11570 0 -1 64 2657 0 1 0 24 1 0 0 18 0 9 0 19384554 889315328 7088 996147200 134512640 134550932 4294955936 18446744073709551615 4126517129 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 890696
[startup+3.10111 s]
/proc/loadavg: 1.99 1.97 1.91 3/84 12632
/proc/meminfo: memFree=1027296/2055920 swapFree=4192956/4192956
[pid=12610] ppid=12608 vsize=16868 CPUtime=2.74
/proc/12610/stat : 12610 (sugar) S 12608 12610 11570 0 -1 4194304 1365 19158 0 2 6 1 254 13 16 0 1 0 19384454 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12610/statm: 4217 1113 409 3 0 796 0
Current children cumulated CPU time (s) 2.74
Current children cumulated vsize (KiB) 16868
[startup+6.30246 s]
/proc/loadavg: 1.99 1.97 1.91 3/76 12634
/proc/meminfo: memFree=1052384/2055920 swapFree=4192956/4192956
[pid=12610] ppid=12608 vsize=16868 CPUtime=2.74
/proc/12610/stat : 12610 (sugar) S 12608 12610 11570 0 -1 4194304 1365 19158 0 2 6 1 254 13 16 0 1 0 19384454 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12610/statm: 4217 1113 409 3 0 796 0
[pid=12633] ppid=12610 vsize=5356 CPUtime=0
/proc/12633/stat : 12633 (sh) S 12610 12610 11570 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 19384736 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12633/statm: 1339 232 193 169 0 50 0
[pid=12634] ppid=12633 vsize=3656 CPUtime=3.44
/proc/12634/stat : 12634 (picosat) R 12633 12610 11570 0 -1 4194304 834 0 0 0 302 42 0 0 25 0 1 0 19384736 3743744 812 996147200 134512640 134931368 4294956256 18446744073709551615 134529108 0 0 4096 0 0 0 0 17 1 0 0
/proc/12634/statm: 914 812 48 102 0 809 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 25880
[startup+12.7021 s]
/proc/loadavg: 1.99 1.97 1.91 3/76 12634
/proc/meminfo: memFree=1051872/2055920 swapFree=4192956/4192956
[pid=12610] ppid=12608 vsize=16868 CPUtime=2.74
/proc/12610/stat : 12610 (sugar) S 12608 12610 11570 0 -1 4194304 1365 19158 0 2 6 1 254 13 16 0 1 0 19384454 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12610/statm: 4217 1113 409 3 0 796 0
[pid=12633] ppid=12610 vsize=5356 CPUtime=0
/proc/12633/stat : 12633 (sh) S 12610 12610 11570 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 19384736 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12633/statm: 1339 232 193 169 0 50 0
[pid=12634] ppid=12633 vsize=4168 CPUtime=9.78
/proc/12634/stat : 12634 (picosat) R 12633 12610 11570 0 -1 4194304 949 0 0 0 936 42 0 0 25 0 1 0 19384736 4268032 927 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/12634/statm: 1042 927 48 102 0 937 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 26392
[startup+25.5015 s]
/proc/loadavg: 1.99 1.97 1.91 3/76 12634
/proc/meminfo: memFree=1051360/2055920 swapFree=4192956/4192956
[pid=12610] ppid=12608 vsize=16868 CPUtime=2.74
/proc/12610/stat : 12610 (sugar) S 12608 12610 11570 0 -1 4194304 1365 19158 0 2 6 1 254 13 16 0 1 0 19384454 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12610/statm: 4217 1113 409 3 0 796 0
[pid=12633] ppid=12610 vsize=5356 CPUtime=0
/proc/12633/stat : 12633 (sh) S 12610 12610 11570 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 19384736 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12633/statm: 1339 232 193 169 0 50 0
[pid=12634] ppid=12633 vsize=4812 CPUtime=22.45
/proc/12634/stat : 12634 (picosat) R 12633 12610 11570 0 -1 4194304 1103 0 0 0 2203 42 0 0 25 0 1 0 19384736 4927488 1081 996147200 134512640 134931368 4294956256 18446744073709551615 134529977 0 0 4096 0 0 0 0 17 1 0 0
/proc/12634/statm: 1203 1081 48 102 0 1098 0
Current children cumulated CPU time (s) 25.19
Current children cumulated vsize (KiB) 27036
[startup+51.1013 s]
/proc/loadavg: 1.99 1.97 1.91 3/76 12634
/proc/meminfo: memFree=1050400/2055920 swapFree=4192956/4192956
[pid=12610] ppid=12608 vsize=16868 CPUtime=2.74
/proc/12610/stat : 12610 (sugar) S 12608 12610 11570 0 -1 4194304 1365 19158 0 2 6 1 254 13 16 0 1 0 19384454 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12610/statm: 4217 1113 409 3 0 796 0
[pid=12633] ppid=12610 vsize=5356 CPUtime=0
/proc/12633/stat : 12633 (sh) S 12610 12610 11570 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 19384736 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12633/statm: 1339 232 193 169 0 50 0
[pid=12634] ppid=12633 vsize=5788 CPUtime=47.82
/proc/12634/stat : 12634 (picosat) R 12633 12610 11570 0 -1 4194304 1380 0 0 0 4739 43 0 0 25 0 1 0 19384736 5926912 1331 996147200 134512640 134931368 4294956256 18446744073709551615 134525659 0 0 4096 0 0 0 0 17 1 0 0
/proc/12634/statm: 1447 1331 48 102 0 1342 0
Current children cumulated CPU time (s) 50.56
Current children cumulated vsize (KiB) 28012
[startup+102.307 s]
/proc/loadavg: 1.99 1.97 1.91 3/76 12634
/proc/meminfo: memFree=1049120/2055920 swapFree=4192956/4192956
[pid=12610] ppid=12608 vsize=16868 CPUtime=2.74
/proc/12610/stat : 12610 (sugar) S 12608 12610 11570 0 -1 4194304 1365 19158 0 2 6 1 254 13 16 0 1 0 19384454 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12610/statm: 4217 1113 409 3 0 796 0
[pid=12633] ppid=12610 vsize=5356 CPUtime=0
/proc/12633/stat : 12633 (sh) S 12610 12610 11570 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 19384736 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12633/statm: 1339 232 193 169 0 50 0
[pid=12634] ppid=12633 vsize=6784 CPUtime=98.54
/proc/12634/stat : 12634 (picosat) R 12633 12610 11570 0 -1 4194304 1644 0 0 0 9811 43 0 0 25 0 1 0 19384736 6946816 1595 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 1 0 0
/proc/12634/statm: 1696 1595 48 102 0 1591 0
Current children cumulated CPU time (s) 101.28
Current children cumulated vsize (KiB) 29008
[startup+162.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/76 12634
/proc/meminfo: memFree=1048032/2055920 swapFree=4192956/4192956
[pid=12610] ppid=12608 vsize=16868 CPUtime=2.74
/proc/12610/stat : 12610 (sugar) S 12608 12610 11570 0 -1 4194304 1365 19158 0 2 6 1 254 13 16 0 1 0 19384454 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12610/statm: 4217 1113 409 3 0 796 0
[pid=12633] ppid=12610 vsize=5356 CPUtime=0
/proc/12633/stat : 12633 (sh) S 12610 12610 11570 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 19384736 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12633/statm: 1339 232 193 169 0 50 0
[pid=12634] ppid=12633 vsize=7860 CPUtime=157.97
/proc/12634/stat : 12634 (picosat) R 12633 12610 11570 0 -1 4194304 1924 0 0 0 15754 43 0 0 25 0 1 0 19384736 8048640 1875 996147200 134512640 134931368 4294956256 18446744073709551615 134525794 0 0 4096 0 0 0 0 17 1 0 0
/proc/12634/statm: 1965 1875 48 102 0 1860 0
Current children cumulated CPU time (s) 160.71
Current children cumulated vsize (KiB) 30084
[startup+222.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/76 12634
/proc/meminfo: memFree=1047456/2055920 swapFree=4192956/4192956
[pid=12610] ppid=12608 vsize=16868 CPUtime=2.74
/proc/12610/stat : 12610 (sugar) S 12608 12610 11570 0 -1 4194304 1365 19158 0 2 6 1 254 13 16 0 1 0 19384454 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12610/statm: 4217 1113 409 3 0 796 0
[pid=12633] ppid=12610 vsize=5356 CPUtime=0
/proc/12633/stat : 12633 (sh) S 12610 12610 11570 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 19384736 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12633/statm: 1339 232 193 169 0 50 0
[pid=12634] ppid=12633 vsize=8680 CPUtime=217.4
/proc/12634/stat : 12634 (picosat) R 12633 12610 11570 0 -1 4194304 2046 0 0 0 21697 43 0 0 25 0 1 0 19384736 8888320 1997 996147200 134512640 134931368 4294956256 18446744073709551615 134525659 0 0 4096 0 0 0 0 17 1 0 0
/proc/12634/statm: 2170 1997 48 102 0 2065 0
Current children cumulated CPU time (s) 220.14
Current children cumulated vsize (KiB) 30904
[startup+282.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/76 12634
/proc/meminfo: memFree=1046752/2055920 swapFree=4192956/4192956
[pid=12610] ppid=12608 vsize=16868 CPUtime=2.74
/proc/12610/stat : 12610 (sugar) S 12608 12610 11570 0 -1 4194304 1365 19158 0 2 6 1 254 13 16 0 1 0 19384454 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12610/statm: 4217 1113 409 3 0 796 0
[pid=12633] ppid=12610 vsize=5356 CPUtime=0
/proc/12633/stat : 12633 (sh) S 12610 12610 11570 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 19384736 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12633/statm: 1339 232 193 169 0 50 0
[pid=12634] ppid=12633 vsize=9396 CPUtime=276.84
/proc/12634/stat : 12634 (picosat) R 12633 12610 11570 0 -1 4194304 2347 0 0 0 27641 43 0 0 25 0 1 0 19384736 9621504 2162 996147200 134512640 134931368 4294956256 18446744073709551615 134522865 0 0 4096 0 0 0 0 17 1 0 0
/proc/12634/statm: 2349 2162 48 102 0 2244 0
Current children cumulated CPU time (s) 279.58
Current children cumulated vsize (KiB) 31620
################
# More data... #
################
/proc/12610/statm: 4217 1113 409 3 0 796 0
[pid=12633] ppid=12610 vsize=5356 CPUtime=0
/proc/12633/stat : 12633 (sh) S 12610 12610 11570 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 19384736 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12633/statm: 1339 232 193 169 0 50 0
[pid=12634] ppid=12633 vsize=15856 CPUtime=1466.83
/proc/12634/stat : 12634 (picosat) R 12633 12610 11570 0 -1 4194304 5987 0 0 0 146635 48 0 0 25 0 1 0 19384736 16236544 3780 996147200 134512640 134931368 4294956256 18446744073709551615 134525772 0 0 4096 0 0 0 0 17 0 0 0
/proc/12634/statm: 3964 3780 48 102 0 3859 0
Current children cumulated CPU time (s) 1469.57
Current children cumulated vsize (KiB) 38080
[startup+1542.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/77 12723
/proc/meminfo: memFree=1039376/2055920 swapFree=4192956/4192956
[pid=12610] ppid=12608 vsize=16868 CPUtime=2.74
/proc/12610/stat : 12610 (sugar) S 12608 12610 11570 0 -1 4194304 1365 19158 0 2 6 1 254 13 16 0 1 0 19384454 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12610/statm: 4217 1113 409 3 0 796 0
[pid=12633] ppid=12610 vsize=5356 CPUtime=0
/proc/12633/stat : 12633 (sh) S 12610 12610 11570 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 19384736 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12633/statm: 1339 232 193 169 0 50 0
[pid=12634] ppid=12633 vsize=15856 CPUtime=1526.82
/proc/12634/stat : 12634 (picosat) R 12633 12610 11570 0 -1 4194304 6050 0 0 0 152633 49 0 0 25 0 1 0 19384736 16236544 3780 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/12634/statm: 3964 3780 48 102 0 3859 0
Current children cumulated CPU time (s) 1529.56
Current children cumulated vsize (KiB) 38080
[startup+1602.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/77 12723
/proc/meminfo: memFree=1038872/2055920 swapFree=4192956/4192956
[pid=12610] ppid=12608 vsize=16868 CPUtime=2.74
/proc/12610/stat : 12610 (sugar) S 12608 12610 11570 0 -1 4194304 1365 19158 0 2 6 1 254 13 16 0 1 0 19384454 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12610/statm: 4217 1113 409 3 0 796 0
[pid=12633] ppid=12610 vsize=5356 CPUtime=0
/proc/12633/stat : 12633 (sh) S 12610 12610 11570 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 19384736 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12633/statm: 1339 232 193 169 0 50 0
[pid=12634] ppid=12633 vsize=16120 CPUtime=1586.8
/proc/12634/stat : 12634 (picosat) R 12633 12610 11570 0 -1 4194304 6236 0 0 0 158631 49 0 0 25 0 1 0 19384736 16506880 3836 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/12634/statm: 4030 3836 48 102 0 3925 0
Current children cumulated CPU time (s) 1589.54
Current children cumulated vsize (KiB) 38344
[startup+1662.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/77 12723
/proc/meminfo: memFree=1038424/2055920 swapFree=4192956/4192956
[pid=12610] ppid=12608 vsize=16868 CPUtime=2.74
/proc/12610/stat : 12610 (sugar) S 12608 12610 11570 0 -1 4194304 1365 19158 0 2 6 1 254 13 16 0 1 0 19384454 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12610/statm: 4217 1113 409 3 0 796 0
[pid=12633] ppid=12610 vsize=5356 CPUtime=0
/proc/12633/stat : 12633 (sh) S 12610 12610 11570 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 19384736 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12633/statm: 1339 232 193 169 0 50 0
[pid=12634] ppid=12633 vsize=16384 CPUtime=1646.77
/proc/12634/stat : 12634 (picosat) R 12633 12610 11570 0 -1 4194304 6382 0 0 0 164628 49 0 0 25 0 1 0 19384736 16777216 3915 996147200 134512640 134931368 4294956256 18446744073709551615 134523045 0 0 4096 0 0 0 0 17 0 0 0
/proc/12634/statm: 4096 3915 48 102 0 3991 0
Current children cumulated CPU time (s) 1649.51
Current children cumulated vsize (KiB) 38608
Solver just ended. Dumping a history of the last processes samples
[startup+1663.9 s]
/proc/loadavg: 1.99 2.00 1.99 3/77 12723
/proc/meminfo: memFree=1038424/2055920 swapFree=4192956/4192956
[pid=12610] ppid=12608 vsize=16868 CPUtime=2.74
/proc/12610/stat : 12610 (sugar) S 12608 12610 11570 0 -1 4194304 1365 19158 0 2 6 1 254 13 16 0 1 0 19384454 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12610/statm: 4217 1113 409 3 0 796 0
[pid=12633] ppid=12610 vsize=5356 CPUtime=0
/proc/12633/stat : 12633 (sh) S 12610 12610 11570 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 19384736 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12633/statm: 1339 232 193 169 0 50 0
[pid=12634] ppid=12633 vsize=16384 CPUtime=1648.37
/proc/12634/stat : 12634 (picosat) R 12633 12610 11570 0 -1 4194304 6382 0 0 0 164788 49 0 0 25 0 1 0 19384736 16777216 3915 996147200 134512640 134931368 4294956256 18446744073709551615 134525820 0 0 4096 0 0 0 0 17 0 0 0
/proc/12634/statm: 4096 3915 48 102 0 3991 0
Current children cumulated CPU time (s) 1651.11
Current children cumulated vsize (KiB) 38608
[startup+1676.7 s]
/proc/loadavg: 1.99 2.00 1.99 3/77 12723
/proc/meminfo: memFree=1038232/2055920 swapFree=4192956/4192956
[pid=12610] ppid=12608 vsize=16868 CPUtime=2.74
/proc/12610/stat : 12610 (sugar) S 12608 12610 11570 0 -1 4194304 1365 19158 0 2 6 1 254 13 16 0 1 0 19384454 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12610/statm: 4217 1113 409 3 0 796 0
[pid=12633] ppid=12610 vsize=5356 CPUtime=0
/proc/12633/stat : 12633 (sh) S 12610 12610 11570 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 19384736 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12633/statm: 1339 232 193 169 0 50 0
[pid=12634] ppid=12633 vsize=16384 CPUtime=1661.16
/proc/12634/stat : 12634 (picosat) R 12633 12610 11570 0 -1 4194304 6382 0 0 0 166067 49 0 0 25 0 1 0 19384736 16777216 3915 996147200 134512640 134931368 4294956256 18446744073709551615 134525791 0 0 4096 0 0 0 0 17 0 0 0
/proc/12634/statm: 4096 3915 48 102 0 3991 0
Current children cumulated CPU time (s) 1663.9
Current children cumulated vsize (KiB) 38608
[startup+1683.1 s]
/proc/loadavg: 1.99 2.00 1.99 3/77 12723
/proc/meminfo: memFree=1038296/2055920 swapFree=4192956/4192956
[pid=12610] ppid=12608 vsize=16868 CPUtime=2.74
/proc/12610/stat : 12610 (sugar) S 12608 12610 11570 0 -1 4194304 1365 19158 0 2 6 1 254 13 16 0 1 0 19384454 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12610/statm: 4217 1113 409 3 0 796 0
[pid=12633] ppid=12610 vsize=5356 CPUtime=0
/proc/12633/stat : 12633 (sh) S 12610 12610 11570 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 19384736 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12633/statm: 1339 232 193 169 0 50 0
[pid=12634] ppid=12633 vsize=16384 CPUtime=1667.56
/proc/12634/stat : 12634 (picosat) R 12633 12610 11570 0 -1 4194304 6382 0 0 0 166707 49 0 0 25 0 1 0 19384736 16777216 3915 996147200 134512640 134931368 4294956256 18446744073709551615 134522823 0 0 4096 0 0 0 0 17 0 0 0
/proc/12634/statm: 4096 3915 48 102 0 3991 0
Current children cumulated CPU time (s) 1670.3
Current children cumulated vsize (KiB) 38608
[startup+1689.5 s]
/proc/loadavg: 1.99 2.00 1.99 3/77 12723
/proc/meminfo: memFree=1038296/2055920 swapFree=4192956/4192956
[pid=12610] ppid=12608 vsize=16868 CPUtime=2.74
/proc/12610/stat : 12610 (sugar) S 12608 12610 11570 0 -1 4194304 1365 19158 0 2 6 1 254 13 16 0 1 0 19384454 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12610/statm: 4217 1113 409 3 0 796 0
[pid=12633] ppid=12610 vsize=5356 CPUtime=0
/proc/12633/stat : 12633 (sh) S 12610 12610 11570 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 19384736 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12633/statm: 1339 232 193 169 0 50 0
[pid=12634] ppid=12633 vsize=16384 CPUtime=1673.96
/proc/12634/stat : 12634 (picosat) R 12633 12610 11570 0 -1 4194304 6382 0 0 0 167347 49 0 0 25 0 1 0 19384736 16777216 3915 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/12634/statm: 4096 3915 48 102 0 3991 0
Current children cumulated CPU time (s) 1676.7
Current children cumulated vsize (KiB) 38608
[startup+1692.7 s]
/proc/loadavg: 1.99 2.00 1.99 3/77 12723
/proc/meminfo: memFree=1038232/2055920 swapFree=4192956/4192956
[pid=12610] ppid=12608 vsize=16868 CPUtime=2.74
/proc/12610/stat : 12610 (sugar) S 12608 12610 11570 0 -1 4194304 1365 19158 0 2 6 1 254 13 16 0 1 0 19384454 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12610/statm: 4217 1113 409 3 0 796 0
[pid=12633] ppid=12610 vsize=5356 CPUtime=0
/proc/12633/stat : 12633 (sh) S 12610 12610 11570 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 19384736 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12633/statm: 1339 232 193 169 0 50 0
[pid=12634] ppid=12633 vsize=16384 CPUtime=1677.16
/proc/12634/stat : 12634 (picosat) R 12633 12610 11570 0 -1 4194304 6449 0 0 0 167667 49 0 0 25 0 1 0 19384736 16777216 3915 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/12634/statm: 4096 3915 48 102 0 3991 0
Current children cumulated CPU time (s) 1679.9
Current children cumulated vsize (KiB) 38608
[startup+1693.5 s]
/proc/loadavg: 1.99 2.00 1.99 3/77 12723
/proc/meminfo: memFree=1038232/2055920 swapFree=4192956/4192956
[pid=12610] ppid=12608 vsize=16868 CPUtime=2.74
/proc/12610/stat : 12610 (sugar) S 12608 12610 11570 0 -1 4194304 1365 19158 0 2 6 1 254 13 16 0 1 0 19384454 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12610/statm: 4217 1113 409 3 0 796 0
[pid=12633] ppid=12610 vsize=5356 CPUtime=0
/proc/12633/stat : 12633 (sh) S 12610 12610 11570 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 19384736 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12633/statm: 1339 232 193 169 0 50 0
[pid=12634] ppid=12633 vsize=16384 CPUtime=1677.96
/proc/12634/stat : 12634 (picosat) R 12633 12610 11570 0 -1 4194304 6449 0 0 0 167747 49 0 0 25 0 1 0 19384736 16777216 3915 996147200 134512640 134931368 4294956256 18446744073709551615 134525775 0 0 4096 0 0 0 0 17 0 0 0
/proc/12634/statm: 4096 3915 48 102 0 3991 0
Current children cumulated CPU time (s) 1680.7
Current children cumulated vsize (KiB) 38608
[startup+1693.9 s]
/proc/loadavg: 1.99 2.00 1.99 3/77 12723
/proc/meminfo: memFree=1038232/2055920 swapFree=4192956/4192956
[pid=12610] ppid=12608 vsize=16868 CPUtime=2.74
/proc/12610/stat : 12610 (sugar) S 12608 12610 11570 0 -1 4194304 1365 19158 0 2 6 1 254 13 16 0 1 0 19384454 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12610/statm: 4217 1113 409 3 0 796 0
[pid=12633] ppid=12610 vsize=5356 CPUtime=0
/proc/12633/stat : 12633 (sh) S 12610 12610 11570 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 19384736 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12633/statm: 1339 232 193 169 0 50 0
[pid=12634] ppid=12633 vsize=15872 CPUtime=1678.36
/proc/12634/stat : 12634 (picosat) R 12633 12610 11570 0 -1 4194304 6454 0 0 0 167787 49 0 0 25 0 1 0 19384736 16252928 3818 996147200 134512640 134931368 4294956256 18446744073709551615 134580625 0 0 4096 0 0 0 0 17 0 0 0
/proc/12634/statm: 3968 3818 52 102 0 3863 0
Current children cumulated CPU time (s) 1681.1
Current children cumulated vsize (KiB) 38096
[startup+1694.1 s]
/proc/loadavg: 1.99 2.00 1.99 3/77 12723
/proc/meminfo: memFree=1038232/2055920 swapFree=4192956/4192956
[pid=12610] ppid=12608 vsize=16868 CPUtime=1681.12
/proc/12610/stat : 12610 (sugar) S 12608 12610 11570 0 -1 4194304 1446 25898 0 2 6 1 168042 63 16 0 1 0 19384454 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 251264020578 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/12610/statm: 4217 1113 409 3 0 796 0
Current children cumulated CPU time (s) 1681.12
Current children cumulated vsize (KiB) 16868
Child status: 0
Real time (s): 1694.18
CPU time (s): 1681.39
CPU user time (s): 1680.7
CPU system time (s): 0.693894
CPU usage (%): 99.245
Max. virtual memory (cumulated for all children) (KiB): 890972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1680.7
system time used= 0.693894
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31356
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3212
involuntary context switches= 33023
runsolver used 2.35164 second user time and 5.36218 second system time
The end
Begin job on node64 at 2009-07-11 16:40:12
IDJOB=2059036
IDBENCH=53545
IDSOLVER=738
FILE ID=node64/2059036-1247323211
PBS_JOBID= 9506502
Free space on /tmp= 66320 MiB
SOLVER NAME= Sugar v1.14.6+picosat
BENCH NAME= CPAI08/csp/QCP-25/normalized-qcp-25-264-1_ext.xml
COMMAND LINE= DIR/sugar -c -vv -memlimit=MEMLIMIT -jar="DIR/sugar-v1-14-6.jar" -solver="DIR/picosat" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2059036-1247323211/watcher-2059036-1247323211 -o /tmp/evaluation-result-2059036-1247323211/solver-2059036-1247323211 -C 1800 -W 2000 -M 900 HOME/sugar -c -vv -memlimit=900 -jar="HOME/sugar-v1-14-6.jar" -solver="HOME/picosat" -tmp="HOME/temp" HOME/instance-2059036-1247323211.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 79e6a324f7cdeb5e62d757131dbe1778
RANDOM SEED=1067895567
node64.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.220
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.220
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: 1061272 kB
Buffers: 41448 kB
Cached: 877232 kB
SwapCached: 0 kB
Active: 103860 kB
Inactive: 839056 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1061272 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 2028 kB
Writeback: 0 kB
Mapped: 34964 kB
Slab: 36696 kB
Committed_AS: 218112 kB
PageTables: 1760 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= 66320 MiB
End job on node64 at 2009-07-11 17:08:26