0.00/0.04 c 0 Sugar v1-13 + HOME/picosat
0.00/0.04 c 0 BEGIN Fri Jul 4 19:35:08 2008
0.00/0.04 c 0 PID 28327
0.00/0.04 c 0 HOST node57.alineos.net
0.00/0.04 c 0 CONVERTING HOME/instance-1077500-1215192908.xml TO HOME/temp.csp
0.00/0.04 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1077500-1215192908.xml' 'HOME/temp.csp'
0.03/0.22 c 0 1 domains, 100 variables, 40 predicates, 0 relations, 40 constraints
0.03/0.26 c 0 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.03/0.26 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.25/0.33 c 0 Parsing HOME/temp.csp
0.25/0.40 c 0 parsed 181 expressions
0.25/0.40 c 0 Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.25/0.40 c 0 Converting to clausal form CSP
0.25/0.42 c 0 converted 19 (10%) expressions
0.25/0.42 c 0 converted 37 (20%) expressions
0.25/0.42 c 0 converted 55 (30%) expressions
0.25/0.42 c 0 converted 73 (40%) expressions
0.25/0.42 c 0 converted 91 (50%) expressions
0.25/0.42 c 0 converted 109 (60%) expressions
0.25/0.42 c 0 converted 127 (70%) expressions
0.25/0.43 c 0 converted 145 (80%) expressions
0.25/0.47 c 1 converted 163 (90%) expressions
0.25/0.51 c 1 converted 181 (100%) expressions
0.25/0.51 c 1 CSP : 416 integers, 0 booleans, 712 clauses, largest domain size 6391
0.25/0.51 c 1 Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.25/0.51 c 1 Propagation in CSP
0.25/0.59 c 1 212380 values, 0 unsatisfiable literals, and 0 valid clauses are removed
0.25/0.59 c 1 CSP : 416 integers, 0 booleans, 712 clauses, largest domain size 5303
0.25/0.59 c 1 Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.25/0.59 c 1 Simplifing CSP by introducing new Boolean variables
0.25/0.59 c 1 CSP : 416 integers, 0 booleans, 712 clauses, largest domain size 5303
0.25/0.59 c 1 Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.25/0.61 c 1 Encoding CSP to SAT : HOME/temp.cnf
0.25/0.63 c 1 42 (10%) CSP integer variables are encoded (1643 clauses, 19262 bytes)
0.25/0.63 c 1 84 (20%) CSP integer variables are encoded (3232 clauses, 39919 bytes)
0.25/0.67 c 1 125 (30%) CSP integer variables are encoded (41142 clauses, 595230 bytes)
0.25/0.73 c 1 167 (40%) CSP integer variables are encoded (97421 clauses, 1439415 bytes)
0.25/0.80 c 1 208 (50%) CSP integer variables are encoded (156921 clauses, 2446088 bytes)
0.25/0.90 c 1 250 (60%) CSP integer variables are encoded (239202 clauses, 3844865 bytes)
0.25/0.99 c 1 292 (70%) CSP integer variables are encoded (312246 clauses, 5086613 bytes)
1.17/1.05 c 1 333 (80%) CSP integer variables are encoded (358732 clauses, 5876875 bytes)
1.27/1.16 c 1 375 (90%) CSP integer variables are encoded (457881 clauses, 7562408 bytes)
1.37/1.27 c 1 416 (100%) CSP integer variables are encoded (544739 clauses, 9038994 bytes)
1.66/1.59 c 2 72 (10%) CSP clauses are encoded (743859 clauses, 12729195 bytes)
3.97/3.82 c 4 143 (20%) CSP clauses are encoded (2086716 clauses, 39722967 bytes)
5.67/5.55 c 6 214 (30%) CSP clauses are encoded (3103605 clauses, 61166010 bytes)
73.37/76.50 c 77 285 (40%) CSP clauses are encoded (39358655 clauses, 947169414 bytes)
120.76/126.32 c 126 356 (50%) CSP clauses are encoded (64891102 clauses, 1571300752 bytes)
169.57/176.11 c 176 ERROR Exception Too large HOME/temp.cnf
169.57/176.11 c 176 jp.ac.kobe_u.cs.sugar.encoder.Encoder.encode(Encoder.java:219)
169.57/176.11 c 176 jp.ac.kobe_u.cs.sugar.SugarMain.encode(SugarMain.java:130)
169.57/176.11 c 176 jp.ac.kobe_u.cs.sugar.SugarMain.main(SugarMain.java:258)
169.57/176.11 s UNKNOWN
169.58/176.20 c 176 CPU 153.07 (0.03 0 153.04 16.53)
169.58/176.20 c 176 END Fri Jul 4 19:38:04 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-1077500-1215192908/watcher-1077500-1215192908 -o /tmp/evaluation-result-1077500-1215192908/solver-1077500-1215192908 -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-1077500-1215192908.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.09 1.09 1.03 3/64 28327
/proc/meminfo: memFree=1874696/2055920 swapFree=4180732/4192956
[pid=28327] ppid=28325 vsize=12268 CPUtime=0
/proc/28327/stat : 28327 (sugar) R 28325 28327 25383 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 1998262256 12562432 316 996147200 4194304 4206940 548682068560 18446744073709551615 218076248677 0 0 4224 0 0 0 0 17 0 0 0
/proc/28327/statm: 3067 316 241 3 0 167 0
[startup+0.0659861 s]
/proc/loadavg: 1.09 1.09 1.03 3/64 28327
/proc/meminfo: memFree=1874696/2055920 swapFree=4180732/4192956
[pid=28327] ppid=28325 vsize=13600 CPUtime=0.03
/proc/28327/stat : 28327 (sugar) S 28325 28327 25383 0 -1 4194304 900 128 0 0 3 0 0 0 16 0 1 0 1998262256 13926400 796 996147200 4194304 4206940 548682068560 18446744073709551615 218084978786 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28327/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.102989 s]
/proc/loadavg: 1.09 1.09 1.03 3/64 28327
/proc/meminfo: memFree=1874696/2055920 swapFree=4180732/4192956
[pid=28327] ppid=28325 vsize=13600 CPUtime=0.03
/proc/28327/stat : 28327 (sugar) S 28325 28327 25383 0 -1 4194304 900 128 0 0 3 0 0 0 16 0 1 0 1998262256 13926400 796 996147200 4194304 4206940 548682068560 18446744073709551615 218084978786 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28327/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.301025 s]
/proc/loadavg: 1.09 1.09 1.03 3/64 28327
/proc/meminfo: memFree=1874696/2055920 swapFree=4180732/4192956
[pid=28327] ppid=28325 vsize=13600 CPUtime=0.25
/proc/28327/stat : 28327 (sugar) S 28325 28327 25383 0 -1 4194304 956 4307 0 1 3 0 19 3 17 0 1 0 1998262256 13926400 797 996147200 4194304 4206940 548682068560 18446744073709551615 218084978786 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/28327/statm: 3400 797 370 3 0 500 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 13600
[startup+0.701087 s]
/proc/loadavg: 1.09 1.09 1.03 3/64 28327
/proc/meminfo: memFree=1874696/2055920 swapFree=4180732/4192956
[pid=28327] ppid=28325 vsize=13600 CPUtime=0.25
/proc/28327/stat : 28327 (sugar) S 28325 28327 25383 0 -1 4194304 973 4307 0 1 3 0 19 3 16 0 1 0 1998262256 13926400 797 996147200 4194304 4206940 548682068560 18446744073709551615 218084978786 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28327/statm: 3400 797 370 3 0 500 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 13600
[startup+1.50122 s]
/proc/loadavg: 1.09 1.09 1.03 2/75 28349
/proc/meminfo: memFree=1855536/2055920 swapFree=4180732/4192956
[pid=28327] ppid=28325 vsize=13600 CPUtime=0.25
/proc/28327/stat : 28327 (sugar) S 28325 28327 25383 0 -1 4194304 973 4307 0 1 3 0 19 3 15 0 1 0 1998262256 13926400 797 996147200 4194304 4206940 548682068560 18446744073709551615 218084978786 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28327/statm: 3400 797 370 3 0 500 0
[pid=28340] ppid=28327 vsize=5356 CPUtime=0
/proc/28340/stat : 28340 (sh) S 28327 28327 25383 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 1998262282 5484544 233 996147200 4194304 4889804 548682068672 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28340/statm: 1339 233 193 169 0 50 0
[pid=28341] ppid=28340 vsize=869336 CPUtime=1.41
/proc/28341/stat : 28341 (java) S 28340 28327 25383 0 -1 0 6552 0 1 0 131 10 0 0 18 0 9 0 1998262283 890200064 5497 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28341/statm: 217334 5497 2562 9 0 211881 0
[pid=28341/tid=28342] ppid=28340 vsize=869336 CPUtime=1.12
/proc/28341/task/28342/stat : 28342 (java) R 28340 28327 25383 0 -1 64 2975 0 1 0 104 8 0 0 17 0 9 0 1998262284 890200064 5497 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28341/tid=28343] ppid=28340 vsize=869336 CPUtime=0.09
/proc/28341/task/28343/stat : 28343 (java) S 28340 28327 25383 0 -1 64 1366 0 0 0 8 1 0 0 16 0 9 0 1998262285 890200064 5497 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28341/tid=28344] ppid=28340 vsize=869336 CPUtime=0
/proc/28341/task/28344/stat : 28344 (java) S 28340 28327 25383 0 -1 64 10 0 0 0 0 0 0 0 15 0 9 0 1998262285 890200064 5497 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28341/tid=28345] ppid=28340 vsize=869336 CPUtime=0
/proc/28341/task/28345/stat : 28345 (java) S 28340 28327 25383 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1998262285 890200064 5497 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28341/tid=28346] ppid=28340 vsize=869336 CPUtime=0
/proc/28341/task/28346/stat : 28346 (java) S 28340 28327 25383 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1998262287 890200064 5497 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28341/tid=28347] ppid=28340 vsize=869336 CPUtime=0.18
/proc/28341/task/28347/stat : 28347 (java) S 28340 28327 25383 0 -1 64 1518 0 0 0 18 0 0 0 16 0 9 0 1998262287 890200064 5497 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28341/tid=28348] ppid=28340 vsize=869336 CPUtime=0
/proc/28341/task/28348/stat : 28348 (java) S 28340 28327 25383 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1998262287 890200064 5497 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28341/tid=28349] ppid=28340 vsize=869336 CPUtime=0
/proc/28341/task/28349/stat : 28349 (java) S 28340 28327 25383 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1998262287 890200064 5497 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.66
Current children cumulated vsize (KiB) 888292
[startup+3.10249 s]
/proc/loadavg: 1.09 1.09 1.03 2/75 28349
/proc/meminfo: memFree=1841520/2055920 swapFree=4180732/4192956
[pid=28327] ppid=28325 vsize=13600 CPUtime=0.25
/proc/28327/stat : 28327 (sugar) S 28325 28327 25383 0 -1 4194304 973 4307 0 1 3 0 19 3 16 0 1 0 1998262256 13926400 797 996147200 4194304 4206940 548682068560 18446744073709551615 218084978786 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28327/statm: 3400 797 370 3 0 500 0
[pid=28340] ppid=28327 vsize=5356 CPUtime=0
/proc/28340/stat : 28340 (sh) S 28327 28327 25383 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 1998262282 5484544 233 996147200 4194304 4889804 548682068672 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28340/statm: 1339 233 193 169 0 50 0
[pid=28341] ppid=28340 vsize=869336 CPUtime=3.02
/proc/28341/stat : 28341 (java) S 28340 28327 25383 0 -1 0 7108 0 1 0 278 24 0 0 18 0 9 0 1998262283 890200064 5497 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28341/statm: 217334 5497 2562 9 0 211881 0
[pid=28341/tid=28342] ppid=28340 vsize=869336 CPUtime=2.6
/proc/28341/task/28342/stat : 28342 (java) R 28340 28327 25383 0 -1 64 3531 0 1 0 242 18 0 0 16 0 9 0 1998262284 890200064 5497 996147200 134512640 134550740 4294955904 18446744073709551615 102064825 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28341/tid=28343] ppid=28340 vsize=869336 CPUtime=0.19
/proc/28341/task/28343/stat : 28343 (java) S 28340 28327 25383 0 -1 64 1366 0 0 0 16 3 0 0 16 0 9 0 1998262285 890200064 5497 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28341/tid=28344] ppid=28340 vsize=869336 CPUtime=0
/proc/28341/task/28344/stat : 28344 (java) S 28340 28327 25383 0 -1 64 10 0 0 0 0 0 0 0 15 0 9 0 1998262285 890200064 5497 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28341/tid=28345] ppid=28340 vsize=869336 CPUtime=0
/proc/28341/task/28345/stat : 28345 (java) S 28340 28327 25383 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1998262285 890200064 5497 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28341/tid=28346] ppid=28340 vsize=869336 CPUtime=0
/proc/28341/task/28346/stat : 28346 (java) S 28340 28327 25383 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1998262287 890200064 5497 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28341/tid=28347] ppid=28340 vsize=869336 CPUtime=0.18
/proc/28341/task/28347/stat : 28347 (java) S 28340 28327 25383 0 -1 64 1518 0 0 0 18 0 0 0 16 0 9 0 1998262287 890200064 5497 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28341/tid=28348] ppid=28340 vsize=869336 CPUtime=0
/proc/28341/task/28348/stat : 28348 (java) S 28340 28327 25383 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1998262287 890200064 5497 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28341/tid=28349] ppid=28340 vsize=869336 CPUtime=0
/proc/28341/task/28349/stat : 28349 (java) S 28340 28327 25383 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1998262287 890200064 5497 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.27
Current children cumulated vsize (KiB) 888292
[startup+6.30203 s]
/proc/loadavg: 1.08 1.09 1.02 2/75 28349
/proc/meminfo: memFree=1800880/2055920 swapFree=4180732/4192956
[pid=28327] ppid=28325 vsize=13600 CPUtime=0.25
/proc/28327/stat : 28327 (sugar) S 28325 28327 25383 0 -1 4194304 973 4307 0 1 3 0 19 3 16 0 1 0 1998262256 13926400 797 996147200 4194304 4206940 548682068560 18446744073709551615 218084978786 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28327/statm: 3400 797 370 3 0 500 0
[pid=28340] ppid=28327 vsize=5356 CPUtime=0
/proc/28340/stat : 28340 (sh) S 28327 28327 25383 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 1998262282 5484544 233 996147200 4194304 4889804 548682068672 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28340/statm: 1339 233 193 169 0 50 0
[pid=28341] ppid=28340 vsize=869336 CPUtime=6.23
/proc/28341/stat : 28341 (java) S 28340 28327 25383 0 -1 0 8200 0 1 0 567 56 0 0 18 0 9 0 1998262283 890200064 5498 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28341/statm: 217334 5498 2562 9 0 211881 0
[pid=28341/tid=28342] ppid=28340 vsize=869336 CPUtime=5.59
/proc/28341/task/28342/stat : 28342 (java) R 28340 28327 25383 0 -1 64 4622 0 1 0 513 46 0 0 16 0 9 0 1998262284 890200064 5498 996147200 134512640 134550740 4294955904 18446744073709551615 4126934821 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28341/tid=28343] ppid=28340 vsize=869336 CPUtime=0.43
/proc/28341/task/28343/stat : 28343 (java) S 28340 28327 25383 0 -1 64 1367 0 0 0 35 8 0 0 16 0 9 0 1998262285 890200064 5498 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28341/tid=28344] ppid=28340 vsize=869336 CPUtime=0
/proc/28341/task/28344/stat : 28344 (java) S 28340 28327 25383 0 -1 64 10 0 0 0 0 0 0 0 15 0 9 0 1998262285 890200064 5498 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28341/tid=28345] ppid=28340 vsize=869336 CPUtime=0
/proc/28341/task/28345/stat : 28345 (java) S 28340 28327 25383 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1998262285 890200064 5498 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28341/tid=28346] ppid=28340 vsize=869336 CPUtime=0
/proc/28341/task/28346/stat : 28346 (java) S 28340 28327 25383 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1998262287 890200064 5498 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28341/tid=28347] ppid=28340 vsize=869336 CPUtime=0.18
/proc/28341/task/28347/stat : 28347 (java) S 28340 28327 25383 0 -1 64 1518 0 0 0 18 0 0 0 16 0 9 0 1998262287 890200064 5498 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28341/tid=28348] ppid=28340 vsize=869336 CPUtime=0
/proc/28341/task/28348/stat : 28348 (java) S 28340 28327 25383 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1998262287 890200064 5498 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28341/tid=28349] ppid=28340 vsize=869336 CPUtime=0
/proc/28341/task/28349/stat : 28349 (java) S 28340 28327 25383 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1998262287 890200064 5498 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.48
Current children cumulated vsize (KiB) 888292
[startup+12.7021 s]
/proc/loadavg: 1.08 1.09 1.02 2/75 28349
/proc/meminfo: memFree=1713912/2055920 swapFree=4180732/4192956
[pid=28327] ppid=28325 vsize=13600 CPUtime=0.25
/proc/28327/stat : 28327 (sugar) S 28325 28327 25383 0 -1 4194304 973 4307 0 1 3 0 19 3 16 0 1 0 1998262256 13926400 797 996147200 4194304 4206940 548682068560 18446744073709551615 218084978786 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28327/statm: 3400 797 370 3 0 500 0
[pid=28340] ppid=28327 vsize=5356 CPUtime=0
/proc/28340/stat : 28340 (sh) S 28327 28327 25383 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 1998262282 5484544 233 996147200 4194304 4889804 548682068672 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28340/statm: 1339 233 193 169 0 50 0
[pid=28341] ppid=28340 vsize=869336 CPUtime=12.58
/proc/28341/stat : 28341 (java) S 28340 28327 25383 0 -1 0 10348 0 1 0 1143 115 0 0 18 0 9 0 1998262283 890200064 5498 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28341/statm: 217334 5498 2562 9 0 211881 0
[pid=28341/tid=28342] ppid=28340 vsize=869336 CPUtime=11.53
/proc/28341/task/28342/stat : 28342 (java) R 28340 28327 25383 0 -1 64 6770 0 1 0 1057 96 0 0 16 0 9 0 1998262284 890200064 5498 996147200 134512640 134550740 4294955904 18446744073709551615 4126886526 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28341/tid=28343] ppid=28340 vsize=869336 CPUtime=0.84
/proc/28341/task/28343/stat : 28343 (java) S 28340 28327 25383 0 -1 64 1367 0 0 0 67 17 0 0 16 0 9 0 1998262285 890200064 5498 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28341/tid=28344] ppid=28340 vsize=869336 CPUtime=0
/proc/28341/task/28344/stat : 28344 (java) S 28340 28327 25383 0 -1 64 10 0 0 0 0 0 0 0 15 0 9 0 1998262285 890200064 5498 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28341/tid=28345] ppid=28340 vsize=869336 CPUtime=0
/proc/28341/task/28345/stat : 28345 (java) S 28340 28327 25383 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1998262285 890200064 5498 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28341/tid=28346] ppid=28340 vsize=869336 CPUtime=0
/proc/28341/task/28346/stat : 28346 (java) S 28340 28327 25383 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1998262287 890200064 5498 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28341/tid=28347] ppid=28340 vsize=869336 CPUtime=0.18
/proc/28341/task/28347/stat : 28347 (java) S 28340 28327 25383 0 -1 64 1518 0 0 0 18 0 0 0 16 0 9 0 1998262287 890200064 5498 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28341/tid=28348] ppid=28340 vsize=869336 CPUtime=0
/proc/28341/task/28348/stat : 28348 (java) S 28340 28327 25383 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1998262287 890200064 5498 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28341/tid=28349] ppid=28340 vsize=869336 CPUtime=0
/proc/28341/task/28349/stat : 28349 (java) S 28340 28327 25383 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1998262287 890200064 5498 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.83
Current children cumulated vsize (KiB) 888292
[startup+25.5022 s]
/proc/loadavg: 1.06 1.08 1.02 1/75 28349
/proc/meminfo: memFree=1555384/2055920 swapFree=4180732/4192956
[pid=28327] ppid=28325 vsize=13600 CPUtime=0.25
/proc/28327/stat : 28327 (sugar) S 28325 28327 25383 0 -1 4194304 973 4307 0 1 3 0 19 3 16 0 1 0 1998262256 13926400 797 996147200 4194304 4206940 548682068560 18446744073709551615 218084978786 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28327/statm: 3400 797 370 3 0 500 0
[pid=28340] ppid=28327 vsize=5356 CPUtime=0
/proc/28340/stat : 28340 (sh) S 28327 28327 25383 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 1998262282 5484544 233 996147200 4194304 4889804 548682068672 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28340/statm: 1339 233 193 169 0 50 0
[pid=28341] ppid=28340 vsize=869336 CPUtime=23.8
/proc/28341/stat : 28341 (java) S 28340 28327 25383 0 -1 0 14090 0 1 0 2150 230 0 0 18 0 9 0 1998262283 890200064 5498 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28341/statm: 217334 5498 2562 9 0 211881 0
[pid=28341/tid=28342] ppid=28340 vsize=869336 CPUtime=22.06
/proc/28341/task/28342/stat : 28342 (java) D 28340 28327 25383 0 -1 64 10512 0 1 0 2013 193 0 0 17 0 9 0 1998262284 890200064 5498 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 4 0 16800975 18446744071563608240 0 0 -1 0 0 0
[pid=28341/tid=28343] ppid=28340 vsize=869336 CPUtime=1.52
/proc/28341/task/28343/stat : 28343 (java) S 28340 28327 25383 0 -1 64 1367 0 0 0 117 35 0 0 16 0 9 0 1998262285 890200064 5498 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28341/tid=28344] ppid=28340 vsize=869336 CPUtime=0
/proc/28341/task/28344/stat : 28344 (java) S 28340 28327 25383 0 -1 64 10 0 0 0 0 0 0 0 15 0 9 0 1998262285 890200064 5498 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28341/tid=28345] ppid=28340 vsize=869336 CPUtime=0
/proc/28341/task/28345/stat : 28345 (java) S 28340 28327 25383 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1998262285 890200064 5498 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/28341/task/28342/stat : 28342 (java) R 28340 28327 25383 0 -1 64 34665 0 1 0 8212 782 0 0 17 0 9 0 1998262284 890200064 5500 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28341/tid=28343] ppid=28340 vsize=869336 CPUtime=6.63
/proc/28341/task/28343/stat : 28343 (java) S 28340 28327 25383 0 -1 64 1368 0 0 0 511 152 0 0 16 0 9 0 1998262285 890200064 5500 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28341/tid=28344] ppid=28340 vsize=869336 CPUtime=0
/proc/28341/task/28344/stat : 28344 (java) S 28340 28327 25383 0 -1 64 10 0 0 0 0 0 0 0 15 0 9 0 1998262285 890200064 5500 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28341/tid=28345] ppid=28340 vsize=869336 CPUtime=0
/proc/28341/task/28345/stat : 28345 (java) S 28340 28327 25383 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1998262285 890200064 5500 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28341/tid=28346] ppid=28340 vsize=869336 CPUtime=0
/proc/28341/task/28346/stat : 28346 (java) S 28340 28327 25383 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1998262287 890200064 5500 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28341/tid=28347] ppid=28340 vsize=869336 CPUtime=0.18
/proc/28341/task/28347/stat : 28347 (java) S 28340 28327 25383 0 -1 64 1519 0 0 0 18 0 0 0 16 0 9 0 1998262287 890200064 5500 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28341/tid=28348] ppid=28340 vsize=869336 CPUtime=0
/proc/28341/task/28348/stat : 28348 (java) S 28340 28327 25383 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1998262287 890200064 5500 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28341/tid=28349] ppid=28340 vsize=869336 CPUtime=0
/proc/28341/task/28349/stat : 28349 (java) S 28340 28327 25383 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1998262287 890200064 5500 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 97.05
Current children cumulated vsize (KiB) 888292
[startup+162.302 s]
/proc/loadavg: 1.43 1.19 1.06 2/75 28349
/proc/meminfo: memFree=16056/2055920 swapFree=4180732/4192956
[pid=28327] ppid=28325 vsize=13600 CPUtime=0.25
/proc/28327/stat : 28327 (sugar) S 28325 28327 25383 0 -1 4194304 973 4307 0 1 3 0 19 3 16 0 1 0 1998262256 13926400 797 996147200 4194304 4206940 548682068560 18446744073709551615 218084978786 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28327/statm: 3400 797 370 3 0 500 0
[pid=28340] ppid=28327 vsize=5356 CPUtime=0
/proc/28340/stat : 28340 (sh) S 28327 28327 25383 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 1998262282 5484544 233 996147200 4194304 4889804 548682068672 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28340/statm: 1339 233 193 169 0 50 0
[pid=28341] ppid=28340 vsize=869336 CPUtime=155.81
/proc/28341/stat : 28341 (java) S 28340 28327 25383 0 -1 0 57873 0 1 0 14061 1520 0 0 18 0 9 0 1998262283 890200064 5500 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28341/statm: 217334 5500 2562 9 0 211881 0
[pid=28341/tid=28342] ppid=28340 vsize=869336 CPUtime=144.84
/proc/28341/task/28342/stat : 28342 (java) R 28340 28327 25383 0 -1 64 54293 0 1 0 13218 1266 0 0 16 0 9 0 1998262284 890200064 5500 996147200 134512640 134550740 4294955904 18446744073709551615 4126894425 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28341/tid=28343] ppid=28340 vsize=869336 CPUtime=10.75
/proc/28341/task/28343/stat : 28343 (java) S 28340 28327 25383 0 -1 64 1368 0 0 0 823 252 0 0 16 0 9 0 1998262285 890200064 5500 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28341/tid=28344] ppid=28340 vsize=869336 CPUtime=0
/proc/28341/task/28344/stat : 28344 (java) S 28340 28327 25383 0 -1 64 10 0 0 0 0 0 0 0 15 0 9 0 1998262285 890200064 5500 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28341/tid=28345] ppid=28340 vsize=869336 CPUtime=0
/proc/28341/task/28345/stat : 28345 (java) S 28340 28327 25383 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1998262285 890200064 5500 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28341/tid=28346] ppid=28340 vsize=869336 CPUtime=0
/proc/28341/task/28346/stat : 28346 (java) S 28340 28327 25383 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1998262287 890200064 5500 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28341/tid=28347] ppid=28340 vsize=869336 CPUtime=0.18
/proc/28341/task/28347/stat : 28347 (java) S 28340 28327 25383 0 -1 64 1519 0 0 0 18 0 0 0 16 0 9 0 1998262287 890200064 5500 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28341/tid=28348] ppid=28340 vsize=869336 CPUtime=0
/proc/28341/task/28348/stat : 28348 (java) S 28340 28327 25383 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1998262287 890200064 5500 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28341/tid=28349] ppid=28340 vsize=869336 CPUtime=0
/proc/28341/task/28349/stat : 28349 (java) S 28340 28327 25383 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1998262287 890200064 5500 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 156.06
Current children cumulated vsize (KiB) 888292
Solver just ended. Dumping a history of the last processes samples
[startup+166.303 s]
/proc/loadavg: 1.39 1.19 1.06 2/75 28349
/proc/meminfo: memFree=16056/2055920 swapFree=4180732/4192956
[pid=28327] ppid=28325 vsize=13600 CPUtime=0.25
/proc/28327/stat : 28327 (sugar) S 28325 28327 25383 0 -1 4194304 973 4307 0 1 3 0 19 3 16 0 1 0 1998262256 13926400 797 996147200 4194304 4206940 548682068560 18446744073709551615 218084978786 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28327/statm: 3400 797 370 3 0 500 0
[pid=28340] ppid=28327 vsize=5356 CPUtime=0
/proc/28340/stat : 28340 (sh) S 28327 28327 25383 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 1998262282 5484544 233 996147200 4194304 4889804 548682068672 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28340/statm: 1339 233 193 169 0 50 0
[pid=28341] ppid=28340 vsize=869336 CPUtime=159.75
/proc/28341/stat : 28341 (java) S 28340 28327 25383 0 -1 0 59153 0 1 0 14416 1559 0 0 18 0 9 0 1998262283 890200064 5500 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28341/statm: 217334 5500 2562 9 0 211881 0
[pid=28341/tid=28342] ppid=28340 vsize=869336 CPUtime=148.53
/proc/28341/task/28342/stat : 28342 (java) R 28340 28327 25383 0 -1 64 55573 0 1 0 13554 1299 0 0 16 0 9 0 1998262284 890200064 5500 996147200 134512640 134550740 4294955904 18446744073709551615 4126585495 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28341/tid=28343] ppid=28340 vsize=869336 CPUtime=11
/proc/28341/task/28343/stat : 28343 (java) S 28340 28327 25383 0 -1 64 1368 0 0 0 842 258 0 0 16 0 9 0 1998262285 890200064 5500 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28341/tid=28344] ppid=28340 vsize=869336 CPUtime=0
/proc/28341/task/28344/stat : 28344 (java) S 28340 28327 25383 0 -1 64 10 0 0 0 0 0 0 0 15 0 9 0 1998262285 890200064 5500 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28341/tid=28345] ppid=28340 vsize=869336 CPUtime=0
/proc/28341/task/28345/stat : 28345 (java) S 28340 28327 25383 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1998262285 890200064 5500 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28341/tid=28346] ppid=28340 vsize=869336 CPUtime=0
/proc/28341/task/28346/stat : 28346 (java) S 28340 28327 25383 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1998262287 890200064 5500 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28341/tid=28347] ppid=28340 vsize=869336 CPUtime=0.18
/proc/28341/task/28347/stat : 28347 (java) S 28340 28327 25383 0 -1 64 1519 0 0 0 18 0 0 0 16 0 9 0 1998262287 890200064 5500 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28341/tid=28348] ppid=28340 vsize=869336 CPUtime=0
/proc/28341/task/28348/stat : 28348 (java) S 28340 28327 25383 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1998262287 890200064 5500 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28341/tid=28349] ppid=28340 vsize=869336 CPUtime=0
/proc/28341/task/28349/stat : 28349 (java) S 28340 28327 25383 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1998262287 890200064 5500 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 160
Current children cumulated vsize (KiB) 888292
[startup+172.707 s]
/proc/loadavg: 1.36 1.18 1.06 2/75 28349
/proc/meminfo: memFree=15864/2055920 swapFree=4180732/4192956
[pid=28327] ppid=28325 vsize=13600 CPUtime=0.25
/proc/28327/stat : 28327 (sugar) S 28325 28327 25383 0 -1 4194304 973 4307 0 1 3 0 19 3 16 0 1 0 1998262256 13926400 797 996147200 4194304 4206940 548682068560 18446744073709551615 218084978786 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28327/statm: 3400 797 370 3 0 500 0
[pid=28340] ppid=28327 vsize=5356 CPUtime=0
/proc/28340/stat : 28340 (sh) S 28327 28327 25383 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 1998262282 5484544 233 996147200 4194304 4889804 548682068672 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28340/statm: 1339 233 193 169 0 50 0
[pid=28341] ppid=28340 vsize=869336 CPUtime=166.09
/proc/28341/stat : 28341 (java) S 28340 28327 25383 0 -1 0 61222 0 1 0 14991 1618 0 0 18 0 9 0 1998262283 890200064 5500 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28341/statm: 217334 5500 2562 9 0 211881 0
[pid=28341/tid=28342] ppid=28340 vsize=869336 CPUtime=154.41
/proc/28341/task/28342/stat : 28342 (java) R 28340 28327 25383 0 -1 64 57642 0 1 0 14094 1347 0 0 17 0 9 0 1998262284 890200064 5500 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28341/tid=28343] ppid=28340 vsize=869336 CPUtime=11.46
/proc/28341/task/28343/stat : 28343 (java) S 28340 28327 25383 0 -1 64 1368 0 0 0 877 269 0 0 16 0 9 0 1998262285 890200064 5500 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28341/tid=28344] ppid=28340 vsize=869336 CPUtime=0
/proc/28341/task/28344/stat : 28344 (java) S 28340 28327 25383 0 -1 64 10 0 0 0 0 0 0 0 15 0 9 0 1998262285 890200064 5500 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28341/tid=28345] ppid=28340 vsize=869336 CPUtime=0
/proc/28341/task/28345/stat : 28345 (java) S 28340 28327 25383 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1998262285 890200064 5500 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28341/tid=28346] ppid=28340 vsize=869336 CPUtime=0
/proc/28341/task/28346/stat : 28346 (java) S 28340 28327 25383 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1998262287 890200064 5500 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28341/tid=28347] ppid=28340 vsize=869336 CPUtime=0.18
/proc/28341/task/28347/stat : 28347 (java) S 28340 28327 25383 0 -1 64 1519 0 0 0 18 0 0 0 16 0 9 0 1998262287 890200064 5500 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28341/tid=28348] ppid=28340 vsize=869336 CPUtime=0
/proc/28341/task/28348/stat : 28348 (java) S 28340 28327 25383 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1998262287 890200064 5500 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28341/tid=28349] ppid=28340 vsize=869336 CPUtime=0
/proc/28341/task/28349/stat : 28349 (java) S 28340 28327 25383 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1998262287 890200064 5500 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 166.34
Current children cumulated vsize (KiB) 888292
[startup+175.902 s]
/proc/loadavg: 1.33 1.18 1.06 2/75 28349
/proc/meminfo: memFree=15480/2055920 swapFree=4180732/4192956
[pid=28327] ppid=28325 vsize=13600 CPUtime=0.25
/proc/28327/stat : 28327 (sugar) S 28325 28327 25383 0 -1 4194304 973 4307 0 1 3 0 19 3 16 0 1 0 1998262256 13926400 797 996147200 4194304 4206940 548682068560 18446744073709551615 218084978786 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/28327/statm: 3400 797 370 3 0 500 0
[pid=28340] ppid=28327 vsize=5356 CPUtime=0
/proc/28340/stat : 28340 (sh) S 28327 28327 25383 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 1998262282 5484544 233 996147200 4194304 4889804 548682068672 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28340/statm: 1339 233 193 169 0 50 0
[pid=28341] ppid=28340 vsize=869336 CPUtime=169.12
/proc/28341/stat : 28341 (java) S 28340 28327 25383 0 -1 0 62211 0 1 0 15265 1647 0 0 18 0 9 0 1998262283 890200064 5500 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28341/statm: 217334 5500 2562 9 0 211881 0
[pid=28341/tid=28342] ppid=28340 vsize=869336 CPUtime=157.24
/proc/28341/task/28342/stat : 28342 (java) R 28340 28327 25383 0 -1 64 58631 0 1 0 14352 1372 0 0 17 0 9 0 1998262284 890200064 5500 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28341/tid=28343] ppid=28340 vsize=869336 CPUtime=11.67
/proc/28341/task/28343/stat : 28343 (java) S 28340 28327 25383 0 -1 64 1368 0 0 0 894 273 0 0 16 0 9 0 1998262285 890200064 5500 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28341/tid=28344] ppid=28340 vsize=869336 CPUtime=0
/proc/28341/task/28344/stat : 28344 (java) S 28340 28327 25383 0 -1 64 10 0 0 0 0 0 0 0 15 0 9 0 1998262285 890200064 5500 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28341/tid=28345] ppid=28340 vsize=869336 CPUtime=0
/proc/28341/task/28345/stat : 28345 (java) S 28340 28327 25383 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1998262285 890200064 5500 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28341/tid=28346] ppid=28340 vsize=869336 CPUtime=0
/proc/28341/task/28346/stat : 28346 (java) S 28340 28327 25383 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1998262287 890200064 5500 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28341/tid=28347] ppid=28340 vsize=869336 CPUtime=0.18
/proc/28341/task/28347/stat : 28347 (java) S 28340 28327 25383 0 -1 64 1519 0 0 0 18 0 0 0 16 0 9 0 1998262287 890200064 5500 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28341/tid=28348] ppid=28340 vsize=869336 CPUtime=0
/proc/28341/task/28348/stat : 28348 (java) S 28340 28327 25383 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1998262287 890200064 5500 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28341/tid=28349] ppid=28340 vsize=869336 CPUtime=0
/proc/28341/task/28349/stat : 28349 (java) S 28340 28327 25383 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1998262287 890200064 5500 996147200 134512640 134550740 4294955904 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 169.37
Current children cumulated vsize (KiB) 888292
[startup+176.701 s]
/proc/loadavg: 1.33 1.18 1.06 2/75 28349
/proc/meminfo: memFree=15480/2055920 swapFree=4180732/4192956
[pid=28327] ppid=28325 vsize=13600 CPUtime=170.07
/proc/28327/stat : 28327 (sugar) R 28325 28327 25383 0 -1 4194304 994 66877 0 2 3 47 15304 1653 16 0 1 0 1998262256 13926400 798 996147200 4194304 4206940 548682068560 18446744073709551615 218076255273 0 0 4224 16386 0 0 0 17 1 0 0
/proc/28327/statm: 3400 798 371 3 0 500 0
Current children cumulated CPU time (s) 170.07
Current children cumulated vsize (KiB) 13600
[startup+177.501 s]
/proc/loadavg: 1.33 1.18 1.06 2/65 28349
/proc/meminfo: memFree=1733832/2055920 swapFree=4180732/4192956
[pid=28327] ppid=28325 vsize=13600 CPUtime=170.6
/proc/28327/stat : 28327 (sugar) R 28325 28327 25383 0 -1 4194304 994 66877 0 2 3 100 15304 1653 15 0 1 0 1998262256 13926400 798 996147200 4194304 4206940 548682068560 18446744073709551615 218076255273 0 0 4224 16386 0 0 0 17 1 0 0
/proc/28327/statm: 3400 798 371 3 0 500 0
Current children cumulated CPU time (s) 170.6
Current children cumulated vsize (KiB) 13600
[startup+177.701 s]
/proc/loadavg: 1.33 1.18 1.06 2/65 28349
/proc/meminfo: memFree=1733832/2055920 swapFree=4180732/4192956
[pid=28327] ppid=28325 vsize=13600 CPUtime=170.63
/proc/28327/stat : 28327 (sugar) D 28325 28327 25383 0 -1 4194304 994 66877 0 2 3 103 15304 1653 15 0 1 0 1998262256 13926400 798 996147200 4194304 4206940 548682068560 18446744073709551615 218076255273 0 0 4224 16386 18446744071563608240 0 0 17 1 0 0
/proc/28327/statm: 3400 798 371 3 0 500 0
Current children cumulated CPU time (s) 170.63
Current children cumulated vsize (KiB) 13600
Child status: 0
Real time (s): 177.788
CPU time (s): 170.652
CPU user time (s): 153.077
CPU system time (s): 17.5753
CPU usage (%): 95.9861
Max. virtual memory (cumulated for all children) (KiB): 888292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 153.077
system time used= 17.5753
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67904
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= 268653
involuntary context switches= 213306
runsolver used 0.216967 second user time and 0.576912 second system time
The end
Begin job on node57 at 2008-07-04 19:35:08
IDJOB=1077500
IDBENCH=56680
IDSOLVER=345
FILE ID=node57/1077500-1215192908
PBS_JOBID= 7881550
Free space on /tmp= 66548 MiB
SOLVER NAME= Sugar v1.13+picosat
BENCH NAME= CPAI08/csp/primes-15/normalized-primes-15-40-2-7.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-1077500-1215192908/watcher-1077500-1215192908 -o /tmp/evaluation-result-1077500-1215192908/solver-1077500-1215192908 -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-1077500-1215192908.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= dd73b653e941c848140715c0efeb13bc
RANDOM SEED=286332753
node57.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.258
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.258
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: 1875240 kB
Buffers: 4184 kB
Cached: 119840 kB
SwapCached: 5856 kB
Active: 86236 kB
Inactive: 46064 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1875240 kB
SwapTotal: 4192956 kB
SwapFree: 4180732 kB
Dirty: 1296 kB
Writeback: 0 kB
Mapped: 14120 kB
Slab: 34468 kB
Committed_AS: 3942420 kB
PageTables: 1432 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= 66548 MiB
End job on node57 at 2008-07-04 19:38:06