0.00/0.04 c 0 Sugar v1-13 + HOME/minisat
0.00/0.05 c 0 BEGIN Fri Jul 4 04:44:45 2008
0.00/0.05 c 0 PID 3675
0.03/0.05 c 0 HOST node31.alineos.net
0.03/0.05 c 0 CONVERTING HOME/instance-1064001-1215139485.xml TO HOME/temp.csp
0.03/0.05 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1064001-1215139485.xml' 'HOME/temp.csp'
1.74/1.84 c 2 1 domains, 369 variables, 8 predicates, 8 relations, 3033 constraints
1.74/1.89 c 2 ENCODING HOME/temp.csp TO HOME/temp.cnf
1.74/1.89 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.79/1.97 c 2 Parsing HOME/temp.csp
3.66/3.89 c 4 parsed 3419 expressions
3.66/3.89 c 4 Heap : 36 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
3.66/3.89 c 4 Converting to clausal form CSP
3.75/3.92 c 4 converted 342 (10%) expressions
12.56/12.82 c 13 converted 684 (20%) expressions
14.74/15.03 c 15 converted 1026 (30%) expressions
16.71/17.06 c 17 converted 1368 (40%) expressions
17.51/17.87 c 18 converted 1710 (50%) expressions
19.48/19.88 c 20 converted 2052 (60%) expressions
19.58/19.91 c 20 converted 2394 (70%) expressions
19.58/19.94 c 20 converted 2736 (80%) expressions
19.58/19.97 c 20 converted 3078 (90%) expressions
20.28/20.67 c 21 converted 3419 (100%) expressions
20.28/20.67 c 21 CSP : 369 integers, 0 booleans, 3033 clauses, largest domain size 26
20.28/20.67 c 21 Heap : 404 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
20.28/20.67 c 21 Propagation in CSP
20.37/20.71 c 21 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
20.37/20.71 c 21 CSP : 369 integers, 0 booleans, 3033 clauses, largest domain size 26
20.37/20.71 c 21 Heap : 408 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
20.37/20.71 c 21 Simplifing CSP by introducing new Boolean variables
20.37/20.77 c 21 CSP : 369 integers, 26052 booleans, 29085 clauses, largest domain size 26
20.37/20.77 c 21 Heap : 418 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
22.65/23.07 c 23 Encoding CSP to SAT : HOME/temp.cnf
22.74/23.11 c 23 37 (10%) CSP integer variables are encoded (888 clauses, 9624 bytes)
22.74/23.11 c 23 74 (20%) CSP integer variables are encoded (1776 clauses, 21025 bytes)
22.74/23.11 c 23 111 (30%) CSP integer variables are encoded (2664 clauses, 32569 bytes)
22.74/23.12 c 23 148 (40%) CSP integer variables are encoded (3552 clauses, 44113 bytes)
22.74/23.12 c 23 185 (50%) CSP integer variables are encoded (4440 clauses, 55657 bytes)
22.74/23.12 c 23 222 (60%) CSP integer variables are encoded (5328 clauses, 67201 bytes)
22.74/23.12 c 23 259 (70%) CSP integer variables are encoded (6216 clauses, 78745 bytes)
22.74/23.12 c 23 296 (80%) CSP integer variables are encoded (7104 clauses, 90289 bytes)
22.74/23.12 c 23 333 (90%) CSP integer variables are encoded (7992 clauses, 101833 bytes)
22.74/23.12 c 23 369 (100%) CSP integer variables are encoded (8856 clauses, 113065 bytes)
1560.50/1576.75 c 1577 2909 (10%) CSP clauses are encoded (4110447 clauses, 203518060 bytes)
1800.03/1818.52 c ERROR INTERRUPTED
1800.15/1818.63 s UNKNOWN
1800.15/1818.63 c 1819 CPU 1.68 (0.03 0 1.65 0.11)
1800.15/1818.63 c 1819 END Fri Jul 4 05:15:04 2008
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1064001-1215139485/watcher-1064001-1215139485 -o /tmp/evaluation-result-1064001-1215139485/solver-1064001-1215139485 -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/minisat -tmp=HOME/temp HOME/instance-1064001-1215139485.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.98 2.03 4/81 3675
/proc/meminfo: memFree=1805992/2055920 swapFree=4180080/4192956
[pid=3675] ppid=3673 vsize=12268 CPUtime=0
/proc/3675/stat : 3675 (sugar) R 3673 3675 1966 0 -1 4194304 348 0 0 0 0 0 0 0 20 0 1 0 1992922541 12562432 316 996147200 4194304 4206940 548682068608 18446744073709551615 225612364389 0 2147483391 4224 0 0 0 0 17 1 0 0
/proc/3675/statm: 3067 316 241 3 0 167 0
[startup+0.0517891 s]
/proc/loadavg: 1.92 1.98 2.03 4/81 3675
/proc/meminfo: memFree=1805992/2055920 swapFree=4180080/4192956
[pid=3675] ppid=3673 vsize=13600 CPUtime=0.03
/proc/3675/stat : 3675 (sugar) S 3673 3675 1966 0 -1 4194304 845 0 0 0 3 0 0 0 18 0 1 0 1992922541 13926400 793 996147200 4194304 4206940 548682068608 18446744073709551615 225621094498 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3675/statm: 3400 793 367 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.101796 s]
/proc/loadavg: 1.92 1.98 2.03 4/81 3675
/proc/meminfo: memFree=1805992/2055920 swapFree=4180080/4192956
[pid=3675] ppid=3673 vsize=13600 CPUtime=0.03
/proc/3675/stat : 3675 (sugar) S 3673 3675 1966 0 -1 4194304 900 127 0 0 3 0 0 0 19 0 1 0 1992922541 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 225621094498 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3675/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.301813 s]
/proc/loadavg: 1.92 1.98 2.03 4/81 3675
/proc/meminfo: memFree=1805992/2055920 swapFree=4180080/4192956
[pid=3675] ppid=3673 vsize=13600 CPUtime=0.03
/proc/3675/stat : 3675 (sugar) S 3673 3675 1966 0 -1 4194304 900 127 0 0 3 0 0 0 19 0 1 0 1992922541 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 225621094498 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3675/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.701848 s]
/proc/loadavg: 1.92 1.98 2.03 4/81 3675
/proc/meminfo: memFree=1805992/2055920 swapFree=4180080/4192956
[pid=3675] ppid=3673 vsize=13600 CPUtime=0.03
/proc/3675/stat : 3675 (sugar) S 3673 3675 1966 0 -1 4194304 900 127 0 0 3 0 0 0 19 0 1 0 1992922541 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 225621094498 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3675/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+1.50292 s]
/proc/loadavg: 1.92 1.98 2.03 3/92 3687
/proc/meminfo: memFree=1778448/2055920 swapFree=4180080/4192956
[pid=3675] ppid=3673 vsize=13600 CPUtime=0.03
/proc/3675/stat : 3675 (sugar) S 3673 3675 1966 0 -1 4194304 900 127 0 0 3 0 0 0 19 0 1 0 1992922541 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 225621094498 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3675/statm: 3400 796 370 3 0 500 0
[pid=3678] ppid=3675 vsize=5356 CPUtime=0
/proc/3678/stat : 3678 (sh) S 3675 3675 1966 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1992922547 5484544 233 996147200 4194304 4889804 548682068768 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3678/statm: 1339 233 193 169 0 50 0
[pid=3679] ppid=3678 vsize=864700 CPUtime=1.42
/proc/3679/stat : 3679 (java) S 3678 3675 1966 0 -1 0 12283 0 1 0 134 8 0 0 18 0 9 0 1992922547 885452800 11372 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3679/statm: 216175 11372 2529 9 0 210757 0
[pid=3679/tid=3680] ppid=3678 vsize=864700 CPUtime=0.96
/proc/3679/task/3680/stat : 3680 (java) R 3678 3675 1966 0 -1 64 4745 0 1 0 92 4 0 0 25 0 9 0 1992922548 885452800 11372 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3679/tid=3681] ppid=3678 vsize=864700 CPUtime=0.3
/proc/3679/task/3681/stat : 3681 (java) R 3678 3675 1966 0 -1 64 6340 0 0 0 27 3 0 0 16 0 9 0 1992922549 885452800 11372 996147200 134512640 134550740 4294956016 18446744073709551615 102674877 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3679/tid=3682] ppid=3678 vsize=864700 CPUtime=0
/proc/3679/task/3682/stat : 3682 (java) S 3678 3675 1966 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1992922549 885452800 11372 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3679/tid=3683] ppid=3678 vsize=864700 CPUtime=0
/proc/3679/task/3683/stat : 3683 (java) S 3678 3675 1966 0 -1 64 9 0 0 0 0 0 0 0 15 0 9 0 1992922549 885452800 11372 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3679/tid=3684] ppid=3678 vsize=864700 CPUtime=0
/proc/3679/task/3684/stat : 3684 (java) S 3678 3675 1966 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992922552 885452800 11372 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3679/tid=3685] ppid=3678 vsize=864700 CPUtime=0.13
/proc/3679/task/3685/stat : 3685 (java) S 3678 3675 1966 0 -1 64 501 0 0 0 13 0 0 0 16 0 9 0 1992922552 885452800 11372 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3679/tid=3686] ppid=3678 vsize=864700 CPUtime=0
/proc/3679/task/3686/stat : 3686 (java) S 3678 3675 1966 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1992922552 885452800 11372 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3679/tid=3687] ppid=3678 vsize=864700 CPUtime=0
/proc/3679/task/3687/stat : 3687 (java) S 3678 3675 1966 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1992922552 885452800 11372 996147200 134512640 134550740 4294956016 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) 883656
[startup+3.10106 s]
/proc/loadavg: 1.92 1.98 2.03 3/92 3697
/proc/meminfo: memFree=1794576/2055920 swapFree=4180080/4192956
[pid=3675] ppid=3673 vsize=13600 CPUtime=1.79
/proc/3675/stat : 3675 (sugar) S 3673 3675 1966 0 -1 4194304 973 14049 0 1 3 0 165 11 16 0 1 0 1992922541 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 225621094498 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3675/statm: 3400 797 370 3 0 500 0
[pid=3688] ppid=3675 vsize=5356 CPUtime=0
/proc/3688/stat : 3688 (sh) S 3675 3675 1966 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 1992922731 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3688/statm: 1339 233 193 169 0 50 0
[pid=3689] ppid=3688 vsize=864076 CPUtime=1.18
/proc/3689/stat : 3689 (java) S 3688 3675 1966 0 -1 0 10085 0 1 0 113 5 0 0 19 0 9 0 1992922731 884813824 9031 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3689/statm: 216019 9031 2532 9 0 210601 0
[pid=3689/tid=3690] ppid=3688 vsize=864076 CPUtime=0.73
/proc/3689/task/3690/stat : 3690 (java) R 3688 3675 1966 0 -1 64 2578 0 1 0 72 1 0 0 25 0 9 0 1992922732 884813824 9031 996147200 134512640 134550740 4294955952 18446744073709551615 4126474260 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3689/tid=3691] ppid=3688 vsize=864076 CPUtime=0.36
/proc/3689/task/3691/stat : 3691 (java) S 3688 3675 1966 0 -1 64 6481 0 0 0 34 2 0 0 16 0 9 0 1992922733 884813824 9031 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3689/tid=3692] ppid=3688 vsize=864076 CPUtime=0
/proc/3689/task/3692/stat : 3692 (java) S 3688 3675 1966 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 1992922733 884813824 9031 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3689/tid=3693] ppid=3688 vsize=864076 CPUtime=0
/proc/3689/task/3693/stat : 3693 (java) S 3688 3675 1966 0 -1 64 9 0 0 0 0 0 0 0 15 0 9 0 1992922733 884813824 9031 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3689/tid=3694] ppid=3688 vsize=864076 CPUtime=0
/proc/3689/task/3694/stat : 3694 (java) S 3688 3675 1966 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992922735 884813824 9031 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3689/tid=3695] ppid=3688 vsize=864076 CPUtime=0.06
/proc/3689/task/3695/stat : 3695 (java) S 3688 3675 1966 0 -1 64 329 0 0 0 6 0 0 0 16 0 9 0 1992922735 884813824 9031 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3689/tid=3696] ppid=3688 vsize=864076 CPUtime=0
/proc/3689/task/3696/stat : 3696 (java) S 3688 3675 1966 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1992922735 884813824 9031 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3689/tid=3697] ppid=3688 vsize=864076 CPUtime=0
/proc/3689/task/3697/stat : 3697 (java) R 3688 3675 1966 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992922735 884813824 9031 996147200 134512640 134550740 4294955952 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) 883032
[startup+6.30234 s]
/proc/loadavg: 1.93 1.98 2.03 3/92 3697
/proc/meminfo: memFree=1724496/2055920 swapFree=4180080/4192956
[pid=3675] ppid=3673 vsize=13600 CPUtime=1.79
/proc/3675/stat : 3675 (sugar) S 3673 3675 1966 0 -1 4194304 973 14049 0 1 3 0 165 11 16 0 1 0 1992922541 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 225621094498 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3675/statm: 3400 797 370 3 0 500 0
[pid=3688] ppid=3675 vsize=5356 CPUtime=0
/proc/3688/stat : 3688 (sh) S 3675 3675 1966 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 1992922731 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3688/statm: 1339 233 193 169 0 50 0
[pid=3689] ppid=3688 vsize=864396 CPUtime=4.34
/proc/3689/stat : 3689 (java) S 3688 3675 1966 0 -1 0 29818 0 1 0 418 16 0 0 19 0 9 0 1992922731 885141504 28120 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3689/statm: 216099 28120 2540 9 0 210674 0
[pid=3689/tid=3690] ppid=3688 vsize=864396 CPUtime=2.13
/proc/3689/task/3690/stat : 3690 (java) R 3688 3675 1966 0 -1 64 3594 0 1 0 211 2 0 0 25 0 9 0 1992922732 885141504 28120 996147200 134512640 134550740 4294955952 18446744073709551615 103205685 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3689/tid=3691] ppid=3688 vsize=864396 CPUtime=2.09
/proc/3689/task/3691/stat : 3691 (java) S 3688 3675 1966 0 -1 64 25184 0 0 0 196 13 0 0 16 0 9 0 1992922733 885141504 28120 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3689/tid=3692] ppid=3688 vsize=864396 CPUtime=0
/proc/3689/task/3692/stat : 3692 (java) S 3688 3675 1966 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 1992922733 885141504 28120 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3689/tid=3693] ppid=3688 vsize=864396 CPUtime=0
/proc/3689/task/3693/stat : 3693 (java) S 3688 3675 1966 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 1992922733 885141504 28120 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3689/tid=3694] ppid=3688 vsize=864396 CPUtime=0
/proc/3689/task/3694/stat : 3694 (java) S 3688 3675 1966 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992922735 885141504 28120 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3689/tid=3695] ppid=3688 vsize=864396 CPUtime=0.09
/proc/3689/task/3695/stat : 3695 (java) S 3688 3675 1966 0 -1 64 343 0 0 0 9 0 0 0 16 0 9 0 1992922735 885141504 28120 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3689/tid=3696] ppid=3688 vsize=864396 CPUtime=0
/proc/3689/task/3696/stat : 3696 (java) S 3688 3675 1966 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1992922735 885141504 28120 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3689/tid=3697] ppid=3688 vsize=864396 CPUtime=0
/proc/3689/task/3697/stat : 3697 (java) S 3688 3675 1966 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992922735 885141504 28120 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 883352
[startup+12.7019 s]
/proc/loadavg: 2.01 2.00 2.04 3/92 3697
/proc/meminfo: memFree=1590992/2055920 swapFree=4180080/4192956
[pid=3675] ppid=3673 vsize=13600 CPUtime=1.79
/proc/3675/stat : 3675 (sugar) S 3673 3675 1966 0 -1 4194304 973 14049 0 1 3 0 165 11 16 0 1 0 1992922541 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 225621094498 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3675/statm: 3400 797 370 3 0 500 0
[pid=3688] ppid=3675 vsize=5356 CPUtime=0
/proc/3688/stat : 3688 (sh) S 3675 3675 1966 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 1992922731 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3688/statm: 1339 233 193 169 0 50 0
[pid=3689] ppid=3688 vsize=868408 CPUtime=10.67
/proc/3689/stat : 3689 (java) S 3688 3675 1966 0 -1 0 82504 0 1 0 1025 42 0 0 19 0 9 0 1992922731 889249792 60049 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3689/statm: 217102 60049 2540 9 0 211677 0
[pid=3689/tid=3690] ppid=3688 vsize=868408 CPUtime=4.19
/proc/3689/task/3690/stat : 3690 (java) R 3688 3675 1966 0 -1 64 5615 0 1 0 416 3 0 0 25 0 9 0 1992922732 889249792 60049 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3689/tid=3691] ppid=3688 vsize=868408 CPUtime=6.26
/proc/3689/task/3691/stat : 3691 (java) R 3688 3675 1966 0 -1 64 74786 0 0 0 589 37 0 0 16 0 9 0 1992922733 889249792 60049 996147200 134512640 134550740 4294955952 18446744073709551615 102514287 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3689/tid=3692] ppid=3688 vsize=868408 CPUtime=0
/proc/3689/task/3692/stat : 3692 (java) S 3688 3675 1966 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 1992922733 889249792 60049 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3689/tid=3693] ppid=3688 vsize=868408 CPUtime=0
/proc/3689/task/3693/stat : 3693 (java) S 3688 3675 1966 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 1992922733 889249792 60049 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3689/tid=3694] ppid=3688 vsize=868408 CPUtime=0
/proc/3689/task/3694/stat : 3694 (java) S 3688 3675 1966 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992922735 889249792 60049 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3689/tid=3695] ppid=3688 vsize=868408 CPUtime=0.19
/proc/3689/task/3695/stat : 3695 (java) S 3688 3675 1966 0 -1 64 1406 0 0 0 18 1 0 0 16 0 9 0 1992922735 889249792 60049 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3689/tid=3696] ppid=3688 vsize=868408 CPUtime=0
/proc/3689/task/3696/stat : 3696 (java) S 3688 3675 1966 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1992922735 889249792 60049 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3689/tid=3697] ppid=3688 vsize=868408 CPUtime=0
/proc/3689/task/3697/stat : 3697 (java) S 3688 3675 1966 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992922735 889249792 60049 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 887364
[startup+25.503 s]
/proc/loadavg: 2.16 2.03 2.05 3/92 3697
/proc/meminfo: memFree=1359376/2055920 swapFree=4180080/4192956
[pid=3675] ppid=3673 vsize=13600 CPUtime=1.79
/proc/3675/stat : 3675 (sugar) S 3673 3675 1966 0 -1 4194304 974 14049 0 1 3 0 165 11 16 0 1 0 1992922541 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 225621094498 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3675/statm: 3400 797 370 3 0 500 0
[pid=3688] ppid=3675 vsize=5356 CPUtime=0
/proc/3688/stat : 3688 (sh) S 3675 3675 1966 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 1992922731 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3688/statm: 1339 233 193 169 0 50 0
[pid=3689] ppid=3688 vsize=868520 CPUtime=23.32
/proc/3689/stat : 3689 (java) S 3688 3675 1966 0 -1 0 145271 0 1 0 2257 75 0 0 19 0 9 0 1992922731 889364480 111881 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3689/statm: 217130 111881 2567 9 0 211677 0
[pid=3689/tid=3690] ppid=3688 vsize=868520 CPUtime=9.65
/proc/3689/task/3690/stat : 3690 (java) R 3688 3675 1966 0 -1 64 7853 0 1 0 959 6 0 0 25 0 9 0 1992922732 889364480 111881 996147200 134512640 134550740 4294955952 18446744073709551615 4126890348 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3689/tid=3691] ppid=3688 vsize=868520 CPUtime=13.38
/proc/3689/task/3691/stat : 3691 (java) S 3688 3675 1966 0 -1 64 135264 0 0 0 1271 67 0 0 16 0 9 0 1992922733 889364480 111881 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3689/tid=3692] ppid=3688 vsize=868520 CPUtime=0
/proc/3689/task/3692/stat : 3692 (java) S 3688 3675 1966 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 1992922733 889364480 111881 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3689/tid=3693] ppid=3688 vsize=868520 CPUtime=0
/proc/3689/task/3693/stat : 3693 (java) S 3688 3675 1966 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 1992922733 889364480 111881 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
[pid=3689/tid=3695] ppid=3688 vsize=868520 CPUtime=0.3
/proc/3689/task/3695/stat : 3695 (java) S 3688 3675 1966 0 -1 64 1472 0 0 0 29 1 0 0 16 0 9 0 1992922735 889364480 158781 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3689/tid=3696] ppid=3688 vsize=868520 CPUtime=0
/proc/3689/task/3696/stat : 3696 (java) S 3688 3675 1966 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1992922735 889364480 158781 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3689/tid=3697] ppid=3688 vsize=868520 CPUtime=0
/proc/3689/task/3697/stat : 3697 (java) S 3688 3675 1966 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992922735 889364480 158781 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1585.86
Current children cumulated vsize (KiB) 887476
[startup+1662.3 s]
/proc/loadavg: 2.01 2.07 2.02 3/92 3746
/proc/meminfo: memFree=984072/2055920 swapFree=4180080/4192956
[pid=3675] ppid=3673 vsize=13600 CPUtime=1.79
/proc/3675/stat : 3675 (sugar) S 3673 3675 1966 0 -1 4194304 974 14049 0 1 3 0 165 11 16 0 1 0 1992922541 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 225621094498 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3675/statm: 3400 797 370 3 0 500 0
[pid=3688] ppid=3675 vsize=5356 CPUtime=0
/proc/3688/stat : 3688 (sh) S 3675 3675 1966 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 1992922731 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3688/statm: 1339 233 193 169 0 50 0
[pid=3689] ppid=3688 vsize=868520 CPUtime=1643.5
/proc/3689/stat : 3689 (java) S 3688 3675 1966 0 -1 0 193289 0 1 0 164139 211 0 0 19 0 9 0 1992922731 889364480 159521 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3689/statm: 217130 159521 2567 9 0 211677 0
[pid=3689/tid=3690] ppid=3688 vsize=868520 CPUtime=1623.43
/proc/3689/task/3690/stat : 3690 (java) R 3688 3675 1966 0 -1 64 8232 0 1 0 162223 120 0 0 25 0 9 0 1992922732 889364480 159521 996147200 134512640 134550740 4294955952 18446744073709551615 4126625132 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3689/tid=3691] ppid=3688 vsize=868520 CPUtime=19.75
/proc/3689/task/3691/stat : 3691 (java) S 3688 3675 1966 0 -1 64 182888 0 0 0 1886 89 0 0 16 0 9 0 1992922733 889364480 159521 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3689/tid=3692] ppid=3688 vsize=868520 CPUtime=0
/proc/3689/task/3692/stat : 3692 (java) S 3688 3675 1966 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 1992922733 889364480 159521 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3689/tid=3693] ppid=3688 vsize=868520 CPUtime=0
/proc/3689/task/3693/stat : 3693 (java) S 3688 3675 1966 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 1992922733 889364480 159521 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3689/tid=3694] ppid=3688 vsize=868520 CPUtime=0
/proc/3689/task/3694/stat : 3694 (java) S 3688 3675 1966 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992922735 889364480 159521 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3689/tid=3695] ppid=3688 vsize=868520 CPUtime=0.3
/proc/3689/task/3695/stat : 3695 (java) S 3688 3675 1966 0 -1 64 1472 0 0 0 29 1 0 0 16 0 9 0 1992922735 889364480 159521 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3689/tid=3696] ppid=3688 vsize=868520 CPUtime=0
/proc/3689/task/3696/stat : 3696 (java) S 3688 3675 1966 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1992922735 889364480 159521 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3689/tid=3697] ppid=3688 vsize=868520 CPUtime=0
/proc/3689/task/3697/stat : 3697 (java) S 3688 3675 1966 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992922735 889364480 159521 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1645.29
Current children cumulated vsize (KiB) 887476
[startup+1722.3 s]
/proc/loadavg: 2.05 2.07 2.02 3/92 3746
/proc/meminfo: memFree=977672/2055920 swapFree=4180080/4192956
[pid=3675] ppid=3673 vsize=13600 CPUtime=1.79
/proc/3675/stat : 3675 (sugar) S 3673 3675 1966 0 -1 4194304 974 14049 0 1 3 0 165 11 16 0 1 0 1992922541 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 225621094498 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3675/statm: 3400 797 370 3 0 500 0
[pid=3688] ppid=3675 vsize=5356 CPUtime=0
/proc/3688/stat : 3688 (sh) S 3675 3675 1966 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 1992922731 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3688/statm: 1339 233 193 169 0 50 0
[pid=3689] ppid=3688 vsize=868520 CPUtime=1702.94
/proc/3689/stat : 3689 (java) S 3688 3675 1966 0 -1 0 194889 0 1 0 170083 211 0 0 19 0 9 0 1992922731 889364480 161117 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3689/statm: 217130 161117 2567 9 0 211677 0
[pid=3689/tid=3690] ppid=3688 vsize=868520 CPUtime=1682.76
/proc/3689/task/3690/stat : 3690 (java) R 3688 3675 1966 0 -1 64 8236 0 1 0 168156 120 0 0 25 0 9 0 1992922732 889364480 161117 996147200 134512640 134550740 4294955952 18446744073709551615 4126994436 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3689/tid=3691] ppid=3688 vsize=868520 CPUtime=19.85
/proc/3689/task/3691/stat : 3691 (java) S 3688 3675 1966 0 -1 64 184484 0 0 0 1896 89 0 0 16 0 9 0 1992922733 889364480 161117 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3689/tid=3692] ppid=3688 vsize=868520 CPUtime=0
/proc/3689/task/3692/stat : 3692 (java) S 3688 3675 1966 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 1992922733 889364480 161117 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3689/tid=3693] ppid=3688 vsize=868520 CPUtime=0
/proc/3689/task/3693/stat : 3693 (java) S 3688 3675 1966 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 1992922733 889364480 161117 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3689/tid=3694] ppid=3688 vsize=868520 CPUtime=0
/proc/3689/task/3694/stat : 3694 (java) S 3688 3675 1966 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992922735 889364480 161117 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3689/tid=3695] ppid=3688 vsize=868520 CPUtime=0.3
/proc/3689/task/3695/stat : 3695 (java) S 3688 3675 1966 0 -1 64 1472 0 0 0 29 1 0 0 16 0 9 0 1992922735 889364480 161117 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3689/tid=3696] ppid=3688 vsize=868520 CPUtime=0
/proc/3689/task/3696/stat : 3696 (java) S 3688 3675 1966 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1992922735 889364480 161117 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3689/tid=3697] ppid=3688 vsize=868520 CPUtime=0
/proc/3689/task/3697/stat : 3697 (java) S 3688 3675 1966 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992922735 889364480 161117 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1704.73
Current children cumulated vsize (KiB) 887476
[startup+1782.3 s]
/proc/loadavg: 2.02 2.05 2.02 3/92 3746
/proc/meminfo: memFree=967688/2055920 swapFree=4180080/4192956
[pid=3675] ppid=3673 vsize=13600 CPUtime=1.79
/proc/3675/stat : 3675 (sugar) S 3673 3675 1966 0 -1 4194304 974 14049 0 1 3 0 165 11 16 0 1 0 1992922541 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 225621094498 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3675/statm: 3400 797 370 3 0 500 0
[pid=3688] ppid=3675 vsize=5356 CPUtime=0
/proc/3688/stat : 3688 (sh) S 3675 3675 1966 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 1992922731 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3688/statm: 1339 233 193 169 0 50 0
[pid=3689] ppid=3688 vsize=868520 CPUtime=1762.38
/proc/3689/stat : 3689 (java) S 3688 3675 1966 0 -1 0 197361 0 1 0 176026 212 0 0 19 0 9 0 1992922731 889364480 163583 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3689/statm: 217130 163583 2567 9 0 211677 0
[pid=3689/tid=3690] ppid=3688 vsize=868520 CPUtime=1742.04
/proc/3689/task/3690/stat : 3690 (java) R 3688 3675 1966 0 -1 64 8242 0 1 0 174084 120 0 0 25 0 9 0 1992922732 889364480 163583 996147200 134512640 134550740 4294955952 18446744073709551615 4126991973 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3689/tid=3691] ppid=3688 vsize=868520 CPUtime=20.01
/proc/3689/task/3691/stat : 3691 (java) S 3688 3675 1966 0 -1 64 186950 0 0 0 1911 90 0 0 16 0 9 0 1992922733 889364480 163583 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3689/tid=3692] ppid=3688 vsize=868520 CPUtime=0
/proc/3689/task/3692/stat : 3692 (java) S 3688 3675 1966 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 1992922733 889364480 163583 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3689/tid=3693] ppid=3688 vsize=868520 CPUtime=0
/proc/3689/task/3693/stat : 3693 (java) S 3688 3675 1966 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 1992922733 889364480 163583 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3689/tid=3694] ppid=3688 vsize=868520 CPUtime=0
/proc/3689/task/3694/stat : 3694 (java) S 3688 3675 1966 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992922735 889364480 163583 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3689/tid=3695] ppid=3688 vsize=868520 CPUtime=0.3
/proc/3689/task/3695/stat : 3695 (java) S 3688 3675 1966 0 -1 64 1472 0 0 0 29 1 0 0 16 0 9 0 1992922735 889364480 163583 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3689/tid=3696] ppid=3688 vsize=868520 CPUtime=0
/proc/3689/task/3696/stat : 3696 (java) S 3688 3675 1966 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1992922735 889364480 163583 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3689/tid=3697] ppid=3688 vsize=868520 CPUtime=0
/proc/3689/task/3697/stat : 3697 (java) S 3688 3675 1966 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992922735 889364480 163583 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1764.17
Current children cumulated vsize (KiB) 887476
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1818.5 s]
/proc/loadavg: 2.01 2.04 2.01 3/92 3746
/proc/meminfo: memFree=962888/2055920 swapFree=4180080/4192956
[pid=3675] ppid=3673 vsize=13600 CPUtime=1.79
/proc/3675/stat : 3675 (sugar) S 3673 3675 1966 0 -1 4194304 974 14049 0 1 3 0 165 11 16 0 1 0 1992922541 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 225621094498 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3675/statm: 3400 797 370 3 0 500 0
[pid=3688] ppid=3675 vsize=5356 CPUtime=0
/proc/3688/stat : 3688 (sh) S 3675 3675 1966 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 1992922731 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 225612194628 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3688/statm: 1339 233 193 169 0 50 0
[pid=3689] ppid=3688 vsize=868520 CPUtime=1798.24
/proc/3689/stat : 3689 (java) S 3688 3675 1966 0 -1 0 198591 0 1 0 179611 213 0 0 19 0 9 0 1992922731 889364480 164810 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3689/statm: 217130 164810 2567 9 0 211677 0
[pid=3689/tid=3690] ppid=3688 vsize=868520 CPUtime=1777.82
/proc/3689/task/3690/stat : 3690 (java) R 3688 3675 1966 0 -1 64 8245 0 1 0 177662 120 0 0 25 0 9 0 1992922732 889364480 164810 996147200 134512640 134550740 4294955952 18446744073709551615 4126625080 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3689/tid=3691] ppid=3688 vsize=868520 CPUtime=20.09
/proc/3689/task/3691/stat : 3691 (java) S 3688 3675 1966 0 -1 64 188177 0 0 0 1919 90 0 0 16 0 9 0 1992922733 889364480 164810 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3689/tid=3692] ppid=3688 vsize=868520 CPUtime=0
/proc/3689/task/3692/stat : 3692 (java) S 3688 3675 1966 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 1992922733 889364480 164810 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3689/tid=3693] ppid=3688 vsize=868520 CPUtime=0
/proc/3689/task/3693/stat : 3693 (java) S 3688 3675 1966 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 1992922733 889364480 164810 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3689/tid=3694] ppid=3688 vsize=868520 CPUtime=0
/proc/3689/task/3694/stat : 3694 (java) S 3688 3675 1966 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992922735 889364480 164810 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3689/tid=3695] ppid=3688 vsize=868520 CPUtime=0.3
/proc/3689/task/3695/stat : 3695 (java) S 3688 3675 1966 0 -1 64 1472 0 0 0 29 1 0 0 16 0 9 0 1992922735 889364480 164810 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3689/tid=3696] ppid=3688 vsize=868520 CPUtime=0
/proc/3689/task/3696/stat : 3696 (java) S 3688 3675 1966 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1992922735 889364480 164810 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3689/tid=3697] ppid=3688 vsize=868520 CPUtime=0
/proc/3689/task/3697/stat : 3697 (java) S 3688 3675 1966 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992922735 889364480 164810 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 887476
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1818.63 s]
/proc/loadavg: 2.01 2.04 2.01 3/92 3746
/proc/meminfo: memFree=962888/2055920 swapFree=4180080/4192956
[pid=3675] ppid=3673 vsize=13600 CPUtime=1.79
/proc/3675/stat : 3675 (sugar) S 3673 3675 1966 0 -1 4194304 982 14049 0 1 3 0 165 11 16 0 1 0 1992922541 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 225621094498 0 16384 4224 0 18446744071563648864 0 0 17 1 0 0
/proc/3675/statm: 3400 797 370 3 0 500 0
[pid=3688] ppid=3675 vsize=0 CPUtime=0
/proc/3688/stat : 3688 (sh) Z 3675 3675 1966 0 -1 4195340 278 0 0 0 0 0 0 0 16 0 1 0 1992922731 0 0 996147200 0 0 0 0 0 0 65536 4100 65538 18446744071563351923 0 0 17 1 0 0
/proc/3688/statm: 0 0 0 0 0 0 0
[pid=3689] ppid=1 vsize=0 CPUtime=1798.36
/proc/3689/stat : 3689 (java) Z 1 3675 1966 0 -1 1036 198610 0 1 0 179614 222 0 0 16 0 2 0 1992922731 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3689/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 13600
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3675 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=698741
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=126980
# CPU time returned by wait4() is 1.82572
# while last known CPU time is 1800.15
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1818.64
CPU time (s): 1800.15
CPU user time (s): 1797.82
CPU system time (s): 2.33
CPU usage (%): 98.9833
Max. virtual memory (cumulated for all children) (KiB): 909468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.69874
system time used= 0.12698
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15354
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= 1230
involuntary context switches= 1082
runsolver used 2.14067 second user time and 6.20806 second system time
The end
Begin job on node31 at 2008-07-04 04:44:45
IDJOB=1064001
IDBENCH=54894
IDSOLVER=346
FILE ID=node31/1064001-1215139485
PBS_JOBID= 7877360
Free space on /tmp= 66552 MiB
SOLVER NAME= Sugar v1.13+minisat
BENCH NAME= CPAI08/csp/ukHerald/normalized-crossword-m1-uk-21-02.xml
COMMAND LINE= DIR/sugar -c -vv -java="java -Xmx700M" -jar="DIR/sugar-v1-13.jar" -solver="DIR/minisat" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1064001-1215139485/watcher-1064001-1215139485 -o /tmp/evaluation-result-1064001-1215139485/solver-1064001-1215139485 -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/minisat" -tmp="HOME/temp" HOME/instance-1064001-1215139485.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 5ac73b28ca9b0050b6bc76f1ad4eff58
RANDOM SEED=251911076
node31.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.232
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.232
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: 1806536 kB
Buffers: 18624 kB
Cached: 124084 kB
SwapCached: 6280 kB
Active: 143936 kB
Inactive: 51680 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1806536 kB
SwapTotal: 4192956 kB
SwapFree: 4180080 kB
Dirty: 4668 kB
Writeback: 0 kB
Mapped: 68700 kB
Slab: 38572 kB
Committed_AS: 3062108 kB
PageTables: 2124 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 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 node31 at 2008-07-04 05:15:06