0.04 c # Sugar v0-40 (/tmp/evaluation/194749-1170090284/sugar-v0-40.jar)
0.04
0.04 c # MAIN BEGIN : /tmp/evaluation/194749-1170090284/unknown.xml [Mon Jan 29 18:04:44 2007]
0.04 c # CONVERT_XML BEGIN : /tmp/evaluation/194749-1170090284/unknown.xml /tmp/evaluation/194749-1170090284/sugar23755.csp [Mon Jan 29 18:04:44 2007]
0.04 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/194749-1170090284/sugar-v0-40.jar -convert /tmp/evaluation/194749-1170090284/unknown.xml /tmp/evaluation/194749-1170090284/sugar23755.csp
0.16 c BEGIN convert /tmp/evaluation/194749-1170090284/unknown.xml
0.81 c END convert (0.650807 seconds)
0.85 c # CONVERT_XML END : /tmp/evaluation/194749-1170090284/sugar23755.csp 2149048 bytes (1 seconds) [Mon Jan 29 18:04:45 2007]
0.85 c # CONVERT_XML CPU : 0.75 = 0 + 0 + 0.69 + 0.06
0.85
0.85 c # GENERATE_SAT BEGIN : /tmp/evaluation/194749-1170090284/sugar23755.bcnf [Mon Jan 29 18:04:45 2007]
0.85 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/194749-1170090284/sugar-v0-40.jar -bcnf -map /tmp/evaluation/194749-1170090284/sugar23755.map /tmp/evaluation/194749-1170090284/sugar23755.csp /tmp/evaluation/194749-1170090284/sugar23755.bcnf
0.97 c BEGIN parse /tmp/evaluation/194749-1170090284/sugar23755.csp
37.86 c END parse (36.88572 seconds)
37.96 c BEGIN simplify
38.00 c END simplify (0.137545 seconds)
38.00 c BEGIN encode /tmp/evaluation/194749-1170090284/sugar23755.bcnf
39.14 c END encode (1.145056 seconds)
39.26 c # GENERATE_SAT END : 8872 variables 81871 clauses 10128232 bytes (38 seconds) [Mon Jan 29 18:05:23 2007]
39.26 c # GENERATE_SAT CPU : 38.25 = 0.06 + 0.01 + 37.68 + 0.5
39.26
39.26 c # SOLVE_SAT BEGIN : /tmp/evaluation/194749-1170090284/sugar23755.bcnf [Mon Jan 29 18:05:23 2007]
39.26 c # CMD : /tmp/evaluation/194749-1170090284/minisat /tmp/evaluation/194749-1170090284/sugar23755.bcnf /tmp/evaluation/194749-1170090284/sugar23755.out
39.49 c ==================================[MINISAT]===================================
39.49 c | Conflicts | ORIGINAL | LEARNT | Progress |
39.49 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
39.49 c ==============================================================================
39.49 c | 0 | 81871 2450177 | 27290 0 0 nan | 0.000 % |
39.55 c | 101 | 81871 2450177 | 30019 101 2820 27.9 | 0.000 % |
39.63 c | 251 | 81871 2450177 | 33020 251 5474 21.8 | 0.000 % |
39.73 c | 477 | 81871 2450177 | 36322 477 8960 18.8 | 0.000 % |
39.94 c | 814 | 81871 2450177 | 39955 814 14374 17.7 | 0.000 % |
40.23 c | 1320 | 81871 2450177 | 43950 1320 25481 19.3 | 0.000 % |
40.59 c | 2079 | 81871 2450177 | 48345 2079 41541 20.0 | 0.000 % |
41.25 c | 3219 | 81871 2450177 | 53180 3219 74481 23.1 | 0.000 % |
42.13 c | 4930 | 81871 2450177 | 58498 4930 110849 22.5 | 0.000 % |
43.70 c | 7492 | 81872 2450177 | 64348 7491 176582 23.6 | 0.000 % |
46.21 c | 11337 | 81872 2450177 | 70783 11336 285509 25.2 | 0.000 % |
50.81 c | 17104 | 81873 2450177 | 77861 17102 447642 26.2 | 0.000 % |
58.28 c | 25754 | 81874 2450177 | 85647 25751 693902 26.9 | 0.000 % |
70.29 c | 38728 | 81875 2450177 | 94212 38724 1044140 27.0 | 0.000 % |
89.01 c | 58189 | 81875 2450177 | 103633 58185 1585944 27.3 | 0.000 % |
122.70 c | 87381 | 81882 2450177 | 113997 87370 2349270 26.9 | 0.000 % |
176.78 c | 131170 | 81886 2450177 | 125396 33986 905186 26.6 | 0.000 % |
251.05 c | 196854 | 81898 2450177 | 137936 99658 3034044 30.4 | 0.000 % |
389.45 c | 295380 | 81907 2450177 | 151730 79255 2917793 36.8 | 0.000 % |
596.85 c | 443169 | 81915 2450177 | 166903 93533 3109790 33.2 | 0.000 % |
943.14 c | 664852 | 81932 2450177 | 183593 165637 6673191 40.3 | 0.000 % |
1504.06 c | 997377 | 81949 2450177 | 201952 170887 6417536 37.6 | 0.000 % |
1800.74
1800.74 s UNKNOWN
1800.74 c # INTERRUPTED
1800.74 c # MAIN END : (1801 seconds) [Mon Jan 29 18:34:45 2007]
1800.74 c # MAIN CPU : 39.01 = 0.06 + 0.02 + 38.37 + 0.56
1800.74
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node2/watcher-194749-1170090284 -o ROOT/results/node2/solver-194749-1170090284 -C 1800 -M 900 /tmp/evaluation/194749-1170090284/solver /tmp/evaluation/194749-1170090284 /tmp/evaluation/194749-1170090284/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: 0.95 0.54 0.21 5/94 23756
/proc/meminfo: memFree=1701072/2055920 swapFree=4192956/4192956
[pid=23755] ppid=23753 vsize=18540 CPUtime=0
/proc/23755/stat : 23755 (runsolver) R 23753 23642 23642 0 -1 4194368 14 0 0 0 0 0 0 0 19 0 1 0 28983357 18984960 278 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 206381316256 0 0 4096 24578 0 0 0 17 0 0 0
/proc/23755/statm: 4635 278 243 17 0 2626 0
[startup+0.107412 s]
/proc/loadavg: 0.95 0.54 0.21 5/94 23756
/proc/meminfo: memFree=1701072/2055920 swapFree=4192956/4192956
[pid=23755] ppid=23753 vsize=13724 CPUtime=0.03
/proc/23755/stat : 23755 (sugar) S 23753 23755 23642 0 -1 4194304 1112 0 0 0 3 0 0 0 20 0 1 0 28983357 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23755/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+0.515434 s]
/proc/loadavg: 0.95 0.54 0.21 5/94 23756
/proc/meminfo: memFree=1701072/2055920 swapFree=4192956/4192956
[pid=23755] ppid=23753 vsize=13724 CPUtime=0.03
/proc/23755/stat : 23755 (sugar) S 23753 23755 23642 0 -1 4194304 1121 0 0 0 3 0 0 0 15 0 1 0 28983357 14053376 805 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23755/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13724
[startup+1.33752 s]
/proc/loadavg: 0.95 0.54 0.21 4/102 23780
/proc/meminfo: memFree=1666128/2055920 swapFree=4192956/4192956
[pid=23755] ppid=23753 vsize=13724 CPUtime=0.78
/proc/23755/stat : 23755 (sugar) S 23753 23755 23642 0 -1 4194304 1190 7917 0 1 3 0 69 6 15 0 1 0 28983357 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23755/statm: 3431 809 371 3 0 531 0
[pid=23773] ppid=23755 vsize=807064 CPUtime=0.46
/proc/23773/stat : 23773 (java) R 23755 23755 23642 0 -1 0 7315 0 1 0 42 4 0 0 18 0 8 0 28983443 826433536 7064 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073521600 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23773/statm: 201766 7064 1494 14 0 189044 0
[pid=23773/tid=23774] ppid=23755 vsize=807064 CPUtime=0.05
/proc/23773/task/23774/stat : 23774 (java) S 23755 23755 23642 0 -1 64 1262 0 0 0 5 0 0 0 16 0 8 0 28983446 826433536 7064 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23773/tid=23775] ppid=23755 vsize=807064 CPUtime=0
/proc/23773/task/23775/stat : 23775 (java) S 23755 23755 23642 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 28983447 826433536 7064 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23773/tid=23776] ppid=23755 vsize=807064 CPUtime=0
/proc/23773/task/23776/stat : 23776 (java) S 23755 23755 23642 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 28983447 826433536 7064 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23773/tid=23777] ppid=23755 vsize=807064 CPUtime=0
/proc/23773/task/23777/stat : 23777 (java) S 23755 23755 23642 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 28983450 826433536 7064 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23773/tid=23778] ppid=23755 vsize=807064 CPUtime=0.05
/proc/23773/task/23778/stat : 23778 (java) R 23755 23755 23642 0 -1 64 292 0 0 0 5 0 0 0 19 0 8 0 28983450 826433536 7064 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23773/tid=23779] ppid=23755 vsize=807064 CPUtime=0
/proc/23773/task/23779/stat : 23779 (java) S 23755 23755 23642 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 28983450 826433536 7064 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23773/tid=23780] ppid=23755 vsize=807064 CPUtime=0
/proc/23773/task/23780/stat : 23780 (java) S 23755 23755 23642 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 28983450 826433536 7064 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 820788
[startup+2.99069 s]
/proc/loadavg: 0.95 0.54 0.21 4/102 23780
/proc/meminfo: memFree=1623312/2055920 swapFree=4192956/4192956
[pid=23755] ppid=23753 vsize=13724 CPUtime=0.78
/proc/23755/stat : 23755 (sugar) S 23753 23755 23642 0 -1 4194304 1190 7917 0 1 3 0 69 6 15 0 1 0 28983357 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23755/statm: 3431 809 371 3 0 531 0
[pid=23773] ppid=23755 vsize=807064 CPUtime=2.12
/proc/23773/stat : 23773 (java) R 23755 23755 23642 0 -1 0 13772 0 1 0 204 8 0 0 25 0 8 0 28983443 826433536 13506 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23773/statm: 201766 13506 1494 14 0 189044 0
[pid=23773/tid=23774] ppid=23755 vsize=807064 CPUtime=0.56
/proc/23773/task/23774/stat : 23774 (java) S 23755 23755 23642 0 -1 64 7704 0 0 0 53 3 0 0 16 0 8 0 28983446 826433536 13506 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23773/tid=23775] ppid=23755 vsize=807064 CPUtime=0
/proc/23773/task/23775/stat : 23775 (java) S 23755 23755 23642 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 28983447 826433536 13506 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23773/tid=23776] ppid=23755 vsize=807064 CPUtime=0
/proc/23773/task/23776/stat : 23776 (java) S 23755 23755 23642 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 28983447 826433536 13506 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23773/tid=23777] ppid=23755 vsize=807064 CPUtime=0
/proc/23773/task/23777/stat : 23777 (java) S 23755 23755 23642 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 28983450 826433536 13506 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23773/tid=23778] ppid=23755 vsize=807064 CPUtime=0.05
/proc/23773/task/23778/stat : 23778 (java) S 23755 23755 23642 0 -1 64 292 0 0 0 5 0 0 0 16 0 8 0 28983450 826433536 13506 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23773/tid=23779] ppid=23755 vsize=807064 CPUtime=0
/proc/23773/task/23779/stat : 23779 (java) S 23755 23755 23642 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 28983450 826433536 13506 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23773/tid=23780] ppid=23755 vsize=807064 CPUtime=0
/proc/23773/task/23780/stat : 23780 (java) S 23755 23755 23642 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 28983450 826433536 13506 18446744073709551615 134512640 134570532 4294956464 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) 820788
[startup+6.19906 s]
/proc/loadavg: 1.12 0.58 0.23 3/102 23780
/proc/meminfo: memFree=1485136/2055920 swapFree=4192956/4192956
[pid=23755] ppid=23753 vsize=13724 CPUtime=0.78
/proc/23755/stat : 23755 (sugar) S 23753 23755 23642 0 -1 4194304 1190 7917 0 1 3 0 69 6 15 0 1 0 28983357 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23755/statm: 3431 809 371 3 0 531 0
[pid=23773] ppid=23755 vsize=807328 CPUtime=5.32
/proc/23773/stat : 23773 (java) R 23755 23755 23642 0 -1 0 26683 0 1 0 517 15 0 0 25 0 8 0 28983443 826703872 26369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073448404 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23773/statm: 201832 26369 1507 14 0 189110 0
[pid=23773/tid=23774] ppid=23755 vsize=807328 CPUtime=1.26
/proc/23773/task/23774/stat : 23774 (java) S 23755 23755 23642 0 -1 64 20419 0 0 0 116 10 0 0 16 0 8 0 28983446 826703872 26369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23773/tid=23775] ppid=23755 vsize=807328 CPUtime=0
/proc/23773/task/23775/stat : 23775 (java) S 23755 23755 23642 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 28983447 826703872 26369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23773/tid=23776] ppid=23755 vsize=807328 CPUtime=0
/proc/23773/task/23776/stat : 23776 (java) S 23755 23755 23642 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 28983447 826703872 26369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23773/tid=23777] ppid=23755 vsize=807328 CPUtime=0
/proc/23773/task/23777/stat : 23777 (java) S 23755 23755 23642 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 28983450 826703872 26369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23773/tid=23778] ppid=23755 vsize=807328 CPUtime=0.13
/proc/23773/task/23778/stat : 23778 (java) S 23755 23755 23642 0 -1 64 400 0 0 0 13 0 0 0 16 0 8 0 28983450 826703872 26369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23773/tid=23779] ppid=23755 vsize=807328 CPUtime=0
/proc/23773/task/23779/stat : 23779 (java) S 23755 23755 23642 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 28983450 826703872 26369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23773/tid=23780] ppid=23755 vsize=807328 CPUtime=0
/proc/23773/task/23780/stat : 23780 (java) S 23755 23755 23642 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 28983450 826703872 26369 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 821052
[startup+12.6657 s]
/proc/loadavg: 1.40 0.66 0.26 3/102 23780
/proc/meminfo: memFree=1278680/2055920 swapFree=4192956/4192956
[pid=23755] ppid=23753 vsize=13724 CPUtime=0.78
/proc/23755/stat : 23755 (sugar) S 23753 23755 23642 0 -1 4194304 1190 7917 0 1 3 0 69 6 15 0 1 0 28983357 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23755/statm: 3431 809 371 3 0 531 0
[pid=23773] ppid=23755 vsize=807328 CPUtime=11.78
/proc/23773/stat : 23773 (java) R 23755 23755 23642 0 -1 0 54973 0 1 0 1147 31 0 0 25 0 8 0 28983443 826703872 54114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153380222 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23773/statm: 201832 54114 1507 14 0 189110 0
[pid=23773/tid=23774] ppid=23755 vsize=807328 CPUtime=3.5
/proc/23773/task/23774/stat : 23774 (java) S 23755 23755 23642 0 -1 64 48533 0 0 0 325 25 0 0 16 0 8 0 28983446 826703872 54114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23773/tid=23775] ppid=23755 vsize=807328 CPUtime=0
/proc/23773/task/23775/stat : 23775 (java) S 23755 23755 23642 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 28983447 826703872 54114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23773/tid=23776] ppid=23755 vsize=807328 CPUtime=0
/proc/23773/task/23776/stat : 23776 (java) S 23755 23755 23642 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 28983447 826703872 54114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23773/tid=23777] ppid=23755 vsize=807328 CPUtime=0
/proc/23773/task/23777/stat : 23777 (java) S 23755 23755 23642 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 28983450 826703872 54114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23773/tid=23778] ppid=23755 vsize=807328 CPUtime=0.14
/proc/23773/task/23778/stat : 23778 (java) S 23755 23755 23642 0 -1 64 403 0 0 0 14 0 0 0 16 0 8 0 28983450 826703872 54114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23773/tid=23779] ppid=23755 vsize=807328 CPUtime=0
/proc/23773/task/23779/stat : 23779 (java) S 23755 23755 23642 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 28983450 826703872 54114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23773/tid=23780] ppid=23755 vsize=807328 CPUtime=0
/proc/23773/task/23780/stat : 23780 (java) S 23755 23755 23642 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 28983450 826703872 54114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 821052
[startup+25.477 s]
/proc/loadavg: 1.57 0.72 0.28 3/102 23780
/proc/meminfo: memFree=1278680/2055920 swapFree=4192956/4192956
[pid=23755] ppid=23753 vsize=13724 CPUtime=0.78
/proc/23755/stat : 23755 (sugar) S 23753 23755 23642 0 -1 4194304 1190 7917 0 1 3 0 69 6 15 0 1 0 28983357 14053376 809 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23755/statm: 3431 809 371 3 0 531 0
[pid=23773] ppid=23755 vsize=807328 CPUtime=24.59
/proc/23773/stat : 23773 (java) R 23755 23755 23642 0 -1 0 56183 0 1 0 2422 37 0 0 25 0 8 0 28983443 826703872 54114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23773/statm: 201832 54114 1507 14 0 189110 0
[pid=23773/tid=23774] ppid=23755 vsize=807328 CPUtime=8.71
/proc/23773/task/23774/stat : 23774 (java) R 23755 23755 23642 0 -1 64 49368 0 0 0 842 29 0 0 15 0 8 0 28983446 826703872 54114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153827301 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23773/tid=23775] ppid=23755 vsize=807328 CPUtime=0
/proc/23773/task/23775/stat : 23775 (java) S 23755 23755 23642 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 28983447 826703872 54114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23773/tid=23776] ppid=23755 vsize=807328 CPUtime=0
/proc/23773/task/23776/stat : 23776 (java) S 23755 23755 23642 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 28983447 826703872 54114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23773/tid=23777] ppid=23755 vsize=807328 CPUtime=0
/proc/23773/task/23777/stat : 23777 (java) S 23755 23755 23642 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 28983450 826703872 54114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23773/tid=23778] ppid=23755 vsize=807328 CPUtime=0.14
/proc/23773/task/23778/stat : 23778 (java) S 23755 23755 23642 0 -1 64 403 0 0 0 14 0 0 0 16 0 8 0 28983450 826703872 54114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23773/tid=23779] ppid=23755 vsize=807328 CPUtime=0
/proc/23773/task/23779/stat : 23779 (java) S 23755 23755 23642 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 28983450 826703872 54114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23773/tid=23780] ppid=23755 vsize=807328 CPUtime=0
/proc/23773/task/23780/stat : 23780 (java) S 23755 23755 23642 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 28983450 826703872 54114 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 821052
[startup+51.1477 s]
/proc/loadavg: 1.78 0.84 0.33 3/88 23782
/proc/meminfo: memFree=1648392/2055920 swapFree=4192956/4192956
[pid=23755] ppid=23753 vsize=18164 CPUtime=39.04
/proc/23755/stat : 23755 (sugar) S 23753 23755 23642 0 -1 4194304 2377 67415 0 2 9 2 3837 56 16 0 1 0 28983357 18599936 1890 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23755/statm: 4541 1890 373 3 0 1641 0
[pid=23782] ppid=23755 vsize=16380 CPUtime=11.87
/proc/23782/stat : 23782 (minisat) R 23755 23755 23642 0 -1 0 4786 0 0 0 1184 3 0 0 25 0 1 0 28987283 16773120 3750 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 1 0 0
/proc/23782/statm: 4095 3750 52 112 0 3979 0
Current children cumulated CPU time (s) 50.91
Current children cumulated vsize (KiB) 34544
[startup+102.379 s]
/proc/loadavg: 1.97 1.03 0.42 3/88 23782
/proc/meminfo: memFree=1634248/2055920 swapFree=4192956/4192956
[pid=23755] ppid=23753 vsize=18164 CPUtime=39.04
/proc/23755/stat : 23755 (sugar) S 23753 23755 23642 0 -1 4194304 2377 67415 0 2 9 2 3837 56 16 0 1 0 28983357 18599936 1890 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23755/statm: 4541 1890 373 3 0 1641 0
[pid=23782] ppid=23755 vsize=24004 CPUtime=63.08
/proc/23782/stat : 23782 (minisat) R 23755 23755 23642 0 -1 0 6641 0 0 0 6302 6 0 0 25 0 1 0 28987283 24580096 5605 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134527235 0 0 4096 3 0 0 0 17 1 0 0
/proc/23782/statm: 6001 5605 52 112 0 5885 0
Current children cumulated CPU time (s) 102.12
Current children cumulated vsize (KiB) 42168
[startup+162.437 s]
/proc/loadavg: 1.99 1.20 0.52 3/88 23782
/proc/meminfo: memFree=1625928/2055920 swapFree=4192956/4192956
[pid=23755] ppid=23753 vsize=18164 CPUtime=39.04
/proc/23755/stat : 23755 (sugar) S 23753 23755 23642 0 -1 4194304 2377 67415 0 2 9 2 3837 56 16 0 1 0 28983357 18599936 1890 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23755/statm: 4541 1890 373 3 0 1641 0
[pid=23782] ppid=23755 vsize=30284 CPUtime=123.12
/proc/23782/stat : 23782 (minisat) R 23755 23755 23642 0 -1 0 8197 0 0 0 12304 8 0 0 25 0 1 0 28987283 31010816 7161 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134523804 0 0 4096 3 0 0 0 17 1 0 0
/proc/23782/statm: 7571 7161 52 112 0 7455 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 48448
################
# More data... #
################
/proc/loadavg: 2.00 1.97 1.46 3/88 23782
/proc/meminfo: memFree=1585864/2055920 swapFree=4192956/4192956
[pid=23755] ppid=23753 vsize=18164 CPUtime=39.04
/proc/23755/stat : 23755 (sugar) S 23753 23755 23642 0 -1 4194304 2377 67415 0 2 9 2 3837 56 16 0 1 0 28983357 18599936 1890 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23755/statm: 4541 1890 373 3 0 1641 0
[pid=23782] ppid=23755 vsize=54624 CPUtime=1083.84
/proc/23782/stat : 23782 (minisat) R 23755 23755 23642 0 -1 0 14211 0 0 0 108365 19 0 0 25 0 1 0 28987283 55934976 13167 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528316 0 0 4096 3 0 0 0 17 1 0 0
/proc/23782/statm: 13656 13167 52 112 0 13540 0
Current children cumulated CPU time (s) 1122.88
Current children cumulated vsize (KiB) 72788
[startup+1183.5 s]
/proc/loadavg: 2.03 1.98 1.49 3/88 23782
/proc/meminfo: memFree=1585672/2055920 swapFree=4192956/4192956
[pid=23755] ppid=23753 vsize=18164 CPUtime=39.04
/proc/23755/stat : 23755 (sugar) S 23753 23755 23642 0 -1 4194304 2377 67415 0 2 9 2 3837 56 16 0 1 0 28983357 18599936 1890 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23755/statm: 4541 1890 373 3 0 1641 0
[pid=23782] ppid=23755 vsize=54624 CPUtime=1143.89
/proc/23782/stat : 23782 (minisat) R 23755 23755 23642 0 -1 0 14232 0 0 0 114370 19 0 0 25 0 1 0 28987283 55934976 13188 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134527426 0 0 4096 3 0 0 0 17 1 0 0
/proc/23782/statm: 13656 13188 52 112 0 13540 0
Current children cumulated CPU time (s) 1182.93
Current children cumulated vsize (KiB) 72788
[startup+1243.56 s]
/proc/loadavg: 2.01 1.98 1.52 3/88 23782
/proc/meminfo: memFree=1585160/2055920 swapFree=4192956/4192956
[pid=23755] ppid=23753 vsize=18164 CPUtime=39.04
/proc/23755/stat : 23755 (sugar) S 23753 23755 23642 0 -1 4194304 2377 67415 0 2 9 2 3837 56 16 0 1 0 28983357 18599936 1890 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23755/statm: 4541 1890 373 3 0 1641 0
[pid=23782] ppid=23755 vsize=54964 CPUtime=1203.94
/proc/23782/stat : 23782 (minisat) R 23755 23755 23642 0 -1 0 14322 0 0 0 120374 20 0 0 25 0 1 0 28987283 56283136 13270 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528105 0 0 4096 3 0 0 0 17 1 0 0
/proc/23782/statm: 13741 13270 52 112 0 13625 0
Current children cumulated CPU time (s) 1242.98
Current children cumulated vsize (KiB) 73128
[startup+1303.62 s]
/proc/loadavg: 2.00 1.98 1.55 3/88 23782
/proc/meminfo: memFree=1584840/2055920 swapFree=4192956/4192956
[pid=23755] ppid=23753 vsize=18164 CPUtime=39.04
/proc/23755/stat : 23755 (sugar) S 23753 23755 23642 0 -1 4194304 2377 67415 0 2 9 2 3837 56 16 0 1 0 28983357 18599936 1890 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23755/statm: 4541 1890 373 3 0 1641 0
[pid=23782] ppid=23755 vsize=54964 CPUtime=1263.98
/proc/23782/stat : 23782 (minisat) R 23755 23755 23642 0 -1 0 14323 0 0 0 126378 20 0 0 25 0 1 0 28987283 56283136 13271 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/23782/statm: 13741 13271 52 112 0 13625 0
Current children cumulated CPU time (s) 1303.02
Current children cumulated vsize (KiB) 73128
[startup+1363.68 s]
/proc/loadavg: 2.00 1.98 1.57 3/88 23782
/proc/meminfo: memFree=1584712/2055920 swapFree=4192956/4192956
[pid=23755] ppid=23753 vsize=18164 CPUtime=39.04
/proc/23755/stat : 23755 (sugar) S 23753 23755 23642 0 -1 4194304 2377 67415 0 2 9 2 3837 56 16 0 1 0 28983357 18599936 1890 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23755/statm: 4541 1890 373 3 0 1641 0
[pid=23782] ppid=23755 vsize=54964 CPUtime=1324.03
/proc/23782/stat : 23782 (minisat) R 23755 23755 23642 0 -1 0 14324 0 0 0 132383 20 0 0 25 0 1 0 28987283 56283136 13272 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134527289 0 0 4096 3 0 0 0 17 1 0 0
/proc/23782/statm: 13741 13272 52 112 0 13625 0
Current children cumulated CPU time (s) 1363.07
Current children cumulated vsize (KiB) 73128
[startup+1423.74 s]
/proc/loadavg: 2.00 1.98 1.60 3/88 23782
/proc/meminfo: memFree=1584520/2055920 swapFree=4192956/4192956
[pid=23755] ppid=23753 vsize=18164 CPUtime=39.04
/proc/23755/stat : 23755 (sugar) S 23753 23755 23642 0 -1 4194304 2377 67415 0 2 9 2 3837 56 16 0 1 0 28983357 18599936 1890 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23755/statm: 4541 1890 373 3 0 1641 0
[pid=23782] ppid=23755 vsize=55140 CPUtime=1384.07
/proc/23782/stat : 23782 (minisat) R 23755 23755 23642 0 -1 0 14336 0 0 0 138387 20 0 0 25 0 1 0 28987283 56463360 13284 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/23782/statm: 13785 13284 52 112 0 13669 0
Current children cumulated CPU time (s) 1423.11
Current children cumulated vsize (KiB) 73304
[startup+1483.8 s]
/proc/loadavg: 2.03 2.00 1.62 3/88 23782
/proc/meminfo: memFree=1583944/2055920 swapFree=4192956/4192956
[pid=23755] ppid=23753 vsize=18164 CPUtime=39.04
/proc/23755/stat : 23755 (sugar) S 23753 23755 23642 0 -1 4194304 2377 67415 0 2 9 2 3837 56 16 0 1 0 28983357 18599936 1890 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23755/statm: 4541 1890 373 3 0 1641 0
[pid=23782] ppid=23755 vsize=55140 CPUtime=1444.11
/proc/23782/stat : 23782 (minisat) R 23755 23755 23642 0 -1 0 14361 0 0 0 144391 20 0 0 25 0 1 0 28987283 56463360 13309 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134527422 0 0 4096 3 0 0 0 17 1 0 0
/proc/23782/statm: 13785 13309 52 112 0 13669 0
Current children cumulated CPU time (s) 1483.15
Current children cumulated vsize (KiB) 73304
[startup+1543.86 s]
/proc/loadavg: 2.01 2.00 1.65 3/88 23782
/proc/meminfo: memFree=1580360/2055920 swapFree=4192956/4192956
[pid=23755] ppid=23753 vsize=18164 CPUtime=39.04
/proc/23755/stat : 23755 (sugar) S 23753 23755 23642 0 -1 4194304 2377 67415 0 2 9 2 3837 56 16 0 1 0 28983357 18599936 1890 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23755/statm: 4541 1890 373 3 0 1641 0
[pid=23782] ppid=23755 vsize=55696 CPUtime=1504.16
/proc/23782/stat : 23782 (minisat) R 23755 23755 23642 0 -1 0 14468 0 0 0 150395 21 0 0 25 0 1 0 28987283 57032704 13416 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/23782/statm: 13924 13416 52 112 0 13808 0
Current children cumulated CPU time (s) 1543.2
Current children cumulated vsize (KiB) 73860
[startup+1603.92 s]
/proc/loadavg: 2.00 2.00 1.66 3/88 23782
/proc/meminfo: memFree=1579208/2055920 swapFree=4192956/4192956
[pid=23755] ppid=23753 vsize=18164 CPUtime=39.04
/proc/23755/stat : 23755 (sugar) S 23753 23755 23642 0 -1 4194304 2377 67415 0 2 9 2 3837 56 16 0 1 0 28983357 18599936 1890 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23755/statm: 4541 1890 373 3 0 1641 0
[pid=23782] ppid=23755 vsize=56612 CPUtime=1564.2
/proc/23782/stat : 23782 (minisat) R 23755 23755 23642 0 -1 0 14737 0 0 0 156399 21 0 0 25 0 1 0 28987283 57970688 13685 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/23782/statm: 14153 13685 52 112 0 14037 0
Current children cumulated CPU time (s) 1603.24
Current children cumulated vsize (KiB) 74776
[startup+1663.98 s]
/proc/loadavg: 2.00 2.00 1.68 3/88 23782
/proc/meminfo: memFree=1579080/2055920 swapFree=4192956/4192956
[pid=23755] ppid=23753 vsize=18164 CPUtime=39.04
/proc/23755/stat : 23755 (sugar) S 23753 23755 23642 0 -1 4194304 2377 67415 0 2 9 2 3837 56 16 0 1 0 28983357 18599936 1890 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23755/statm: 4541 1890 373 3 0 1641 0
[pid=23782] ppid=23755 vsize=56760 CPUtime=1624.24
/proc/23782/stat : 23782 (minisat) R 23755 23755 23642 0 -1 0 14744 0 0 0 162403 21 0 0 25 0 1 0 28987283 58122240 13692 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/23782/statm: 14190 13692 52 112 0 14074 0
Current children cumulated CPU time (s) 1663.28
Current children cumulated vsize (KiB) 74924
[startup+1724.04 s]
/proc/loadavg: 2.00 2.00 1.70 3/88 23782
/proc/meminfo: memFree=1578952/2055920 swapFree=4192956/4192956
[pid=23755] ppid=23753 vsize=18164 CPUtime=39.04
/proc/23755/stat : 23755 (sugar) S 23753 23755 23642 0 -1 4194304 2377 67415 0 2 9 2 3837 56 16 0 1 0 28983357 18599936 1890 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23755/statm: 4541 1890 373 3 0 1641 0
[pid=23782] ppid=23755 vsize=56760 CPUtime=1684.29
/proc/23782/stat : 23782 (minisat) R 23755 23755 23642 0 -1 0 14753 0 0 0 168407 22 0 0 25 0 1 0 28987283 58122240 13701 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528186 0 0 4096 3 0 0 0 17 1 0 0
/proc/23782/statm: 14190 13701 52 112 0 14074 0
Current children cumulated CPU time (s) 1723.33
Current children cumulated vsize (KiB) 74924
[startup+1784.11 s]
/proc/loadavg: 2.00 2.00 1.72 3/88 23782
/proc/meminfo: memFree=1578504/2055920 swapFree=4192956/4192956
[pid=23755] ppid=23753 vsize=18164 CPUtime=39.04
/proc/23755/stat : 23755 (sugar) S 23753 23755 23642 0 -1 4194304 2377 67415 0 2 9 2 3837 56 16 0 1 0 28983357 18599936 1890 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23755/statm: 4541 1890 373 3 0 1641 0
[pid=23782] ppid=23755 vsize=56760 CPUtime=1744.34
/proc/23782/stat : 23782 (minisat) R 23755 23755 23642 0 -1 0 14755 0 0 0 174412 22 0 0 25 0 1 0 28987283 58122240 13703 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528401 0 0 4096 3 0 0 0 17 1 0 0
/proc/23782/statm: 14190 13703 52 112 0 14074 0
Current children cumulated CPU time (s) 1783.38
Current children cumulated vsize (KiB) 74924
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.73 s]
/proc/loadavg: 2.00 2.00 1.72 3/88 23782
/proc/meminfo: memFree=1578376/2055920 swapFree=4192956/4192956
[pid=23755] ppid=23753 vsize=18164 CPUtime=39.04
/proc/23755/stat : 23755 (sugar) S 23753 23755 23642 0 -1 4194304 2377 67415 0 2 9 2 3837 56 16 0 1 0 28983357 18599936 1890 18446744073709551615 4194304 4206940 548682069216 18446744073709551615 206390210658 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23755/statm: 4541 1890 373 3 0 1641 0
[pid=23782] ppid=23755 vsize=56760 CPUtime=1760.96
/proc/23782/stat : 23782 (minisat) R 23755 23755 23642 0 -1 0 14755 0 0 0 176074 22 0 0 25 0 1 0 28987283 58122240 13703 18446744073709551615 134512640 134974460 4294956752 18446744073709551615 134528532 0 0 4096 3 0 0 0 17 1 0 0
/proc/23782/statm: 14190 13703 52 112 0 14074 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 74924
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 23755 and gives childrusage.ru_utime.tv_sec=38 childrusage.ru_utime.tv_usec=471151 childrusage.ru_stime.tv_sec=0 childrusage.ru_stime.tv_usec=597909
CPU time returned by wait4() is 39.0691
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): 1801.76
CPU time (s): 1800.01
CPU user time (s): 1799.2
CPU system time (s): 0.81
CPU usage (%): 99.903
Max. virtual memory (cumulated for all children) (KiB): 821556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 38.4712
system time used= 0.597909
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69878
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= 8813
involuntary context switches= 8865
runsolver used 1.65375 s user time and 5.06823 s system time
The end
Begin job on node2 on Mon Jan 29 17:04:44 UTC 2007
IDJOB= 194749
IDBENCH= 3230
IDSOLVER= 86
FILE ID= node2/194749-1170090284
PBS_JOBID= 3689412
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-13_ext.xml
COMMAND LINE= /tmp/evaluation/194749-1170090284/solver /tmp/evaluation/194749-1170090284 /tmp/evaluation/194749-1170090284/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-194749-1170090284 -o ROOT/results/node2/solver-194749-1170090284 -C 1800 -M 900 /tmp/evaluation/194749-1170090284/solver /tmp/evaluation/194749-1170090284 /tmp/evaluation/194749-1170090284/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= b01f777eafda6faba95113f99ffe3b2b
RANDOM SEED= 603448875
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.247
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.247
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: 1701680 kB
Buffers: 47176 kB
Cached: 167092 kB
SwapCached: 0 kB
Active: 203140 kB
Inactive: 83588 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1701680 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 2572 kB
Writeback: 0 kB
Mapped: 98528 kB
Slab: 52356 kB
Committed_AS: 467952 kB
PageTables: 2256 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 node2 on Mon Jan 29 17:34:46 UTC 2007