0.03/0.08 c 0 Sugar++ v1-13 + HOME/minisat-inc
0.03/0.08 c 0 BEGIN Sat Jul 12 03:52:56 2008
0.03/0.08 c 0 PID 15072
0.03/0.08 c 0 HOST node26.alineos.net
0.03/0.08 c 0 CONVERTING HOME/instance-1110539-1215827575.xml TO HOME/temp.csp
0.03/0.08 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1110539-1215827575.xml' 'HOME/temp.csp'
0.07/0.35 c 0 1 domains, 221 variables, 0 predicates, 2 relations, 30 constraints
0.07/0.38 c 0 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.07/0.38 c 0 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.29/0.46 c 0 Parsing HOME/temp.csp
0.29/0.59 c 0 parsed 254 expressions
0.29/0.59 c 0 Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.29/0.60 c 0 MAX CSP: 30 constraints
0.29/0.60 c 0 Converting to clausal form CSP
0.29/0.62 c 0 converted 29 (10%) expressions
0.29/0.62 c 0 converted 58 (20%) expressions
0.29/0.62 c 0 converted 87 (30%) expressions
0.29/0.62 c 0 converted 115 (40%) expressions
0.29/0.62 c 0 converted 144 (50%) expressions
0.29/0.62 c 0 converted 173 (60%) expressions
0.29/0.62 c 0 converted 201 (70%) expressions
0.29/0.71 c 0 converted 230 (80%) expressions
0.99/1.12 c 1 converted 259 (90%) expressions
0.99/1.17 c 1 converted 287 (100%) expressions
0.99/1.17 c 1 CSP : 281 integers, 0 booleans, 89 clauses, largest domain size 46
0.99/1.17 c 1 Heap : 20 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.99/1.17 c 1 Propagation in CSP
0.99/1.18 c 1 26 values, 0 unsatisfiable literals, and 0 valid clauses are removed
0.99/1.18 c 1 CSP : 281 integers, 0 booleans, 89 clauses, largest domain size 31
0.99/1.18 c 1 Heap : 20 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.99/1.18 c 1 Simplifing CSP by introducing new Boolean variables
0.99/1.18 c 1 CSP : 281 integers, 0 booleans, 89 clauses, largest domain size 31
0.99/1.18 c 1 Heap : 20 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.09/1.29 c 1 Encoding CSP to SAT : HOME/temp.cnf
1.19/1.31 c 1 29 (10%) CSP integer variables are encoded (696 clauses, 7512 bytes)
1.19/1.31 c 1 57 (20%) CSP integer variables are encoded (1368 clauses, 15721 bytes)
1.19/1.31 c 1 85 (30%) CSP integer variables are encoded (2040 clauses, 24457 bytes)
1.19/1.32 c 1 113 (40%) CSP integer variables are encoded (2712 clauses, 33193 bytes)
1.19/1.32 c 1 141 (50%) CSP integer variables are encoded (3384 clauses, 41929 bytes)
1.19/1.32 c 1 169 (60%) CSP integer variables are encoded (4056 clauses, 50665 bytes)
1.19/1.32 c 1 197 (70%) CSP integer variables are encoded (4728 clauses, 59401 bytes)
1.19/1.32 c 1 225 (80%) CSP integer variables are encoded (5304 clauses, 66889 bytes)
1.19/1.32 c 1 253 (90%) CSP integer variables are encoded (5334 clauses, 67279 bytes)
1.19/1.32 c 1 281 (100%) CSP integer variables are encoded (5517 clauses, 69658 bytes)
26.42/26.76 c 26 9 (10%) CSP clauses are encoded (222570 clauses, 19603406 bytes)
49.01/49.47 c 49 18 (20%) CSP clauses are encoded (417558 clauses, 37566051 bytes)
49.91/50.37 c 50 27 (30%) CSP clauses are encoded (436026 clauses, 39559825 bytes)
50.21/50.67 c 50 36 (40%) CSP clauses are encoded (442210 clauses, 40244981 bytes)
50.21/50.67 c 50 45 (50%) CSP clauses are encoded (442289 clauses, 40246256 bytes)
50.21/50.68 c 50 54 (60%) CSP clauses are encoded (442440 clauses, 40248615 bytes)
50.21/50.68 c 50 63 (70%) CSP clauses are encoded (443399 clauses, 40265250 bytes)
50.21/50.68 c 50 72 (80%) CSP clauses are encoded (443446 clauses, 40265976 bytes)
50.21/50.68 c 50 81 (90%) CSP clauses are encoded (443525 clauses, 40267251 bytes)
50.21/50.69 c 50 89 (100%) CSP clauses are encoded (443733 clauses, 40270715 bytes)
50.21/50.69 c 50 89 CSP clauses encoded
50.21/50.69 c 50 Writing map file : HOME/temp.map
50.21/50.69 c 50 Heap : 36 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
50.21/50.69 c 50 SAT : 5798 SAT variables, 443733 SAT clauses, 40270715 bytes
50.21/50.69 c 50 Heap : 36 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
50.29/50.74 c 50 OBJECTIVE minimize _COST
50.29/50.74 c 50 SOLVING HOME/temp.cnf
50.29/50.74 c 50 CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
50.29/50.74 c 50 This is MiniSat 2.0 beta incremental
50.29/50.74 c 50 WARNING: for repeatability, setting FPU to use double precision
50.29/50.74 c 50 ============================[ Problem Statistics ]=============================
50.29/50.74 c 50 | |
50.29/50.74 c 50 | Number of variables: 5798 |
50.29/50.74 c 50 | Number of clauses: 443733 |
50.32/51.54 c 51 | Parsing time: 0.73 s |
50.32/51.58 c 51 OK
50.32/51.58 c 51 OBJECTIVE BOUND: 0 <= _COST <=
50.32/51.58 c 51 SEARCHING: _COST <= 15
50.32/51.58 c 51 ============================[ Search Statistics ]==============================
50.32/51.58 c 51 | Conflicts | ORIGINAL | LEARNT | Progress |
50.32/51.58 c 51 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
50.32/51.58 c 51 ===============================================================================
50.32/51.58 c 51 | 0 | 5798 443733 7485985 | 147911 0 nan | 0.000 % |
51.17/51.61 c 51 | 100 | 5798 443733 7485985 | 162702 100 8 | 0.000 % |
51.17/51.64 c 51 | 251 | 5798 443733 7485985 | 178972 251 7 | 0.000 % |
51.17/51.67 c 51 | 477 | 5798 443733 7485985 | 196869 477 7 | 0.000 % |
51.27/51.71 c 51 | 814 | 5798 443733 7485985 | 216556 814 7 | 0.000 % |
51.27/51.75 c 51 | 1321 | 5798 443733 7485985 | 238212 1321 8 | 0.000 % |
51.36/51.88 c 51 | 2080 | 5798 443733 7485985 | 262033 2080 8 | 0.000 % |
51.56/52.01 c 51 | 3221 | 5798 443733 7485985 | 288236 3221 8 | 0.000 % |
51.66/52.18 c 52 | 4930 | 5798 443733 7485985 | 317060 4930 9 | 0.000 % |
52.06/52.52 c 52 | 7492 | 5798 443733 7485985 | 348766 7492 9 | 0.000 % |
52.37/52.86 c 52 | 11338 | 5798 443733 7485985 | 383643 11338 9 | 0.000 % |
53.26/53.74 c 53 | 17105 | 5798 443733 7485985 | 422007 17105 10 | 0.000 % |
54.25/54.74 c 54 | 25754 | 5798 443733 7485985 | 464208 25754 10 | 0.000 % |
56.75/57.21 c 57 | 38728 | 5798 443733 7485985 | 510628 38728 11 | 0.000 % |
61.52/62.02 c 61 | 58190 | 5798 443733 7485985 | 561691 58190 11 | 0.000 % |
69.49/70.01 c 69 | 87383 | 5798 443733 7485985 | 617860 87383 12 | 0.000 % |
81.13/81.72 c 81 | 131172 | 5798 443733 7485985 | 679647 131172 12 | 0.000 % |
101.95/102.63 c 102 | 196856 | 5798 443733 7485985 | 747611 196856 13 | 0.000 % |
230.03/231.25 c 231 | 295383 | 5798 443733 7485985 | 822372 295383 17 | 0.000 % |
480.22/482.41 c 482 | 443173 | 5798 443733 7485985 | 904610 443173 19 | 0.000 % |
1001.04/1009.73 c 1009 | 664856 | 5798 443733 7485985 | 995071 664856 20 | 0.000 % |
1037.65/1046.51 c 1046 ===============================================================================
1037.65/1046.51 c 1046 restarts : 21
1037.65/1046.51 c 1046 conflicts : 689056 (698 /sec)
1037.65/1046.51 c 1046 decisions : 1007418 (1.62 % random) (1021 /sec)
1037.65/1046.51 c 1046 propagations : 96648827 (97922 /sec)
1037.65/1046.51 c 1046 conflict literals : 13863657 (29.28 % deleted)
1037.65/1046.51 c 1046 Memory used : 132.88 MB
1037.65/1046.51 c 1046 CPU time : 987.002 s
1037.65/1046.51 c 1046
1037.65/1046.51 c 1046 SATISFIABLE
1037.65/1046.51 c 1046 OK
1037.65/1046.51 c 1046 FOUND: _COST <= 15
1037.65/1046.51 s SATISFIABLE
1037.65/1046.51 c 1046 DECODING HOME/temp.out WITH HOME/temp.map
1037.65/1046.51 c 1046 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
1037.67/1046.60 c 1046 Decoding HOME/temp.out
1037.67/1046.69 c 1046 OBJECTIVE _COST 15
1037.67/1046.69 o 15
1037.67/1046.69 v 17 18 19 22 25 18 0 1 12 19 18 25 21 3 18 8 25 4 20 24 14 25 19 20 14 0 24 15 25 20 8 20 13 25 21 1 17 17 25 17 18 20 2 15 14 25 11 18 1 0 25 14 18 0 19 25 0 2 18 17 14 17 25 13 6 4 3 25 11 19 13 7 25 19 20 19 14 6 19 25 4 17 23 21 25 20 17 13 11 25 14 11 17 12 17 18 25 17 0 15 4 25 19 20 14 4 25 18 19 14 14 0 22 25 0 2 17 17 25 8 2 18 18 25 15 0 15 11 15 17 25 1 4 4 19 25 14 19 0 18 25 7 19 7 4 7 8 25 8 5 18 4 25 13 20 20 13 25 4 8 4 2 8 19 25 11 20 18 13 25 8 17 17 4 15 17 14 3 20 2 8 1 8 11 8 19 24 25 4 20 18 25 8 13 14 11 0 13 25 19 11 14 11 25 4 18 18 18 25 2 18 13 4 11 6 25 24 24 13 24 25
1037.68/1046.71 c 1046 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
1038.02/1046.94 c 1046 OK
1038.02/1046.94 c 1046 OBJECTIVE BOUND: 0 <= _COST <= 15
1038.02/1046.94 c 1046 SEARCHING: _COST <= 7
1038.02/1046.94 c 1046 ============================[ Search Statistics ]==============================
1038.02/1046.94 c 1046 | Conflicts | ORIGINAL | LEARNT | Progress |
1038.02/1046.94 c 1046 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1038.02/1046.94 c 1046 ===============================================================================
1038.02/1046.94 c 1046 | 689056 | 5723 443123 7484365 | 147707 689056 20 | 0.000 % |
1047.37/1056.39 c 1056 | 689156 | 5723 443123 7484365 | 162478 46594 13 | 1.294 % |
1047.47/1056.48 c 1056 | 689306 | 5723 443123 7484365 | 178726 46744 13 | 1.294 % |
1047.77/1056.75 c 1056 | 689533 | 5723 443123 7484365 | 196598 46971 13 | 1.294 % |
1047.96/1056.99 c 1056 | 689872 | 5723 443123 7484365 | 216258 47310 13 | 1.294 % |
1048.26/1057.26 c 1057 | 690378 | 5723 443123 7484365 | 237884 47816 13 | 1.294 % |
1048.56/1057.56 c 1057 | 691139 | 5723 443123 7484365 | 261673 48577 13 | 1.294 % |
1048.86/1057.82 c 1057 | 692278 | 5723 443123 7484365 | 287840 49716 13 | 1.294 % |
1049.46/1058.48 c 1058 | 693987 | 5723 443123 7484365 | 316624 51425 13 | 1.294 % |
1050.26/1059.28 c 1059 | 696550 | 5723 443123 7484365 | 348286 53988 13 | 1.294 % |
1054.73/1063.75 c 1063 | 700394 | 5723 443123 7484365 | 383115 57832 13 | 1.294 % |
1057.41/1066.44 c 1066 | 706160 | 5723 443123 7484365 | 421427 63598 13 | 1.294 % |
1068.66/1077.73 c 1077 | 714810 | 5723 443123 7484365 | 463569 72248 13 | 1.294 % |
1079.61/1088.70 c 1088 | 727786 | 5723 443123 7484365 | 509926 85224 14 | 1.294 % |
1098.91/1108.18 c 1108 | 747247 | 5723 443123 7484365 | 560919 104685 14 | 1.294 % |
1124.19/1133.55 c 1133 | 776441 | 5723 443123 7484365 | 617011 133879 15 | 1.294 % |
1206.88/1216.65 c 1216 | 820232 | 5723 443123 7484365 | 678712 177670 16 | 1.294 % |
1298.12/1308.34 c 1308 | 885916 | 5723 443123 7484365 | 746584 243354 17 | 1.294 % |
1546.91/1558.30 c 1558 | 984442 | 5723 443123 7484365 | 821242 341880 18 | 1.294 % |
2073.72/2087.76 c 2087 | 1132233 | 5723 443123 7484365 | 903366 489671 20 | 1.294 % |
2903.64/2921.76 c 2921 | 1353916 | 5723 443123 7484365 | 993703 711354 21 | 1.294 % |
3600.06/3621.51 c ERROR INTERRUPTED
3600.06/3621.55 c 3621 CPU 3599.01 (0.06 0.02 3598.95 1.07)
3600.06/3621.55 c 3621 END Sat Jul 12 04:53:17 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-1110539-1215827575/watcher-1110539-1215827575 -o /tmp/evaluation-result-1110539-1215827575/solver-1110539-1215827575 -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-1110539-1215827575.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.92 1.98 1.90 4/80 15072
/proc/meminfo: memFree=1891696/2055920 swapFree=4181272/4192956
[pid=15072] ppid=15070 vsize=12268 CPUtime=0
/proc/15072/stat : 15072 (sugar++) R 15070 15072 14872 0 -1 4194304 348 0 0 0 0 0 0 0 20 0 1 0 39459471 12562432 316 996147200 4194304 4206940 548682068528 18446744073709551615 269028653669 0 2147483391 4224 0 0 0 0 17 1 0 0
/proc/15072/statm: 3067 316 241 3 0 167 0
[startup+0.0506651 s]
/proc/loadavg: 1.92 1.98 1.90 4/80 15072
/proc/meminfo: memFree=1891696/2055920 swapFree=4181272/4192956
[pid=15072] ppid=15070 vsize=13600 CPUtime=0.03
/proc/15072/stat : 15072 (sugar++) R 15070 15072 14872 0 -1 4194304 782 0 0 0 3 0 0 0 18 0 1 0 39459471 13926400 750 996147200 4194304 4206940 548682068528 18446744073709551615 269046014352 0 0 4224 0 0 0 0 17 1 0 0
/proc/15072/statm: 3400 750 338 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.102666 s]
/proc/loadavg: 1.92 1.98 1.90 4/80 15072
/proc/meminfo: memFree=1891696/2055920 swapFree=4181272/4192956
[pid=15072] ppid=15070 vsize=16740 CPUtime=0.07
/proc/15072/stat : 15072 (sugar++) S 15070 15072 14872 0 -1 4194304 1219 128 0 0 6 1 0 0 19 0 1 0 39459471 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15072/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740
[startup+0.302683 s]
/proc/loadavg: 1.92 1.98 1.90 4/80 15072
/proc/meminfo: memFree=1891696/2055920 swapFree=4181272/4192956
[pid=15072] ppid=15070 vsize=16740 CPUtime=0.07
/proc/15072/stat : 15072 (sugar++) S 15070 15072 14872 0 -1 4194304 1219 128 0 0 6 1 0 0 19 0 1 0 39459471 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15072/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740
[startup+0.702715 s]
/proc/loadavg: 1.92 1.98 1.90 4/80 15072
/proc/meminfo: memFree=1891696/2055920 swapFree=4181272/4192956
[pid=15072] ppid=15070 vsize=16740 CPUtime=0.29
/proc/15072/stat : 15072 (sugar++) S 15070 15072 14872 0 -1 4194304 1296 4396 0 1 6 1 19 3 15 0 1 0 39459471 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15072/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16740
[startup+1.50279 s]
/proc/loadavg: 1.93 1.98 1.90 4/91 15094
/proc/meminfo: memFree=1869144/2055920 swapFree=4181272/4192956
[pid=15072] ppid=15070 vsize=16740 CPUtime=0.29
/proc/15072/stat : 15072 (sugar++) S 15070 15072 14872 0 -1 4194304 1297 4396 0 1 6 1 19 3 15 0 1 0 39459471 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15072/statm: 4185 1104 409 3 0 764 0
[pid=15085] ppid=15072 vsize=5356 CPUtime=0
/proc/15085/stat : 15085 (sh) S 15072 15072 14872 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 39459510 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15085/statm: 1339 233 193 169 0 50 0
[pid=15086] ppid=15085 vsize=864420 CPUtime=1.09
/proc/15086/stat : 15086 (java) S 15085 15072 14872 0 -1 0 10375 0 1 0 104 5 0 0 18 0 9 0 39459510 885166080 9616 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15086/statm: 216105 9616 2565 9 0 210652 0
[pid=15086/tid=15087] ppid=15085 vsize=864420 CPUtime=0.52
/proc/15086/task/15087/stat : 15087 (java) R 15085 15072 14872 0 -1 64 2973 0 1 0 51 1 0 0 23 0 9 0 39459511 885166080 9616 996147200 134512640 134550740 4294955920 18446744073709551615 4126543255 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15086/tid=15088] ppid=15085 vsize=864420 CPUtime=0.44
/proc/15086/task/15088/stat : 15088 (java) S 15085 15072 14872 0 -1 64 6354 0 0 0 42 2 0 0 16 0 9 0 39459512 885166080 9616 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15086/tid=15089] ppid=15085 vsize=864420 CPUtime=0
/proc/15086/task/15089/stat : 15089 (java) S 15085 15072 14872 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 39459512 885166080 9616 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15086/tid=15090] ppid=15085 vsize=864420 CPUtime=0
/proc/15086/task/15090/stat : 15090 (java) S 15085 15072 14872 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 39459512 885166080 9616 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15086/tid=15091] ppid=15085 vsize=864420 CPUtime=0
/proc/15086/task/15091/stat : 15091 (java) S 15085 15072 14872 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 39459514 885166080 9616 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15086/tid=15092] ppid=15085 vsize=864420 CPUtime=0.1
/proc/15086/task/15092/stat : 15092 (java) S 15085 15072 14872 0 -1 64 356 0 0 0 10 0 0 0 16 0 9 0 39459514 885166080 9616 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15086/tid=15093] ppid=15085 vsize=864420 CPUtime=0
/proc/15086/task/15093/stat : 15093 (java) S 15085 15072 14872 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 39459514 885166080 9616 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15086/tid=15094] ppid=15085 vsize=864420 CPUtime=0
/proc/15086/task/15094/stat : 15094 (java) S 15085 15072 14872 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 39459514 885166080 9616 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 886516
[startup+3.10191 s]
/proc/loadavg: 1.93 1.98 1.90 3/91 15094
/proc/meminfo: memFree=1858904/2055920 swapFree=4181272/4192956
[pid=15072] ppid=15070 vsize=16740 CPUtime=0.29
/proc/15072/stat : 15072 (sugar++) S 15070 15072 14872 0 -1 4194304 1297 4396 0 1 6 1 19 3 15 0 1 0 39459471 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15072/statm: 4185 1104 409 3 0 764 0
[pid=15085] ppid=15072 vsize=5356 CPUtime=0
/proc/15085/stat : 15085 (sh) S 15072 15072 14872 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 39459510 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15085/statm: 1339 233 193 169 0 50 0
[pid=15086] ppid=15085 vsize=864420 CPUtime=2.68
/proc/15086/stat : 15086 (java) S 15085 15072 14872 0 -1 0 11049 0 1 0 262 6 0 0 18 0 9 0 39459510 885166080 10260 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15086/statm: 216105 10260 2565 9 0 210652 0
[pid=15086/tid=15087] ppid=15085 vsize=864420 CPUtime=2.07
/proc/15086/task/15087/stat : 15087 (java) R 15085 15072 14872 0 -1 64 3003 0 1 0 206 1 0 0 25 0 9 0 39459511 885166080 10260 996147200 134512640 134550740 4294955920 18446744073709551615 4126458373 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15086/tid=15088] ppid=15085 vsize=864420 CPUtime=0.48
/proc/15086/task/15088/stat : 15088 (java) S 15085 15072 14872 0 -1 64 6998 0 0 0 45 3 0 0 16 0 9 0 39459512 885166080 10260 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15086/tid=15089] ppid=15085 vsize=864420 CPUtime=0
/proc/15086/task/15089/stat : 15089 (java) S 15085 15072 14872 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 39459512 885166080 10260 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15086/tid=15090] ppid=15085 vsize=864420 CPUtime=0
/proc/15086/task/15090/stat : 15090 (java) S 15085 15072 14872 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 39459512 885166080 10260 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15086/tid=15091] ppid=15085 vsize=864420 CPUtime=0
/proc/15086/task/15091/stat : 15091 (java) S 15085 15072 14872 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 39459514 885166080 10260 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15086/tid=15092] ppid=15085 vsize=864420 CPUtime=0.1
/proc/15086/task/15092/stat : 15092 (java) S 15085 15072 14872 0 -1 64 356 0 0 0 10 0 0 0 16 0 9 0 39459514 885166080 10260 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15086/tid=15093] ppid=15085 vsize=864420 CPUtime=0
/proc/15086/task/15093/stat : 15093 (java) S 15085 15072 14872 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 39459514 885166080 10260 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15086/tid=15094] ppid=15085 vsize=864420 CPUtime=0
/proc/15086/task/15094/stat : 15094 (java) S 15085 15072 14872 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 39459514 885166080 10260 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 886516
[startup+6.30216 s]
/proc/loadavg: 1.93 1.98 1.90 3/91 15094
/proc/meminfo: memFree=1851992/2055920 swapFree=4181272/4192956
[pid=15072] ppid=15070 vsize=16740 CPUtime=0.29
/proc/15072/stat : 15072 (sugar++) S 15070 15072 14872 0 -1 4194304 1297 4396 0 1 6 1 19 3 15 0 1 0 39459471 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15072/statm: 4185 1104 409 3 0 764 0
[pid=15085] ppid=15072 vsize=5356 CPUtime=0
/proc/15085/stat : 15085 (sh) S 15072 15072 14872 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 39459510 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15085/statm: 1339 233 193 169 0 50 0
[pid=15086] ppid=15085 vsize=864420 CPUtime=5.87
/proc/15086/stat : 15086 (java) S 15085 15072 14872 0 -1 0 12280 0 1 0 578 9 0 0 18 0 9 0 39459510 885166080 11405 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15086/statm: 216105 11405 2565 9 0 210652 0
[pid=15086/tid=15087] ppid=15085 vsize=864420 CPUtime=5.17
/proc/15086/task/15087/stat : 15087 (java) R 15085 15072 14872 0 -1 64 3089 0 1 0 514 3 0 0 25 0 9 0 39459511 885166080 11405 996147200 134512640 134550740 4294955920 18446744073709551615 4126635333 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15086/tid=15088] ppid=15085 vsize=864420 CPUtime=0.56
/proc/15086/task/15088/stat : 15088 (java) S 15085 15072 14872 0 -1 64 8140 0 0 0 52 4 0 0 16 0 9 0 39459512 885166080 11405 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15086/tid=15089] ppid=15085 vsize=864420 CPUtime=0
/proc/15086/task/15089/stat : 15089 (java) S 15085 15072 14872 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 39459512 885166080 11405 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15086/tid=15090] ppid=15085 vsize=864420 CPUtime=0
/proc/15086/task/15090/stat : 15090 (java) S 15085 15072 14872 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 39459512 885166080 11405 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15086/tid=15091] ppid=15085 vsize=864420 CPUtime=0
/proc/15086/task/15091/stat : 15091 (java) S 15085 15072 14872 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 39459514 885166080 11405 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15086/tid=15092] ppid=15085 vsize=864420 CPUtime=0.11
/proc/15086/task/15092/stat : 15092 (java) S 15085 15072 14872 0 -1 64 359 0 0 0 11 0 0 0 16 0 9 0 39459514 885166080 11405 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15086/tid=15093] ppid=15085 vsize=864420 CPUtime=0
/proc/15086/task/15093/stat : 15093 (java) S 15085 15072 14872 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 39459514 885166080 11405 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15086/tid=15094] ppid=15085 vsize=864420 CPUtime=0
/proc/15086/task/15094/stat : 15094 (java) S 15085 15072 14872 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 39459514 885166080 11405 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 886516
[startup+12.7027 s]
/proc/loadavg: 1.94 1.98 1.91 3/91 15094
/proc/meminfo: memFree=1839776/2055920 swapFree=4181272/4192956
[pid=15072] ppid=15070 vsize=16740 CPUtime=0.29
/proc/15072/stat : 15072 (sugar++) S 15070 15072 14872 0 -1 4194304 1297 4396 0 1 6 1 19 3 15 0 1 0 39459471 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15072/statm: 4185 1104 409 3 0 764 0
[pid=15085] ppid=15072 vsize=5356 CPUtime=0
/proc/15085/stat : 15085 (sh) S 15072 15072 14872 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 39459510 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15085/statm: 1339 233 193 169 0 50 0
[pid=15086] ppid=15085 vsize=864420 CPUtime=12.22
/proc/15086/stat : 15086 (java) S 15085 15072 14872 0 -1 0 15152 0 1 0 1206 16 0 0 18 0 9 0 39459510 885166080 12881 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15086/statm: 216105 12881 2565 9 0 210652 0
[pid=15086/tid=15087] ppid=15085 vsize=864420 CPUtime=11.21
/proc/15086/task/15087/stat : 15087 (java) R 15085 15072 14872 0 -1 64 3275 0 1 0 1114 7 0 0 24 0 9 0 39459511 885166080 12881 996147200 134512640 134550740 4294955920 18446744073709551615 4126560680 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15086/tid=15088] ppid=15085 vsize=864420 CPUtime=0.87
/proc/15086/task/15088/stat : 15088 (java) S 15085 15072 14872 0 -1 64 10820 0 0 0 80 7 0 0 16 0 9 0 39459512 885166080 12881 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15086/tid=15089] ppid=15085 vsize=864420 CPUtime=0
/proc/15086/task/15089/stat : 15089 (java) S 15085 15072 14872 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 39459512 885166080 12881 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15086/tid=15090] ppid=15085 vsize=864420 CPUtime=0
/proc/15086/task/15090/stat : 15090 (java) S 15085 15072 14872 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 39459512 885166080 12881 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15086/tid=15091] ppid=15085 vsize=864420 CPUtime=0
/proc/15086/task/15091/stat : 15091 (java) S 15085 15072 14872 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 39459514 885166080 12881 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15086/tid=15092] ppid=15085 vsize=864420 CPUtime=0.11
/proc/15086/task/15092/stat : 15092 (java) S 15085 15072 14872 0 -1 64 365 0 0 0 11 0 0 0 17 0 9 0 39459514 885166080 12881 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15086/tid=15093] ppid=15085 vsize=864420 CPUtime=0
/proc/15086/task/15093/stat : 15093 (java) S 15085 15072 14872 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 39459514 885166080 12881 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15086/tid=15094] ppid=15085 vsize=864420 CPUtime=0
/proc/15086/task/15094/stat : 15094 (java) S 15085 15072 14872 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 39459514 885166080 12881 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 886516
[startup+25.5027 s]
/proc/loadavg: 2.09 2.02 1.92 3/91 15094
/proc/meminfo: memFree=1826528/2055920 swapFree=4181272/4192956
[pid=15072] ppid=15070 vsize=16740 CPUtime=0.29
/proc/15072/stat : 15072 (sugar++) S 15070 15072 14872 0 -1 4194304 1297 4396 0 1 6 1 19 3 15 0 1 0 39459471 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/15072/statm: 4185 1104 409 3 0 764 0
[pid=15085] ppid=15072 vsize=5356 CPUtime=0
/proc/15085/stat : 15085 (sh) S 15072 15072 14872 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 39459510 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 269028483908 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15085/statm: 1339 233 193 169 0 50 0
[pid=15086] ppid=15085 vsize=864420 CPUtime=24.95
/proc/15086/stat : 15086 (java) S 15085 15072 14872 0 -1 0 17258 0 1 0 2470 25 0 0 18 0 9 0 39459510 885166080 13470 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15086/statm: 216105 13470 2565 9 0 210652 0
[pid=15086/tid=15087] ppid=15085 vsize=864420 CPUtime=23.49
/proc/15086/task/15087/stat : 15087 (java) R 15085 15072 14872 0 -1 64 3584 0 1 0 2335 14 0 0 25 0 9 0 39459511 885166080 13470 996147200 134512640 134550740 4294955920 18446744073709551615 4126563104 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15086/tid=15088] ppid=15085 vsize=864420 CPUtime=1.32
/proc/15086/task/15088/stat : 15088 (java) S 15085 15072 14872 0 -1 64 12617 0 0 0 122 10 0 0 16 0 9 0 39459512 885166080 13470 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15086/tid=15089] ppid=15085 vsize=864420 CPUtime=0
/proc/15086/task/15089/stat : 15089 (java) S 15085 15072 14872 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 39459512 885166080 13470 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15086/tid=15090] ppid=15085 vsize=864420 CPUtime=0
/proc/15086/task/15090/stat : 15090 (java) S 15085 15072 14872 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 39459512 885166080 13470 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
[pid=15095] ppid=15072 vsize=149904 CPUtime=2853.74
/proc/15095/stat : 15095 (minisat-inc) R 15072 15072 14872 0 -1 4194304 36641 0 0 0 285333 41 0 0 25 0 1 0 39464545 153501696 36587 996147200 134512640 135134323 4294956192 18446744073709551615 134531985 0 0 4096 3 0 0 0 17 0 0 0
/proc/15095/statm: 37476 36587 80 151 0 37322 0
Current children cumulated CPU time (s) 2904.24
Current children cumulated vsize (KiB) 166644
[startup+2982.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 15589
/proc/meminfo: memFree=1647080/2055920 swapFree=4181272/4192956
[pid=15072] ppid=15070 vsize=16740 CPUtime=50.5
/proc/15072/stat : 15072 (sugar++) S 15070 15072 14872 0 -1 4194304 1544 29689 0 3 6 2 4989 53 16 0 1 0 39459471 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/15072/statm: 4185 1114 414 3 0 764 0
[pid=15095] ppid=15072 vsize=152632 CPUtime=2913.44
/proc/15095/stat : 15095 (minisat-inc) R 15072 15072 14872 0 -1 4194304 37292 0 0 0 291302 42 0 0 25 0 1 0 39464545 156295168 37238 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/15095/statm: 38158 37238 80 151 0 38004 0
Current children cumulated CPU time (s) 2963.94
Current children cumulated vsize (KiB) 169372
[startup+3042.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 15589
/proc/meminfo: memFree=1644584/2055920 swapFree=4181272/4192956
[pid=15072] ppid=15070 vsize=16740 CPUtime=50.5
/proc/15072/stat : 15072 (sugar++) S 15070 15072 14872 0 -1 4194304 1544 29689 0 3 6 2 4989 53 16 0 1 0 39459471 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/15072/statm: 4185 1114 414 3 0 764 0
[pid=15095] ppid=15072 vsize=155016 CPUtime=2973.15
/proc/15095/stat : 15095 (minisat-inc) R 15072 15072 14872 0 -1 4194304 37906 0 0 0 297272 43 0 0 25 0 1 0 39464545 158736384 37852 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/15095/statm: 38754 37852 80 151 0 38600 0
Current children cumulated CPU time (s) 3023.65
Current children cumulated vsize (KiB) 171756
[startup+3102.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 15589
/proc/meminfo: memFree=1642280/2055920 swapFree=4181272/4192956
[pid=15072] ppid=15070 vsize=16740 CPUtime=50.5
/proc/15072/stat : 15072 (sugar++) S 15070 15072 14872 0 -1 4194304 1544 29689 0 3 6 2 4989 53 16 0 1 0 39459471 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/15072/statm: 4185 1114 414 3 0 764 0
[pid=15095] ppid=15072 vsize=157312 CPUtime=3032.86
/proc/15095/stat : 15095 (minisat-inc) R 15072 15072 14872 0 -1 4194304 38507 0 0 0 303242 44 0 0 25 0 1 0 39464545 161087488 38453 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 0 0 0
/proc/15095/statm: 39328 38453 80 151 0 39174 0
Current children cumulated CPU time (s) 3083.36
Current children cumulated vsize (KiB) 174052
[startup+3162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15589
/proc/meminfo: memFree=1639912/2055920 swapFree=4181272/4192956
[pid=15072] ppid=15070 vsize=16740 CPUtime=50.5
/proc/15072/stat : 15072 (sugar++) S 15070 15072 14872 0 -1 4194304 1544 29689 0 3 6 2 4989 53 16 0 1 0 39459471 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/15072/statm: 4185 1114 414 3 0 764 0
[pid=15095] ppid=15072 vsize=159528 CPUtime=3092.57
/proc/15095/stat : 15095 (minisat-inc) R 15072 15072 14872 0 -1 4194304 39064 0 0 0 309212 45 0 0 25 0 1 0 39464545 163356672 39010 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/15095/statm: 39882 39010 80 151 0 39728 0
Current children cumulated CPU time (s) 3143.07
Current children cumulated vsize (KiB) 176268
[startup+3222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15589
/proc/meminfo: memFree=1637992/2055920 swapFree=4181272/4192956
[pid=15072] ppid=15070 vsize=16740 CPUtime=50.5
/proc/15072/stat : 15072 (sugar++) S 15070 15072 14872 0 -1 4194304 1544 29689 0 3 6 2 4989 53 16 0 1 0 39459471 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/15072/statm: 4185 1114 414 3 0 764 0
[pid=15095] ppid=15072 vsize=161536 CPUtime=3152.27
/proc/15095/stat : 15095 (minisat-inc) R 15072 15072 14872 0 -1 4194304 39553 0 0 0 315182 45 0 0 25 0 1 0 39464545 165412864 39499 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/15095/statm: 40384 39499 80 151 0 40230 0
Current children cumulated CPU time (s) 3202.77
Current children cumulated vsize (KiB) 178276
[startup+3282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15589
/proc/meminfo: memFree=1636072/2055920 swapFree=4181272/4192956
[pid=15072] ppid=15070 vsize=16740 CPUtime=50.5
/proc/15072/stat : 15072 (sugar++) S 15070 15072 14872 0 -1 4194304 1544 29689 0 3 6 2 4989 53 16 0 1 0 39459471 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/15072/statm: 4185 1114 414 3 0 764 0
[pid=15095] ppid=15072 vsize=163188 CPUtime=3211.98
/proc/15095/stat : 15095 (minisat-inc) R 15072 15072 14872 0 -1 4194304 39994 0 0 0 321152 46 0 0 25 0 1 0 39464545 167104512 39940 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/15095/statm: 40797 39940 80 151 0 40643 0
Current children cumulated CPU time (s) 3262.48
Current children cumulated vsize (KiB) 179928
[startup+3342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15589
/proc/meminfo: memFree=1634600/2055920 swapFree=4181272/4192956
[pid=15072] ppid=15070 vsize=16740 CPUtime=50.5
/proc/15072/stat : 15072 (sugar++) S 15070 15072 14872 0 -1 4194304 1544 29689 0 3 6 2 4989 53 16 0 1 0 39459471 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/15072/statm: 4185 1114 414 3 0 764 0
[pid=15095] ppid=15072 vsize=164740 CPUtime=3271.69
/proc/15095/stat : 15095 (minisat-inc) R 15072 15072 14872 0 -1 4194304 40392 0 0 0 327123 46 0 0 25 0 1 0 39464545 168693760 40338 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/15095/statm: 41185 40338 80 151 0 41031 0
Current children cumulated CPU time (s) 3322.19
Current children cumulated vsize (KiB) 181480
[startup+3402.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15589
/proc/meminfo: memFree=1632552/2055920 swapFree=4181272/4192956
[pid=15072] ppid=15070 vsize=16740 CPUtime=50.5
/proc/15072/stat : 15072 (sugar++) S 15070 15072 14872 0 -1 4194304 1544 29689 0 3 6 2 4989 53 16 0 1 0 39459471 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/15072/statm: 4185 1114 414 3 0 764 0
[pid=15095] ppid=15072 vsize=166712 CPUtime=3331.4
/proc/15095/stat : 15095 (minisat-inc) R 15072 15072 14872 0 -1 4194304 40855 0 0 0 333093 47 0 0 25 0 1 0 39464545 170713088 40801 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/15095/statm: 41678 40801 80 151 0 41524 0
Current children cumulated CPU time (s) 3381.9
Current children cumulated vsize (KiB) 183452
[startup+3462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15589
/proc/meminfo: memFree=1630568/2055920 swapFree=4181272/4192956
[pid=15072] ppid=15070 vsize=16740 CPUtime=50.5
/proc/15072/stat : 15072 (sugar++) S 15070 15072 14872 0 -1 4194304 1544 29689 0 3 6 2 4989 53 16 0 1 0 39459471 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/15072/statm: 4185 1114 414 3 0 764 0
[pid=15095] ppid=15072 vsize=168556 CPUtime=3391.11
/proc/15095/stat : 15095 (minisat-inc) R 15072 15072 14872 0 -1 4194304 41324 0 0 0 339063 48 0 0 25 0 1 0 39464545 172601344 41270 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/15095/statm: 42139 41270 80 151 0 41985 0
Current children cumulated CPU time (s) 3441.61
Current children cumulated vsize (KiB) 185296
[startup+3522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15589
/proc/meminfo: memFree=1629096/2055920 swapFree=4181272/4192956
[pid=15072] ppid=15070 vsize=16740 CPUtime=50.5
/proc/15072/stat : 15072 (sugar++) S 15070 15072 14872 0 -1 4194304 1544 29689 0 3 6 2 4989 53 16 0 1 0 39459471 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/15072/statm: 4185 1114 414 3 0 764 0
[pid=15095] ppid=15072 vsize=170200 CPUtime=3450.81
/proc/15095/stat : 15095 (minisat-inc) R 15072 15072 14872 0 -1 4194304 41725 0 0 0 345033 48 0 0 25 0 1 0 39464545 174284800 41671 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/15095/statm: 42550 41671 80 151 0 42396 0
Current children cumulated CPU time (s) 3501.31
Current children cumulated vsize (KiB) 186940
[startup+3582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15589
/proc/meminfo: memFree=1627176/2055920 swapFree=4181272/4192956
[pid=15072] ppid=15070 vsize=16740 CPUtime=50.5
/proc/15072/stat : 15072 (sugar++) S 15070 15072 14872 0 -1 4194304 1544 29689 0 3 6 2 4989 53 16 0 1 0 39459471 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/15072/statm: 4185 1114 414 3 0 764 0
[pid=15095] ppid=15072 vsize=171984 CPUtime=3510.52
/proc/15095/stat : 15095 (minisat-inc) R 15072 15072 14872 0 -1 4194304 42170 0 0 0 351003 49 0 0 25 0 1 0 39464545 176111616 42116 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/15095/statm: 42996 42116 80 151 0 42842 0
Current children cumulated CPU time (s) 3561.02
Current children cumulated vsize (KiB) 188724
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3621.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 15630
/proc/meminfo: memFree=1653088/2055920 swapFree=4181272/4192956
[pid=15072] ppid=15070 vsize=16740 CPUtime=50.5
/proc/15072/stat : 15072 (sugar++) S 15070 15072 14872 0 -1 4194304 1544 29689 0 3 6 2 4989 53 16 0 1 0 39459471 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/15072/statm: 4185 1114 414 3 0 764 0
[pid=15095] ppid=15072 vsize=173352 CPUtime=3549.56
/proc/15095/stat : 15095 (minisat-inc) R 15072 15072 14872 0 -1 4194304 42478 0 0 0 354905 51 0 0 25 0 1 0 39464545 177512448 42424 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/15095/statm: 43338 42424 80 151 0 43184 0
Current children cumulated CPU time (s) 3600.06
Current children cumulated vsize (KiB) 190092
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+3621.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 15630
/proc/meminfo: memFree=1653088/2055920 swapFree=4181272/4192956
[pid=15072] ppid=15070 vsize=16740 CPUtime=50.5
/proc/15072/stat : 15072 (sugar++) S 15070 15072 14872 0 -1 4194304 1544 29689 0 3 6 2 4989 53 16 0 1 0 39459471 17141760 1114 996147200 4194304 4206940 548682068528 18446744073709551615 269037383778 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/15072/statm: 4185 1114 414 3 0 764 0
[pid=15095] ppid=15072 vsize=173352 CPUtime=3549.56
/proc/15095/stat : 15095 (minisat-inc) R 15072 15072 14872 0 -1 4194304 42478 0 0 0 354905 51 0 0 25 0 1 0 39464545 177512448 42424 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/15095/statm: 43338 42424 80 151 0 43184 0
Current children cumulated CPU time (s) 3600.06
Current children cumulated vsize (KiB) 190092
Child status: 0
Real time (s): 3621.55
CPU time (s): 3600.14
CPU user time (s): 3599.02
CPU system time (s): 1.11883
CPU usage (%): 99.4087
Max. virtual memory (cumulated for all children) (KiB): 889084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.02
system time used= 1.11883
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73791
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11937
involuntary context switches= 123282
runsolver used 4.03539 second user time and 9.29759 second system time
The end
Begin job on node26 at 2008-07-12 03:52:55
IDJOB=1110539
IDBENCH=61118
IDSOLVER=367
FILE ID=node26/1110539-1215827575
PBS_JOBID= 7903348
Free space on /tmp= 66468 MiB
SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/csp/wordsVg/normalized-crossword-m1c-words-vg13-17_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-1110539-1215827575/watcher-1110539-1215827575 -o /tmp/evaluation-result-1110539-1215827575/solver-1110539-1215827575 -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-1110539-1215827575.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 8eb0e06cd83832f8013785f46c061cae
RANDOM SEED=671325657
node26.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.213
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.213
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: 1892176 kB
Buffers: 23300 kB
Cached: 59176 kB
SwapCached: 5856 kB
Active: 80116 kB
Inactive: 34244 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1892176 kB
SwapTotal: 4192956 kB
SwapFree: 4181272 kB
Dirty: 2924 kB
Writeback: 0 kB
Mapped: 47716 kB
Slab: 34668 kB
Committed_AS: 931028 kB
PageTables: 1784 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= 66468 MiB
End job on node26 at 2008-07-12 04:53:19