0.04 c # Sugar v0-40 (/tmp/evaluation/208077-1170096989/sugar-v0-40.jar)
0.04
0.04 c # MAIN BEGIN : /tmp/evaluation/208077-1170096989/unknown.xml [Mon Jan 29 19:56:32 2007]
0.04 c # CONVERT_XML BEGIN : /tmp/evaluation/208077-1170096989/unknown.xml /tmp/evaluation/208077-1170096989/sugar22983.csp [Mon Jan 29 19:56:32 2007]
0.04 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/208077-1170096989/sugar-v0-40.jar -convert /tmp/evaluation/208077-1170096989/unknown.xml /tmp/evaluation/208077-1170096989/sugar22983.csp
0.15 c BEGIN convert /tmp/evaluation/208077-1170096989/unknown.xml
0.71 c END convert (0.55698 seconds)
0.74 c # CONVERT_XML END : /tmp/evaluation/208077-1170096989/sugar22983.csp 1635714 bytes (1 seconds) [Mon Jan 29 19:56:33 2007]
0.74 c # CONVERT_XML CPU : 0 = 0 + 0 + 0 + 0
0.74
0.74 c # GENERATE_SAT BEGIN : /tmp/evaluation/208077-1170096989/sugar22983.bcnf [Mon Jan 29 19:56:33 2007]
0.74 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/208077-1170096989/sugar-v0-40.jar -bcnf -map /tmp/evaluation/208077-1170096989/sugar22983.map /tmp/evaluation/208077-1170096989/sugar22983.csp /tmp/evaluation/208077-1170096989/sugar22983.bcnf
0.85 c BEGIN parse /tmp/evaluation/208077-1170096989/sugar22983.csp
6.90 c END parse (6.044626 seconds)
6.90 c BEGIN simplify
6.93 c END simplify (0.027663 seconds)
6.93 c BEGIN encode /tmp/evaluation/208077-1170096989/sugar22983.bcnf
7.22 c END encode (0.296832 seconds)
7.28 c # GENERATE_SAT END : 650 variables 50999 clauses 983740 bytes (6 seconds) [Mon Jan 29 19:56:39 2007]
7.28 c # GENERATE_SAT CPU : 0 = 0 + 0 + 0 + 0
7.28
7.28 c # SOLVE_SAT BEGIN : /tmp/evaluation/208077-1170096989/sugar22983.bcnf [Mon Jan 29 19:56:39 2007]
7.28 c # CMD : /tmp/evaluation/208077-1170096989/minisat /tmp/evaluation/208077-1170096989/sugar22983.bcnf /tmp/evaluation/208077-1170096989/sugar22983.out
7.31 c ==================================[MINISAT]===================================
7.31 c | Conflicts | ORIGINAL | LEARNT | Progress |
7.31 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
7.31 c ==============================================================================
7.31 c | 0 | 50999 194930 | 16999 0 0 nan | 0.000 % |
7.33 c | 100 | 50999 194930 | 18698 100 942 9.4 | 0.000 % |
7.37 c | 250 | 50999 194930 | 20568 250 2264 9.1 | 0.010 % |
7.42 c | 475 | 50999 194930 | 22625 475 4088 8.6 | 0.009 % |
7.49 c | 813 | 50999 194930 | 24888 813 7714 9.5 | 0.009 % |
7.61 c | 1319 | 50999 194930 | 27377 1319 12601 9.6 | 0.009 % |
7.78 c | 2078 | 50999 194930 | 30114 2078 20188 9.7 | 0.009 % |
8.04 c | 3217 | 50999 194930 | 33126 3217 31939 9.9 | 0.006 % |
8.51 c | 4925 | 50999 194930 | 36438 4925 50067 10.2 | 0.010 % |
9.22 c | 7487 | 51000 194930 | 40082 7486 79970 10.7 | 0.010 % |
10.24 c | 11332 | 51000 194930 | 44091 11331 125475 11.1 | 0.008 % |
12.00 c | 17098 | 51001 194930 | 48500 17096 198323 11.6 | 0.008 % |
15.33 c | 25748 | 51002 194930 | 53350 25745 315453 12.3 | 0.010 % |
20.57 c | 38723 | 51006 194930 | 58685 38716 489653 12.6 | 0.008 % |
31.08 c | 58185 | 51014 194930 | 64553 58170 755986 13.0 | 0.008 % |
44.95 c | 87377 | 51016 194930 | 71009 36555 478230 13.1 | 0.010 % |
72.45 c | 131166 | 51019 194930 | 78109 25340 323191 12.8 | 0.010 % |
114.12 c | 196852 | 51026 194930 | 85920 25944 349165 13.5 | 0.010 % |
179.49 c | 295378 | 51030 194930 | 94513 54259 797583 14.7 | 0.009 % |
283.64 c | 443167 | 51037 194930 | 103964 45437 676707 14.9 | 0.009 % |
463.19 c | 664850 | 51045 194930 | 114360 92066 1330954 14.5 | 0.006 % |
732.66 c | 997375 | 51065 194930 | 125796 32292 511427 15.8 | 0.010 % |
1186.88 c | 1496163 | 51074 194930 | 138376 95646 1614954 16.9 | 0.003 % |
1816.32 s UNKNOWN
1816.32 c # ERROR No such file or directory /tmp/evaluation/208077-1170096989/sugar22983.out, at /tmp/evaluation/208077-1170096989/sugar line 393.
1816.32
1816.32
1816.32 s UNKNOWN
1816.32 c # INTERRUPTED
1816.32 c # MAIN END : (1816 seconds) [Mon Jan 29 20:26:48 2007]
1816.32 c # MAIN CPU : 1792.92 = 0 + 0 + 1792.51 + 0.41
1816.32
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node71/watcher-208077-1170096989 -o ROOT/results/node71/solver-208077-1170096989 -C 1800 -M 900 /tmp/evaluation/208077-1170096989/solver /tmp/evaluation/208077-1170096989 /tmp/evaluation/208077-1170096989/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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
/proc/loadavg: 1.53 1.73 2.09 5/69 22984
/proc/meminfo: memFree=1488168/2055920 swapFree=4192956/4192956
[pid=22983] ppid=22981 vsize=18540 CPUtime=0
/proc/22983/stat : 22983 (runsolver) R 22981 22983 22663 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 29656984 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 231962373415 0 0 4096 24578 0 0 0 17 1 0 0
/proc/22983/statm: 4635 279 244 17 0 2626 0
[startup+0.103035 s]
/proc/loadavg: 1.53 1.73 2.09 5/69 22984
/proc/meminfo: memFree=1488168/2055920 swapFree=4192956/4192956
[pid=22983] ppid=22981 vsize=13724 CPUtime=0.03
/proc/22983/stat : 22983 (sugar) S 22981 22983 22663 0 -1 4194304 1112 0 0 0 3 0 0 0 19 0 1 0 29656984 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22983/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.513118 s]
/proc/loadavg: 1.53 1.73 2.09 5/69 22984
/proc/meminfo: memFree=1488168/2055920 swapFree=4192956/4192956
[pid=22983] ppid=22981 vsize=13724 CPUtime=0.03
/proc/22983/stat : 22983 (sugar) S 22981 22983 22663 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 29656984 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22983/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.3343 s]
/proc/loadavg: 1.49 1.71 2.08 2/77 23000
/proc/meminfo: memFree=1466408/2055920 swapFree=4192956/4192956
[pid=22983] ppid=22981 vsize=13724 CPUtime=0.03
/proc/22983/stat : 22983 (sugar) S 22981 22983 22663 0 -1 4194304 1188 0 0 0 3 0 0 0 16 0 1 0 29656984 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22983/statm: 3431 808 370 3 0 531 0
[pid=22985] ppid=22983 vsize=0 CPUtime=0.65
/proc/22985/stat : 22985 (java) Z 22983 22983 22663 0 -1 1036 7673 0 1 0 61 4 0 0 16 0 1 0 29656989 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22985/statm: 0 0 0 0 0 0 0
[pid=22993] ppid=22983 vsize=807064 CPUtime=0.57
/proc/22993/stat : 22993 (java) R 22983 22983 22663 0 -1 0 7733 0 1 0 55 2 0 0 17 0 8 0 29657059 826433536 7481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073503670 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22993/statm: 201766 7481 1494 14 0 189044 0
[pid=22993/tid=22994] ppid=22983 vsize=807064 CPUtime=0.08
/proc/22993/task/22994/stat : 22994 (java) S 22983 22983 22663 0 -1 64 1681 0 0 0 8 0 0 0 17 0 8 0 29657062 826433536 7481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22993/tid=22995] ppid=22983 vsize=807064 CPUtime=0
/proc/22993/task/22995/stat : 22995 (java) S 22983 22983 22663 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 29657062 826433536 7481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22993/tid=22996] ppid=22983 vsize=807064 CPUtime=0
/proc/22993/task/22996/stat : 22996 (java) S 22983 22983 22663 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29657062 826433536 7481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22993/tid=22997] ppid=22983 vsize=807064 CPUtime=0
/proc/22993/task/22997/stat : 22997 (java) S 22983 22983 22663 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 29657065 826433536 7481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22993/tid=22998] ppid=22983 vsize=807064 CPUtime=0.04
/proc/22993/task/22998/stat : 22998 (java) S 22983 22983 22663 0 -1 64 292 0 0 0 4 0 0 0 16 0 8 0 29657065 826433536 7481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22993/tid=22999] ppid=22983 vsize=807064 CPUtime=0
/proc/22993/task/22999/stat : 22999 (java) S 22983 22983 22663 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 29657065 826433536 7481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22993/tid=23000] ppid=22983 vsize=807064 CPUtime=0
/proc/22993/task/23000/stat : 23000 (java) S 22983 22983 22663 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29657065 826433536 7481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 820788
[startup+2.97865 s]
/proc/loadavg: 1.49 1.71 2.08 2/77 23002
/proc/meminfo: memFree=1445992/2055920 swapFree=4192956/4192956
[pid=22983] ppid=22981 vsize=13724 CPUtime=0.03
/proc/22983/stat : 22983 (sugar) S 22981 22983 22663 0 -1 4194304 1188 0 0 0 3 0 0 0 16 0 1 0 29656984 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22983/statm: 3431 808 370 3 0 531 0
[pid=22985] ppid=22983 vsize=0 CPUtime=0.65
/proc/22985/stat : 22985 (java) Z 22983 22983 22663 0 -1 1036 7673 0 1 0 61 4 0 0 16 0 1 0 29656989 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22985/statm: 0 0 0 0 0 0 0
[pid=22993] ppid=22983 vsize=807336 CPUtime=2.22
/proc/22993/stat : 22993 (java) R 22983 22983 22663 0 -1 0 13833 0 1 0 217 5 0 0 16 0 8 0 29657059 826712064 13567 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073582304 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22993/statm: 201834 13567 1506 14 0 189112 0
[pid=22993/tid=22994] ppid=22983 vsize=807336 CPUtime=0.52
/proc/22993/task/22994/stat : 22994 (java) S 22983 22983 22663 0 -1 64 7635 0 0 0 50 2 0 0 16 0 8 0 29657062 826712064 13567 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22993/tid=22995] ppid=22983 vsize=807336 CPUtime=0
/proc/22993/task/22995/stat : 22995 (java) S 22983 22983 22663 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 29657062 826712064 13567 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22993/tid=22996] ppid=22983 vsize=807336 CPUtime=0
/proc/22993/task/22996/stat : 22996 (java) S 22983 22983 22663 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29657062 826712064 13567 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22993/tid=22997] ppid=22983 vsize=807336 CPUtime=0
/proc/22993/task/22997/stat : 22997 (java) S 22983 22983 22663 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 29657065 826712064 13567 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22993/tid=22998] ppid=22983 vsize=807336 CPUtime=0.11
/proc/22993/task/22998/stat : 22998 (java) S 22983 22983 22663 0 -1 64 399 0 0 0 11 0 0 0 16 0 8 0 29657065 826712064 13567 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22993/tid=22999] ppid=22983 vsize=807336 CPUtime=0
/proc/22993/task/22999/stat : 22999 (java) S 22983 22983 22663 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 29657065 826712064 13567 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22993/tid=23000] ppid=22983 vsize=807336 CPUtime=0
/proc/22993/task/23000/stat : 23000 (java) S 22983 22983 22663 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29657065 826712064 13567 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 821060
[startup+6.28038 s]
/proc/loadavg: 1.49 1.71 2.08 3/90 23053
/proc/meminfo: memFree=1376960/2055920 swapFree=4192956/4192956
[pid=22983] ppid=22981 vsize=13724 CPUtime=0.03
/proc/22983/stat : 22983 (sugar) S 22981 22983 22663 0 -1 4194304 1188 0 0 0 3 0 0 0 16 0 1 0 29656984 14053376 808 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22983/statm: 3431 808 370 3 0 531 0
[pid=22985] ppid=22983 vsize=0 CPUtime=0.65
/proc/22985/stat : 22985 (java) Z 22983 22983 22663 0 -1 1036 7673 0 1 0 61 4 0 0 16 0 1 0 29656989 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22985/statm: 0 0 0 0 0 0 0
[pid=22993] ppid=22983 vsize=807336 CPUtime=5.51
/proc/22993/stat : 22993 (java) R 22983 22983 22663 0 -1 0 21235 0 1 0 543 8 0 0 16 0 8 0 29657059 826712064 20937 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073742755 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22993/statm: 201834 20937 1506 14 0 189112 0
[pid=22993/tid=22994] ppid=22983 vsize=807336 CPUtime=0.92
/proc/22993/task/22994/stat : 22994 (java) S 22983 22983 22663 0 -1 64 15004 0 0 0 87 5 0 0 16 0 8 0 29657062 826712064 20937 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22993/tid=22995] ppid=22983 vsize=807336 CPUtime=0
/proc/22993/task/22995/stat : 22995 (java) S 22983 22983 22663 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 29657062 826712064 20937 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22993/tid=22996] ppid=22983 vsize=807336 CPUtime=0
/proc/22993/task/22996/stat : 22996 (java) S 22983 22983 22663 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 29657062 826712064 20937 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22993/tid=22997] ppid=22983 vsize=807336 CPUtime=0
/proc/22993/task/22997/stat : 22997 (java) S 22983 22983 22663 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 29657065 826712064 20937 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22993/tid=22998] ppid=22983 vsize=807336 CPUtime=0.11
/proc/22993/task/22998/stat : 22998 (java) S 22983 22983 22663 0 -1 64 400 0 0 0 11 0 0 0 16 0 8 0 29657065 826712064 20937 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22993/tid=22999] ppid=22983 vsize=807336 CPUtime=0
/proc/22993/task/22999/stat : 22999 (java) S 22983 22983 22663 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 29657065 826712064 20937 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22993/tid=23000] ppid=22983 vsize=807336 CPUtime=0
/proc/22993/task/23000/stat : 23000 (java) S 22983 22983 22663 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 29657065 826712064 20937 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 821060
[startup+12.7538 s]
/proc/loadavg: 1.64 1.74 2.09 3/84 23054
/proc/meminfo: memFree=1292672/2055920 swapFree=4192956/4192956
[pid=22983] ppid=22981 vsize=13724 CPUtime=0.03
/proc/22983/stat : 22983 (sugar) S 22981 22983 22663 0 -1 4194304 1275 0 0 0 3 0 0 0 16 0 1 0 29656984 14053376 814 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22983/statm: 3431 814 372 3 0 531 0
[pid=22985] ppid=22983 vsize=0 CPUtime=0.65
/proc/22985/stat : 22985 (java) Z 22983 22983 22663 0 -1 1036 7673 0 1 0 61 4 0 0 16 0 1 0 29656989 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22985/statm: 0 0 0 0 0 0 0
[pid=22993] ppid=22983 vsize=0 CPUtime=6.47
/proc/22993/stat : 22993 (java) Z 22983 22983 22663 0 -1 1036 24316 0 1 0 635 12 0 0 15 0 1 0 29657059 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22993/statm: 0 0 0 0 0 0 0
[pid=23054] ppid=22983 vsize=5404 CPUtime=5.4
/proc/23054/stat : 23054 (minisat) R 22983 22983 22663 0 -1 0 1237 0 0 0 540 0 0 0 25 0 1 0 29657712 5533696 984 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23054/statm: 1351 984 51 112 0 1235 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 19128
[startup+25.6096 s]
/proc/loadavg: 1.70 1.75 2.09 3/77 23055
/proc/meminfo: memFree=1458808/2055920 swapFree=4192956/4192956
[pid=22983] ppid=22981 vsize=13724 CPUtime=0.03
/proc/22983/stat : 22983 (sugar) S 22981 22983 22663 0 -1 4194304 1275 0 0 0 3 0 0 0 16 0 1 0 29656984 14053376 814 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22983/statm: 3431 814 372 3 0 531 0
[pid=22985] ppid=22983 vsize=0 CPUtime=0.65
/proc/22985/stat : 22985 (java) Z 22983 22983 22663 0 -1 1036 7673 0 1 0 61 4 0 0 16 0 1 0 29656989 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22985/statm: 0 0 0 0 0 0 0
[pid=22993] ppid=22983 vsize=0 CPUtime=6.47
/proc/22993/stat : 22993 (java) Z 22983 22983 22663 0 -1 1036 24316 0 1 0 635 12 0 0 15 0 1 0 29657059 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22993/statm: 0 0 0 0 0 0 0
[pid=23054] ppid=22983 vsize=8052 CPUtime=18.15
/proc/23054/stat : 23054 (minisat) R 22983 22983 22663 0 -1 0 1886 0 0 0 1814 1 0 0 25 0 1 0 29657712 8245248 1633 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528340 0 0 4096 3 0 0 0 17 0 0 0
/proc/23054/statm: 2013 1633 51 112 0 1897 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 21776
[startup+51.3092 s]
/proc/loadavg: 1.80 1.77 2.08 3/77 23055
/proc/meminfo: memFree=1453240/2055920 swapFree=4192956/4192956
[pid=22983] ppid=22981 vsize=13724 CPUtime=0.03
/proc/22983/stat : 22983 (sugar) S 22981 22983 22663 0 -1 4194304 1275 0 0 0 3 0 0 0 16 0 1 0 29656984 14053376 814 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22983/statm: 3431 814 372 3 0 531 0
[pid=22985] ppid=22983 vsize=0 CPUtime=0.65
/proc/22985/stat : 22985 (java) Z 22983 22983 22663 0 -1 1036 7673 0 1 0 61 4 0 0 16 0 1 0 29656989 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22985/statm: 0 0 0 0 0 0 0
[pid=22993] ppid=22983 vsize=0 CPUtime=6.47
/proc/22993/stat : 22993 (java) Z 22983 22983 22663 0 -1 1036 24316 0 1 0 635 12 0 0 15 0 1 0 29657059 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22993/statm: 0 0 0 0 0 0 0
[pid=23054] ppid=22983 vsize=9520 CPUtime=43.62
/proc/23054/stat : 23054 (minisat) R 22983 22983 22663 0 -1 0 2261 0 0 0 4360 2 0 0 25 0 1 0 29657712 9748480 2008 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528416 0 0 4096 3 0 0 0 17 0 0 0
/proc/23054/statm: 2380 2008 51 112 0 2264 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 23244
[startup+102.605 s]
/proc/loadavg: 1.92 1.80 2.08 3/77 23055
/proc/meminfo: memFree=1446328/2055920 swapFree=4192956/4192956
[pid=22983] ppid=22981 vsize=13724 CPUtime=0.03
/proc/22983/stat : 22983 (sugar) S 22981 22983 22663 0 -1 4194304 1275 0 0 0 3 0 0 0 16 0 1 0 29656984 14053376 814 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22983/statm: 3431 814 372 3 0 531 0
[pid=22985] ppid=22983 vsize=0 CPUtime=0.65
/proc/22985/stat : 22985 (java) Z 22983 22983 22663 0 -1 1036 7673 0 1 0 61 4 0 0 16 0 1 0 29656989 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22985/statm: 0 0 0 0 0 0 0
[pid=22993] ppid=22983 vsize=0 CPUtime=6.47
/proc/22993/stat : 22993 (java) Z 22983 22983 22663 0 -1 1036 24316 0 1 0 635 12 0 0 15 0 1 0 29657059 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22993/statm: 0 0 0 0 0 0 0
[pid=23054] ppid=22983 vsize=11408 CPUtime=94.46
/proc/23054/stat : 23054 (minisat) R 22983 22983 22663 0 -1 0 2725 0 0 0 9444 2 0 0 25 0 1 0 29657712 11681792 2472 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528559 0 0 4096 3 0 0 0 17 0 0 0
/proc/23054/statm: 2852 2472 51 112 0 2736 0
Current children cumulated CPU time (s) 101.61
Current children cumulated vsize (KiB) 25132
[startup+162.636 s]
/proc/loadavg: 1.97 1.84 2.07 3/77 23055
/proc/meminfo: memFree=1444088/2055920 swapFree=4192956/4192956
[pid=22983] ppid=22981 vsize=13724 CPUtime=0.03
/proc/22983/stat : 22983 (sugar) S 22981 22983 22663 0 -1 4194304 1275 0 0 0 3 0 0 0 16 0 1 0 29656984 14053376 814 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22983/statm: 3431 814 372 3 0 531 0
[pid=22985] ppid=22983 vsize=0 CPUtime=0.65
################
# More data... #
################
/proc/22985/stat : 22985 (java) Z 22983 22983 22663 0 -1 1036 7673 0 1 0 61 4 0 0 16 0 1 0 29656989 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22985/statm: 0 0 0 0 0 0 0
[pid=22993] ppid=22983 vsize=0 CPUtime=6.47
/proc/22993/stat : 22993 (java) Z 22983 22983 22663 0 -1 1036 24316 0 1 0 635 12 0 0 15 0 1 0 29657059 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22993/statm: 0 0 0 0 0 0 0
[pid=23054] ppid=22983 vsize=28448 CPUtime=1343.89
/proc/23054/stat : 23054 (minisat) R 22983 22983 22663 0 -1 0 6779 0 0 0 134353 36 0 0 25 0 1 0 29657712 29130752 6510 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528771 0 0 4096 3 0 0 0 17 0 0 0
/proc/23054/statm: 7112 6510 51 112 0 6996 0
Current children cumulated CPU time (s) 1351.04
Current children cumulated vsize (KiB) 42172
[startup+1423.35 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 23253
/proc/meminfo: memFree=1403640/2055920 swapFree=4192956/4192956
[pid=22983] ppid=22981 vsize=13724 CPUtime=0.03
/proc/22983/stat : 22983 (sugar) S 22981 22983 22663 0 -1 4194304 1275 0 0 0 3 0 0 0 16 0 1 0 29656984 14053376 814 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22983/statm: 3431 814 372 3 0 531 0
[pid=22985] ppid=22983 vsize=0 CPUtime=0.65
/proc/22985/stat : 22985 (java) Z 22983 22983 22663 0 -1 1036 7673 0 1 0 61 4 0 0 16 0 1 0 29656989 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22985/statm: 0 0 0 0 0 0 0
[pid=22993] ppid=22983 vsize=0 CPUtime=6.47
/proc/22993/stat : 22993 (java) Z 22983 22983 22663 0 -1 1036 24316 0 1 0 635 12 0 0 15 0 1 0 29657059 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22993/statm: 0 0 0 0 0 0 0
[pid=23054] ppid=22983 vsize=28656 CPUtime=1403.41
/proc/23054/stat : 23054 (minisat) R 22983 22983 22663 0 -1 0 6824 0 0 0 140304 37 0 0 25 0 1 0 29657712 29343744 6555 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23054/statm: 7164 6555 51 112 0 7048 0
Current children cumulated CPU time (s) 1410.56
Current children cumulated vsize (KiB) 42380
[startup+1483.38 s]
/proc/loadavg: 2.00 2.00 2.00 4/77 23253
/proc/meminfo: memFree=1403000/2055920 swapFree=4192956/4192956
[pid=22983] ppid=22981 vsize=13724 CPUtime=0.03
/proc/22983/stat : 22983 (sugar) S 22981 22983 22663 0 -1 4194304 1275 0 0 0 3 0 0 0 16 0 1 0 29656984 14053376 814 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22983/statm: 3431 814 372 3 0 531 0
[pid=22985] ppid=22983 vsize=0 CPUtime=0.65
/proc/22985/stat : 22985 (java) Z 22983 22983 22663 0 -1 1036 7673 0 1 0 61 4 0 0 16 0 1 0 29656989 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22985/statm: 0 0 0 0 0 0 0
[pid=22993] ppid=22983 vsize=0 CPUtime=6.47
/proc/22993/stat : 22993 (java) Z 22983 22983 22663 0 -1 1036 24316 0 1 0 635 12 0 0 15 0 1 0 29657059 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22993/statm: 0 0 0 0 0 0 0
[pid=23054] ppid=22983 vsize=29256 CPUtime=1462.88
/proc/23054/stat : 23054 (minisat) R 22983 22983 22663 0 -1 0 6976 0 0 0 146251 37 0 0 25 0 1 0 29657712 29958144 6707 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528786 0 0 4096 3 0 0 0 17 0 0 0
/proc/23054/statm: 7314 6707 51 112 0 7198 0
Current children cumulated CPU time (s) 1470.03
Current children cumulated vsize (KiB) 42980
[startup+1543.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 23253
/proc/meminfo: memFree=1402680/2055920 swapFree=4192956/4192956
[pid=22983] ppid=22981 vsize=13724 CPUtime=0.03
/proc/22983/stat : 22983 (sugar) S 22981 22983 22663 0 -1 4194304 1275 0 0 0 3 0 0 0 16 0 1 0 29656984 14053376 814 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22983/statm: 3431 814 372 3 0 531 0
[pid=22985] ppid=22983 vsize=0 CPUtime=0.65
/proc/22985/stat : 22985 (java) Z 22983 22983 22663 0 -1 1036 7673 0 1 0 61 4 0 0 16 0 1 0 29656989 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22985/statm: 0 0 0 0 0 0 0
[pid=22993] ppid=22983 vsize=0 CPUtime=6.47
/proc/22993/stat : 22993 (java) Z 22983 22983 22663 0 -1 1036 24316 0 1 0 635 12 0 0 15 0 1 0 29657059 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22993/statm: 0 0 0 0 0 0 0
[pid=23054] ppid=22983 vsize=29576 CPUtime=1522.39
/proc/23054/stat : 23054 (minisat) R 22983 22983 22663 0 -1 0 7063 0 0 0 152201 38 0 0 25 0 1 0 29657712 30285824 6794 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23054/statm: 7394 6794 51 112 0 7278 0
Current children cumulated CPU time (s) 1529.54
Current children cumulated vsize (KiB) 43300
[startup+1603.43 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 23253
/proc/meminfo: memFree=1402552/2055920 swapFree=4192956/4192956
[pid=22983] ppid=22981 vsize=13724 CPUtime=0.03
/proc/22983/stat : 22983 (sugar) S 22981 22983 22663 0 -1 4194304 1275 0 0 0 3 0 0 0 16 0 1 0 29656984 14053376 814 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22983/statm: 3431 814 372 3 0 531 0
[pid=22985] ppid=22983 vsize=0 CPUtime=0.65
/proc/22985/stat : 22985 (java) Z 22983 22983 22663 0 -1 1036 7673 0 1 0 61 4 0 0 16 0 1 0 29656989 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22985/statm: 0 0 0 0 0 0 0
[pid=22993] ppid=22983 vsize=0 CPUtime=6.47
/proc/22993/stat : 22993 (java) Z 22983 22983 22663 0 -1 1036 24316 0 1 0 635 12 0 0 15 0 1 0 29657059 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22993/statm: 0 0 0 0 0 0 0
[pid=23054] ppid=22983 vsize=29756 CPUtime=1581.89
/proc/23054/stat : 23054 (minisat) R 22983 22983 22663 0 -1 0 7091 0 0 0 158151 38 0 0 25 0 1 0 29657712 30470144 6822 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23054/statm: 7439 6822 51 112 0 7323 0
Current children cumulated CPU time (s) 1589.04
Current children cumulated vsize (KiB) 43480
[startup+1663.46 s]
/proc/loadavg: 2.03 2.01 2.00 3/77 23253
/proc/meminfo: memFree=1402232/2055920 swapFree=4192956/4192956
[pid=22983] ppid=22981 vsize=13724 CPUtime=0.03
/proc/22983/stat : 22983 (sugar) S 22981 22983 22663 0 -1 4194304 1275 0 0 0 3 0 0 0 16 0 1 0 29656984 14053376 814 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22983/statm: 3431 814 372 3 0 531 0
[pid=22985] ppid=22983 vsize=0 CPUtime=0.65
/proc/22985/stat : 22985 (java) Z 22983 22983 22663 0 -1 1036 7673 0 1 0 61 4 0 0 16 0 1 0 29656989 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22985/statm: 0 0 0 0 0 0 0
[pid=22993] ppid=22983 vsize=0 CPUtime=6.47
/proc/22993/stat : 22993 (java) Z 22983 22983 22663 0 -1 1036 24316 0 1 0 635 12 0 0 15 0 1 0 29657059 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22993/statm: 0 0 0 0 0 0 0
[pid=23054] ppid=22983 vsize=30040 CPUtime=1641.37
/proc/23054/stat : 23054 (minisat) R 22983 22983 22663 0 -1 0 7171 0 0 0 164099 38 0 0 25 0 1 0 29657712 30760960 6902 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23054/statm: 7510 6902 51 112 0 7394 0
Current children cumulated CPU time (s) 1648.52
Current children cumulated vsize (KiB) 43764
[startup+1723.5 s]
/proc/loadavg: 2.07 2.02 2.00 3/77 23253
/proc/meminfo: memFree=1402168/2055920 swapFree=4192956/4192956
[pid=22983] ppid=22981 vsize=13724 CPUtime=0.03
/proc/22983/stat : 22983 (sugar) S 22981 22983 22663 0 -1 4194304 1275 0 0 0 3 0 0 0 16 0 1 0 29656984 14053376 814 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22983/statm: 3431 814 372 3 0 531 0
[pid=22985] ppid=22983 vsize=0 CPUtime=0.65
/proc/22985/stat : 22985 (java) Z 22983 22983 22663 0 -1 1036 7673 0 1 0 61 4 0 0 16 0 1 0 29656989 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22985/statm: 0 0 0 0 0 0 0
[pid=22993] ppid=22983 vsize=0 CPUtime=6.47
/proc/22993/stat : 22993 (java) Z 22983 22983 22663 0 -1 1036 24316 0 1 0 635 12 0 0 15 0 1 0 29657059 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22993/statm: 0 0 0 0 0 0 0
[pid=23054] ppid=22983 vsize=30208 CPUtime=1700.89
/proc/23054/stat : 23054 (minisat) R 22983 22983 22663 0 -1 0 7184 0 0 0 170050 39 0 0 25 0 1 0 29657712 30932992 6915 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528426 0 0 4096 3 0 0 0 17 0 0 0
/proc/23054/statm: 7552 6915 51 112 0 7436 0
Current children cumulated CPU time (s) 1708.04
Current children cumulated vsize (KiB) 43932
[startup+1783.53 s]
/proc/loadavg: 2.02 2.02 2.00 3/77 23253
/proc/meminfo: memFree=1401784/2055920 swapFree=4192956/4192956
[pid=22983] ppid=22981 vsize=13724 CPUtime=0.03
/proc/22983/stat : 22983 (sugar) S 22981 22983 22663 0 -1 4194304 1275 0 0 0 3 0 0 0 16 0 1 0 29656984 14053376 814 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22983/statm: 3431 814 372 3 0 531 0
[pid=22985] ppid=22983 vsize=0 CPUtime=0.65
/proc/22985/stat : 22985 (java) Z 22983 22983 22663 0 -1 1036 7673 0 1 0 61 4 0 0 16 0 1 0 29656989 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22985/statm: 0 0 0 0 0 0 0
[pid=22993] ppid=22983 vsize=0 CPUtime=6.47
/proc/22993/stat : 22993 (java) Z 22983 22983 22663 0 -1 1036 24316 0 1 0 635 12 0 0 15 0 1 0 29657059 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22993/statm: 0 0 0 0 0 0 0
[pid=23054] ppid=22983 vsize=30504 CPUtime=1760.42
/proc/23054/stat : 23054 (minisat) R 22983 22983 22663 0 -1 0 7282 0 0 0 176003 39 0 0 25 0 1 0 29657712 31236096 7013 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528771 0 0 4096 3 0 0 0 17 0 0 0
/proc/23054/statm: 7626 7013 51 112 0 7510 0
Current children cumulated CPU time (s) 1767.57
Current children cumulated vsize (KiB) 44228
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1816.31 s]
/proc/loadavg: 1.94 2.00 1.99 3/84 23317
/proc/meminfo: memFree=1418752/2055920 swapFree=4192956/4192956
[pid=22983] ppid=22981 vsize=13724 CPUtime=0.03
/proc/22983/stat : 22983 (sugar) S 22981 22983 22663 0 -1 4194304 1275 0 0 0 3 0 0 0 16 0 1 0 29656984 14053376 814 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 231971270754 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22983/statm: 3431 814 372 3 0 531 0
[pid=22985] ppid=22983 vsize=0 CPUtime=0.65
/proc/22985/stat : 22985 (java) Z 22983 22983 22663 0 -1 1036 7673 0 1 0 61 4 0 0 16 0 1 0 29656989 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22985/statm: 0 0 0 0 0 0 0
[pid=22993] ppid=22983 vsize=0 CPUtime=6.47
/proc/22993/stat : 22993 (java) Z 22983 22983 22663 0 -1 1036 24316 0 1 0 635 12 0 0 15 0 1 0 29657059 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/22993/statm: 0 0 0 0 0 0 0
[pid=23054] ppid=22983 vsize=30640 CPUtime=1792.92
/proc/23054/stat : 23054 (minisat) R 22983 22983 22663 0 -1 0 7311 0 0 0 179251 41 0 0 25 0 1 0 29657712 31375360 7042 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23054/statm: 7660 7042 51 112 0 7544 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 44364
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 22983 and gives childrusage.ru_utime.tv_sec=1792 childrusage.ru_utime.tv_usec=550490 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=427934
CPU time returned by wait4() is 1792.98
while last known CPU time is 1800.07
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1816.32
CPU time (s): 1800.07
CPU user time (s): 1799.5
CPU system time (s): 0.57
CPU usage (%): 99.1052
Max. virtual memory (cumulated for all children) (KiB): 821060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.55
system time used= 0.427934
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8676
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55
involuntary context switches= 38553
runsolver used 1.91971 s user time and 5.2492 s system time
The end
Begin job on node71 on Mon Jan 29 18:56:30 UTC 2007
IDJOB= 208077
IDBENCH= 4351
IDSOLVER= 86
FILE ID= node71/208077-1170096989
PBS_JOBID= 3689675
Free space on /tmp= 66564 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-26/rand-26-26-325-155-52021_ext.xml
COMMAND LINE= /tmp/evaluation/208077-1170096989/solver /tmp/evaluation/208077-1170096989 /tmp/evaluation/208077-1170096989/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node71/watcher-208077-1170096989 -o ROOT/results/node71/solver-208077-1170096989 -C 1800 -M 900 /tmp/evaluation/208077-1170096989/solver /tmp/evaluation/208077-1170096989 /tmp/evaluation/208077-1170096989/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= a57ec15bafd5ffbff94448e8ac1f288e
RANDOM SEED= 826313060
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/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.266
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.266
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: 1489552 kB
Buffers: 52316 kB
Cached: 420216 kB
SwapCached: 0 kB
Active: 177828 kB
Inactive: 315580 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1489552 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 1264 kB
Writeback: 0 kB
Mapped: 31052 kB
Slab: 58668 kB
Committed_AS: 268988 kB
PageTables: 1660 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= 66562 MiB
End job on node71 on Mon Jan 29 19:26:48 UTC 2007