0.07/0.20 c 0 Sugar++ v1-13 + HOME/minisat-inc
0.07/0.20 c 0 BEGIN Wed Jul 23 02:52:56 2008
0.07/0.20 c 0 PID 7082
0.07/0.21 c 0 HOST node57.alineos.net
0.07/0.21 c 0 CONVERTING HOME/instance-1127675-1216774376.xml TO HOME/temp.csp
0.07/0.21 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1127675-1216774376.xml' 'HOME/temp.csp'
0.07/0.72 c 1 1 domains, 40 variables, 0 predicates, 45 relations, 2220 constraints
0.07/0.75 c 1 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.07/0.75 c 1 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -max -incremental -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.48/0.84 c 1 Parsing HOME/temp.csp
0.71/1.04 c 1 parsed 2306 expressions
0.71/1.05 c 1 Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.71/1.08 c 1 MAX CSP: 2220 constraints
0.71/1.08 c 1 Converting to clausal form CSP
0.80/1.14 c 1 converted 453 (10%) expressions
0.80/1.17 c 1 converted 906 (20%) expressions
0.89/1.25 c 1 converted 1359 (30%) expressions
0.89/1.27 c 1 converted 1812 (40%) expressions
0.89/1.28 c 1 converted 2265 (50%) expressions
0.89/1.29 c 1 converted 2718 (60%) expressions
1.00/1.32 c 1 converted 3171 (70%) expressions
1.00/1.32 c 1 converted 3624 (80%) expressions
1.00/1.33 c 1 converted 4077 (90%) expressions
1.20/1.56 c 2 converted 4529 (100%) expressions
1.20/1.57 c 2 CSP : 4480 integers, 0 booleans, 6659 clauses, largest domain size 3331
1.20/1.57 c 2 Heap : 6 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.20/1.57 c 2 Propagation in CSP
1.29/1.65 c 2 2215 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.29/1.65 c 2 CSP : 4480 integers, 0 booleans, 6659 clauses, largest domain size 2221
1.29/1.65 c 2 Heap : 6 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.29/1.66 c 2 Simplifing CSP by introducing new Boolean variables
1.29/1.66 c 2 CSP : 4480 integers, 0 booleans, 6659 clauses, largest domain size 2221
1.29/1.67 c 2 Heap : 7 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.39/1.71 c 2 Encoding CSP to SAT : HOME/temp.cnf
1.39/1.73 c 2 448 (10%) CSP integer variables are encoded (0 clauses, 64 bytes)
1.39/1.73 c 2 896 (20%) CSP integer variables are encoded (0 clauses, 64 bytes)
1.39/1.73 c 2 1344 (30%) CSP integer variables are encoded (0 clauses, 64 bytes)
1.39/1.74 c 2 1792 (40%) CSP integer variables are encoded (0 clauses, 64 bytes)
1.39/1.74 c 2 2240 (50%) CSP integer variables are encoded (0 clauses, 64 bytes)
1.39/1.75 c 2 2688 (60%) CSP integer variables are encoded (5096 clauses, 66312 bytes)
1.39/1.78 c 2 3136 (70%) CSP integer variables are encoded (30001 clauses, 435518 bytes)
1.39/1.79 c 2 3584 (80%) CSP integer variables are encoded (35817 clauses, 522758 bytes)
1.50/1.80 c 2 4032 (90%) CSP integer variables are encoded (39632 clauses, 579983 bytes)
1.50/1.81 c 2 4480 (100%) CSP integer variables are encoded (44750 clauses, 656753 bytes)
1.50/1.87 c 2 666 (10%) CSP clauses are encoded (45452 clauses, 667893 bytes)
1.50/1.89 c 2 1332 (20%) CSP clauses are encoded (46154 clauses, 679864 bytes)
1.60/1.92 c 2 1998 (30%) CSP clauses are encoded (46855 clauses, 692677 bytes)
1.60/1.99 c 2 2664 (40%) CSP clauses are encoded (74162 clauses, 1181118 bytes)
6.93/7.32 c 7 3330 (50%) CSP clauses are encoded (2563648 clauses, 52167121 bytes)
7.04/7.49 c 7 3996 (60%) CSP clauses are encoded (2647250 clauses, 53929527 bytes)
11.27/11.79 c 12 4662 (70%) CSP clauses are encoded (5049826 clauses, 105508778 bytes)
11.47/11.97 c 12 5328 (80%) CSP clauses are encoded (5145786 clauses, 107534330 bytes)
11.96/12.42 c 12 5994 (90%) CSP clauses are encoded (5387208 clauses, 112681481 bytes)
13.52/14.08 c 14 6659 (100%) CSP clauses are encoded (6297094 clauses, 132172553 bytes)
13.52/14.08 c 14 6659 CSP clauses encoded
13.52/14.08 c 14 Writing map file : HOME/temp.map
13.62/14.12 c 14 Heap : 5 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
13.62/14.12 c 14 SAT : 49230 SAT variables, 6297094 SAT clauses, 132172553 bytes
13.62/14.12 c 14 Heap : 5 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
13.62/14.14 c 14 OBJECTIVE minimize _COST
13.62/14.14 c 14 SOLVING HOME/temp.cnf
13.62/14.14 c 14 CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
13.62/14.14 c 14 This is MiniSat 2.0 beta incremental
13.62/14.14 c 14 WARNING: for repeatability, setting FPU to use double precision
13.62/14.14 c 14 ============================[ Problem Statistics ]=============================
13.62/14.14 c 14 | |
13.62/14.14 c 14 | Number of variables: 49230 |
13.62/14.14 c 14 | Number of clauses: 6297094 |
16.51/17.04 c 17 | Parsing time: 2.48 s |
16.61/17.17 c 17 OK
16.61/17.17 c 17 OBJECTIVE BOUND: 0 <= _COST <=
16.61/17.17 c 17 SEARCHING: _COST <= 1110
16.61/17.17 c 17 ============================[ Search Statistics ]==============================
16.61/17.17 c 17 | Conflicts | ORIGINAL | LEARNT | Progress |
16.61/17.17 c 17 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
16.61/17.17 c 17 ===============================================================================
16.61/17.17 c 17 | 0 | 49230 6297094 18757046 | 2099031 0 nan | 0.000 % |
18.30/18.89 c 19 | 100 | 49230 6297094 18757046 | 2308934 100 21 | 0.001 % |
18.99/19.57 c 20 ===============================================================================
18.99/19.57 c 20 restarts : 2
18.99/19.57 c 20 conflicts : 110 (22 /sec)
18.99/19.57 c 20 decisions : 1249 (0.56 % random) (251 /sec)
18.99/19.57 c 20 propagations : 548653 (110365 /sec)
18.99/19.57 c 20 conflict literals : 2431 (20.19 % deleted)
18.99/19.57 c 20 Memory used : 260.76 MB
18.99/19.57 c 20 CPU time : 4.97124 s
18.99/19.57 c 20
18.99/19.57 c 20 SATISFIABLE
18.99/19.59 c 20 OK
18.99/19.59 c 20 FOUND: _COST <= 1110
18.99/19.59 s SATISFIABLE
18.99/19.59 c 20 DECODING HOME/temp.out WITH HOME/temp.map
18.99/19.59 c 20 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
19.09/19.67 c 20 Decoding HOME/temp.out
19.47/20.00 c 20 OBJECTIVE _COST 1110
19.47/20.00 o 1110
19.47/20.00 v 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
19.47/20.01 c 20 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
19.47/20.03 c 20 OK
19.47/20.03 c 20 OBJECTIVE BOUND: 0 <= _COST <= 1110
19.47/20.03 c 20 SEARCHING: _COST <= 555
19.47/20.03 c 20 ============================[ Search Statistics ]==============================
19.47/20.03 c 20 | Conflicts | ORIGINAL | LEARNT | Progress |
19.47/20.03 c 20 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
19.47/20.03 c 20 ===============================================================================
19.47/20.03 c 20 | 110 | 49230 6297094 18757046 | 2099031 110 22 | 0.001 % |
19.87/20.48 c 20 ===============================================================================
19.87/20.48 c 20 restarts : 3
19.87/20.48 c 20 conflicts : 110 (20 /sec)
19.87/20.48 c 20 decisions : 1647 (0.49 % random) (303 /sec)
19.87/20.48 c 20 propagations : 597883 (109962 /sec)
19.87/20.48 c 20 conflict literals : 2431 (20.19 % deleted)
19.87/20.48 c 20 Memory used : 263.59 MB
19.87/20.48 c 20 CPU time : 5.43717 s
19.87/20.48 c 20
19.87/20.48 c 20 SATISFIABLE
19.87/20.50 c 20 OK
19.87/20.50 c 20 FOUND: _COST <= 555
19.87/20.50 c 20 DECODING HOME/temp.out WITH HOME/temp.map
19.87/20.50 c 20 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
19.98/20.58 c 21 Decoding HOME/temp.out
20.36/20.98 c 21 OBJECTIVE _COST 555
20.36/20.98 o 555
20.36/20.98 v 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
20.36/20.99 c 21 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
20.45/21.05 c 21 OK
20.45/21.05 c 21 OBJECTIVE BOUND: 0 <= _COST <= 555
20.45/21.05 c 21 SEARCHING: _COST <= 277
20.45/21.05 c 21 ============================[ Search Statistics ]==============================
20.45/21.05 c 21 | Conflicts | ORIGINAL | LEARNT | Progress |
20.45/21.05 c 21 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
20.45/21.05 c 21 ===============================================================================
20.45/21.05 c 21 | 110 | 35910 6297094 18757046 | 2099031 110 22 | 0.001 % |
21.93/22.56 c 23 | 211 | 35902 6297094 18757046 | 2308934 211 31 | 41.713 % |
23.81/24.45 c 24 | 361 | 35902 6297094 18757046 | 2539827 361 40 | 41.713 % |
26.50/27.11 c 27 | 587 | 35902 6297094 18757046 | 2793810 587 44 | 41.713 % |
30.19/30.89 c 31 | 925 | 35902 6297094 18757046 | 3073191 925 44 | 41.713 % |
37.16/37.82 c 38 | 1431 | 35902 6297094 18757046 | 3380510 1431 45 | 41.713 % |
46.32/47.07 c 47 | 2190 | 35902 6297094 18757046 | 3718562 2190 45 | 41.713 % |
60.86/61.68 c 62 | 3329 | 35902 6297094 18757046 | 4090418 3329 45 | 41.713 % |
84.63/85.62 c 86 | 5037 | 35902 6297094 18757046 | 4499460 5037 45 | 41.713 % |
123.07/124.22 c 124 | 7599 | 35902 6297094 18757046 | 4949406 7599 46 | 41.713 % |
174.45/175.88 c 176 | 11443 | 28695 2593178 7705238 | 5444346 11379 47 | 41.713 % |
221.05/222.62 c 223 | 17209 | 28695 2593178 7705238 | 5988781 17145 42 | 41.713 % |
291.17/293.04 c 293 | 25858 | 28695 2593178 7705238 | 6587659 25794 38 | 41.713 % |
434.78/437.29 c 437 | 38832 | 28695 2593178 7705238 | 7246425 38768 42 | 41.713 % |
666.24/669.64 c 670 | 58293 | 28695 2593178 7705238 | 7971067 58229 44 | 41.713 % |
1016.82/1021.62 c 1022 | 87486 | 28695 2593178 7705238 | 8768174 87422 46 | 41.713 % |
1586.10/1593.27 c 1593 | 131275 | 28695 2593178 7705238 | 9644992 131211 46 | 41.713 % |
2471.70/2482.42 c 2482 | 196961 | 28695 2593178 7705238 | 10609491 196897 47 | 41.713 % |
3600.01/3615.31 c ERROR INTERRUPTED
3600.01/3615.41 c 3615 CPU 3598.24 (0.07 0.03 3598.17 1.78)
3600.01/3615.41 c 3615 END Wed Jul 23 03:53:11 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-1127675-1216774376/watcher-1127675-1216774376 -o /tmp/evaluation-result-1127675-1216774376/solver-1127675-1216774376 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/sugar++ -max -incremental -c -vv -java=java -Xmx700M -decjava=java -Xmx50M -jar=HOME/sugar-v1-13.jar -solver=HOME/minisat-inc -tmp=HOME/temp HOME/instance-1127675-1216774376.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 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.00 1.00 1.00 4/69 7082
/proc/meminfo: memFree=1480368/2055920 swapFree=4192956/4192956
[pid=7082] ppid=7080 vsize=0 CPUtime=0
/proc/7082/stat : 7082 (runsolver) R 7080 7082 7012 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 4525720 0 0 996147200 0 0 0 18446744073709551615 218076081447 0 0 4096 24578 0 0 0 17 0 0 0
/proc/7082/statm: 1 0 0 0 0 1 0
[startup+0.0789979 s]
/proc/loadavg: 1.00 1.00 1.00 4/69 7082
/proc/meminfo: memFree=1480368/2055920 swapFree=4192956/4192956
[pid=7082] ppid=7080 vsize=13336 CPUtime=0.02
/proc/7082/stat : 7082 (sugar++) D 7080 7082 7012 0 -1 4194304 732 0 0 0 2 0 0 0 18 0 1 0 4525720 13656064 700 996147200 4194304 4206940 548682068528 18446744073709551615 218076248677 0 2147483391 4224 0 18446744072099781622 0 0 17 0 0 0
/proc/7082/statm: 3334 700 338 3 0 434 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13336
[startup+0.102036 s]
/proc/loadavg: 1.00 1.00 1.00 4/69 7082
/proc/meminfo: memFree=1480368/2055920 swapFree=4192956/4192956
[pid=7082] ppid=7080 vsize=13468 CPUtime=0.04
/proc/7082/stat : 7082 (sugar++) D 7080 7082 7012 0 -1 4194304 753 0 0 0 3 1 0 0 18 0 1 0 4525720 13791232 721 996147200 4194304 4206940 548682068528 18446744073709551615 218084978786 0 0 4224 0 18446744071563479169 0 0 17 1 0 0
/proc/7082/statm: 3367 721 338 3 0 467 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13468
[startup+0.302058 s]
/proc/loadavg: 1.00 1.00 1.00 4/69 7082
/proc/meminfo: memFree=1480368/2055920 swapFree=4192956/4192956
[pid=7082] ppid=7080 vsize=16740 CPUtime=0.07
/proc/7082/stat : 7082 (sugar++) S 7080 7082 7012 0 -1 4194304 1219 128 0 0 5 2 0 0 18 0 1 0 4525720 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 218084978786 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/7082/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740
[startup+0.701054 s]
/proc/loadavg: 1.00 1.00 1.00 4/69 7082
/proc/meminfo: memFree=1480368/2055920 swapFree=4192956/4192956
[pid=7082] ppid=7080 vsize=16740 CPUtime=0.07
/proc/7082/stat : 7082 (sugar++) S 7080 7082 7012 0 -1 4194304 1219 128 0 0 5 2 0 0 18 0 1 0 4525720 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 218084978786 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/7082/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740
[startup+1.50216 s]
/proc/loadavg: 1.00 1.00 1.00 4/93 7131
/proc/meminfo: memFree=1441368/2055920 swapFree=4192956/4192956
[pid=7082] ppid=7080 vsize=16740 CPUtime=0.49
/proc/7082/stat : 7082 (sugar++) S 7080 7082 7012 0 -1 4194304 1296 4879 0 47 6 2 35 6 15 0 1 0 4525720 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 218084978786 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/7082/statm: 4185 1104 409 3 0 764 0
[pid=7112] ppid=7082 vsize=5356 CPUtime=0
/proc/7112/stat : 7112 (sh) S 7082 7082 7012 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 4525796 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7112/statm: 1339 233 193 169 0 50 0
[pid=7114] ppid=7112 vsize=868392 CPUtime=0.71
/proc/7114/stat : 7114 (java) S 7112 7082 7012 0 -1 0 7229 0 5 0 66 5 0 0 18 0 9 0 4525796 889233408 6477 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/7114/statm: 217098 6477 2540 9 0 211673 0
[pid=7114/tid=7116] ppid=7112 vsize=868392 CPUtime=0.4
/proc/7114/task/7116/stat : 7116 (java) R 7112 7082 7012 0 -1 64 2654 0 2 0 38 2 0 0 24 0 9 0 4525797 889233408 6477 996147200 134512640 134550740 4294955920 18446744073709551615 102064724 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7114/tid=7118] ppid=7112 vsize=868392 CPUtime=0.09
/proc/7114/task/7118/stat : 7118 (java) S 7112 7082 7012 0 -1 64 2404 0 3 0 8 1 0 0 16 0 9 0 4525798 889233408 6477 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=7114/tid=7119] ppid=7112 vsize=868392 CPUtime=0
/proc/7114/task/7119/stat : 7119 (java) S 7112 7082 7012 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 4525798 889233408 6477 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7114/tid=7120] ppid=7112 vsize=868392 CPUtime=0
/proc/7114/task/7120/stat : 7120 (java) S 7112 7082 7012 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 4525798 889233408 6477 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7114/tid=7124] ppid=7112 vsize=868392 CPUtime=0
/proc/7114/task/7124/stat : 7124 (java) S 7112 7082 7012 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 4525800 889233408 6477 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7114/tid=7125] ppid=7112 vsize=868392 CPUtime=0.19
/proc/7114/task/7125/stat : 7125 (java) S 7112 7082 7012 0 -1 64 1478 0 0 0 19 0 0 0 16 0 9 0 4525800 889233408 6477 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7114/tid=7126] ppid=7112 vsize=868392 CPUtime=0
/proc/7114/task/7126/stat : 7126 (java) S 7112 7082 7012 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 4525800 889233408 6477 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7114/tid=7127] ppid=7112 vsize=868392 CPUtime=0
/proc/7114/task/7127/stat : 7127 (java) S 7112 7082 7012 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 4525800 889233408 6477 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 890488
[startup+3.1023 s]
/proc/loadavg: 1.16 1.03 1.01 3/93 7131
/proc/meminfo: memFree=1411416/2055920 swapFree=4192956/4192956
[pid=7082] ppid=7080 vsize=16740 CPUtime=0.49
/proc/7082/stat : 7082 (sugar++) S 7080 7082 7012 0 -1 4194304 1297 4879 0 47 6 2 35 6 15 0 1 0 4525720 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 218084978786 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/7082/statm: 4185 1104 409 3 0 764 0
[pid=7112] ppid=7082 vsize=5356 CPUtime=0
/proc/7112/stat : 7112 (sh) S 7082 7082 7012 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 4525796 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7112/statm: 1339 233 193 169 0 50 0
[pid=7114] ppid=7112 vsize=868504 CPUtime=2.3
/proc/7114/stat : 7114 (java) S 7112 7082 7012 0 -1 0 8042 0 5 0 220 10 0 0 18 0 9 0 4525796 889348096 6991 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/7114/statm: 217126 6991 2565 9 0 211673 0
[pid=7114/tid=7116] ppid=7112 vsize=868504 CPUtime=1.79
/proc/7114/task/7116/stat : 7116 (java) R 7112 7082 7012 0 -1 64 2988 0 2 0 174 5 0 0 25 0 9 0 4525797 889348096 6991 996147200 134512640 134550740 4294955920 18446744073709551615 4127059387 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7114/tid=7118] ppid=7112 vsize=868504 CPUtime=0.23
/proc/7114/task/7118/stat : 7118 (java) S 7112 7082 7012 0 -1 64 2844 0 3 0 20 3 0 0 16 0 9 0 4525798 889348096 6991 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=7114/tid=7119] ppid=7112 vsize=868504 CPUtime=0
/proc/7114/task/7119/stat : 7119 (java) S 7112 7082 7012 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 4525798 889348096 6991 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7114/tid=7120] ppid=7112 vsize=868504 CPUtime=0
/proc/7114/task/7120/stat : 7120 (java) S 7112 7082 7012 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 4525798 889348096 6991 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7114/tid=7124] ppid=7112 vsize=868504 CPUtime=0
/proc/7114/task/7124/stat : 7124 (java) S 7112 7082 7012 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 4525800 889348096 6991 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7114/tid=7125] ppid=7112 vsize=868504 CPUtime=0.26
/proc/7114/task/7125/stat : 7125 (java) S 7112 7082 7012 0 -1 64 1517 0 0 0 25 1 0 0 16 0 9 0 4525800 889348096 6991 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7114/tid=7126] ppid=7112 vsize=868504 CPUtime=0
/proc/7114/task/7126/stat : 7126 (java) S 7112 7082 7012 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 4525800 889348096 6991 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7114/tid=7127] ppid=7112 vsize=868504 CPUtime=0
/proc/7114/task/7127/stat : 7127 (java) S 7112 7082 7012 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 4525800 889348096 6991 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.79
Current children cumulated vsize (KiB) 890600
[startup+6.30154 s]
/proc/loadavg: 1.16 1.03 1.01 3/93 7131
/proc/meminfo: memFree=1352536/2055920 swapFree=4192956/4192956
[pid=7082] ppid=7080 vsize=16740 CPUtime=0.49
/proc/7082/stat : 7082 (sugar++) S 7080 7082 7012 0 -1 4194304 1297 4879 0 47 6 2 35 6 15 0 1 0 4525720 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 218084978786 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/7082/statm: 4185 1104 409 3 0 764 0
[pid=7112] ppid=7082 vsize=5356 CPUtime=0
/proc/7112/stat : 7112 (sh) S 7082 7082 7012 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 4525796 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7112/statm: 1339 233 193 169 0 50 0
[pid=7114] ppid=7112 vsize=868504 CPUtime=5.45
/proc/7114/stat : 7114 (java) S 7112 7082 7012 0 -1 0 9028 0 5 0 509 36 0 0 18 0 9 0 4525796 889348096 6996 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/7114/statm: 217126 6996 2565 9 0 211673 0
[pid=7114/tid=7116] ppid=7112 vsize=868504 CPUtime=4.72
/proc/7114/task/7116/stat : 7116 (java) R 7112 7082 7012 0 -1 64 3969 0 2 0 446 26 0 0 25 0 9 0 4525797 889348096 6996 996147200 134512640 134550740 4294955920 18446744073709551615 4126904562 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7114/tid=7118] ppid=7112 vsize=868504 CPUtime=0.44
/proc/7114/task/7118/stat : 7118 (java) S 7112 7082 7012 0 -1 64 2844 0 3 0 36 8 0 0 16 0 9 0 4525798 889348096 6996 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7114/tid=7119] ppid=7112 vsize=868504 CPUtime=0
/proc/7114/task/7119/stat : 7119 (java) S 7112 7082 7012 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 4525798 889348096 6996 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7114/tid=7120] ppid=7112 vsize=868504 CPUtime=0
/proc/7114/task/7120/stat : 7120 (java) S 7112 7082 7012 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 4525798 889348096 6996 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7114/tid=7124] ppid=7112 vsize=868504 CPUtime=0
/proc/7114/task/7124/stat : 7124 (java) S 7112 7082 7012 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 4525800 889348096 6996 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7114/tid=7125] ppid=7112 vsize=868504 CPUtime=0.27
/proc/7114/task/7125/stat : 7125 (java) S 7112 7082 7012 0 -1 64 1522 0 0 0 26 1 0 0 16 0 9 0 4525800 889348096 6996 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7114/tid=7126] ppid=7112 vsize=868504 CPUtime=0
/proc/7114/task/7126/stat : 7126 (java) S 7112 7082 7012 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 4525800 889348096 6996 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7114/tid=7127] ppid=7112 vsize=868504 CPUtime=0
/proc/7114/task/7127/stat : 7127 (java) S 7112 7082 7012 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 4525800 889348096 6996 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 890600
[startup+12.7021 s]
/proc/loadavg: 1.37 1.08 1.03 3/93 7131
/proc/meminfo: memFree=1192984/2055920 swapFree=4192956/4192956
[pid=7082] ppid=7080 vsize=16740 CPUtime=0.49
/proc/7082/stat : 7082 (sugar++) S 7080 7082 7012 0 -1 4194304 1297 4879 0 47 6 2 35 6 15 0 1 0 4525720 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 218084978786 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/7082/statm: 4185 1104 409 3 0 764 0
[pid=7112] ppid=7082 vsize=5356 CPUtime=0
/proc/7112/stat : 7112 (sh) S 7082 7082 7012 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 4525796 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 218076078916 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7112/statm: 1339 233 193 169 0 50 0
[pid=7114] ppid=7112 vsize=868504 CPUtime=11.77
/proc/7114/stat : 7114 (java) S 7112 7082 7012 0 -1 0 11077 0 5 0 1084 93 0 0 18 0 9 0 4525796 889348096 7003 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/7114/statm: 217126 7003 2566 9 0 211673 0
[pid=7114/tid=7116] ppid=7112 vsize=868504 CPUtime=10.57
/proc/7114/task/7116/stat : 7116 (java) R 7112 7082 7012 0 -1 64 6011 0 2 0 986 71 0 0 25 0 9 0 4525797 889348096 7003 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7114/tid=7118] ppid=7112 vsize=868504 CPUtime=0.89
/proc/7114/task/7118/stat : 7118 (java) S 7112 7082 7012 0 -1 64 2844 0 3 0 70 19 0 0 16 0 9 0 4525798 889348096 7003 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=7114/tid=7119] ppid=7112 vsize=868504 CPUtime=0
/proc/7114/task/7119/stat : 7119 (java) S 7112 7082 7012 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 4525798 889348096 7003 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7114/tid=7120] ppid=7112 vsize=868504 CPUtime=0
/proc/7114/task/7120/stat : 7120 (java) S 7112 7082 7012 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 4525798 889348096 7003 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7114/tid=7124] ppid=7112 vsize=868504 CPUtime=0
/proc/7114/task/7124/stat : 7124 (java) S 7112 7082 7012 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 4525800 889348096 7003 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7114/tid=7125] ppid=7112 vsize=868504 CPUtime=0.28
/proc/7114/task/7125/stat : 7125 (java) S 7112 7082 7012 0 -1 64 1529 0 0 0 27 1 0 0 16 0 9 0 4525800 889348096 7003 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7114/tid=7126] ppid=7112 vsize=868504 CPUtime=0
/proc/7114/task/7126/stat : 7126 (java) S 7112 7082 7012 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 4525800 889348096 7003 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7114/tid=7127] ppid=7112 vsize=868504 CPUtime=0
/proc/7114/task/7127/stat : 7127 (java) S 7112 7082 7012 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 4525800 889348096 7003 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.26
Current children cumulated vsize (KiB) 890600
[startup+25.5012 s]
/proc/loadavg: 1.54 1.13 1.04 3/76 7155
/proc/meminfo: memFree=675552/2055920 swapFree=4192956/4192956
[pid=7082] ppid=7080 vsize=17132 CPUtime=14.58
/proc/7082/stat : 7082 (sugar++) S 7080 7082 7012 0 -1 4194304 1688 24720 0 54 7 3 1327 121 16 0 1 0 4525720 17543168 1182 996147200 4194304 4206940 548682068528 18446744073709551615 218084978786 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/7082/statm: 4283 1182 414 3 0 862 0
[pid=7132] ppid=7082 vsize=270840 CPUtime=10.33
/proc/7132/stat : 7132 (minisat-inc) R 7082 7082 7012 0 -1 4194304 65831 0 0 0 990 43 0 0 25 0 1 0 4527134 277340160 65776 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/7132/statm: 67710 65776 80 151 0 67556 0
Current children cumulated CPU time (s) 24.91
Current children cumulated vsize (KiB) 287972
[startup+51.1015 s]
/proc/loadavg: 1.75 1.21 1.07 3/76 7179
/proc/meminfo: memFree=671072/2055920 swapFree=4192956/4192956
[pid=7082] ppid=7080 vsize=17132 CPUtime=14.58
/proc/7082/stat : 7082 (sugar++) S 7080 7082 7012 0 -1 4194304 1688 24720 0 54 7 3 1327 121 16 0 1 0 4525720 17543168 1182 996147200 4194304 4206940 548682068528 18446744073709551615 218084978786 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/7082/statm: 4283 1182 414 3 0 862 0
[pid=7132] ppid=7082 vsize=270840 CPUtime=35.82
/proc/7132/stat : 7132 (minisat-inc) R 7082 7082 7012 0 -1 4194304 65843 0 0 0 3538 44 0 0 25 0 1 0 4527134 277340160 65788 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
################
# More data... #
################
[pid=7132] ppid=7082 vsize=275076 CPUtime=2895.23
/proc/7132/stat : 7132 (minisat-inc) R 7082 7082 7012 0 -1 4194304 66748 0 0 0 289472 51 0 0 25 0 1 0 4527134 281677824 66685 996147200 134512640 135134323 4294956192 18446744073709551615 134532195 0 0 4096 3 0 0 0 17 0 0 0
/proc/7132/statm: 68769 66685 80 151 0 68615 0
Current children cumulated CPU time (s) 2909.81
Current children cumulated vsize (KiB) 292208
[startup+2982.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/76 7199
/proc/meminfo: memFree=665504/2055920 swapFree=4192956/4192956
[pid=7082] ppid=7080 vsize=17132 CPUtime=14.58
/proc/7082/stat : 7082 (sugar++) S 7080 7082 7012 0 -1 4194304 1688 24720 0 54 7 3 1327 121 16 0 1 0 4525720 17543168 1182 996147200 4194304 4206940 548682068528 18446744073709551615 218084978786 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/7082/statm: 4283 1182 414 3 0 862 0
[pid=7132] ppid=7082 vsize=275076 CPUtime=2954.99
/proc/7132/stat : 7132 (minisat-inc) R 7082 7082 7012 0 -1 4194304 66755 0 0 0 295448 51 0 0 25 0 1 0 4527134 281677824 66692 996147200 134512640 135134323 4294956192 18446744073709551615 134528238 0 0 4096 3 0 0 0 17 0 0 0
/proc/7132/statm: 68769 66692 80 151 0 68615 0
Current children cumulated CPU time (s) 2969.57
Current children cumulated vsize (KiB) 292208
[startup+3042.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/76 7199
/proc/meminfo: memFree=665440/2055920 swapFree=4192956/4192956
[pid=7082] ppid=7080 vsize=17132 CPUtime=14.58
/proc/7082/stat : 7082 (sugar++) S 7080 7082 7012 0 -1 4194304 1688 24720 0 54 7 3 1327 121 16 0 1 0 4525720 17543168 1182 996147200 4194304 4206940 548682068528 18446744073709551615 218084978786 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/7082/statm: 4283 1182 414 3 0 862 0
[pid=7132] ppid=7082 vsize=275076 CPUtime=3014.75
/proc/7132/stat : 7132 (minisat-inc) R 7082 7082 7012 0 -1 4194304 66759 0 0 0 301424 51 0 0 25 0 1 0 4527134 281677824 66696 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/7132/statm: 68769 66696 80 151 0 68615 0
Current children cumulated CPU time (s) 3029.33
Current children cumulated vsize (KiB) 292208
[startup+3102.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/76 7199
/proc/meminfo: memFree=665056/2055920 swapFree=4192956/4192956
[pid=7082] ppid=7080 vsize=17132 CPUtime=14.58
/proc/7082/stat : 7082 (sugar++) S 7080 7082 7012 0 -1 4194304 1688 24720 0 54 7 3 1327 121 16 0 1 0 4525720 17543168 1182 996147200 4194304 4206940 548682068528 18446744073709551615 218084978786 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/7082/statm: 4283 1182 414 3 0 862 0
[pid=7132] ppid=7082 vsize=275076 CPUtime=3074.5
/proc/7132/stat : 7132 (minisat-inc) R 7082 7082 7012 0 -1 4194304 66764 0 0 0 307399 51 0 0 25 0 1 0 4527134 281677824 66701 996147200 134512640 135134323 4294956192 18446744073709551615 134531898 0 0 4096 3 0 0 0 17 0 0 0
/proc/7132/statm: 68769 66701 80 151 0 68615 0
Current children cumulated CPU time (s) 3089.08
Current children cumulated vsize (KiB) 292208
[startup+3162.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/76 7199
/proc/meminfo: memFree=664992/2055920 swapFree=4192956/4192956
[pid=7082] ppid=7080 vsize=17132 CPUtime=14.58
/proc/7082/stat : 7082 (sugar++) S 7080 7082 7012 0 -1 4194304 1688 24720 0 54 7 3 1327 121 16 0 1 0 4525720 17543168 1182 996147200 4194304 4206940 548682068528 18446744073709551615 218084978786 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/7082/statm: 4283 1182 414 3 0 862 0
[pid=7132] ppid=7082 vsize=275240 CPUtime=3134.26
/proc/7132/stat : 7132 (minisat-inc) R 7082 7082 7012 0 -1 4194304 66796 0 0 0 313375 51 0 0 25 0 1 0 4527134 281845760 66733 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/7132/statm: 68810 66733 80 151 0 68656 0
Current children cumulated CPU time (s) 3148.84
Current children cumulated vsize (KiB) 292372
[startup+3222.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/76 7199
/proc/meminfo: memFree=664928/2055920 swapFree=4192956/4192956
[pid=7082] ppid=7080 vsize=17132 CPUtime=14.58
/proc/7082/stat : 7082 (sugar++) S 7080 7082 7012 0 -1 4194304 1688 24720 0 54 7 3 1327 121 16 0 1 0 4525720 17543168 1182 996147200 4194304 4206940 548682068528 18446744073709551615 218084978786 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/7082/statm: 4283 1182 414 3 0 862 0
[pid=7132] ppid=7082 vsize=275240 CPUtime=3194.01
/proc/7132/stat : 7132 (minisat-inc) R 7082 7082 7012 0 -1 4194304 66802 0 0 0 319350 51 0 0 25 0 1 0 4527134 281845760 66739 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/7132/statm: 68810 66739 80 151 0 68656 0
Current children cumulated CPU time (s) 3208.59
Current children cumulated vsize (KiB) 292372
[startup+3282.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/76 7199
/proc/meminfo: memFree=664800/2055920 swapFree=4192956/4192956
[pid=7082] ppid=7080 vsize=17132 CPUtime=14.58
/proc/7082/stat : 7082 (sugar++) S 7080 7082 7012 0 -1 4194304 1688 24720 0 54 7 3 1327 121 16 0 1 0 4525720 17543168 1182 996147200 4194304 4206940 548682068528 18446744073709551615 218084978786 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/7082/statm: 4283 1182 414 3 0 862 0
[pid=7132] ppid=7082 vsize=275240 CPUtime=3253.77
/proc/7132/stat : 7132 (minisat-inc) R 7082 7082 7012 0 -1 4194304 66808 0 0 0 325326 51 0 0 25 0 1 0 4527134 281845760 66745 996147200 134512640 135134323 4294956192 18446744073709551615 134531929 0 0 4096 3 0 0 0 17 0 0 0
/proc/7132/statm: 68810 66745 80 151 0 68656 0
Current children cumulated CPU time (s) 3268.35
Current children cumulated vsize (KiB) 292372
[startup+3342.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/76 7199
/proc/meminfo: memFree=664672/2055920 swapFree=4192956/4192956
[pid=7082] ppid=7080 vsize=17132 CPUtime=14.58
/proc/7082/stat : 7082 (sugar++) S 7080 7082 7012 0 -1 4194304 1688 24720 0 54 7 3 1327 121 16 0 1 0 4525720 17543168 1182 996147200 4194304 4206940 548682068528 18446744073709551615 218084978786 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/7082/statm: 4283 1182 414 3 0 862 0
[pid=7132] ppid=7082 vsize=275240 CPUtime=3313.53
/proc/7132/stat : 7132 (minisat-inc) R 7082 7082 7012 0 -1 4194304 66812 0 0 0 331302 51 0 0 25 0 1 0 4527134 281845760 66749 996147200 134512640 135134323 4294956192 18446744073709551615 134531850 0 0 4096 3 0 0 0 17 0 0 0
/proc/7132/statm: 68810 66749 80 151 0 68656 0
Current children cumulated CPU time (s) 3328.11
Current children cumulated vsize (KiB) 292372
[startup+3402.31 s]
/proc/loadavg: 2.00 2.00 1.92 3/76 7199
/proc/meminfo: memFree=664608/2055920 swapFree=4192956/4192956
[pid=7082] ppid=7080 vsize=17132 CPUtime=14.58
/proc/7082/stat : 7082 (sugar++) S 7080 7082 7012 0 -1 4194304 1688 24720 0 54 7 3 1327 121 16 0 1 0 4525720 17543168 1182 996147200 4194304 4206940 548682068528 18446744073709551615 218084978786 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/7082/statm: 4283 1182 414 3 0 862 0
[pid=7132] ppid=7082 vsize=275240 CPUtime=3373.29
/proc/7132/stat : 7132 (minisat-inc) R 7082 7082 7012 0 -1 4194304 66818 0 0 0 337277 52 0 0 25 0 1 0 4527134 281845760 66755 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/7132/statm: 68810 66755 80 151 0 68656 0
Current children cumulated CPU time (s) 3387.87
Current children cumulated vsize (KiB) 292372
[startup+3462.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/76 7199
/proc/meminfo: memFree=664416/2055920 swapFree=4192956/4192956
[pid=7082] ppid=7080 vsize=17132 CPUtime=14.58
/proc/7082/stat : 7082 (sugar++) S 7080 7082 7012 0 -1 4194304 1688 24720 0 54 7 3 1327 121 16 0 1 0 4525720 17543168 1182 996147200 4194304 4206940 548682068528 18446744073709551615 218084978786 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/7082/statm: 4283 1182 414 3 0 862 0
[pid=7132] ppid=7082 vsize=275240 CPUtime=3433.04
/proc/7132/stat : 7132 (minisat-inc) R 7082 7082 7012 0 -1 4194304 66824 0 0 0 343252 52 0 0 25 0 1 0 4527134 281845760 66761 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/7132/statm: 68810 66761 80 151 0 68656 0
Current children cumulated CPU time (s) 3447.62
Current children cumulated vsize (KiB) 292372
[startup+3522.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/76 7199
/proc/meminfo: memFree=664288/2055920 swapFree=4192956/4192956
[pid=7082] ppid=7080 vsize=17132 CPUtime=14.58
/proc/7082/stat : 7082 (sugar++) S 7080 7082 7012 0 -1 4194304 1688 24720 0 54 7 3 1327 121 16 0 1 0 4525720 17543168 1182 996147200 4194304 4206940 548682068528 18446744073709551615 218084978786 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/7082/statm: 4283 1182 414 3 0 862 0
[pid=7132] ppid=7082 vsize=275240 CPUtime=3492.8
/proc/7132/stat : 7132 (minisat-inc) R 7082 7082 7012 0 -1 4194304 66829 0 0 0 349227 53 0 0 25 0 1 0 4527134 281845760 66766 996147200 134512640 135134323 4294956192 18446744073709551615 134531982 0 0 4096 3 0 0 0 17 0 0 0
/proc/7132/statm: 68810 66766 80 151 0 68656 0
Current children cumulated CPU time (s) 3507.38
Current children cumulated vsize (KiB) 292372
[startup+3582.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/76 7199
/proc/meminfo: memFree=664224/2055920 swapFree=4192956/4192956
[pid=7082] ppid=7080 vsize=17132 CPUtime=14.58
/proc/7082/stat : 7082 (sugar++) S 7080 7082 7012 0 -1 4194304 1688 24720 0 54 7 3 1327 121 16 0 1 0 4525720 17543168 1182 996147200 4194304 4206940 548682068528 18446744073709551615 218084978786 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/7082/statm: 4283 1182 414 3 0 862 0
[pid=7132] ppid=7082 vsize=275240 CPUtime=3552.56
/proc/7132/stat : 7132 (minisat-inc) R 7082 7082 7012 0 -1 4194304 66833 0 0 0 355203 53 0 0 25 0 1 0 4527134 281845760 66770 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/7132/statm: 68810 66770 80 151 0 68656 0
Current children cumulated CPU time (s) 3567.14
Current children cumulated vsize (KiB) 292372
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3615.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/76 7199
/proc/meminfo: memFree=664160/2055920 swapFree=4192956/4192956
[pid=7082] ppid=7080 vsize=17132 CPUtime=14.58
/proc/7082/stat : 7082 (sugar++) S 7080 7082 7012 0 -1 4194304 1688 24720 0 54 7 3 1327 121 16 0 1 0 4525720 17543168 1182 996147200 4194304 4206940 548682068528 18446744073709551615 218084978786 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/7082/statm: 4283 1182 414 3 0 862 0
[pid=7132] ppid=7082 vsize=275240 CPUtime=3585.43
/proc/7132/stat : 7132 (minisat-inc) R 7082 7082 7012 0 -1 4194304 66835 0 0 0 358490 53 0 0 25 0 1 0 4527134 281845760 66772 996147200 134512640 135134323 4294956192 18446744073709551615 134532004 0 0 4096 3 0 0 0 17 0 0 0
/proc/7132/statm: 68810 66772 80 151 0 68656 0
Current children cumulated CPU time (s) 3600.01
Current children cumulated vsize (KiB) 292372
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+3615.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/76 7199
/proc/meminfo: memFree=664160/2055920 swapFree=4192956/4192956
[pid=7082] ppid=7080 vsize=17132 CPUtime=14.58
/proc/7082/stat : 7082 (sugar++) S 7080 7082 7012 0 -1 4194304 1688 24720 0 54 7 3 1327 121 16 0 1 0 4525720 17543168 1182 996147200 4194304 4206940 548682068528 18446744073709551615 218084978786 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/7082/statm: 4283 1182 414 3 0 862 0
[pid=7132] ppid=7082 vsize=275240 CPUtime=3585.43
/proc/7132/stat : 7132 (minisat-inc) R 7082 7082 7012 0 -1 4194304 66835 0 0 0 358490 53 0 0 25 0 1 0 4527134 281845760 66772 996147200 134512640 135134323 4294956192 18446744073709551615 134532004 0 0 4096 3 0 0 0 17 0 0 0
/proc/7132/statm: 68810 66772 80 151 0 68656 0
Current children cumulated CPU time (s) 3600.01
Current children cumulated vsize (KiB) 292372
Child status: 0
Real time (s): 3615.41
CPU time (s): 3600.14
CPU user time (s): 3598.26
CPU system time (s): 1.88571
CPU usage (%): 99.5776
Max. virtual memory (cumulated for all children) (KiB): 890676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.26
system time used= 1.88571
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93322
page faults= 54
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 29423
involuntary context switches= 79017
runsolver used 4.25935 second user time and 12.1921 second system time
The end
Begin job on node57 at 2008-07-23 02:52:56
IDJOB=1127675
IDBENCH=63783
IDSOLVER=367
FILE ID=node57/1127675-1216774376
PBS_JOBID= 7974197
Free space on /tmp= 66564 MiB
SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/maxcsp/cnf/3-40-2100-3000/normalized-cnf-3-40-2500-147429_ext.xml
COMMAND LINE= DIR/sugar++ -max -incremental -c -vv -java="java -Xmx700M" -decjava="java -Xmx50M" -jar="DIR/sugar-v1-13.jar" -solver="DIR/minisat-inc" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1127675-1216774376/watcher-1127675-1216774376 -o /tmp/evaluation-result-1127675-1216774376/solver-1127675-1216774376 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/sugar++ -max -incremental -c -vv -java="java -Xmx700M" -decjava="java -Xmx50M" -jar="HOME/sugar-v1-13.jar" -solver="HOME/minisat-inc" -tmp="HOME/temp" HOME/instance-1127675-1216774376.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 0a2d5e05d9b921f2bf26a2593d6f7614
RANDOM SEED=841423946
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.236
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.236
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: 1481744 kB
Buffers: 33916 kB
Cached: 457996 kB
SwapCached: 0 kB
Active: 268432 kB
Inactive: 238160 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1481744 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 1028 kB
Writeback: 0 kB
Mapped: 24424 kB
Slab: 53280 kB
Committed_AS: 59376 kB
PageTables: 1668 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= 66432 MiB
End job on node57 at 2008-07-23 03:53:13