0.00/0.05 c 0 Sugar v1-13 + HOME/picosat
0.00/0.05 c 0 BEGIN Fri Jul 4 16:51:54 2008
0.00/0.05 c 0 PID 7287
0.00/0.05 c 0 HOST node61.alineos.net
0.00/0.05 c 0 CONVERTING HOME/instance-1076027-1215183114.xml TO HOME/temp.csp
0.00/0.05 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1076027-1215183114.xml' 'HOME/temp.csp'
1.54/1.61 c 2 1 domains, 143 variables, 0 predicates, 2 relations, 24 constraints
1.54/1.63 c 2 ENCODING HOME/temp.csp TO HOME/temp.cnf
1.54/1.63 c 2 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'
1.57/1.71 c 2 Parsing HOME/temp.csp
3.40/3.52 c 4 parsed 170 expressions
3.40/3.52 c 4 Heap : 30 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
3.40/3.52 c 4 Converting to clausal form CSP
3.40/3.54 c 4 converted 17 (10%) expressions
3.40/3.54 c 4 converted 34 (20%) expressions
3.40/3.54 c 4 converted 51 (30%) expressions
3.40/3.54 c 4 converted 68 (40%) expressions
3.40/3.55 c 4 converted 85 (50%) expressions
3.40/3.55 c 4 converted 102 (60%) expressions
3.40/3.55 c 4 converted 119 (70%) expressions
3.40/3.55 c 4 converted 136 (80%) expressions
13.70/13.90 c 14 converted 153 (90%) expressions
33.59/34.08 c 34 converted 170 (100%) expressions
33.59/34.08 c 34 CSP : 143 integers, 0 booleans, 24 clauses, largest domain size 26
33.59/34.08 c 34 Heap : 679 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
33.59/34.08 c 34 Propagation in CSP
33.59/34.08 c 34 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
33.59/34.08 c 34 CSP : 143 integers, 0 booleans, 24 clauses, largest domain size 26
33.59/34.08 c 34 Heap : 679 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
33.59/34.08 c 34 Simplifing CSP by introducing new Boolean variables
33.59/34.08 c 34 CSP : 143 integers, 0 booleans, 24 clauses, largest domain size 26
33.59/34.08 c 34 Heap : 679 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
38.64/39.12 c 39 Encoding CSP to SAT : HOME/temp.cnf
38.64/39.14 c 39 15 (10%) CSP integer variables are encoded (360 clauses, 3816 bytes)
38.64/39.14 c 39 29 (20%) CSP integer variables are encoded (696 clauses, 7512 bytes)
38.64/39.15 c 39 43 (30%) CSP integer variables are encoded (1032 clauses, 11353 bytes)
38.64/39.15 c 39 58 (40%) CSP integer variables are encoded (1392 clauses, 16033 bytes)
38.64/39.15 c 39 72 (50%) CSP integer variables are encoded (1728 clauses, 20401 bytes)
38.64/39.15 c 39 86 (60%) CSP integer variables are encoded (2064 clauses, 24769 bytes)
38.64/39.15 c 39 101 (70%) CSP integer variables are encoded (2424 clauses, 29449 bytes)
38.64/39.15 c 39 115 (80%) CSP integer variables are encoded (2760 clauses, 33817 bytes)
38.64/39.15 c 39 129 (90%) CSP integer variables are encoded (3096 clauses, 38185 bytes)
38.64/39.15 c 39 143 (100%) CSP integer variables are encoded (3432 clauses, 42553 bytes)
1800.08/1805.32 c ERROR INTERRUPTED
1800.20/1805.48 s UNKNOWN
1800.20/1805.48 c 1806 CPU 1.42 (0.03 0 1.39 0.15)
1800.20/1805.48 c 1806 END Fri Jul 4 17:22:00 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-1076027-1215183114/watcher-1076027-1215183114 -o /tmp/evaluation-result-1076027-1215183114/solver-1076027-1215183114 -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-1076027-1215183114.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: 2.00 2.00 2.00 4/81 7287
/proc/meminfo: memFree=1648912/2055920 swapFree=4180700/4192956
[pid=7287] ppid=7285 vsize=12268 CPUtime=0
/proc/7287/stat : 7287 (sugar) R 7285 7287 5281 0 -1 4194304 311 0 0 0 0 0 0 0 20 0 1 0 1997282739 12562432 279 996147200 4194304 4206940 548682068608 18446744073709551615 246406353633 0 0 4224 0 0 0 0 17 1 0 0
/proc/7287/statm: 3067 279 207 3 0 167 0
[startup+0.0743191 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 7287
/proc/meminfo: memFree=1648912/2055920 swapFree=4180700/4192956
[pid=7287] ppid=7285 vsize=13600 CPUtime=0.03
/proc/7287/stat : 7287 (sugar) S 7285 7287 5281 0 -1 4194304 900 127 0 0 3 0 0 0 19 0 1 0 1997282739 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/7287/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.101325 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 7287
/proc/meminfo: memFree=1648912/2055920 swapFree=4180700/4192956
[pid=7287] ppid=7285 vsize=13600 CPUtime=0.03
/proc/7287/stat : 7287 (sugar) S 7285 7287 5281 0 -1 4194304 900 127 0 0 3 0 0 0 19 0 1 0 1997282739 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/7287/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.301358 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 7287
/proc/meminfo: memFree=1648912/2055920 swapFree=4180700/4192956
[pid=7287] ppid=7285 vsize=13600 CPUtime=0.03
/proc/7287/stat : 7287 (sugar) S 7285 7287 5281 0 -1 4194304 900 127 0 0 3 0 0 0 19 0 1 0 1997282739 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/7287/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.701431 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 7287
/proc/meminfo: memFree=1648912/2055920 swapFree=4180700/4192956
[pid=7287] ppid=7285 vsize=13600 CPUtime=0.03
/proc/7287/stat : 7287 (sugar) S 7285 7287 5281 0 -1 4194304 900 127 0 0 3 0 0 0 19 0 1 0 1997282739 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/7287/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+1.50257 s]
/proc/loadavg: 2.00 2.00 2.00 4/92 7299
/proc/meminfo: memFree=1612344/2055920 swapFree=4180700/4192956
[pid=7287] ppid=7285 vsize=13600 CPUtime=0.03
/proc/7287/stat : 7287 (sugar) S 7285 7287 5281 0 -1 4194304 900 127 0 0 3 0 0 0 19 0 1 0 1997282739 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/7287/statm: 3400 796 370 3 0 500 0
[pid=7290] ppid=7287 vsize=5356 CPUtime=0
/proc/7290/stat : 7290 (sh) S 7287 7287 5281 0 -1 4194304 277 0 0 0 0 0 0 0 20 0 1 0 1997282744 5484544 233 996147200 4194304 4889804 548682068768 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7290/statm: 1339 233 193 169 0 50 0
[pid=7291] ppid=7290 vsize=865060 CPUtime=1.42
/proc/7291/stat : 7291 (java) S 7290 7287 5281 0 -1 0 14908 0 1 0 131 11 0 0 18 0 9 0 1997282745 885821440 14175 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7291/statm: 216265 14175 2528 9 0 210847 0
[pid=7291/tid=7292] ppid=7290 vsize=865060 CPUtime=1.04
/proc/7291/task/7292/stat : 7292 (java) R 7290 7287 5281 0 -1 64 10492 0 1 0 96 8 0 0 25 0 9 0 1997282746 885821440 14175 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7291/tid=7293] ppid=7290 vsize=865060 CPUtime=0.31
/proc/7291/task/7293/stat : 7293 (java) R 7290 7287 5281 0 -1 64 3404 0 0 0 29 2 0 0 16 0 9 0 1997282747 885821440 14175 996147200 134512640 134550740 4294956000 18446744073709551615 102495849 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7291/tid=7294] ppid=7290 vsize=865060 CPUtime=0
/proc/7291/task/7294/stat : 7294 (java) S 7290 7287 5281 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1997282747 885821440 14175 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7291/tid=7295] ppid=7290 vsize=865060 CPUtime=0
/proc/7291/task/7295/stat : 7295 (java) S 7290 7287 5281 0 -1 64 9 0 0 0 0 0 0 0 15 0 9 0 1997282747 885821440 14175 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7291/tid=7296] ppid=7290 vsize=865060 CPUtime=0
/proc/7291/task/7296/stat : 7296 (java) S 7290 7287 5281 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1997282750 885821440 14175 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7291/tid=7297] ppid=7290 vsize=865060 CPUtime=0.04
/proc/7291/task/7297/stat : 7297 (java) S 7290 7287 5281 0 -1 64 313 0 0 0 4 0 0 0 16 0 9 0 1997282750 885821440 14175 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7291/tid=7298] ppid=7290 vsize=865060 CPUtime=0
/proc/7291/task/7298/stat : 7298 (java) S 7290 7287 5281 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1997282750 885821440 14175 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7291/tid=7299] ppid=7290 vsize=865060 CPUtime=0
/proc/7291/task/7299/stat : 7299 (java) S 7290 7287 5281 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 1997282750 885821440 14175 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 884016
[startup+3.10285 s]
/proc/loadavg: 2.08 2.02 2.01 4/92 7309
/proc/meminfo: memFree=1633464/2055920 swapFree=4180700/4192956
[pid=7287] ppid=7285 vsize=13600 CPUtime=1.57
/proc/7287/stat : 7287 (sugar) S 7285 7287 5281 0 -1 4194304 973 17901 0 1 3 0 139 15 16 0 1 0 1997282739 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/7287/statm: 3400 797 370 3 0 500 0
[pid=7300] ppid=7287 vsize=5356 CPUtime=0
/proc/7300/stat : 7300 (sh) S 7287 7287 5281 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 1997282902 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7300/statm: 1339 233 193 169 0 50 0
[pid=7301] ppid=7300 vsize=864596 CPUtime=1.44
/proc/7301/stat : 7301 (java) S 7300 7287 5281 0 -1 0 11432 0 1 0 139 5 0 0 18 0 9 0 1997282903 885346304 10287 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7301/statm: 216149 10287 2532 9 0 210731 0
[pid=7301/tid=7302] ppid=7300 vsize=864596 CPUtime=0.85
/proc/7301/task/7302/stat : 7302 (java) R 7300 7287 5281 0 -1 64 2567 0 1 0 84 1 0 0 25 0 9 0 1997282904 885346304 10287 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7301/tid=7303] ppid=7300 vsize=864596 CPUtime=0.52
/proc/7301/task/7303/stat : 7303 (java) R 7300 7287 5281 0 -1 64 7853 0 0 0 49 3 0 0 16 0 9 0 1997282905 885346304 10287 996147200 134512640 134550740 4294955952 18446744073709551615 103735811 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7301/tid=7304] ppid=7300 vsize=864596 CPUtime=0
/proc/7301/task/7304/stat : 7304 (java) S 7300 7287 5281 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1997282905 885346304 10287 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7301/tid=7305] ppid=7300 vsize=864596 CPUtime=0
/proc/7301/task/7305/stat : 7305 (java) S 7300 7287 5281 0 -1 64 9 0 0 0 0 0 0 0 15 0 9 0 1997282905 885346304 10287 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7301/tid=7306] ppid=7300 vsize=864596 CPUtime=0
/proc/7301/task/7306/stat : 7306 (java) S 7300 7287 5281 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1997282907 885346304 10287 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7301/tid=7307] ppid=7300 vsize=864596 CPUtime=0.04
/proc/7301/task/7307/stat : 7307 (java) S 7300 7287 5281 0 -1 64 315 0 0 0 4 0 0 0 16 0 9 0 1997282907 885346304 10287 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7301/tid=7308] ppid=7300 vsize=864596 CPUtime=0
/proc/7301/task/7308/stat : 7308 (java) S 7300 7287 5281 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1997282907 885346304 10287 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7301/tid=7309] ppid=7300 vsize=864596 CPUtime=0
/proc/7301/task/7309/stat : 7309 (java) S 7300 7287 5281 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1997282907 885346304 10287 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 883552
[startup+6.30241 s]
/proc/loadavg: 2.08 2.02 2.01 3/92 7309
/proc/meminfo: memFree=1564408/2055920 swapFree=4180700/4192956
[pid=7287] ppid=7285 vsize=13600 CPUtime=1.57
/proc/7287/stat : 7287 (sugar) S 7285 7287 5281 0 -1 4194304 973 17901 0 1 3 0 139 15 16 0 1 0 1997282739 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/7287/statm: 3400 797 370 3 0 500 0
[pid=7300] ppid=7287 vsize=5356 CPUtime=0
/proc/7300/stat : 7300 (sh) S 7287 7287 5281 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 1997282902 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7300/statm: 1339 233 193 169 0 50 0
[pid=7301] ppid=7300 vsize=864232 CPUtime=4.6
/proc/7301/stat : 7301 (java) S 7300 7287 5281 0 -1 0 31675 0 1 0 443 17 0 0 18 0 9 0 1997282903 884973568 29198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7301/statm: 216058 29198 2540 9 0 210633 0
[pid=7301/tid=7302] ppid=7300 vsize=864232 CPUtime=2.05
/proc/7301/task/7302/stat : 7302 (java) R 7300 7287 5281 0 -1 64 3639 0 1 0 203 2 0 0 16 0 9 0 1997282904 884973568 29198 996147200 134512640 134550740 4294955952 18446744073709551615 4126549944 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7301/tid=7303] ppid=7300 vsize=864232 CPUtime=2.46
/proc/7301/task/7303/stat : 7303 (java) R 7300 7287 5281 0 -1 64 27009 0 0 0 232 14 0 0 25 0 9 0 1997282905 884973568 29198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7301/tid=7304] ppid=7300 vsize=864232 CPUtime=0
/proc/7301/task/7304/stat : 7304 (java) S 7300 7287 5281 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1997282905 884973568 29198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7301/tid=7305] ppid=7300 vsize=864232 CPUtime=0
/proc/7301/task/7305/stat : 7305 (java) S 7300 7287 5281 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 1997282905 884973568 29198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7301/tid=7306] ppid=7300 vsize=864232 CPUtime=0
/proc/7301/task/7306/stat : 7306 (java) S 7300 7287 5281 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1997282907 884973568 29198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7301/tid=7307] ppid=7300 vsize=864232 CPUtime=0.06
/proc/7301/task/7307/stat : 7307 (java) S 7300 7287 5281 0 -1 64 330 0 0 0 6 0 0 0 17 0 9 0 1997282907 884973568 29198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7301/tid=7308] ppid=7300 vsize=864232 CPUtime=0
/proc/7301/task/7308/stat : 7308 (java) S 7300 7287 5281 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1997282907 884973568 29198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7301/tid=7309] ppid=7300 vsize=864232 CPUtime=0
/proc/7301/task/7309/stat : 7309 (java) S 7300 7287 5281 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1997282907 884973568 29198 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 883188
[startup+12.7025 s]
/proc/loadavg: 2.14 2.03 2.01 3/92 7309
/proc/meminfo: memFree=1407800/2055920 swapFree=4180700/4192956
[pid=7287] ppid=7285 vsize=13600 CPUtime=1.57
/proc/7287/stat : 7287 (sugar) S 7285 7287 5281 0 -1 4194304 973 17901 0 1 3 0 139 15 16 0 1 0 1997282739 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/7287/statm: 3400 797 370 3 0 500 0
[pid=7300] ppid=7287 vsize=5356 CPUtime=0
/proc/7300/stat : 7300 (sh) S 7287 7287 5281 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 1997282902 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7300/statm: 1339 233 193 169 0 50 0
[pid=7301] ppid=7300 vsize=864232 CPUtime=10.94
/proc/7301/stat : 7301 (java) S 7300 7287 5281 0 -1 0 81112 0 1 0 1049 45 0 0 18 0 9 0 1997282903 884973568 56370 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7301/statm: 216058 56370 2540 9 0 210633 0
[pid=7301/tid=7302] ppid=7300 vsize=864232 CPUtime=3.8
/proc/7301/task/7302/stat : 7302 (java) R 7300 7287 5281 0 -1 64 5239 0 1 0 377 3 0 0 17 0 9 0 1997282904 884973568 56370 996147200 134512640 134550740 4294955952 18446744073709551615 4126554601 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7301/tid=7303] ppid=7300 vsize=864232 CPUtime=7.05
/proc/7301/task/7303/stat : 7303 (java) R 7300 7287 5281 0 -1 64 74846 0 0 0 664 41 0 0 25 0 9 0 1997282905 884973568 56370 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7301/tid=7304] ppid=7300 vsize=864232 CPUtime=0
/proc/7301/task/7304/stat : 7304 (java) S 7300 7287 5281 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1997282905 884973568 56370 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7301/tid=7305] ppid=7300 vsize=864232 CPUtime=0
/proc/7301/task/7305/stat : 7305 (java) S 7300 7287 5281 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 1997282905 884973568 56370 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7301/tid=7306] ppid=7300 vsize=864232 CPUtime=0
/proc/7301/task/7306/stat : 7306 (java) S 7300 7287 5281 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1997282907 884973568 56370 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7301/tid=7307] ppid=7300 vsize=864232 CPUtime=0.06
/proc/7301/task/7307/stat : 7307 (java) S 7300 7287 5281 0 -1 64 330 0 0 0 6 0 0 0 17 0 9 0 1997282907 884973568 56370 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7301/tid=7308] ppid=7300 vsize=864232 CPUtime=0
/proc/7301/task/7308/stat : 7308 (java) S 7300 7287 5281 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1997282907 884973568 56370 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7301/tid=7309] ppid=7300 vsize=864232 CPUtime=0
/proc/7301/task/7309/stat : 7309 (java) S 7300 7287 5281 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1997282907 884973568 56370 996147200 134512640 134550740 4294955952 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) 883188
[startup+25.5028 s]
/proc/loadavg: 2.27 2.06 2.02 4/92 7309
/proc/meminfo: memFree=1109496/2055920 swapFree=4180700/4192956
[pid=7287] ppid=7285 vsize=13600 CPUtime=1.57
/proc/7287/stat : 7287 (sugar) S 7285 7287 5281 0 -1 4194304 973 17901 0 1 3 0 139 15 16 0 1 0 1997282739 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/7287/statm: 3400 797 370 3 0 500 0
[pid=7300] ppid=7287 vsize=5356 CPUtime=0
/proc/7300/stat : 7300 (sh) S 7287 7287 5281 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 1997282902 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7300/statm: 1339 233 193 169 0 50 0
[pid=7301] ppid=7300 vsize=864232 CPUtime=23.61
/proc/7301/stat : 7301 (java) S 7300 7287 5281 0 -1 0 174052 0 1 0 2262 99 0 0 18 0 9 0 1997282903 884973568 138170 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7301/statm: 216058 138170 2540 9 0 210633 0
[pid=7301/tid=7302] ppid=7300 vsize=864232 CPUtime=8.97
/proc/7301/task/7302/stat : 7302 (java) S 7300 7287 5281 0 -1 64 7988 0 1 0 892 5 0 0 18 0 9 0 1997282904 884973568 138170 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7301/tid=7303] ppid=7300 vsize=864232 CPUtime=14.55
/proc/7301/task/7303/stat : 7303 (java) R 7300 7287 5281 0 -1 64 165037 0 0 0 1362 93 0 0 25 0 9 0 1997282905 884973568 138170 996147200 134512640 134550740 4294955952 18446744073709551615 102516836 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7301/tid=7304] ppid=7300 vsize=864232 CPUtime=0
/proc/7301/task/7304/stat : 7304 (java) S 7300 7287 5281 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1997282905 884973568 138170 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7301/tid=7305] ppid=7300 vsize=864232 CPUtime=0
/proc/7301/task/7305/stat : 7305 (java) S 7300 7287 5281 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 1997282905 884973568 138170 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
[pid=7301/tid=7307] ppid=7300 vsize=864344 CPUtime=0.09
/proc/7301/task/7307/stat : 7307 (java) S 7300 7287 5281 0 -1 64 351 0 0 0 9 0 0 0 16 0 9 0 1997282907 885088256 183831 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7301/tid=7308] ppid=7300 vsize=864344 CPUtime=0
/proc/7301/task/7308/stat : 7308 (java) S 7300 7287 5281 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1997282907 885088256 183831 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7301/tid=7309] ppid=7300 vsize=864344 CPUtime=0
/proc/7301/task/7309/stat : 7309 (java) S 7300 7287 5281 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1997282907 885088256 183831 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1597.16
Current children cumulated vsize (KiB) 883300
[startup+1662.3 s]
/proc/loadavg: 2.03 2.08 2.04 3/91 7357
/proc/meminfo: memFree=944456/2055920 swapFree=4180700/4192956
[pid=7287] ppid=7285 vsize=13600 CPUtime=1.57
/proc/7287/stat : 7287 (sugar) S 7285 7287 5281 0 -1 4194304 974 17901 0 1 3 0 139 15 16 0 1 0 1997282739 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/7287/statm: 3400 797 370 3 0 500 0
[pid=7300] ppid=7287 vsize=5356 CPUtime=0
/proc/7300/stat : 7300 (sh) S 7287 7287 5281 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 1997282902 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7300/statm: 1339 233 193 169 0 50 0
[pid=7301] ppid=7300 vsize=864344 CPUtime=1655.56
/proc/7301/stat : 7301 (java) S 7300 7287 5281 0 -1 0 322517 0 1 0 165383 173 0 0 18 0 9 0 1997282903 885088256 183831 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7301/statm: 216086 183831 2564 9 0 210633 0
[pid=7301/tid=7302] ppid=7300 vsize=864344 CPUtime=1526.5
/proc/7301/task/7302/stat : 7302 (java) R 7300 7287 5281 0 -1 64 8360 0 1 0 152642 8 0 0 25 0 9 0 1997282904 885088256 183831 996147200 134512640 134550740 4294955952 18446744073709551615 4126606272 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7301/tid=7303] ppid=7300 vsize=864344 CPUtime=128.93
/proc/7301/task/7303/stat : 7303 (java) S 7300 7287 5281 0 -1 64 313109 0 0 0 12729 164 0 0 16 0 9 0 1997282905 885088256 183831 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=7301/tid=7304] ppid=7300 vsize=864344 CPUtime=0
/proc/7301/task/7304/stat : 7304 (java) S 7300 7287 5281 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1997282905 885088256 183831 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7301/tid=7305] ppid=7300 vsize=864344 CPUtime=0
/proc/7301/task/7305/stat : 7305 (java) S 7300 7287 5281 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 1997282905 885088256 183831 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7301/tid=7306] ppid=7300 vsize=864344 CPUtime=0
/proc/7301/task/7306/stat : 7306 (java) S 7300 7287 5281 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1997282907 885088256 183831 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7301/tid=7307] ppid=7300 vsize=864344 CPUtime=0.09
/proc/7301/task/7307/stat : 7307 (java) S 7300 7287 5281 0 -1 64 351 0 0 0 9 0 0 0 16 0 9 0 1997282907 885088256 183831 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7301/tid=7308] ppid=7300 vsize=864344 CPUtime=0
/proc/7301/task/7308/stat : 7308 (java) S 7300 7287 5281 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1997282907 885088256 183831 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7301/tid=7309] ppid=7300 vsize=864344 CPUtime=0
/proc/7301/task/7309/stat : 7309 (java) S 7300 7287 5281 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1997282907 885088256 183831 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1657.13
Current children cumulated vsize (KiB) 883300
[startup+1722.3 s]
/proc/loadavg: 2.01 2.06 2.04 3/91 7357
/proc/meminfo: memFree=944264/2055920 swapFree=4180700/4192956
[pid=7287] ppid=7285 vsize=13600 CPUtime=1.57
/proc/7287/stat : 7287 (sugar) S 7285 7287 5281 0 -1 4194304 974 17901 0 1 3 0 139 15 16 0 1 0 1997282739 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/7287/statm: 3400 797 370 3 0 500 0
[pid=7300] ppid=7287 vsize=5356 CPUtime=0
/proc/7300/stat : 7300 (sh) S 7287 7287 5281 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 1997282902 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7300/statm: 1339 233 193 169 0 50 0
[pid=7301] ppid=7300 vsize=864344 CPUtime=1715.54
/proc/7301/stat : 7301 (java) S 7300 7287 5281 0 -1 0 322517 0 1 0 171381 173 0 0 18 0 9 0 1997282903 885088256 183831 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7301/statm: 216086 183831 2564 9 0 210633 0
[pid=7301/tid=7302] ppid=7300 vsize=864344 CPUtime=1586.48
/proc/7301/task/7302/stat : 7302 (java) R 7300 7287 5281 0 -1 64 8360 0 1 0 158640 8 0 0 25 0 9 0 1997282904 885088256 183831 996147200 134512640 134550740 4294955952 18446744073709551615 4126625092 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7301/tid=7303] ppid=7300 vsize=864344 CPUtime=128.93
/proc/7301/task/7303/stat : 7303 (java) S 7300 7287 5281 0 -1 64 313109 0 0 0 12729 164 0 0 16 0 9 0 1997282905 885088256 183831 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=7301/tid=7304] ppid=7300 vsize=864344 CPUtime=0
/proc/7301/task/7304/stat : 7304 (java) S 7300 7287 5281 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1997282905 885088256 183831 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7301/tid=7305] ppid=7300 vsize=864344 CPUtime=0
/proc/7301/task/7305/stat : 7305 (java) S 7300 7287 5281 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 1997282905 885088256 183831 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7301/tid=7306] ppid=7300 vsize=864344 CPUtime=0
/proc/7301/task/7306/stat : 7306 (java) S 7300 7287 5281 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1997282907 885088256 183831 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7301/tid=7307] ppid=7300 vsize=864344 CPUtime=0.09
/proc/7301/task/7307/stat : 7307 (java) S 7300 7287 5281 0 -1 64 351 0 0 0 9 0 0 0 16 0 9 0 1997282907 885088256 183831 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7301/tid=7308] ppid=7300 vsize=864344 CPUtime=0
/proc/7301/task/7308/stat : 7308 (java) S 7300 7287 5281 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1997282907 885088256 183831 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7301/tid=7309] ppid=7300 vsize=864344 CPUtime=0
/proc/7301/task/7309/stat : 7309 (java) S 7300 7287 5281 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1997282907 885088256 183831 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1717.11
Current children cumulated vsize (KiB) 883300
[startup+1782.3 s]
/proc/loadavg: 2.00 2.05 2.03 3/91 7357
/proc/meminfo: memFree=944136/2055920 swapFree=4180700/4192956
[pid=7287] ppid=7285 vsize=13600 CPUtime=1.57
/proc/7287/stat : 7287 (sugar) S 7285 7287 5281 0 -1 4194304 974 17901 0 1 3 0 139 15 16 0 1 0 1997282739 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/7287/statm: 3400 797 370 3 0 500 0
[pid=7300] ppid=7287 vsize=5356 CPUtime=0
/proc/7300/stat : 7300 (sh) S 7287 7287 5281 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 1997282902 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7300/statm: 1339 233 193 169 0 50 0
[pid=7301] ppid=7300 vsize=864344 CPUtime=1775.51
/proc/7301/stat : 7301 (java) S 7300 7287 5281 0 -1 0 322517 0 1 0 177377 174 0 0 18 0 9 0 1997282903 885088256 183831 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7301/statm: 216086 183831 2564 9 0 210633 0
[pid=7301/tid=7302] ppid=7300 vsize=864344 CPUtime=1646.45
/proc/7301/task/7302/stat : 7302 (java) R 7300 7287 5281 0 -1 64 8360 0 1 0 164637 8 0 0 25 0 9 0 1997282904 885088256 183831 996147200 134512640 134550740 4294955952 18446744073709551615 4126604258 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7301/tid=7303] ppid=7300 vsize=864344 CPUtime=128.93
/proc/7301/task/7303/stat : 7303 (java) S 7300 7287 5281 0 -1 64 313109 0 0 0 12729 164 0 0 16 0 9 0 1997282905 885088256 183831 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=7301/tid=7304] ppid=7300 vsize=864344 CPUtime=0
/proc/7301/task/7304/stat : 7304 (java) S 7300 7287 5281 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1997282905 885088256 183831 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7301/tid=7305] ppid=7300 vsize=864344 CPUtime=0
/proc/7301/task/7305/stat : 7305 (java) S 7300 7287 5281 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 1997282905 885088256 183831 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7301/tid=7306] ppid=7300 vsize=864344 CPUtime=0
/proc/7301/task/7306/stat : 7306 (java) S 7300 7287 5281 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1997282907 885088256 183831 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7301/tid=7307] ppid=7300 vsize=864344 CPUtime=0.09
/proc/7301/task/7307/stat : 7307 (java) S 7300 7287 5281 0 -1 64 351 0 0 0 9 0 0 0 16 0 9 0 1997282907 885088256 183831 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7301/tid=7308] ppid=7300 vsize=864344 CPUtime=0
/proc/7301/task/7308/stat : 7308 (java) S 7300 7287 5281 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1997282907 885088256 183831 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7301/tid=7309] ppid=7300 vsize=864344 CPUtime=0
/proc/7301/task/7309/stat : 7309 (java) S 7300 7287 5281 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1997282907 885088256 183831 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1777.08
Current children cumulated vsize (KiB) 883300
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1805.3 s]
/proc/loadavg: 2.00 2.04 2.03 3/91 7357
/proc/meminfo: memFree=944136/2055920 swapFree=4180700/4192956
[pid=7287] ppid=7285 vsize=13600 CPUtime=1.57
/proc/7287/stat : 7287 (sugar) S 7285 7287 5281 0 -1 4194304 974 17901 0 1 3 0 139 15 16 0 1 0 1997282739 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 246415405154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/7287/statm: 3400 797 370 3 0 500 0
[pid=7300] ppid=7287 vsize=5356 CPUtime=0
/proc/7300/stat : 7300 (sh) S 7287 7287 5281 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 1997282902 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7300/statm: 1339 233 193 169 0 50 0
[pid=7301] ppid=7300 vsize=864344 CPUtime=1798.51
/proc/7301/stat : 7301 (java) S 7300 7287 5281 0 -1 0 322517 0 1 0 179677 174 0 0 18 0 9 0 1997282903 885088256 183831 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7301/statm: 216086 183831 2564 9 0 210633 0
[pid=7301/tid=7302] ppid=7300 vsize=864344 CPUtime=1669.45
/proc/7301/task/7302/stat : 7302 (java) R 7300 7287 5281 0 -1 64 8360 0 1 0 166936 9 0 0 25 0 9 0 1997282904 885088256 183831 996147200 134512640 134550740 4294955952 18446744073709551615 4126625092 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7301/tid=7303] ppid=7300 vsize=864344 CPUtime=128.93
/proc/7301/task/7303/stat : 7303 (java) S 7300 7287 5281 0 -1 64 313109 0 0 0 12729 164 0 0 16 0 9 0 1997282905 885088256 183831 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=7301/tid=7304] ppid=7300 vsize=864344 CPUtime=0
/proc/7301/task/7304/stat : 7304 (java) S 7300 7287 5281 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1997282905 885088256 183831 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7301/tid=7305] ppid=7300 vsize=864344 CPUtime=0
/proc/7301/task/7305/stat : 7305 (java) S 7300 7287 5281 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 1997282905 885088256 183831 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7301/tid=7306] ppid=7300 vsize=864344 CPUtime=0
/proc/7301/task/7306/stat : 7306 (java) S 7300 7287 5281 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1997282907 885088256 183831 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7301/tid=7307] ppid=7300 vsize=864344 CPUtime=0.09
/proc/7301/task/7307/stat : 7307 (java) S 7300 7287 5281 0 -1 64 351 0 0 0 9 0 0 0 16 0 9 0 1997282907 885088256 183831 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7301/tid=7308] ppid=7300 vsize=864344 CPUtime=0
/proc/7301/task/7308/stat : 7308 (java) S 7300 7287 5281 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1997282907 885088256 183831 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7301/tid=7309] ppid=7300 vsize=864344 CPUtime=0
/proc/7301/task/7309/stat : 7309 (java) S 7300 7287 5281 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1997282907 885088256 183831 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 883300
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1805.43 s]
/proc/loadavg: 2.00 2.04 2.03 3/91 7357
/proc/meminfo: memFree=944136/2055920 swapFree=4180700/4192956
[pid=7287] ppid=7285 vsize=13600 CPUtime=1.57
/proc/7287/stat : 7287 (sugar) S 7285 7287 5281 0 -1 4194304 982 17901 0 1 3 0 139 15 16 0 1 0 1997282739 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 246415405154 0 16384 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/7287/statm: 3400 797 370 3 0 500 0
[pid=7300] ppid=7287 vsize=0 CPUtime=0
/proc/7300/stat : 7300 (sh) Z 7287 7287 5281 0 -1 4195340 278 0 0 0 0 0 0 0 16 0 1 0 1997282902 0 0 996147200 0 0 0 0 0 0 65536 4100 65538 18446744071563351923 0 0 17 1 0 0
/proc/7300/statm: 0 0 0 0 0 0 0
[pid=7301] ppid=1 vsize=0 CPUtime=1798.63
/proc/7301/stat : 7301 (java) Z 1 7287 5281 0 -1 1036 322538 0 1 0 179683 180 0 0 16 0 2 0 1997282903 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/7301/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 13600
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7287 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=438781
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=167974
# CPU time returned by wait4() is 1.60676
# while last known CPU time is 1800.2
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1805.48
CPU time (s): 1800.2
CPU user time (s): 1798.25
CPU system time (s): 1.95
CPU usage (%): 99.7075
Max. virtual memory (cumulated for all children) (KiB): 905680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.43878
system time used= 0.167974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19206
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 595
involuntary context switches= 463
runsolver used 2.20366 second user time and 6.06308 second system time
The end
Begin job on node61 at 2008-07-04 16:51:54
IDJOB=1076027
IDBENCH=56558
IDSOLVER=345
FILE ID=node61/1076027-1215183114
PBS_JOBID= 7881522
Free space on /tmp= 66556 MiB
SOLVER NAME= Sugar v1.13+picosat
BENCH NAME= CPAI08/csp/ogdVg/normalized-crossword-m1c-ogd-vg11-13_ext.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-1076027-1215183114/watcher-1076027-1215183114 -o /tmp/evaluation-result-1076027-1215183114/solver-1076027-1215183114 -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-1076027-1215183114.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= b9377a368fc65a84e2a754086a5a0855
RANDOM SEED=600817140
node61.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.269
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.269
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: 1649392 kB
Buffers: 35840 kB
Cached: 186112 kB
SwapCached: 6188 kB
Active: 243636 kB
Inactive: 110148 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1649392 kB
SwapTotal: 4192956 kB
SwapFree: 4180700 kB
Dirty: 4224 kB
Writeback: 0 kB
Mapped: 147868 kB
Slab: 37708 kB
Committed_AS: 4101408 kB
PageTables: 2036 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264884 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66552 MiB
End job on node61 at 2008-07-04 17:22:01