0.00/0.08 c 0 Sugar v1-14-6 + HOME/minisat
0.00/0.08 c 0 BEGIN Sun Jul 12 10:26:50 2009
0.00/0.08 c 0 PID 26603
0.06/0.08 c 0 HOST node16.alineos.net
0.06/0.08 c 0 CONVERTING HOME/instance-2087923-1247387204.xml TO HOME/temp.csp
0.06/0.08 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.XML2CSP -v -v 'HOME/instance-2087923-1247387204.xml' 'HOME/temp.csp'
17.15/17.41 c 18 1 domains, 23 variables, 0 predicates, 16 relations, 16 constraints
17.20/17.54 c 18 ENCODING HOME/temp.csp TO HOME/temp.cnf
17.20/17.54 c 18 CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.SugarMain -v -v -competition -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
17.25/17.65 c 18 Parsing HOME/temp.csp
46.68/47.30 c 48 parsed 56 expressions
46.68/47.31 c 48 Heap : 463 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
46.68/47.31 c 48 Converting to clausal form CSP
46.68/47.33 c 48 converted 6 (10%) expressions
46.68/47.33 c 48 converted 12 (20%) expressions
46.68/47.33 c 48 converted 17 (30%) expressions
46.68/47.33 c 48 converted 23 (40%) expressions
49.55/50.27 c 51 converted 28 (50%) expressions
50.64/51.40 c 52 converted 34 (60%) expressions
51.04/51.75 c 52 converted 40 (70%) expressions
160.82/162.51 c 163 ERROR Exception Java heap space
160.82/162.51 c 163 java.lang.Object.clone(Native Method)
160.82/162.51 c 163 jp.ac.kobe_u.cs.sugar.csp.RelationLiteral.<init>(RelationLiteral.java:100)
160.82/162.51 c 163 jp.ac.kobe_u.cs.sugar.converter.Converter.convertRelation(Converter.java:816)
160.82/162.51 c 163 jp.ac.kobe_u.cs.sugar.converter.Converter.convertConstraint(Converter.java:854)
160.82/162.51 c 163 jp.ac.kobe_u.cs.sugar.converter.Converter.convertConstraint(Converter.java:1161)
160.82/162.51 c 163 jp.ac.kobe_u.cs.sugar.converter.Converter.convertExpression(Converter.java:1192)
160.82/162.51 c 163 jp.ac.kobe_u.cs.sugar.converter.Converter.convert(Converter.java:1201)
160.82/162.51 c 163 jp.ac.kobe_u.cs.sugar.SugarMain.encode(SugarMain.java:102)
160.82/162.51 c 163 jp.ac.kobe_u.cs.sugar.SugarMain.main(SugarMain.java:314)
160.82/162.51 s UNKNOWN
160.88/162.65 c 163 CPU 160.94 (0.05 0.01 157.16 3.72)
160.88/162.66 c 163 END Sun Jul 12 10:29:33 2009
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2087923-1247387204/watcher-2087923-1247387204 -o /tmp/evaluation-result-2087923-1247387204/solver-2087923-1247387204 -C 1800 -W 2000 -M 900 HOME/sugar -c -vv -memlimit=900 -jar=HOME/sugar-v1-14-6.jar -solver=HOME/minisat -tmp=HOME/temp HOME/instance-2087923-1247387204.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): 2000 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.03 2.04 2.00 4/84 26603
/proc/meminfo: memFree=1369592/2055920 swapFree=4192812/4192956
[pid=26603] ppid=26601 vsize=12268 CPUtime=0
/proc/26603/stat : 26603 (sugar) R 26601 26603 25506 0 -1 4194304 348 0 0 0 0 0 0 0 20 0 1 0 25787897 12562432 316 996147200 4194304 4206940 548682068608 18446744073709551615 231962540645 0 2147483391 4224 0 0 0 0 17 1 0 0
/proc/26603/statm: 3067 316 241 3 0 167 0
[startup+0.0826031 s]
/proc/loadavg: 2.03 2.04 2.00 4/84 26603
/proc/meminfo: memFree=1369592/2055920 swapFree=4192812/4192956
[pid=26603] ppid=26601 vsize=16740 CPUtime=0.06
/proc/26603/stat : 26603 (sugar) S 26601 26603 25506 0 -1 4194304 1152 0 0 0 5 1 0 0 18 0 1 0 25787897 17141760 1107 996147200 4194304 4206940 548682068608 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26603/statm: 4185 1107 406 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740
[startup+0.102275 s]
/proc/loadavg: 2.03 2.04 2.00 4/84 26603
/proc/meminfo: memFree=1369592/2055920 swapFree=4192812/4192956
[pid=26603] ppid=26601 vsize=16868 CPUtime=0.06
/proc/26603/stat : 26603 (sugar) S 26601 26603 25506 0 -1 4194304 1227 128 0 0 5 1 0 0 19 0 1 0 25787897 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26603/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868
[startup+0.301187 s]
/proc/loadavg: 2.03 2.04 2.00 4/84 26603
/proc/meminfo: memFree=1369592/2055920 swapFree=4192812/4192956
[pid=26603] ppid=26601 vsize=16868 CPUtime=0.06
/proc/26603/stat : 26603 (sugar) S 26601 26603 25506 0 -1 4194304 1227 128 0 0 5 1 0 0 19 0 1 0 25787897 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26603/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868
[startup+0.701076 s]
/proc/loadavg: 2.03 2.04 2.00 4/84 26603
/proc/meminfo: memFree=1369592/2055920 swapFree=4192812/4192956
[pid=26603] ppid=26601 vsize=16868 CPUtime=0.06
/proc/26603/stat : 26603 (sugar) S 26601 26603 25506 0 -1 4194304 1227 128 0 0 5 1 0 0 19 0 1 0 25787897 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26603/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868
[startup+1.50285 s]
/proc/loadavg: 2.03 2.04 2.00 4/95 26615
/proc/meminfo: memFree=1312608/2055920 swapFree=4192812/4192956
[pid=26603] ppid=26601 vsize=16868 CPUtime=0.06
/proc/26603/stat : 26603 (sugar) S 26601 26603 25506 0 -1 4194304 1227 128 0 0 5 1 0 0 19 0 1 0 25787897 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26603/statm: 4217 1111 409 3 0 796 0
[pid=26606] ppid=26603 vsize=5356 CPUtime=0
/proc/26606/stat : 26606 (sh) S 26603 26603 25506 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25787906 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26606/statm: 1339 233 193 169 0 50 0
[pid=26607] ppid=26606 vsize=864628 CPUtime=1.39
/proc/26607/stat : 26607 (java) S 26606 26603 25506 0 -1 0 31151 0 1 0 120 19 0 0 18 0 9 0 25787906 885379072 30404 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26607/statm: 216157 30404 2555 9 0 210669 0
[pid=26607/tid=26608] ppid=26606 vsize=864628 CPUtime=1
/proc/26607/task/26608/stat : 26608 (java) R 26606 26603 25506 0 -1 64 4147 0 1 0 93 7 0 0 25 0 9 0 25787907 885379072 30404 996147200 134512640 134550932 4294955984 18446744073709551615 4126459654 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26607/tid=26609] ppid=26606 vsize=864628 CPUtime=0.31
/proc/26607/task/26609/stat : 26609 (java) S 26606 26603 25506 0 -1 64 25867 0 0 0 21 10 0 0 16 0 9 0 25787908 885379072 30404 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26607/tid=26610] ppid=26606 vsize=864628 CPUtime=0
/proc/26607/task/26610/stat : 26610 (java) S 26606 26603 25506 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 25787908 885379072 30404 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26607/tid=26611] ppid=26606 vsize=864628 CPUtime=0
/proc/26607/task/26611/stat : 26611 (java) S 26606 26603 25506 0 -1 64 9 0 0 0 0 0 0 0 15 0 9 0 25787908 885379072 30404 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26607/tid=26612] ppid=26606 vsize=864628 CPUtime=0
/proc/26607/task/26612/stat : 26612 (java) S 26606 26603 25506 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 25787911 885379072 30404 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26607/tid=26613] ppid=26606 vsize=864628 CPUtime=0.04
/proc/26607/task/26613/stat : 26613 (java) S 26606 26603 25506 0 -1 64 435 0 0 0 4 0 0 0 16 0 9 0 25787911 885379072 30404 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26607/tid=26614] ppid=26606 vsize=864628 CPUtime=0
/proc/26607/task/26614/stat : 26614 (java) S 26606 26603 25506 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 25787911 885379072 30404 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26607/tid=26615] ppid=26606 vsize=864628 CPUtime=0
/proc/26607/task/26615/stat : 26615 (java) S 26606 26603 25506 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 25787911 885379072 30404 996147200 134512640 134550932 4294955984 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) 886852
[startup+3.1024 s]
/proc/loadavg: 2.11 2.06 2.01 3/95 26615
/proc/meminfo: memFree=1181024/2055920 swapFree=4192812/4192956
[pid=26603] ppid=26601 vsize=16868 CPUtime=0.06
/proc/26603/stat : 26603 (sugar) S 26601 26603 25506 0 -1 4194304 1227 128 0 0 5 1 0 0 19 0 1 0 25787897 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26603/statm: 4217 1111 409 3 0 796 0
[pid=26606] ppid=26603 vsize=5356 CPUtime=0
/proc/26606/stat : 26606 (sh) S 26603 26603 25506 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25787906 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26606/statm: 1339 233 193 169 0 50 0
[pid=26607] ppid=26606 vsize=864740 CPUtime=2.96
/proc/26607/stat : 26607 (java) S 26606 26603 25506 0 -1 0 68629 0 1 0 260 36 0 0 18 0 9 0 25787906 885493760 67854 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26607/statm: 216185 67854 2555 9 0 210697 0
[pid=26607/tid=26608] ppid=26606 vsize=864740 CPUtime=2.13
/proc/26607/task/26608/stat : 26608 (java) R 26606 26603 25506 0 -1 64 14400 0 1 0 201 12 0 0 25 0 9 0 25787907 885493760 67854 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26607/tid=26609] ppid=26606 vsize=864740 CPUtime=0.74
/proc/26607/task/26609/stat : 26609 (java) R 26606 26603 25506 0 -1 64 53080 0 0 0 52 22 0 0 16 0 9 0 25787908 885493760 67854 996147200 134512640 134550932 4294955984 18446744073709551615 102709373 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26607/tid=26610] ppid=26606 vsize=864740 CPUtime=0
/proc/26607/task/26610/stat : 26610 (java) S 26606 26603 25506 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 25787908 885493760 67854 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26607/tid=26611] ppid=26606 vsize=864740 CPUtime=0
/proc/26607/task/26611/stat : 26611 (java) S 26606 26603 25506 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 25787908 885493760 67854 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26607/tid=26612] ppid=26606 vsize=864740 CPUtime=0
/proc/26607/task/26612/stat : 26612 (java) S 26606 26603 25506 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 25787911 885493760 67854 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26607/tid=26613] ppid=26606 vsize=864740 CPUtime=0.06
/proc/26607/task/26613/stat : 26613 (java) S 26606 26603 25506 0 -1 64 447 0 0 0 6 0 0 0 16 0 9 0 25787911 885493760 67854 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26607/tid=26614] ppid=26606 vsize=864740 CPUtime=0
/proc/26607/task/26614/stat : 26614 (java) S 26606 26603 25506 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 25787911 885493760 67854 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26607/tid=26615] ppid=26606 vsize=864740 CPUtime=0
/proc/26607/task/26615/stat : 26615 (java) S 26606 26603 25506 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 25787911 885493760 67854 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 886964
[startup+6.30247 s]
/proc/loadavg: 2.11 2.06 2.01 3/95 26615
/proc/meminfo: memFree=965472/2055920 swapFree=4192812/4192956
[pid=26603] ppid=26601 vsize=16868 CPUtime=0.06
/proc/26603/stat : 26603 (sugar) S 26601 26603 25506 0 -1 4194304 1227 128 0 0 5 1 0 0 19 0 1 0 25787897 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26603/statm: 4217 1111 409 3 0 796 0
[pid=26606] ppid=26603 vsize=5356 CPUtime=0
/proc/26606/stat : 26606 (sh) S 26603 26603 25506 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25787906 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26606/statm: 1339 233 193 169 0 50 0
[pid=26607] ppid=26606 vsize=864740 CPUtime=6.13
/proc/26607/stat : 26607 (java) S 26606 26603 25506 0 -1 0 100889 0 1 0 556 57 0 0 18 0 9 0 25787906 885493760 99155 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26607/statm: 216185 99155 2555 9 0 210697 0
[pid=26607/tid=26608] ppid=26606 vsize=864740 CPUtime=4.71
/proc/26607/task/26608/stat : 26608 (java) R 26606 26603 25506 0 -1 64 15383 0 1 0 450 21 0 0 25 0 9 0 25787907 885493760 99155 996147200 134512640 134550932 4294955984 18446744073709551615 4126561590 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26607/tid=26609] ppid=26606 vsize=864740 CPUtime=1.31
/proc/26607/task/26609/stat : 26609 (java) S 26606 26603 25506 0 -1 64 84346 0 0 0 97 34 0 0 16 0 9 0 25787908 885493760 99155 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26607/tid=26610] ppid=26606 vsize=864740 CPUtime=0
/proc/26607/task/26610/stat : 26610 (java) S 26606 26603 25506 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 25787908 885493760 99155 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26607/tid=26611] ppid=26606 vsize=864740 CPUtime=0
/proc/26607/task/26611/stat : 26611 (java) S 26606 26603 25506 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 25787908 885493760 99155 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26607/tid=26612] ppid=26606 vsize=864740 CPUtime=0
/proc/26607/task/26612/stat : 26612 (java) S 26606 26603 25506 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 25787911 885493760 99155 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26607/tid=26613] ppid=26606 vsize=864740 CPUtime=0.08
/proc/26607/task/26613/stat : 26613 (java) S 26606 26603 25506 0 -1 64 458 0 0 0 8 0 0 0 16 0 9 0 25787911 885493760 99155 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26607/tid=26614] ppid=26606 vsize=864740 CPUtime=0
/proc/26607/task/26614/stat : 26614 (java) S 26606 26603 25506 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 25787911 885493760 99155 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26607/tid=26615] ppid=26606 vsize=864740 CPUtime=0
/proc/26607/task/26615/stat : 26615 (java) S 26606 26603 25506 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 25787911 885493760 99155 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 886964
[startup+12.7058 s]
/proc/loadavg: 2.18 2.07 2.01 3/95 26615
/proc/meminfo: memFree=873888/2055920 swapFree=4192812/4192956
[pid=26603] ppid=26601 vsize=16868 CPUtime=0.06
/proc/26603/stat : 26603 (sugar) S 26601 26603 25506 0 -1 4194304 1227 128 0 0 5 1 0 0 19 0 1 0 25787897 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26603/statm: 4217 1111 409 3 0 796 0
[pid=26606] ppid=26603 vsize=5356 CPUtime=0
/proc/26606/stat : 26606 (sh) S 26603 26603 25506 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 25787906 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26606/statm: 1339 233 193 169 0 50 0
[pid=26607] ppid=26606 vsize=864740 CPUtime=12.46
/proc/26607/stat : 26607 (java) S 26606 26603 25506 0 -1 0 119844 0 1 0 1170 76 0 0 18 0 9 0 25787906 885493760 115198 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26607/statm: 216185 115198 2555 9 0 210697 0
[pid=26607/tid=26608] ppid=26606 vsize=864740 CPUtime=9.84
/proc/26607/task/26608/stat : 26608 (java) R 26606 26603 25506 0 -1 64 15892 0 1 0 953 31 0 0 25 0 9 0 25787907 885493760 115198 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26607/tid=26609] ppid=26606 vsize=864740 CPUtime=2.5
/proc/26607/task/26609/stat : 26609 (java) R 26606 26603 25506 0 -1 64 102791 0 0 0 207 43 0 0 16 0 9 0 25787908 885493760 115198 996147200 134512640 134550932 4294955984 18446744073709551615 102709373 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26607/tid=26610] ppid=26606 vsize=864740 CPUtime=0
/proc/26607/task/26610/stat : 26610 (java) S 26606 26603 25506 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 25787908 885493760 115198 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26607/tid=26611] ppid=26606 vsize=864740 CPUtime=0
/proc/26607/task/26611/stat : 26611 (java) S 26606 26603 25506 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 25787908 885493760 115198 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26607/tid=26612] ppid=26606 vsize=864740 CPUtime=0
/proc/26607/task/26612/stat : 26612 (java) S 26606 26603 25506 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 25787911 885493760 115198 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26607/tid=26613] ppid=26606 vsize=864740 CPUtime=0.08
/proc/26607/task/26613/stat : 26613 (java) S 26606 26603 25506 0 -1 64 459 0 0 0 8 0 0 0 17 0 9 0 25787911 885493760 115198 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26607/tid=26614] ppid=26606 vsize=864740 CPUtime=0
/proc/26607/task/26614/stat : 26614 (java) S 26606 26603 25506 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 25787911 885493760 115198 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26607/tid=26615] ppid=26606 vsize=864740 CPUtime=0
/proc/26607/task/26615/stat : 26615 (java) S 26606 26603 25506 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 25787911 885493760 115198 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 886964
[startup+25.5029 s]
/proc/loadavg: 2.14 2.07 2.01 4/95 26625
/proc/meminfo: memFree=1169184/2055920 swapFree=4192812/4192956
[pid=26603] ppid=26601 vsize=16868 CPUtime=17.25
/proc/26603/stat : 26603 (sugar) S 26601 26603 25506 0 -1 4194304 1309 134120 0 1 5 1 1618 101 15 0 1 0 25787897 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26603/statm: 4217 1111 409 3 0 796 0
[pid=26616] ppid=26603 vsize=5356 CPUtime=0
/proc/26616/stat : 26616 (sh) S 26603 26603 25506 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 25789652 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26616/statm: 1339 233 193 169 0 50 0
[pid=26617] ppid=26616 vsize=862284 CPUtime=7.83
/proc/26617/stat : 26617 (java) S 26616 26603 25506 0 -1 0 48809 0 1 0 758 25 0 0 18 0 9 0 25789652 882978816 33744 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26617/statm: 215571 33744 2159 9 0 210484 0
[pid=26617/tid=26618] ppid=26616 vsize=862284 CPUtime=4.93
/proc/26617/task/26618/stat : 26618 (java) R 26616 26603 25506 0 -1 64 3840 0 1 0 489 4 0 0 25 0 9 0 25789653 882978816 33744 996147200 134512640 134550932 4294955936 18446744073709551615 4126424352 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26617/tid=26619] ppid=26616 vsize=862284 CPUtime=2.83
/proc/26617/task/26619/stat : 26619 (java) S 26616 26603 25506 0 -1 64 43956 0 0 0 264 19 0 0 16 0 9 0 25789654 882978816 33744 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26617/tid=26620] ppid=26616 vsize=862284 CPUtime=0
/proc/26617/task/26620/stat : 26620 (java) S 26616 26603 25506 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 25789654 882978816 33744 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26617/tid=26621] ppid=26616 vsize=862284 CPUtime=0
/proc/26617/task/26621/stat : 26621 (java) S 26616 26603 25506 0 -1 64 9 0 0 0 0 0 0 0 15 0 9 0 25789654 882978816 33744 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26617/tid=26622] ppid=26616 vsize=862284 CPUtime=0
/proc/26617/task/26622/stat : 26622 (java) S 26616 26603 25506 0 -1 64 1 0 0 0 0 0 0 0 17 0 9 0 25789660 882978816 33744 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26617/tid=26623] ppid=26616 vsize=862284 CPUtime=0.04
/proc/26617/task/26623/stat : 26623 (java) S 26616 26603 25506 0 -1 64 310 0 0 0 4 0 0 0 16 0 9 0 25789660 882978816 33744 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26617/tid=26624] ppid=26616 vsize=862284 CPUtime=0
/proc/26617/task/26624/stat : 26624 (java) S 26616 26603 25506 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 25789660 882978816 33744 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26617/tid=26625] ppid=26616 vsize=862284 CPUtime=0
/proc/26617/task/26625/stat : 26625 (java) S 26616 26603 25506 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 25789660 882978816 33744 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.08
Current children cumulated vsize (KiB) 884508
[startup+51.1026 s]
/proc/loadavg: 2.32 2.11 2.02 4/95 26625
/proc/meminfo: memFree=757088/2055920 swapFree=4192812/4192956
[pid=26603] ppid=26601 vsize=16868 CPUtime=17.25
/proc/26603/stat : 26603 (sugar) S 26601 26603 25506 0 -1 4194304 1310 134120 0 1 5 1 1618 101 16 0 1 0 25787897 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26603/statm: 4217 1111 409 3 0 796 0
[pid=26616] ppid=26603 vsize=5356 CPUtime=0
/proc/26616/stat : 26616 (sh) S 26603 26603 25506 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 25789652 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26616/statm: 1339 233 193 169 0 50 0
[pid=26617] ppid=26616 vsize=864152 CPUtime=33.19
/proc/26617/stat : 26617 (java) S 26616 26603 25506 0 -1 0 194790 0 1 0 3228 91 0 0 18 0 9 0 25789652 884891648 146298 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26617/statm: 216038 146298 2568 9 0 210543 0
[pid=26617/tid=26618] ppid=26616 vsize=864152 CPUtime=20.05
/proc/26617/task/26618/stat : 26618 (java) R 26616 26603 25506 0 -1 64 8671 0 1 0 1992 13 0 0 25 0 9 0 25789653 884891648 146298 996147200 134512640 134550932 4294955936 18446744073709551615 4126530333 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26617/tid=26619] ppid=26616 vsize=864152 CPUtime=13.06
/proc/26617/task/26619/stat : 26619 (java) S 26616 26603 25506 0 -1 64 185101 0 0 0 1230 76 0 0 16 0 9 0 25789654 884891648 146298 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26617/tid=26620] ppid=26616 vsize=864152 CPUtime=0
/proc/26617/task/26620/stat : 26620 (java) S 26616 26603 25506 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 25789654 884891648 146298 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26617/tid=26621] ppid=26616 vsize=864152 CPUtime=0
/proc/26617/task/26621/stat : 26621 (java) S 26616 26603 25506 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 25789654 884891648 146298 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26617/tid=26622] ppid=26616 vsize=864152 CPUtime=0
/proc/26617/task/26622/stat : 26622 (java) S 26616 26603 25506 0 -1 64 1 0 0 0 0 0 0 0 17 0 9 0 25789660 884891648 146298 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26617/tid=26623] ppid=26616 vsize=864152 CPUtime=0.05
/proc/26617/task/26623/stat : 26623 (java) S 26616 26603 25506 0 -1 64 315 0 0 0 5 0 0 0 16 0 9 0 25789660 884891648 146298 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26617/tid=26624] ppid=26616 vsize=864152 CPUtime=0
/proc/26617/task/26624/stat : 26624 (java) S 26616 26603 25506 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 25789660 884891648 146298 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26617/tid=26625] ppid=26616 vsize=864152 CPUtime=0
/proc/26617/task/26625/stat : 26625 (java) S 26616 26603 25506 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 25789660 884891648 146298 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.44
Current children cumulated vsize (KiB) 886376
[startup+102.308 s]
/proc/loadavg: 2.20 2.12 2.03 5/95 26625
/proc/meminfo: memFree=559328/2055920 swapFree=4192812/4192956
[pid=26603] ppid=26601 vsize=16868 CPUtime=17.25
/proc/26603/stat : 26603 (sugar) S 26601 26603 25506 0 -1 4194304 1310 134120 0 1 5 1 1618 101 16 0 1 0 25787897 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26603/statm: 4217 1111 409 3 0 796 0
[pid=26616] ppid=26603 vsize=5356 CPUtime=0
/proc/26616/stat : 26616 (sh) S 26603 26603 25506 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 25789652 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26616/statm: 1339 233 193 169 0 50 0
[pid=26617] ppid=26616 vsize=868156 CPUtime=83.93
/proc/26617/stat : 26617 (java) S 26616 26603 25506 0 -1 0 386712 0 1 0 8221 172 0 0 18 0 9 0 25789652 888991744 184760 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26617/statm: 217039 184760 2568 9 0 211544 0
[pid=26617/tid=26618] ppid=26616 vsize=868156 CPUtime=22.28
/proc/26617/task/26618/stat : 26618 (java) S 26616 26603 25506 0 -1 64 8688 0 1 0 2215 13 0 0 17 0 9 0 25789653 888991744 184760 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26617/tid=26619] ppid=26616 vsize=868156 CPUtime=61.56
/proc/26617/task/26619/stat : 26619 (java) R 26616 26603 25506 0 -1 64 377003 0 0 0 5999 157 0 0 25 0 9 0 25789654 888991744 184760 996147200 134512640 134550932 4294955936 18446744073709551615 103731813 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26617/tid=26620] ppid=26616 vsize=868156 CPUtime=0
/proc/26617/task/26620/stat : 26620 (java) S 26616 26603 25506 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 25789654 888991744 184760 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26617/tid=26621] ppid=26616 vsize=868156 CPUtime=0
/proc/26617/task/26621/stat : 26621 (java) S 26616 26603 25506 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 25789654 888991744 184760 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26617/tid=26622] ppid=26616 vsize=868156 CPUtime=0
/proc/26617/task/26622/stat : 26622 (java) S 26616 26603 25506 0 -1 64 1 0 0 0 0 0 0 0 17 0 9 0 25789660 888991744 184760 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26617/tid=26623] ppid=26616 vsize=868156 CPUtime=0.05
/proc/26617/task/26623/stat : 26623 (java) S 26616 26603 25506 0 -1 64 318 0 0 0 5 0 0 0 16 0 9 0 25789660 888991744 184760 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26617/tid=26624] ppid=26616 vsize=868156 CPUtime=0
/proc/26617/task/26624/stat : 26624 (java) S 26616 26603 25506 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 25789660 888991744 184760 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26617/tid=26625] ppid=26616 vsize=868156 CPUtime=0
/proc/26617/task/26625/stat : 26625 (java) R 26616 26603 25506 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 25789660 888991744 184760 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.18
Current children cumulated vsize (KiB) 890380
[startup+162.303 s]
/proc/loadavg: 2.13 2.11 2.03 3/95 26625
/proc/meminfo: memFree=538592/2055920 swapFree=4192812/4192956
[pid=26603] ppid=26601 vsize=16868 CPUtime=17.25
/proc/26603/stat : 26603 (sugar) S 26601 26603 25506 0 -1 4194304 1310 134120 0 1 5 1 1618 101 16 0 1 0 25787897 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26603/statm: 4217 1111 409 3 0 796 0
[pid=26616] ppid=26603 vsize=5356 CPUtime=0
/proc/26616/stat : 26616 (sh) S 26603 26603 25506 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 25789652 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26616/statm: 1339 233 193 169 0 50 0
[pid=26617] ppid=26616 vsize=864152 CPUtime=143.37
/proc/26617/stat : 26617 (java) S 26616 26603 25506 0 -1 0 590758 0 1 0 14077 260 0 0 18 0 9 0 25789652 884891648 183759 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26617/statm: 216038 183759 2568 9 0 210543 0
[pid=26617/tid=26618] ppid=26616 vsize=864152 CPUtime=22.29
/proc/26617/task/26618/stat : 26618 (java) S 26616 26603 25506 0 -1 64 8704 0 1 0 2216 13 0 0 17 0 9 0 25789653 884891648 183759 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26617/tid=26619] ppid=26616 vsize=864152 CPUtime=120.99
/proc/26617/task/26619/stat : 26619 (java) R 26616 26603 25506 0 -1 64 581033 0 0 0 11854 245 0 0 25 0 9 0 25789654 884891648 183759 996147200 134512640 134550932 4294955936 18446744073709551615 104190128 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26617/tid=26620] ppid=26616 vsize=864152 CPUtime=0
/proc/26617/task/26620/stat : 26620 (java) S 26616 26603 25506 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 25789654 884891648 183759 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26617/tid=26621] ppid=26616 vsize=864152 CPUtime=0
/proc/26617/task/26621/stat : 26621 (java) S 26616 26603 25506 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 25789654 884891648 183759 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26617/tid=26622] ppid=26616 vsize=864152 CPUtime=0
/proc/26617/task/26622/stat : 26622 (java) S 26616 26603 25506 0 -1 64 1 0 0 0 0 0 0 0 17 0 9 0 25789660 884891648 183759 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26617/tid=26623] ppid=26616 vsize=864152 CPUtime=0.05
/proc/26617/task/26623/stat : 26623 (java) S 26616 26603 25506 0 -1 64 318 0 0 0 5 0 0 0 16 0 9 0 25789660 884891648 183759 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26617/tid=26624] ppid=26616 vsize=864152 CPUtime=0
/proc/26617/task/26624/stat : 26624 (java) S 26616 26603 25506 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 25789660 884891648 183759 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26617/tid=26625] ppid=26616 vsize=864152 CPUtime=0
/proc/26617/task/26625/stat : 26625 (java) S 26616 26603 25506 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 25789660 884891648 183759 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.62
Current children cumulated vsize (KiB) 886376
Solver just ended. Dumping a history of the last processes samples
[startup+162.503 s]
/proc/loadavg: 2.13 2.11 2.03 3/95 26625
/proc/meminfo: memFree=538592/2055920 swapFree=4192812/4192956
[pid=26603] ppid=26601 vsize=16868 CPUtime=17.25
/proc/26603/stat : 26603 (sugar) S 26601 26603 25506 0 -1 4194304 1310 134120 0 1 5 1 1618 101 16 0 1 0 25787897 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26603/statm: 4217 1111 409 3 0 796 0
[pid=26616] ppid=26603 vsize=5356 CPUtime=0
/proc/26616/stat : 26616 (sh) S 26603 26603 25506 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 25789652 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26616/statm: 1339 233 193 169 0 50 0
[pid=26617] ppid=26616 vsize=864152 CPUtime=143.57
/proc/26617/stat : 26617 (java) S 26616 26603 25506 0 -1 0 590758 0 1 0 14097 260 0 0 18 0 9 0 25789652 884891648 183759 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26617/statm: 216038 183759 2568 9 0 210543 0
[pid=26617/tid=26618] ppid=26616 vsize=864152 CPUtime=22.29
/proc/26617/task/26618/stat : 26618 (java) S 26616 26603 25506 0 -1 64 8704 0 1 0 2216 13 0 0 17 0 9 0 25789653 884891648 183759 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26617/tid=26619] ppid=26616 vsize=864152 CPUtime=121.19
/proc/26617/task/26619/stat : 26619 (java) R 26616 26603 25506 0 -1 64 581033 0 0 0 11874 245 0 0 25 0 9 0 25789654 884891648 183759 996147200 134512640 134550932 4294955936 18446744073709551615 102757771 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26617/tid=26620] ppid=26616 vsize=864152 CPUtime=0
/proc/26617/task/26620/stat : 26620 (java) S 26616 26603 25506 0 -1 64 14 0 0 0 0 0 0 0 16 0 9 0 25789654 884891648 183759 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26617/tid=26621] ppid=26616 vsize=864152 CPUtime=0
/proc/26617/task/26621/stat : 26621 (java) S 26616 26603 25506 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 25789654 884891648 183759 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26617/tid=26622] ppid=26616 vsize=864152 CPUtime=0
/proc/26617/task/26622/stat : 26622 (java) S 26616 26603 25506 0 -1 64 1 0 0 0 0 0 0 0 17 0 9 0 25789660 884891648 183759 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26617/tid=26623] ppid=26616 vsize=864152 CPUtime=0.05
/proc/26617/task/26623/stat : 26623 (java) S 26616 26603 25506 0 -1 64 318 0 0 0 5 0 0 0 16 0 9 0 25789660 884891648 183759 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26617/tid=26624] ppid=26616 vsize=864152 CPUtime=0
/proc/26617/task/26624/stat : 26624 (java) S 26616 26603 25506 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 25789660 884891648 183759 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26617/tid=26625] ppid=26616 vsize=864152 CPUtime=0
/proc/26617/task/26625/stat : 26625 (java) S 26616 26603 25506 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 25789660 884891648 183759 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.82
Current children cumulated vsize (KiB) 886376
[startup+162.603 s]
/proc/loadavg: 2.13 2.11 2.03 3/95 26625
/proc/meminfo: memFree=538592/2055920 swapFree=4192812/4192956
[pid=26603] ppid=26601 vsize=16868 CPUtime=17.25
/proc/26603/stat : 26603 (sugar) S 26601 26603 25506 0 -1 4194304 1312 134120 0 1 5 1 1618 101 16 0 1 0 25787897 17272832 1112 996147200 4194304 4206940 548682068608 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/26603/statm: 4217 1112 409 3 0 796 0
[pid=26616] ppid=26603 vsize=5356 CPUtime=0
/proc/26616/stat : 26616 (sh) S 26603 26603 25506 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 25789652 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26616/statm: 1339 233 193 169 0 50 0
[pid=26617] ppid=26616 vsize=0 CPUtime=143.63
/proc/26617/stat : 26617 (java) R 26616 26603 25506 0 -1 1028 590771 0 1 0 14098 265 0 0 17 0 1 0 25789652 0 0 996147200 0 0 0 0 0 0 0 0 16800975 0 0 0 17 1 0 0
/proc/26617/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 160.88
Current children cumulated vsize (KiB) 22224
Child status: 0
Real time (s): 162.699
CPU time (s): 161.017
CPU user time (s): 157.226
CPU system time (s): 3.79042
CPU usage (%): 98.9658
Max. virtual memory (cumulated for all children) (KiB): 915992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 157.226
system time used= 3.79042
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 726574
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6454
involuntary context switches= 10638
runsolver used 0.188971 second user time and 0.571913 second system time
The end
Begin job on node16 at 2009-07-12 10:26:50
IDJOB=2087923
IDBENCH=58823
IDSOLVER=739
FILE ID=node16/2087923-1247387204
PBS_JOBID= 9507244
Free space on /tmp= 66392 MiB
SOLVER NAME= Sugar v1.14.6+minisat
BENCH NAME= CPAI08/csp/dag-rand/normalized-rand-n23-d3-e16-r15-t150000-4.xml
COMMAND LINE= DIR/sugar -c -vv -memlimit=MEMLIMIT -jar="DIR/sugar-v1-14-6.jar" -solver="DIR/minisat" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2087923-1247387204/watcher-2087923-1247387204 -o /tmp/evaluation-result-2087923-1247387204/solver-2087923-1247387204 -C 1800 -W 2000 -M 900 HOME/sugar -c -vv -memlimit=900 -jar="HOME/sugar-v1-14-6.jar" -solver="HOME/minisat" -tmp="HOME/temp" HOME/instance-2087923-1247387204.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= be9fa1828999c0ebaecac9c21804c5a5
RANDOM SEED=687448862
node16.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.231
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.231
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: 1370072 kB
Buffers: 14132 kB
Cached: 181300 kB
SwapCached: 0 kB
Active: 562440 kB
Inactive: 71644 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1370072 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 71828 kB
Writeback: 0 kB
Mapped: 454336 kB
Slab: 36104 kB
Committed_AS: 880720 kB
PageTables: 2660 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= 66392 MiB
End job on node16 at 2009-07-12 10:29:33