0.00/0.04 c 0 Sugar v1-13 + HOME/picosat
0.00/0.04 c 0 BEGIN Wed Jul 2 13:48:22 2008
0.00/0.04 c 0 PID 19263
0.00/0.05 c 0 HOST node5.alineos.net
0.00/0.05 c 0 CONVERTING HOME/instance-1041059-1214999301.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-1041059-1214999301.xml' 'HOME/temp.csp'
0.03/0.94 c 0 34 domains, 2178 variables, 2 predicates, 0 relations, 2643 constraints
0.03/1.00 c 0 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.91/1.00 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.91/1.08 c 1 Parsing HOME/temp.csp
0.91/1.35 c 1 parsed 4857 expressions
0.91/1.35 c 1 Heap : 2 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.91/1.35 c 1 Converting to clausal form CSP
0.91/1.38 c 1 converted 486 (10%) expressions
0.91/1.39 c 1 converted 972 (20%) expressions
0.91/1.39 c 1 converted 1458 (30%) expressions
0.91/1.40 c 1 converted 1943 (40%) expressions
0.91/1.56 c 1 converted 2429 (50%) expressions
0.91/1.63 c 1 converted 2915 (60%) expressions
0.91/1.67 c 1 converted 3400 (70%) expressions
0.91/1.71 c 1 converted 3886 (80%) expressions
0.91/1.79 c 1 converted 4372 (90%) expressions
3.26/3.41 c 3 converted 4857 (100%) expressions
3.26/3.42 c 3 CSP : 16514 integers, 5068 booleans, 43705 clauses, largest domain size 290
3.26/3.42 c 3 Heap : 28 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
3.26/3.42 c 3 Propagation in CSP
3.46/3.67 c 3 83936 values, 0 unsatisfiable literals, and 0 valid clauses are removed
3.46/3.67 c 3 CSP : 16514 integers, 5068 booleans, 43705 clauses, largest domain size 113
3.46/3.67 c 3 Heap : 30 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
3.46/3.69 c 3 Simplifing CSP by introducing new Boolean variables
3.56/3.71 c 3 CSP : 16514 integers, 5068 booleans, 43705 clauses, largest domain size 113
3.56/3.71 c 3 Heap : 30 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
3.66/3.89 c 3 Encoding CSP to SAT : HOME/temp.cnf
3.76/3.93 c 3 1652 (10%) CSP integer variables are encoded (6124 clauses, 77483 bytes)
3.76/3.96 c 3 3303 (20%) CSP integer variables are encoded (27686 clauses, 397677 bytes)
3.86/4.00 c 3 4955 (30%) CSP integer variables are encoded (59570 clauses, 875937 bytes)
3.86/4.04 c 4 6606 (40%) CSP integer variables are encoded (91654 clauses, 1357197 bytes)
3.86/4.08 c 4 8257 (50%) CSP integer variables are encoded (121406 clauses, 1859688 bytes)
3.96/4.12 c 4 9909 (60%) CSP integer variables are encoded (151586 clauses, 2372748 bytes)
3.96/4.16 c 4 11560 (70%) CSP integer variables are encoded (182937 clauses, 2905715 bytes)
4.05/4.21 c 4 13212 (80%) CSP integer variables are encoded (215356 clauses, 3456838 bytes)
4.05/4.25 c 4 14863 (90%) CSP integer variables are encoded (246054 clauses, 3978704 bytes)
4.05/4.29 c 4 16514 (100%) CSP integer variables are encoded (275564 clauses, 4480374 bytes)
4.75/4.92 c 4 4371 (10%) CSP clauses are encoded (603365 clauses, 10402999 bytes)
7.03/7.32 c 7 8741 (20%) CSP clauses are encoded (1880789 clauses, 37292852 bytes)
9.01/9.37 c 9 13112 (30%) CSP clauses are encoded (2987778 clauses, 60775501 bytes)
10.96/11.39 c 11 17482 (40%) CSP clauses are encoded (4054576 clauses, 83500587 bytes)
13.14/13.52 c 13 21853 (50%) CSP clauses are encoded (5127437 clauses, 109416091 bytes)
15.80/16.22 c 16 26223 (60%) CSP clauses are encoded (6493247 clauses, 142360121 bytes)
18.05/18.93 c 18 30594 (70%) CSP clauses are encoded (7650290 clauses, 170321093 bytes)
20.31/21.20 c 21 34964 (80%) CSP clauses are encoded (8793100 clauses, 197941769 bytes)
22.27/23.28 c 23 39335 (90%) CSP clauses are encoded (9837903 clauses, 223183566 bytes)
24.61/25.69 c 25 43705 (100%) CSP clauses are encoded (11043445 clauses, 252255409 bytes)
24.61/25.69 c 25 43705 CSP clauses encoded
24.61/25.69 c 25 Writing map file : HOME/temp.map
24.70/25.75 c 25 Heap : 28 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
24.70/25.75 c 25 SAT : 297066 SAT variables, 11043445 SAT clauses, 252255409 bytes
24.70/25.75 c 25 Heap : 28 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
24.70/25.78 c 25 SOLVING HOME/temp.cnf
24.70/25.78 c 25 CMD HOME/picosat 'HOME/temp.cnf' -o 'HOME/temp.out'
1800.09/1805.51 c ERROR INTERRUPTED
1800.09/1805.57 s UNKNOWN
1800.09/1805.57 c 1805 CPU 22.99 (0.04 0 22.95 1.8)
1800.09/1805.57 c 1805 END Wed Jul 2 14:18:27 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-1041059-1214999301/watcher-1041059-1214999301 -o /tmp/evaluation-result-1041059-1214999301/solver-1041059-1214999301 -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-1041059-1214999301.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: 1.99 1.97 1.79 4/80 19263
/proc/meminfo: memFree=1841952/2055920 swapFree=4175520/4192956
[pid=19263] ppid=19261 vsize=4708 CPUtime=0
/proc/19263/stat : 19263 (sugar) R 19261 19263 17728 0 -1 4194304 58 0 0 0 0 0 0 0 20 0 1 0 622867278 4820992 43 996147200 4194304 4206940 548682068608 18446744073709551615 226910860681 0 0 4096 0 0 0 0 17 1 0 0
/proc/19263/statm: 1177 43 33 3 0 8 0
[startup+0.097349 s]
/proc/loadavg: 1.99 1.97 1.79 4/80 19263
/proc/meminfo: memFree=1841952/2055920 swapFree=4175520/4192956
[pid=19263] ppid=19261 vsize=13600 CPUtime=0.03
/proc/19263/stat : 19263 (sugar) S 19261 19263 17728 0 -1 4194304 900 127 0 0 3 0 0 0 19 0 1 0 622867278 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19263/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.102609 s]
/proc/loadavg: 1.99 1.97 1.79 4/80 19263
/proc/meminfo: memFree=1841952/2055920 swapFree=4175520/4192956
[pid=19263] ppid=19261 vsize=13600 CPUtime=0.03
/proc/19263/stat : 19263 (sugar) S 19261 19263 17728 0 -1 4194304 900 127 0 0 3 0 0 0 19 0 1 0 622867278 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19263/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.301633 s]
/proc/loadavg: 1.99 1.97 1.79 4/80 19263
/proc/meminfo: memFree=1841952/2055920 swapFree=4175520/4192956
[pid=19263] ppid=19261 vsize=13600 CPUtime=0.03
/proc/19263/stat : 19263 (sugar) S 19261 19263 17728 0 -1 4194304 900 127 0 0 3 0 0 0 19 0 1 0 622867278 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19263/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.701721 s]
/proc/loadavg: 1.99 1.97 1.79 4/80 19263
/proc/meminfo: memFree=1841952/2055920 swapFree=4175520/4192956
[pid=19263] ppid=19261 vsize=13600 CPUtime=0.03
/proc/19263/stat : 19263 (sugar) S 19261 19263 17728 0 -1 4194304 900 127 0 0 3 0 0 0 19 0 1 0 622867278 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19263/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+1.50187 s]
/proc/loadavg: 1.99 1.97 1.79 4/81 19276
/proc/meminfo: memFree=1839760/2055920 swapFree=4175520/4192956
[pid=19263] ppid=19261 vsize=13600 CPUtime=0.91
/proc/19263/stat : 19263 (sugar) S 19261 19263 17728 0 -1 4194304 974 6880 0 1 3 0 84 4 15 0 1 0 622867278 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19263/statm: 3400 797 370 3 0 500 0
Current children cumulated CPU time (s) 0.91
Current children cumulated vsize (KiB) 13600
[startup+3.10218 s]
/proc/loadavg: 1.99 1.97 1.79 4/91 19285
/proc/meminfo: memFree=1820168/2055920 swapFree=4175520/4192956
[pid=19263] ppid=19261 vsize=13600 CPUtime=0.91
/proc/19263/stat : 19263 (sugar) S 19261 19263 17728 0 -1 4194304 974 6880 0 1 3 0 84 4 15 0 1 0 622867278 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19263/statm: 3400 797 370 3 0 500 0
[pid=19276] ppid=19263 vsize=5356 CPUtime=0
/proc/19276/stat : 19276 (sh) S 19263 19263 17728 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 622867379 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19276/statm: 1339 233 193 169 0 50 0
[pid=19277] ppid=19276 vsize=869412 CPUtime=2.07
/proc/19277/stat : 19277 (java) S 19276 19263 17728 0 -1 0 11667 0 1 0 199 8 0 0 18 0 9 0 622867379 890277888 10713 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19277/statm: 217353 10713 2541 9 0 211928 0
[pid=19277/tid=19278] ppid=19276 vsize=869412 CPUtime=1.22
/proc/19277/task/19278/stat : 19278 (java) R 19276 19263 17728 0 -1 64 2977 0 1 0 120 2 0 0 25 0 9 0 622867380 890277888 10713 996147200 134512640 134550740 4294955952 18446744073709551615 4126842617 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19277/tid=19279] ppid=19276 vsize=869412 CPUtime=0.58
/proc/19277/task/19279/stat : 19279 (java) S 19276 19263 17728 0 -1 64 6495 0 0 0 54 4 0 0 16 0 9 0 622867381 890277888 10713 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19277/tid=19280] ppid=19276 vsize=869412 CPUtime=0
/proc/19277/task/19280/stat : 19280 (java) S 19276 19263 17728 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 622867381 890277888 10713 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19277/tid=19281] ppid=19276 vsize=869412 CPUtime=0
/proc/19277/task/19281/stat : 19281 (java) S 19276 19263 17728 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 622867382 890277888 10713 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19277/tid=19282] ppid=19276 vsize=869412 CPUtime=0
/proc/19277/task/19282/stat : 19282 (java) S 19276 19263 17728 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 622867383 890277888 10713 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19277/tid=19283] ppid=19276 vsize=869412 CPUtime=0.25
/proc/19277/task/19283/stat : 19283 (java) S 19276 19263 17728 0 -1 64 1501 0 0 0 24 1 0 0 16 0 9 0 622867383 890277888 10713 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19277/tid=19284] ppid=19276 vsize=869412 CPUtime=0
/proc/19277/task/19284/stat : 19284 (java) S 19276 19263 17728 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 622867384 890277888 10713 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19277/tid=19285] ppid=19276 vsize=869412 CPUtime=0
/proc/19277/task/19285/stat : 19285 (java) S 19276 19263 17728 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 622867384 890277888 10713 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 888368
[startup+6.30179 s]
/proc/loadavg: 2.07 1.99 1.80 4/91 19285
/proc/meminfo: memFree=1781448/2055920 swapFree=4175520/4192956
[pid=19263] ppid=19261 vsize=13600 CPUtime=0.91
/proc/19263/stat : 19263 (sugar) S 19261 19263 17728 0 -1 4194304 974 6880 0 1 3 0 84 4 15 0 1 0 622867278 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19263/statm: 3400 797 370 3 0 500 0
[pid=19276] ppid=19263 vsize=5356 CPUtime=0
/proc/19276/stat : 19276 (sh) S 19263 19263 17728 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 622867379 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19276/statm: 1339 233 193 169 0 50 0
[pid=19277] ppid=19276 vsize=869524 CPUtime=5.13
/proc/19277/stat : 19277 (java) S 19276 19263 17728 0 -1 0 14394 0 1 0 488 25 0 0 18 0 9 0 622867379 890392576 12971 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19277/statm: 217381 12971 2565 9 0 211928 0
[pid=19277/tid=19278] ppid=19276 vsize=869524 CPUtime=3.85
/proc/19277/task/19278/stat : 19278 (java) R 19276 19263 17728 0 -1 64 3380 0 1 0 368 17 0 0 25 0 9 0 622867380 890392576 12971 996147200 134512640 134550740 4294955952 18446744073709551615 4126899271 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19277/tid=19279] ppid=19276 vsize=869524 CPUtime=0.93
/proc/19277/task/19279/stat : 19279 (java) S 19276 19263 17728 0 -1 64 8775 0 0 0 87 6 0 0 16 0 9 0 622867381 890392576 12971 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19277/tid=19280] ppid=19276 vsize=869524 CPUtime=0
/proc/19277/task/19280/stat : 19280 (java) S 19276 19263 17728 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 622867381 890392576 12971 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19277/tid=19281] ppid=19276 vsize=869524 CPUtime=0
/proc/19277/task/19281/stat : 19281 (java) S 19276 19263 17728 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 622867382 890392576 12971 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19277/tid=19282] ppid=19276 vsize=869524 CPUtime=0
/proc/19277/task/19282/stat : 19282 (java) S 19276 19263 17728 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 622867383 890392576 12971 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19277/tid=19283] ppid=19276 vsize=869524 CPUtime=0.32
/proc/19277/task/19283/stat : 19283 (java) S 19276 19263 17728 0 -1 64 1545 0 0 0 31 1 0 0 16 0 9 0 622867383 890392576 12971 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19277/tid=19284] ppid=19276 vsize=869524 CPUtime=0
/proc/19277/task/19284/stat : 19284 (java) S 19276 19263 17728 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 622867384 890392576 12971 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19277/tid=19285] ppid=19276 vsize=869524 CPUtime=0
/proc/19277/task/19285/stat : 19285 (java) S 19276 19263 17728 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 622867384 890392576 12971 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 888480
[startup+12.703 s]
/proc/loadavg: 2.15 2.00 1.81 3/91 19285
/proc/meminfo: memFree=1705544/2055920 swapFree=4175520/4192956
[pid=19263] ppid=19261 vsize=13600 CPUtime=0.91
/proc/19263/stat : 19263 (sugar) S 19261 19263 17728 0 -1 4194304 974 6880 0 1 3 0 84 4 16 0 1 0 622867278 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19263/statm: 3400 797 370 3 0 500 0
[pid=19276] ppid=19263 vsize=5356 CPUtime=0
/proc/19276/stat : 19276 (sh) S 19263 19263 17728 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 622867379 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19276/statm: 1339 233 193 169 0 50 0
[pid=19277] ppid=19276 vsize=869524 CPUtime=11.44
/proc/19277/stat : 19277 (java) S 19276 19263 17728 0 -1 0 14996 0 1 0 1069 75 0 0 18 0 9 0 622867379 890392576 12972 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19277/statm: 217381 12972 2565 9 0 211928 0
[pid=19277/tid=19278] ppid=19276 vsize=869524 CPUtime=9.9
/proc/19277/task/19278/stat : 19278 (java) R 19276 19263 17728 0 -1 64 3981 0 1 0 928 62 0 0 25 0 9 0 622867380 890392576 12972 996147200 134512640 134550740 4294955952 18446744073709551615 102064685 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19277/tid=19279] ppid=19276 vsize=869524 CPUtime=1.2
/proc/19277/task/19279/stat : 19279 (java) S 19276 19263 17728 0 -1 64 8775 0 0 0 109 11 0 0 16 0 9 0 622867381 890392576 12972 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19277/tid=19280] ppid=19276 vsize=869524 CPUtime=0
/proc/19277/task/19280/stat : 19280 (java) S 19276 19263 17728 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 622867381 890392576 12972 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19277/tid=19281] ppid=19276 vsize=869524 CPUtime=0
/proc/19277/task/19281/stat : 19281 (java) S 19276 19263 17728 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 622867382 890392576 12972 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19277/tid=19282] ppid=19276 vsize=869524 CPUtime=0
/proc/19277/task/19282/stat : 19282 (java) S 19276 19263 17728 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 622867383 890392576 12972 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19277/tid=19283] ppid=19276 vsize=869524 CPUtime=0.32
/proc/19277/task/19283/stat : 19283 (java) S 19276 19263 17728 0 -1 64 1546 0 0 0 31 1 0 0 17 0 9 0 622867383 890392576 12972 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19277/tid=19284] ppid=19276 vsize=869524 CPUtime=0
/proc/19277/task/19284/stat : 19284 (java) S 19276 19263 17728 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 622867384 890392576 12972 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19277/tid=19285] ppid=19276 vsize=869524 CPUtime=0
/proc/19277/task/19285/stat : 19285 (java) S 19276 19263 17728 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 622867384 890392576 12972 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 888480
[startup+25.5025 s]
/proc/loadavg: 2.34 2.05 1.83 3/91 19285
/proc/meminfo: memFree=1549128/2055920 swapFree=4175520/4192956
[pid=19263] ppid=19261 vsize=13600 CPUtime=0.91
/proc/19263/stat : 19263 (sugar) S 19261 19263 17728 0 -1 4194304 974 6880 0 1 3 0 84 4 16 0 1 0 622867278 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19263/statm: 3400 797 370 3 0 500 0
[pid=19276] ppid=19263 vsize=5356 CPUtime=0
/proc/19276/stat : 19276 (sh) S 19263 19263 17728 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 622867379 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19276/statm: 1339 233 193 169 0 50 0
[pid=19277] ppid=19276 vsize=869524 CPUtime=23.6
/proc/19277/stat : 19277 (java) S 19276 19263 17728 0 -1 0 16153 0 1 0 2188 172 0 0 18 0 9 0 622867379 890392576 12972 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19277/statm: 217381 12972 2565 9 0 211928 0
[pid=19277/tid=19278] ppid=19276 vsize=869524 CPUtime=21.56
/proc/19277/task/19278/stat : 19278 (java) R 19276 19263 17728 0 -1 64 5138 0 1 0 2004 152 0 0 25 0 9 0 622867380 890392576 12972 996147200 134512640 134550740 4294955952 18446744073709551615 4126609724 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19277/tid=19279] ppid=19276 vsize=869524 CPUtime=1.68
/proc/19277/task/19279/stat : 19279 (java) S 19276 19263 17728 0 -1 64 8775 0 0 0 151 17 0 0 16 0 9 0 622867381 890392576 12972 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19277/tid=19280] ppid=19276 vsize=869524 CPUtime=0
/proc/19277/task/19280/stat : 19280 (java) S 19276 19263 17728 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 622867381 890392576 12972 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19277/tid=19281] ppid=19276 vsize=869524 CPUtime=0
/proc/19277/task/19281/stat : 19281 (java) S 19276 19263 17728 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 622867382 890392576 12972 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19277/tid=19282] ppid=19276 vsize=869524 CPUtime=0
/proc/19277/task/19282/stat : 19282 (java) S 19276 19263 17728 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 622867383 890392576 12972 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19277/tid=19283] ppid=19276 vsize=869524 CPUtime=0.32
/proc/19277/task/19283/stat : 19283 (java) S 19276 19263 17728 0 -1 64 1546 0 0 0 31 1 0 0 17 0 9 0 622867383 890392576 12972 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19277/tid=19284] ppid=19276 vsize=869524 CPUtime=0
/proc/19277/task/19284/stat : 19284 (java) S 19276 19263 17728 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 622867384 890392576 12972 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19277/tid=19285] ppid=19276 vsize=869524 CPUtime=0
/proc/19277/task/19285/stat : 19285 (java) S 19276 19263 17728 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 622867384 890392576 12972 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 24.51
Current children cumulated vsize (KiB) 888480
[startup+51.1014 s]
/proc/loadavg: 2.28 2.06 1.83 3/83 19287
/proc/meminfo: memFree=1475336/2055920 swapFree=4175520/4192956
[pid=19263] ppid=19261 vsize=13600 CPUtime=24.79
/proc/19263/stat : 19263 (sugar) S 19261 19263 17728 0 -1 4194304 1022 23369 0 2 4 0 2295 180 16 0 1 0 622867278 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19263/statm: 3400 799 370 3 0 500 0
[pid=19286] ppid=19263 vsize=5356 CPUtime=0
/proc/19286/stat : 19286 (sh) S 19263 19263 17728 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 622869857 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19286/statm: 1339 232 193 169 0 50 0
[pid=19287] ppid=19286 vsize=136368 CPUtime=25.07
/proc/19287/stat : 19287 (picosat) R 19286 19263 17728 0 -1 4194304 28874 0 0 0 1137 1370 0 0 25 0 1 0 622869857 139640832 28860 996147200 134512640 134931368 4294956256 18446744073709551615 134520627 0 0 4096 0 0 0 0 17 1 0 0
################
# More data... #
################
/proc/meminfo: memFree=1245072/2055920 swapFree=4175520/4192956
[pid=19263] ppid=19261 vsize=13600 CPUtime=24.79
/proc/19263/stat : 19263 (sugar) S 19261 19263 17728 0 -1 4194304 1022 23369 0 2 4 0 2295 180 16 0 1 0 622867278 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19263/statm: 3400 799 370 3 0 500 0
[pid=19286] ppid=19263 vsize=5356 CPUtime=0
/proc/19286/stat : 19286 (sh) S 19263 19263 17728 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 622869857 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19286/statm: 1339 232 193 169 0 50 0
[pid=19287] ppid=19286 vsize=445448 CPUtime=1332.32
/proc/19287/stat : 19287 (picosat) R 19286 19263 17728 0 -1 4194304 100830 0 0 0 127923 5309 0 0 25 0 1 0 622869857 456138752 100814 996147200 134512640 134931368 4294956256 18446744073709551615 134525621 0 0 4096 0 0 0 0 17 0 0 0
/proc/19287/statm: 111362 100814 48 102 0 111257 0
Current children cumulated CPU time (s) 1357.11
Current children cumulated vsize (KiB) 464404
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/75 19325
/proc/meminfo: memFree=1244752/2055920 swapFree=4175520/4192956
[pid=19263] ppid=19261 vsize=13600 CPUtime=24.79
/proc/19263/stat : 19263 (sugar) S 19261 19263 17728 0 -1 4194304 1022 23369 0 2 4 0 2295 180 16 0 1 0 622867278 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19263/statm: 3400 799 370 3 0 500 0
[pid=19286] ppid=19263 vsize=5356 CPUtime=0
/proc/19286/stat : 19286 (sh) S 19263 19263 17728 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 622869857 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19286/statm: 1339 232 193 169 0 50 0
[pid=19287] ppid=19286 vsize=445844 CPUtime=1392.29
/proc/19287/stat : 19287 (picosat) R 19286 19263 17728 0 -1 4194304 100917 0 0 0 133920 5309 0 0 25 0 1 0 622869857 456544256 100901 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/19287/statm: 111461 100901 48 102 0 111356 0
Current children cumulated CPU time (s) 1417.08
Current children cumulated vsize (KiB) 464800
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/75 19325
/proc/meminfo: memFree=1244304/2055920 swapFree=4175520/4192956
[pid=19263] ppid=19261 vsize=13600 CPUtime=24.79
/proc/19263/stat : 19263 (sugar) S 19261 19263 17728 0 -1 4194304 1022 23369 0 2 4 0 2295 180 16 0 1 0 622867278 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19263/statm: 3400 799 370 3 0 500 0
[pid=19286] ppid=19263 vsize=5356 CPUtime=0
/proc/19286/stat : 19286 (sh) S 19263 19263 17728 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 622869857 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19286/statm: 1339 232 193 169 0 50 0
[pid=19287] ppid=19286 vsize=446240 CPUtime=1452.26
/proc/19287/stat : 19287 (picosat) R 19286 19263 17728 0 -1 4194304 101025 0 0 0 139916 5310 0 0 25 0 1 0 622869857 456949760 101009 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/19287/statm: 111560 101009 48 102 0 111455 0
Current children cumulated CPU time (s) 1477.05
Current children cumulated vsize (KiB) 465196
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/75 19325
/proc/meminfo: memFree=1243792/2055920 swapFree=4175520/4192956
[pid=19263] ppid=19261 vsize=13600 CPUtime=24.79
/proc/19263/stat : 19263 (sugar) S 19261 19263 17728 0 -1 4194304 1022 23369 0 2 4 0 2295 180 16 0 1 0 622867278 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19263/statm: 3400 799 370 3 0 500 0
[pid=19286] ppid=19263 vsize=5356 CPUtime=0
/proc/19286/stat : 19286 (sh) S 19263 19263 17728 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 622869857 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19286/statm: 1339 232 193 169 0 50 0
[pid=19287] ppid=19286 vsize=446636 CPUtime=1512.23
/proc/19287/stat : 19287 (picosat) R 19286 19263 17728 0 -1 4194304 101140 0 0 0 145913 5310 0 0 25 0 1 0 622869857 457355264 101124 996147200 134512640 134931368 4294956256 18446744073709551615 134525575 0 0 4096 0 0 0 0 17 0 0 0
/proc/19287/statm: 111659 101124 48 102 0 111554 0
Current children cumulated CPU time (s) 1537.02
Current children cumulated vsize (KiB) 465592
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/75 19325
/proc/meminfo: memFree=1243344/2055920 swapFree=4175520/4192956
[pid=19263] ppid=19261 vsize=13600 CPUtime=24.79
/proc/19263/stat : 19263 (sugar) S 19261 19263 17728 0 -1 4194304 1022 23369 0 2 4 0 2295 180 16 0 1 0 622867278 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19263/statm: 3400 799 370 3 0 500 0
[pid=19286] ppid=19263 vsize=5356 CPUtime=0
/proc/19286/stat : 19286 (sh) S 19263 19263 17728 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 622869857 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19286/statm: 1339 232 193 169 0 50 0
[pid=19287] ppid=19286 vsize=447164 CPUtime=1572.2
/proc/19287/stat : 19287 (picosat) R 19286 19263 17728 0 -1 4194304 101250 0 0 0 151910 5310 0 0 25 0 1 0 622869857 457895936 101234 996147200 134512640 134931368 4294956256 18446744073709551615 134525754 0 0 4096 0 0 0 0 17 0 0 0
/proc/19287/statm: 111791 101234 48 102 0 111686 0
Current children cumulated CPU time (s) 1596.99
Current children cumulated vsize (KiB) 466120
[startup+1662.3 s]
/proc/loadavg: 2.04 2.01 1.91 3/75 19325
/proc/meminfo: memFree=1242896/2055920 swapFree=4175520/4192956
[pid=19263] ppid=19261 vsize=13600 CPUtime=24.79
/proc/19263/stat : 19263 (sugar) S 19261 19263 17728 0 -1 4194304 1022 23369 0 2 4 0 2295 180 16 0 1 0 622867278 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19263/statm: 3400 799 370 3 0 500 0
[pid=19286] ppid=19263 vsize=5356 CPUtime=0
/proc/19286/stat : 19286 (sh) S 19263 19263 17728 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 622869857 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19286/statm: 1339 232 193 169 0 50 0
[pid=19287] ppid=19286 vsize=447560 CPUtime=1632.17
/proc/19287/stat : 19287 (picosat) R 19286 19263 17728 0 -1 4194304 101345 0 0 0 157907 5310 0 0 25 0 1 0 622869857 458301440 101329 996147200 134512640 134931368 4294956256 18446744073709551615 134522823 0 0 4096 0 0 0 0 17 0 0 0
/proc/19287/statm: 111890 101329 48 102 0 111785 0
Current children cumulated CPU time (s) 1656.96
Current children cumulated vsize (KiB) 466516
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 1.91 3/75 19325
/proc/meminfo: memFree=1242384/2055920 swapFree=4175520/4192956
[pid=19263] ppid=19261 vsize=13600 CPUtime=24.79
/proc/19263/stat : 19263 (sugar) S 19261 19263 17728 0 -1 4194304 1022 23369 0 2 4 0 2295 180 16 0 1 0 622867278 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19263/statm: 3400 799 370 3 0 500 0
[pid=19286] ppid=19263 vsize=5356 CPUtime=0
/proc/19286/stat : 19286 (sh) S 19263 19263 17728 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 622869857 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19286/statm: 1339 232 193 169 0 50 0
[pid=19287] ppid=19286 vsize=447956 CPUtime=1692.15
/proc/19287/stat : 19287 (picosat) R 19286 19263 17728 0 -1 4194304 101458 0 0 0 163904 5311 0 0 25 0 1 0 622869857 458706944 101442 996147200 134512640 134931368 4294956256 18446744073709551615 134525778 0 0 4096 0 0 0 0 17 0 0 0
/proc/19287/statm: 111989 101442 48 102 0 111884 0
Current children cumulated CPU time (s) 1716.94
Current children cumulated vsize (KiB) 466912
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/75 19325
/proc/meminfo: memFree=1241808/2055920 swapFree=4175520/4192956
[pid=19263] ppid=19261 vsize=13600 CPUtime=24.79
/proc/19263/stat : 19263 (sugar) S 19261 19263 17728 0 -1 4194304 1022 23369 0 2 4 0 2295 180 16 0 1 0 622867278 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19263/statm: 3400 799 370 3 0 500 0
[pid=19286] ppid=19263 vsize=5356 CPUtime=0
/proc/19286/stat : 19286 (sh) S 19263 19263 17728 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 622869857 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19286/statm: 1339 232 193 169 0 50 0
[pid=19287] ppid=19286 vsize=448352 CPUtime=1752.11
/proc/19287/stat : 19287 (picosat) R 19286 19263 17728 0 -1 4194304 101563 0 0 0 169900 5311 0 0 25 0 1 0 622869857 459112448 101547 996147200 134512640 134931368 4294956256 18446744073709551615 134530012 0 0 4096 0 0 0 0 17 0 0 0
/proc/19287/statm: 112088 101547 48 102 0 111983 0
Current children cumulated CPU time (s) 1776.9
Current children cumulated vsize (KiB) 467308
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1805.5 s]
/proc/loadavg: 2.00 2.00 1.91 3/75 19325
/proc/meminfo: memFree=1241616/2055920 swapFree=4175520/4192956
[pid=19263] ppid=19261 vsize=13600 CPUtime=24.79
/proc/19263/stat : 19263 (sugar) S 19261 19263 17728 0 -1 4194304 1022 23369 0 2 4 0 2295 180 16 0 1 0 622867278 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19263/statm: 3400 799 370 3 0 500 0
[pid=19286] ppid=19263 vsize=5356 CPUtime=0
/proc/19286/stat : 19286 (sh) S 19263 19263 17728 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 622869857 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19286/statm: 1339 232 193 169 0 50 0
[pid=19287] ppid=19286 vsize=448484 CPUtime=1775.3
/proc/19287/stat : 19287 (picosat) R 19286 19263 17728 0 -1 4194304 101608 0 0 0 172219 5311 0 0 25 0 1 0 622869857 459247616 101592 996147200 134512640 134931368 4294956256 18446744073709551615 134525860 0 0 4096 0 0 0 0 17 0 0 0
/proc/19287/statm: 112121 101592 48 102 0 112016 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 467440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1805.5 s]
/proc/loadavg: 2.00 2.00 1.91 3/75 19325
/proc/meminfo: memFree=1241616/2055920 swapFree=4175520/4192956
[pid=19263] ppid=19261 vsize=13600 CPUtime=24.79
/proc/19263/stat : 19263 (sugar) S 19261 19263 17728 0 -1 4194304 1022 23369 0 2 4 0 2295 180 16 0 1 0 622867278 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 226922377314 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19263/statm: 3400 799 370 3 0 500 0
[pid=19286] ppid=19263 vsize=5356 CPUtime=0
/proc/19286/stat : 19286 (sh) S 19263 19263 17728 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 622869857 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 226913477444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19286/statm: 1339 232 193 169 0 50 0
[pid=19287] ppid=19286 vsize=448484 CPUtime=1775.3
/proc/19287/stat : 19287 (picosat) R 19286 19263 17728 0 -1 4194304 101608 0 0 0 172219 5311 0 0 25 0 1 0 622869857 459247616 101592 996147200 134512640 134931368 4294956256 18446744073709551615 134525860 0 0 4096 0 0 0 0 17 0 0 0
/proc/19287/statm: 112121 101592 48 102 0 112016 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 467440
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19263 and gives
# childrusage.ru_utime.tv_sec=22
# childrusage.ru_utime.tv_usec=993504
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=814724
# CPU time returned by wait4() is 24.8082
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1805.57
CPU time (s): 1800.09
CPU user time (s): 1745.18
CPU system time (s): 54.91
CPU usage (%): 99.6964
Max. virtual memory (cumulated for all children) (KiB): 888872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.9935
system time used= 1.81472
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24746
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= 17725
involuntary context switches= 18075
runsolver used 2.23666 second user time and 5.97109 second system time
The end
Begin job on node5 at 2008-07-02 13:48:21
IDJOB=1041059
IDBENCH=53768
IDSOLVER=345
FILE ID=node5/1041059-1214999301
PBS_JOBID= 7870913
Free space on /tmp= 66536 MiB
SOLVER NAME= Sugar v1.13+picosat
BENCH NAME= CPAI08/csp/allsquaresUnsat/normalized-squaresUnsat-33-33.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-1041059-1214999301/watcher-1041059-1214999301 -o /tmp/evaluation-result-1041059-1214999301/solver-1041059-1214999301 -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-1041059-1214999301.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 2837d7c8c00fb8ad7816a3f5a00ed498
RANDOM SEED=559064747
node5.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.279
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.279
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: 1842432 kB
Buffers: 5976 kB
Cached: 63032 kB
SwapCached: 11096 kB
Active: 144080 kB
Inactive: 8868 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1842432 kB
SwapTotal: 4192956 kB
SwapFree: 4175520 kB
Dirty: 1732 kB
Writeback: 0 kB
Mapped: 93028 kB
Slab: 45748 kB
Committed_AS: 1590048 kB
PageTables: 1920 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= 66540 MiB
End job on node5 at 2008-07-02 14:18:29