0.04 c # Sugar v0-40 (/tmp/evaluation/194293-1170090241/sugar-v0-40.jar)
0.04
0.04 c # MAIN BEGIN : /tmp/evaluation/194293-1170090241/unknown.xml [Mon Jan 29 18:04:04 2007]
0.04 c # CONVERT_XML BEGIN : /tmp/evaluation/194293-1170090241/unknown.xml /tmp/evaluation/194293-1170090241/sugar23381.csp [Mon Jan 29 18:04:04 2007]
0.04 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/194293-1170090241/sugar-v0-40.jar -convert /tmp/evaluation/194293-1170090241/unknown.xml /tmp/evaluation/194293-1170090241/sugar23381.csp
0.16 c BEGIN convert /tmp/evaluation/194293-1170090241/unknown.xml
0.81 c END convert (0.652163 seconds)
0.85 c # CONVERT_XML END : /tmp/evaluation/194293-1170090241/sugar23381.csp 2170745 bytes (1 seconds) [Mon Jan 29 18:04:05 2007]
0.85 c # CONVERT_XML CPU : 0 = 0 + 0 + 0 + 0
0.85
0.85 c # GENERATE_SAT BEGIN : /tmp/evaluation/194293-1170090241/sugar23381.bcnf [Mon Jan 29 18:04:05 2007]
0.85 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/194293-1170090241/sugar-v0-40.jar -bcnf -map /tmp/evaluation/194293-1170090241/sugar23381.map /tmp/evaluation/194293-1170090241/sugar23381.csp /tmp/evaluation/194293-1170090241/sugar23381.bcnf
0.96 c BEGIN parse /tmp/evaluation/194293-1170090241/sugar23381.csp
23.37 c END parse (22.400796 seconds)
23.37 c BEGIN simplify
23.46 c END simplify (0.096393 seconds)
23.46 c BEGIN encode /tmp/evaluation/194293-1170090241/sugar23381.bcnf
24.26 c END encode (0.798721 seconds)
24.39 c # GENERATE_SAT END : 5510 variables 75954 clauses 6214480 bytes (23 seconds) [Mon Jan 29 18:04:28 2007]
24.39 c # GENERATE_SAT CPU : 23.38 = 0.03 + 0.01 + 23.01 + 0.33
24.39
24.39 c # SOLVE_SAT BEGIN : /tmp/evaluation/194293-1170090241/sugar23381.bcnf [Mon Jan 29 18:04:28 2007]
24.39 c # CMD : /tmp/evaluation/194293-1170090241/minisat /tmp/evaluation/194293-1170090241/sugar23381.bcnf /tmp/evaluation/194293-1170090241/sugar23381.out
24.54 c ==================================[MINISAT]===================================
24.54 c | Conflicts | ORIGINAL | LEARNT | Progress |
24.54 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
24.54 c ==============================================================================
24.54 c | 0 | 75954 1477658 | 25318 0 0 nan | 0.000 % |
24.57 c | 101 | 75954 1477658 | 27849 101 2979 29.5 | 0.000 % |
24.62 c | 251 | 75955 1477658 | 30634 250 5070 20.3 | 0.000 % |
24.71 c | 478 | 75955 1477658 | 33698 477 8005 16.8 | 0.000 % |
24.85 c | 815 | 75955 1477658 | 37068 814 15685 19.3 | 0.000 % |
25.03 c | 1322 | 75955 1477658 | 40774 1321 23084 17.5 | 0.000 % |
25.35 c | 2081 | 75955 1477658 | 44852 2080 35267 17.0 | 0.000 % |
25.84 c | 3220 | 75955 1477658 | 49337 3219 52518 16.3 | 0.000 % |
26.73 c | 4928 | 75955 1477658 | 54271 4927 79008 16.0 | 0.000 % |
28.03 c | 7492 | 75956 1477658 | 59698 7490 122346 16.3 | 0.000 % |
29.88 c | 11337 | 75960 1477658 | 65668 11331 195720 17.3 | 0.000 % |
33.69 c | 17105 | 75964 1477658 | 72235 17095 436836 25.6 | 0.000 % |
40.20 c | 25756 | 75968 1477658 | 79458 25742 677702 26.3 | 0.000 % |
49.66 c | 38731 | 75968 1477658 | 87404 38717 974863 25.2 | 0.000 % |
65.55 c | 58193 | 75972 1477658 | 96145 58175 1365188 23.5 | 0.000 % |
95.62 c | 87386 | 75973 1477658 | 105759 87367 1974722 22.6 | 0.000 % |
142.98 c | 131176 | 75979 1477658 | 116335 42555 1026075 24.1 | 0.000 % |
224.99 c | 196861 | 75984 1477658 | 127969 108235 2903117 26.8 | 0.000 % |
351.08 c | 295387 | 76000 1477658 | 140765 101929 2496470 24.5 | 0.000 % |
536.60 c | 443176 | 76016 1477658 | 154842 130725 3267239 25.0 | 0.000 % |
807.11 c | 664860 | 76026 1477658 | 170326 79440 2246257 28.3 | 0.000 % |
1264.00 c | 997385 | 76036 1477658 | 187359 112257 2797735 24.9 | 0.000 % |
1809.96
1809.96 s UNKNOWN
1809.96 c # INTERRUPTED
1809.96 c # MAIN END : (1810 seconds) [Mon Jan 29 18:34:14 2007]
1809.96 c # MAIN CPU : 23.4 = 0.05 + 0.01 + 23.01 + 0.33
1809.96
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node7/watcher-194293-1170090241 -o ROOT/results/node7/solver-194293-1170090241 -C 1800 -M 900 /tmp/evaluation/194293-1170090241/solver /tmp/evaluation/194293-1170090241 /tmp/evaluation/194293-1170090241/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.09 0.76 0.31 4/81 23382
/proc/meminfo: memFree=1808752/2055920 swapFree=4192956/4192956
[pid=23381] ppid=23379 vsize=2504 CPUtime=0
/proc/23381/stat : 23381 (sugar) R 23379 23381 22721 0 -1 4194304 290 0 0 0 0 0 0 0 19 0 1 0 28979131 2564096 26 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244668495125 0 0 4096 0 0 0 0 17 1 0 0
/proc/23381/statm: 626 26 19 3 0 5 0
[startup+0.107261 s]
/proc/loadavg: 1.09 0.76 0.31 4/81 23382
/proc/meminfo: memFree=1808752/2055920 swapFree=4192956/4192956
[pid=23381] ppid=23379 vsize=13724 CPUtime=0.03
/proc/23381/stat : 23381 (sugar) S 23379 23381 22721 0 -1 4194304 1112 0 0 0 3 0 0 0 16 0 1 0 28979131 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23381/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.515305 s]
/proc/loadavg: 1.09 0.76 0.31 4/81 23382
/proc/meminfo: memFree=1808752/2055920 swapFree=4192956/4192956
[pid=23381] ppid=23379 vsize=13724 CPUtime=0.03
/proc/23381/stat : 23381 (sugar) S 23379 23381 22721 0 -1 4194304 1121 0 0 0 3 0 0 0 16 0 1 0 28979131 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23381/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.33739 s]
/proc/loadavg: 1.08 0.76 0.32 2/91 23398
/proc/meminfo: memFree=1790304/2055920 swapFree=4192956/4192956
[pid=23381] ppid=23379 vsize=13724 CPUtime=0.04
/proc/23381/stat : 23381 (sugar) S 23379 23381 22721 0 -1 4194304 1188 0 0 0 4 0 0 0 15 0 1 0 28979131 14053376 808 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23381/statm: 3431 808 370 3 0 531 0
[pid=23383] ppid=23381 vsize=0 CPUtime=0.73
/proc/23383/stat : 23383 (java) Z 23381 23381 22721 0 -1 1036 7935 0 1 0 68 5 0 0 16 0 2 0 28979136 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23383/statm: 0 0 0 0 0 0 0
[pid=23391] ppid=23381 vsize=807064 CPUtime=0.46
/proc/23391/stat : 23391 (java) R 23381 23381 22721 0 -1 0 7323 0 1 0 42 4 0 0 17 0 8 0 28979217 826433536 7072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073481342 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23391/statm: 201766 7072 1494 14 0 189044 0
[pid=23391/tid=23392] ppid=23381 vsize=807064 CPUtime=0.05
/proc/23391/task/23392/stat : 23392 (java) S 23381 23381 22721 0 -1 64 1271 0 0 0 5 0 0 0 17 0 8 0 28979220 826433536 7072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23391/tid=23393] ppid=23381 vsize=807064 CPUtime=0
/proc/23391/task/23393/stat : 23393 (java) S 23381 23381 22721 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 28979221 826433536 7072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23391/tid=23394] ppid=23381 vsize=807064 CPUtime=0
/proc/23391/task/23394/stat : 23394 (java) S 23381 23381 22721 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 28979221 826433536 7072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23391/tid=23395] ppid=23381 vsize=807064 CPUtime=0
/proc/23391/task/23395/stat : 23395 (java) S 23381 23381 22721 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 28979224 826433536 7072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23391/tid=23396] ppid=23381 vsize=807064 CPUtime=0.05
/proc/23391/task/23396/stat : 23396 (java) S 23381 23381 22721 0 -1 64 292 0 0 0 5 0 0 0 16 0 8 0 28979224 826433536 7072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23391/tid=23397] ppid=23381 vsize=807064 CPUtime=0
/proc/23391/task/23397/stat : 23397 (java) S 23381 23381 22721 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 28979224 826433536 7072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23391/tid=23398] ppid=23381 vsize=807064 CPUtime=0
/proc/23391/task/23398/stat : 23398 (java) S 23381 23381 22721 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 28979224 826433536 7072 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 820788
[startup+3.03356 s]
/proc/loadavg: 1.08 0.76 0.32 2/90 23398
/proc/meminfo: memFree=1758120/2055920 swapFree=4192956/4192956
[pid=23381] ppid=23379 vsize=13724 CPUtime=0.04
/proc/23381/stat : 23381 (sugar) S 23379 23381 22721 0 -1 4194304 1188 0 0 0 4 0 0 0 15 0 1 0 28979131 14053376 808 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23381/statm: 3431 808 370 3 0 531 0
[pid=23383] ppid=23381 vsize=0 CPUtime=0.73
/proc/23383/stat : 23383 (java) Z 23381 23381 22721 0 -1 1036 7935 0 1 0 68 5 0 0 16 0 1 0 28979136 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23383/statm: 0 0 0 0 0 0 0
[pid=23391] ppid=23381 vsize=807064 CPUtime=2.16
/proc/23391/stat : 23391 (java) R 23381 23381 22721 0 -1 0 14604 0 1 0 208 8 0 0 17 0 8 0 28979217 826433536 14336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073485092 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23391/statm: 201766 14336 1494 14 0 189044 0
[pid=23391/tid=23392] ppid=23381 vsize=807064 CPUtime=0.59
/proc/23391/task/23392/stat : 23392 (java) S 23381 23381 22721 0 -1 64 8535 0 0 0 56 3 0 0 17 0 8 0 28979220 826433536 14336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23391/tid=23393] ppid=23381 vsize=807064 CPUtime=0
/proc/23391/task/23393/stat : 23393 (java) S 23381 23381 22721 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 28979221 826433536 14336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23391/tid=23394] ppid=23381 vsize=807064 CPUtime=0
/proc/23391/task/23394/stat : 23394 (java) S 23381 23381 22721 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 28979221 826433536 14336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23391/tid=23395] ppid=23381 vsize=807064 CPUtime=0
/proc/23391/task/23395/stat : 23395 (java) S 23381 23381 22721 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 28979224 826433536 14336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23391/tid=23396] ppid=23381 vsize=807064 CPUtime=0.05
/proc/23391/task/23396/stat : 23396 (java) S 23381 23381 22721 0 -1 64 292 0 0 0 5 0 0 0 16 0 8 0 28979224 826433536 14336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23391/tid=23397] ppid=23381 vsize=807064 CPUtime=0
/proc/23391/task/23397/stat : 23397 (java) S 23381 23381 22721 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 28979224 826433536 14336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23391/tid=23398] ppid=23381 vsize=807064 CPUtime=0
/proc/23391/task/23398/stat : 23398 (java) S 23381 23381 22721 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 28979224 826433536 14336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 820788
[startup+6.2341 s]
/proc/loadavg: 1.07 0.77 0.32 2/90 23402
/proc/meminfo: memFree=1653672/2055920 swapFree=4192956/4192956
[pid=23381] ppid=23379 vsize=13724 CPUtime=0.04
/proc/23381/stat : 23381 (sugar) S 23379 23381 22721 0 -1 4194304 1188 0 0 0 4 0 0 0 15 0 1 0 28979131 14053376 808 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23381/statm: 3431 808 370 3 0 531 0
[pid=23383] ppid=23381 vsize=0 CPUtime=0.73
/proc/23383/stat : 23383 (java) Z 23381 23381 22721 0 -1 1036 7935 0 1 0 68 5 0 0 16 0 1 0 28979136 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23383/statm: 0 0 0 0 0 0 0
[pid=23391] ppid=23381 vsize=807328 CPUtime=5.35
/proc/23391/stat : 23391 (java) R 23381 23381 22721 0 -1 0 40200 0 1 0 518 17 0 0 16 0 8 0 28979217 826703872 39825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073567016 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23391/statm: 201832 39825 1506 14 0 189110 0
[pid=23391/tid=23392] ppid=23381 vsize=807328 CPUtime=1.64
/proc/23391/task/23392/stat : 23392 (java) S 23381 23381 22721 0 -1 64 33872 0 0 0 153 11 0 0 16 0 8 0 28979220 826703872 39825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23391/tid=23393] ppid=23381 vsize=807328 CPUtime=0
/proc/23391/task/23393/stat : 23393 (java) S 23381 23381 22721 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 28979221 826703872 39825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23391/tid=23394] ppid=23381 vsize=807328 CPUtime=0
/proc/23391/task/23394/stat : 23394 (java) S 23381 23381 22721 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 28979221 826703872 39825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23391/tid=23395] ppid=23381 vsize=807328 CPUtime=0
/proc/23391/task/23395/stat : 23395 (java) S 23381 23381 22721 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 28979224 826703872 39825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23391/tid=23396] ppid=23381 vsize=807328 CPUtime=0.13
/proc/23391/task/23396/stat : 23396 (java) S 23381 23381 22721 0 -1 64 401 0 0 0 13 0 0 0 16 0 8 0 28979224 826703872 39825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23391/tid=23397] ppid=23381 vsize=807328 CPUtime=0
/proc/23391/task/23397/stat : 23397 (java) S 23381 23381 22721 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 28979224 826703872 39825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23391/tid=23398] ppid=23381 vsize=807328 CPUtime=0
/proc/23391/task/23398/stat : 23398 (java) S 23381 23381 22721 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 28979224 826703872 39825 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 821052
[startup+12.7356 s]
/proc/loadavg: 1.15 0.79 0.33 4/103 23453
/proc/meminfo: memFree=1550528/2055920 swapFree=4192956/4192956
[pid=23381] ppid=23379 vsize=13724 CPUtime=0.04
/proc/23381/stat : 23381 (sugar) S 23379 23381 22721 0 -1 4194304 1188 0 0 0 4 0 0 0 15 0 1 0 28979131 14053376 808 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23381/statm: 3431 808 370 3 0 531 0
[pid=23383] ppid=23381 vsize=0 CPUtime=0.73
/proc/23383/stat : 23383 (java) Z 23381 23381 22721 0 -1 1036 7935 0 1 0 68 5 0 0 16 0 1 0 28979136 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23383/statm: 0 0 0 0 0 0 0
[pid=23391] ppid=23381 vsize=807832 CPUtime=11.84
/proc/23391/stat : 23391 (java) R 23381 23381 22721 0 -1 0 55131 0 1 0 1160 24 0 0 19 0 8 0 28979217 827219968 54200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23391/statm: 201958 54200 1507 14 0 189236 0
[pid=23391/tid=23392] ppid=23381 vsize=807832 CPUtime=3.84
/proc/23391/task/23392/stat : 23392 (java) R 23381 23381 22721 0 -1 64 48601 0 0 0 367 17 0 0 16 0 8 0 28979220 827219968 54200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155134188 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23391/tid=23393] ppid=23381 vsize=807832 CPUtime=0
/proc/23391/task/23393/stat : 23393 (java) S 23381 23381 22721 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 28979221 827219968 54200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23391/tid=23394] ppid=23381 vsize=807832 CPUtime=0
/proc/23391/task/23394/stat : 23394 (java) S 23381 23381 22721 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 28979221 827219968 54200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23391/tid=23395] ppid=23381 vsize=807832 CPUtime=0
/proc/23391/task/23395/stat : 23395 (java) S 23381 23381 22721 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 28979224 827219968 54200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23391/tid=23396] ppid=23381 vsize=807832 CPUtime=0.14
/proc/23391/task/23396/stat : 23396 (java) S 23381 23381 22721 0 -1 64 403 0 0 0 14 0 0 0 16 0 8 0 28979224 827219968 54200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23391/tid=23397] ppid=23381 vsize=807832 CPUtime=0
/proc/23391/task/23397/stat : 23397 (java) S 23381 23381 22721 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 28979224 827219968 54200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23391/tid=23398] ppid=23381 vsize=807832 CPUtime=0
/proc/23391/task/23398/stat : 23398 (java) S 23381 23381 22721 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 28979224 827219968 54200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 821556
[startup+25.5929 s]
/proc/loadavg: 1.48 0.88 0.37 3/96 23454
/proc/meminfo: memFree=1571256/2055920 swapFree=4192956/4192956
[pid=23381] ppid=23379 vsize=16320 CPUtime=23.43
/proc/23381/stat : 23381 (sugar) S 23379 23381 22721 0 -1 4194304 1921 56005 0 1 8 1 2301 33 15 0 1 0 28979131 16711680 1431 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23381/statm: 4080 1431 373 3 0 1180 0
[pid=23383] ppid=23381 vsize=0 CPUtime=0.73
/proc/23383/stat : 23383 (java) Z 23381 23381 22721 0 -1 1036 7935 0 1 0 68 5 0 0 16 0 1 0 28979136 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23383/statm: 0 0 0 0 0 0 0
[pid=23454] ppid=23381 vsize=10208 CPUtime=1.18
/proc/23454/stat : 23454 (minisat) R 23381 23381 22721 0 -1 0 3223 0 0 0 116 2 0 0 25 0 1 0 28981571 10452992 2184 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134527082 0 0 4096 3 0 0 0 17 1 0 0
/proc/23454/statm: 2552 2184 52 112 0 2436 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 26528
[startup+51.2356 s]
/proc/loadavg: 1.71 0.98 0.41 3/89 23455
/proc/meminfo: memFree=1755120/2055920 swapFree=4192956/4192956
[pid=23381] ppid=23379 vsize=16320 CPUtime=23.43
/proc/23381/stat : 23381 (sugar) S 23379 23381 22721 0 -1 4194304 1921 56005 0 1 8 1 2301 33 16 0 1 0 28979131 16711680 1431 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23381/statm: 4080 1431 373 3 0 1180 0
[pid=23383] ppid=23381 vsize=0 CPUtime=0.73
/proc/23383/stat : 23383 (java) Z 23381 23381 22721 0 -1 1036 7935 0 1 0 68 5 0 0 16 0 1 0 28979136 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23383/statm: 0 0 0 0 0 0 0
[pid=23454] ppid=23381 vsize=15344 CPUtime=26.66
/proc/23454/stat : 23454 (minisat) R 23381 23381 22721 0 -1 0 4515 0 0 0 2662 4 0 0 25 0 1 0 28981571 15712256 3476 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23454/statm: 3836 3476 52 112 0 3720 0
Current children cumulated CPU time (s) 50.82
Current children cumulated vsize (KiB) 31664
[startup+102.506 s]
/proc/loadavg: 1.87 1.14 0.49 3/89 23455
/proc/meminfo: memFree=1738672/2055920 swapFree=4192956/4192956
[pid=23381] ppid=23379 vsize=16320 CPUtime=23.43
/proc/23381/stat : 23381 (sugar) S 23379 23381 22721 0 -1 4194304 1921 56005 0 1 8 1 2301 33 16 0 1 0 28979131 16711680 1431 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23381/statm: 4080 1431 373 3 0 1180 0
[pid=23383] ppid=23381 vsize=0 CPUtime=0.73
/proc/23383/stat : 23383 (java) Z 23381 23381 22721 0 -1 1036 7935 0 1 0 68 5 0 0 16 0 1 0 28979136 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23383/statm: 0 0 0 0 0 0 0
[pid=23454] ppid=23381 vsize=21640 CPUtime=77.66
/proc/23454/stat : 23454 (minisat) R 23381 23381 22721 0 -1 0 6031 0 0 0 7759 7 0 0 25 0 1 0 28981571 22159360 4992 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134525735 0 0 4096 3 0 0 0 17 0 0 0
/proc/23454/statm: 5410 4992 52 112 0 5294 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 37960
[startup+162.607 s]
/proc/loadavg: 1.95 1.29 0.58 3/89 23455
/proc/meminfo: memFree=1731824/2055920 swapFree=4192956/4192956
[pid=23381] ppid=23379 vsize=16320 CPUtime=23.43
/proc/23381/stat : 23381 (sugar) S 23379 23381 22721 0 -1 4194304 1921 56005 0 1 8 1 2301 33 16 0 1 0 28979131 16711680 1431 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
################
# More data... #
################
/proc/23454/stat : 23454 (minisat) R 23381 23381 22721 0 -1 0 10463 0 0 0 121222 18 0 0 25 0 1 0 28981571 40763392 9424 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23454/statm: 9952 9424 52 112 0 9836 0
Current children cumulated CPU time (s) 1236.56
Current children cumulated vsize (KiB) 56128
[startup+1303.53 s]
/proc/loadavg: 2.00 1.97 1.56 3/89 23455
/proc/meminfo: memFree=1694896/2055920 swapFree=4192956/4192956
[pid=23381] ppid=23379 vsize=16320 CPUtime=23.43
/proc/23381/stat : 23381 (sugar) S 23379 23381 22721 0 -1 4194304 1921 56005 0 1 8 1 2301 33 16 0 1 0 28979131 16711680 1431 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23381/statm: 4080 1431 373 3 0 1180 0
[pid=23383] ppid=23381 vsize=0 CPUtime=0.73
/proc/23383/stat : 23383 (java) Z 23381 23381 22721 0 -1 1036 7935 0 1 0 68 5 0 0 16 0 1 0 28979136 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23383/statm: 0 0 0 0 0 0 0
[pid=23454] ppid=23381 vsize=40144 CPUtime=1272.16
/proc/23454/stat : 23454 (minisat) R 23381 23381 22721 0 -1 0 10533 0 0 0 127198 18 0 0 25 0 1 0 28981571 41107456 9494 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528535 0 0 4096 3 0 0 0 17 0 0 0
/proc/23454/statm: 10036 9494 52 112 0 9920 0
Current children cumulated CPU time (s) 1296.32
Current children cumulated vsize (KiB) 56464
[startup+1363.53 s]
/proc/loadavg: 2.00 1.97 1.58 3/89 23455
/proc/meminfo: memFree=1694128/2055920 swapFree=4192956/4192956
[pid=23381] ppid=23379 vsize=16320 CPUtime=23.43
/proc/23381/stat : 23381 (sugar) S 23379 23381 22721 0 -1 4194304 1921 56005 0 1 8 1 2301 33 16 0 1 0 28979131 16711680 1431 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23381/statm: 4080 1431 373 3 0 1180 0
[pid=23383] ppid=23381 vsize=0 CPUtime=0.73
/proc/23383/stat : 23383 (java) Z 23381 23381 22721 0 -1 1036 7935 0 1 0 68 5 0 0 16 0 1 0 28979136 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23383/statm: 0 0 0 0 0 0 0
[pid=23454] ppid=23381 vsize=40832 CPUtime=1331.85
/proc/23454/stat : 23454 (minisat) R 23381 23381 22721 0 -1 0 10737 0 0 0 133166 19 0 0 25 0 1 0 28981571 41811968 9698 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528340 0 0 4096 3 0 0 0 17 0 0 0
/proc/23454/statm: 10208 9698 52 112 0 10092 0
Current children cumulated CPU time (s) 1356.01
Current children cumulated vsize (KiB) 57152
[startup+1423.63 s]
/proc/loadavg: 2.07 1.99 1.61 4/89 23455
/proc/meminfo: memFree=1691696/2055920 swapFree=4192956/4192956
[pid=23381] ppid=23379 vsize=16320 CPUtime=23.43
/proc/23381/stat : 23381 (sugar) S 23379 23381 22721 0 -1 4194304 1921 56005 0 1 8 1 2301 33 16 0 1 0 28979131 16711680 1431 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23381/statm: 4080 1431 373 3 0 1180 0
[pid=23383] ppid=23381 vsize=0 CPUtime=0.73
/proc/23383/stat : 23383 (java) Z 23381 23381 22721 0 -1 1036 7935 0 1 0 68 5 0 0 16 0 1 0 28979136 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23383/statm: 0 0 0 0 0 0 0
[pid=23454] ppid=23381 vsize=43224 CPUtime=1391.62
/proc/23454/stat : 23454 (minisat) R 23381 23381 22721 0 -1 0 11296 0 0 0 139142 20 0 0 25 0 1 0 28981571 44261376 10257 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23454/statm: 10806 10257 52 112 0 10690 0
Current children cumulated CPU time (s) 1415.78
Current children cumulated vsize (KiB) 59544
[startup+1483.64 s]
/proc/loadavg: 2.02 1.99 1.64 3/89 23455
/proc/meminfo: memFree=1691312/2055920 swapFree=4192956/4192956
[pid=23381] ppid=23379 vsize=16320 CPUtime=23.43
/proc/23381/stat : 23381 (sugar) S 23379 23381 22721 0 -1 4194304 1921 56005 0 1 8 1 2301 33 16 0 1 0 28979131 16711680 1431 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23381/statm: 4080 1431 373 3 0 1180 0
[pid=23383] ppid=23381 vsize=0 CPUtime=0.73
/proc/23383/stat : 23383 (java) Z 23381 23381 22721 0 -1 1036 7935 0 1 0 68 5 0 0 16 0 1 0 28979136 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23383/statm: 0 0 0 0 0 0 0
[pid=23454] ppid=23381 vsize=43224 CPUtime=1451.29
/proc/23454/stat : 23454 (minisat) R 23381 23381 22721 0 -1 0 11310 0 0 0 145109 20 0 0 25 0 1 0 28981571 44261376 10271 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528392 0 0 4096 3 0 0 0 17 0 0 0
/proc/23454/statm: 10806 10271 52 112 0 10690 0
Current children cumulated CPU time (s) 1475.45
Current children cumulated vsize (KiB) 59544
[startup+1543.64 s]
/proc/loadavg: 2.01 1.99 1.65 3/89 23455
/proc/meminfo: memFree=1691056/2055920 swapFree=4192956/4192956
[pid=23381] ppid=23379 vsize=16320 CPUtime=23.43
/proc/23381/stat : 23381 (sugar) S 23379 23381 22721 0 -1 4194304 1921 56005 0 1 8 1 2301 33 16 0 1 0 28979131 16711680 1431 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23381/statm: 4080 1431 373 3 0 1180 0
[pid=23383] ppid=23381 vsize=0 CPUtime=0.73
/proc/23383/stat : 23383 (java) Z 23381 23381 22721 0 -1 1036 7935 0 1 0 68 5 0 0 16 0 1 0 28979136 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23383/statm: 0 0 0 0 0 0 0
[pid=23454] ppid=23381 vsize=43524 CPUtime=1510.98
/proc/23454/stat : 23454 (minisat) R 23381 23381 22721 0 -1 0 11375 0 0 0 151078 20 0 0 25 0 1 0 28981571 44568576 10336 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528535 0 0 4096 3 0 0 0 17 0 0 0
/proc/23454/statm: 10881 10336 52 112 0 10765 0
Current children cumulated CPU time (s) 1535.14
Current children cumulated vsize (KiB) 59844
[startup+1603.65 s]
/proc/loadavg: 2.00 1.99 1.67 3/89 23455
/proc/meminfo: memFree=1683568/2055920 swapFree=4192956/4192956
[pid=23381] ppid=23379 vsize=16320 CPUtime=23.43
/proc/23381/stat : 23381 (sugar) S 23379 23381 22721 0 -1 4194304 1921 56005 0 1 8 1 2301 33 16 0 1 0 28979131 16711680 1431 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23381/statm: 4080 1431 373 3 0 1180 0
[pid=23383] ppid=23381 vsize=0 CPUtime=0.73
/proc/23383/stat : 23383 (java) Z 23381 23381 22721 0 -1 1036 7935 0 1 0 68 5 0 0 16 0 1 0 28979136 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23383/statm: 0 0 0 0 0 0 0
[pid=23454] ppid=23381 vsize=45832 CPUtime=1570.65
/proc/23454/stat : 23454 (minisat) R 23381 23381 22721 0 -1 0 11944 0 0 0 157045 20 0 0 25 0 1 0 28981571 46931968 10905 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528316 0 0 4096 3 0 0 0 17 0 0 0
/proc/23454/statm: 11458 10905 52 112 0 11342 0
Current children cumulated CPU time (s) 1594.81
Current children cumulated vsize (KiB) 62152
[startup+1663.75 s]
/proc/loadavg: 2.00 1.99 1.69 3/89 23455
/proc/meminfo: memFree=1680176/2055920 swapFree=4192956/4192956
[pid=23381] ppid=23379 vsize=16320 CPUtime=23.43
/proc/23381/stat : 23381 (sugar) S 23379 23381 22721 0 -1 4194304 1921 56005 0 1 8 1 2301 33 16 0 1 0 28979131 16711680 1431 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23381/statm: 4080 1431 373 3 0 1180 0
[pid=23383] ppid=23381 vsize=0 CPUtime=0.73
/proc/23383/stat : 23383 (java) Z 23381 23381 22721 0 -1 1036 7935 0 1 0 68 5 0 0 16 0 1 0 28979136 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23383/statm: 0 0 0 0 0 0 0
[pid=23454] ppid=23381 vsize=48856 CPUtime=1630.43
/proc/23454/stat : 23454 (minisat) R 23381 23381 22721 0 -1 0 12722 0 0 0 163021 22 0 0 25 0 1 0 28981571 50028544 11683 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23454/statm: 12214 11683 52 112 0 12098 0
Current children cumulated CPU time (s) 1654.59
Current children cumulated vsize (KiB) 65176
[startup+1723.85 s]
/proc/loadavg: 2.00 1.99 1.71 3/89 23455
/proc/meminfo: memFree=1679984/2055920 swapFree=4192956/4192956
[pid=23381] ppid=23379 vsize=16320 CPUtime=23.43
/proc/23381/stat : 23381 (sugar) S 23379 23381 22721 0 -1 4194304 1921 56005 0 1 8 1 2301 33 16 0 1 0 28979131 16711680 1431 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23381/statm: 4080 1431 373 3 0 1180 0
[pid=23383] ppid=23381 vsize=0 CPUtime=0.73
/proc/23383/stat : 23383 (java) Z 23381 23381 22721 0 -1 1036 7935 0 1 0 68 5 0 0 16 0 1 0 28979136 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23383/statm: 0 0 0 0 0 0 0
[pid=23454] ppid=23381 vsize=49052 CPUtime=1690.21
/proc/23454/stat : 23454 (minisat) R 23381 23381 22721 0 -1 0 12739 0 0 0 168999 22 0 0 25 0 1 0 28981571 50229248 11700 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23454/statm: 12263 11700 52 112 0 12147 0
Current children cumulated CPU time (s) 1714.37
Current children cumulated vsize (KiB) 65372
[startup+1783.95 s]
/proc/loadavg: 2.00 1.99 1.72 3/89 23455
/proc/meminfo: memFree=1679792/2055920 swapFree=4192956/4192956
[pid=23381] ppid=23379 vsize=16320 CPUtime=23.43
/proc/23381/stat : 23381 (sugar) S 23379 23381 22721 0 -1 4194304 1921 56005 0 1 8 1 2301 33 16 0 1 0 28979131 16711680 1431 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23381/statm: 4080 1431 373 3 0 1180 0
[pid=23383] ppid=23381 vsize=0 CPUtime=0.73
/proc/23383/stat : 23383 (java) Z 23381 23381 22721 0 -1 1036 7935 0 1 0 68 5 0 0 16 0 1 0 28979136 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23383/statm: 0 0 0 0 0 0 0
[pid=23454] ppid=23381 vsize=49052 CPUtime=1749.99
/proc/23454/stat : 23454 (minisat) R 23381 23381 22721 0 -1 0 12755 0 0 0 174977 22 0 0 25 0 1 0 28981571 50229248 11716 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23454/statm: 12263 11716 52 112 0 12147 0
Current children cumulated CPU time (s) 1774.15
Current children cumulated vsize (KiB) 65372
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1809.95 s]
/proc/loadavg: 2.00 1.99 1.73 3/89 23455
/proc/meminfo: memFree=1679792/2055920 swapFree=4192956/4192956
[pid=23381] ppid=23379 vsize=16320 CPUtime=23.43
/proc/23381/stat : 23381 (sugar) S 23379 23381 22721 0 -1 4194304 1921 56005 0 1 8 1 2301 33 16 0 1 0 28979131 16711680 1431 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 244680011874 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23381/statm: 4080 1431 373 3 0 1180 0
[pid=23383] ppid=23381 vsize=0 CPUtime=0.73
/proc/23383/stat : 23383 (java) Z 23381 23381 22721 0 -1 1036 7935 0 1 0 68 5 0 0 16 0 1 0 28979136 0 0 18446744073709551615 0 0 0 0 0 0 4 0 23759 18446744071563351923 0 0 17 1 0 0
/proc/23383/statm: 0 0 0 0 0 0 0
[pid=23454] ppid=23381 vsize=49192 CPUtime=1775.84
/proc/23454/stat : 23454 (minisat) R 23381 23381 22721 0 -1 0 12770 0 0 0 177562 22 0 0 25 0 1 0 28981571 50372608 11731 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 0 0 0
/proc/23454/statm: 12298 11731 52 112 0 12182 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 65512
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 23381 and gives childrusage.ru_utime.tv_sec=23 childrusage.ru_utime.tv_usec=94489 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=352946
CPU time returned by wait4() is 23.4474
while last known CPU time is 1800.01
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1810.97
CPU time (s): 1800.01
CPU user time (s): 1799.39
CPU system time (s): 0.62
CPU usage (%): 99.3947
Max. virtual memory (cumulated for all children) (KiB): 821556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.0945
system time used= 0.352946
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58011
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= 3885
involuntary context switches= 3025
runsolver used 2.6086 s user time and 5.37618 s system time
The end
Begin job on node7 on Mon Jan 29 17:04:02 UTC 2007
IDJOB= 194293
IDBENCH= 3206
IDSOLVER= 86
FILE ID= node7/194293-1170090241
PBS_JOBID= 3689384
Free space on /tmp= 66560 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23/rand-2-50-23-587-230-2_ext.xml
COMMAND LINE= /tmp/evaluation/194293-1170090241/solver /tmp/evaluation/194293-1170090241 /tmp/evaluation/194293-1170090241/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-194293-1170090241 -o ROOT/results/node7/solver-194293-1170090241 -C 1800 -M 900 /tmp/evaluation/194293-1170090241/solver /tmp/evaluation/194293-1170090241 /tmp/evaluation/194293-1170090241/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= cfdd2ee29a65a44b9ecb5f10467c026b
RANDOM SEED= 809587968
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.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: 1809168 kB
Buffers: 39936 kB
Cached: 95792 kB
SwapCached: 0 kB
Active: 100440 kB
Inactive: 100672 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1809168 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 2324 kB
Writeback: 0 kB
Mapped: 83320 kB
Slab: 30844 kB
Committed_AS: 193116 kB
PageTables: 1980 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= 66551 MiB
End job on node7 on Mon Jan 29 17:34:15 UTC 2007