0.05 c # Sugar v0-40 (/tmp/evaluation/223520-1170102823/sugar-v0-40.jar)
0.05
0.05 c # MAIN BEGIN : /tmp/evaluation/223520-1170102823/unknown.xml [Mon Jan 29 21:33:44 2007]
0.05 c # CONVERT_XML BEGIN : /tmp/evaluation/223520-1170102823/unknown.xml /tmp/evaluation/223520-1170102823/sugar24746.csp [Mon Jan 29 21:33:44 2007]
0.05 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/223520-1170102823/sugar-v0-40.jar -convert /tmp/evaluation/223520-1170102823/unknown.xml /tmp/evaluation/223520-1170102823/sugar24746.csp
0.23 c BEGIN convert /tmp/evaluation/223520-1170102823/unknown.xml
0.82 c END convert (0.598337 seconds)
0.87 c # CONVERT_XML END : /tmp/evaluation/223520-1170102823/sugar24746.csp 1722112 bytes (1 seconds) [Mon Jan 29 21:33:45 2007]
0.87 c # CONVERT_XML CPU : 0.72 = 0 + 0.01 + 0.65 + 0.06
0.87
0.87 c # GENERATE_SAT BEGIN : /tmp/evaluation/223520-1170102823/sugar24746.bcnf [Mon Jan 29 21:33:45 2007]
0.87 c # CMD : java -Xms200M -Xmx600M -jar /tmp/evaluation/223520-1170102823/sugar-v0-40.jar -bcnf -map /tmp/evaluation/223520-1170102823/sugar24746.map /tmp/evaluation/223520-1170102823/sugar24746.csp /tmp/evaluation/223520-1170102823/sugar24746.bcnf
0.99 c BEGIN parse /tmp/evaluation/223520-1170102823/sugar24746.csp
414.94 c END parse (413.948779 seconds)
414.94 c BEGIN simplify
416.14 c END simplify (1.203047 seconds)
416.14 c BEGIN encode /tmp/evaluation/223520-1170102823/sugar24746.bcnf
425.23 c END encode (9.086001 seconds)
425.92 c # GENERATE_SAT END : 64392 variables 177544 clauses 95234004 bytes (425 seconds) [Mon Jan 29 21:40:50 2007]
425.92 c # GENERATE_SAT CPU : 421.62 = 0.54 + 0.04 + 418.85 + 2.19
425.92
425.92 c # SOLVE_SAT BEGIN : /tmp/evaluation/223520-1170102823/sugar24746.bcnf [Mon Jan 29 21:40:50 2007]
425.92 c # CMD : /tmp/evaluation/223520-1170102823/minisat /tmp/evaluation/223520-1170102823/sugar24746.bcnf /tmp/evaluation/223520-1170102823/sugar24746.out
428.01 c ==================================[MINISAT]===================================
428.01 c | Conflicts | ORIGINAL | LEARNT | Progress |
428.01 c | | Clauses Literals | Limit Clauses Literals Lit/Cl | |
428.01 c ==============================================================================
428.01 c | 0 | 177544 23630907 | 59181 0 0 nan | 0.000 % |
428.17 c | 100 | 177547 23630907 | 65099 97 6032 62.2 | 0.000 % |
428.35 c | 250 | 177548 23630907 | 71609 246 11171 45.4 | 0.000 % |
428.78 c | 477 | 177550 23630907 | 78769 471 31716 67.3 | 0.000 % |
429.38 c | 816 | 177552 23630907 | 86646 808 63631 78.8 | 0.000 % |
430.31 c | 1322 | 177554 23630907 | 95311 1312 97363 74.2 | 0.000 % |
431.82 c | 2082 | 177560 23630907 | 104842 2066 153401 74.3 | 0.000 % |
433.90 c | 3221 | 177562 23630907 | 115327 3203 247949 77.4 | 0.000 % |
437.10 c | 4929 | 177569 23630907 | 126859 4904 349699 71.3 | 0.000 % |
442.94 c | 7493 | 177576 23630907 | 139545 7461 563872 75.6 | 0.000 % |
452.10 c | 11338 | 177582 23630907 | 153500 11300 904982 80.1 | 0.000 % |
468.32 c | 17105 | 177585 23630907 | 168850 17064 1293191 75.8 | 0.000 % |
494.63 c | 25755 | 177595 23630907 | 185735 25704 1990710 77.4 | 0.000 % |
541.56 c | 38730 | 177599 23630907 | 204308 38675 3015495 78.0 | 0.000 % |
623.94 c | 58191 | 177610 23630907 | 224739 58125 4882218 84.0 | 0.000 % |
763.89 c | 87384 | 177619 23630907 | 247213 87309 7468896 85.5 | 0.000 % |
994.86 c | 131173 | 177398 23629358 | 271935 41026 4022461 98.0 | 0.092 % |
1319.40 c | 196857 | 177433 23629358 | 299128 106675 11710842 109.8 | 0.092 % |
1816.52
1816.52 s UNKNOWN
1816.52 c # INTERRUPTED
1816.52 c # MAIN END : (1816 seconds) [Mon Jan 29 22:04:00 2007]
1816.52 c # MAIN CPU : 422.35 = 0.54 + 0.06 + 419.5 + 2.25
1816.52
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node44/watcher-223520-1170102823 -o ROOT/results/node44/solver-223520-1170102823 -C 1800 -M 900 /tmp/evaluation/223520-1170102823/solver /tmp/evaluation/223520-1170102823 /tmp/evaluation/223520-1170102823/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.52 0.84 1.17 5/82 24747
/proc/meminfo: memFree=1808016/2055920 swapFree=4192812/4192956
[pid=24746] ppid=24744 vsize=18540 CPUtime=0
/proc/24746/stat : 24746 (runsolver) R 24744 24746 24025 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 30238521 18984960 279 18446744073709551615 4194304 4267372 548682069040 18446744073709551615 264840473895 0 0 4096 24578 0 0 0 17 1 0 0
/proc/24746/statm: 4635 279 244 17 0 2626 0
[startup+0.108699 s]
/proc/loadavg: 0.52 0.84 1.17 5/82 24747
/proc/meminfo: memFree=1808016/2055920 swapFree=4192812/4192956
[pid=24746] ppid=24744 vsize=13724 CPUtime=0.04
/proc/24746/stat : 24746 (sugar) S 24744 24746 24025 0 -1 4194304 1112 0 0 0 3 1 0 0 20 0 1 0 30238521 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264849371234 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24746/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+0.517784 s]
/proc/loadavg: 0.52 0.84 1.17 5/82 24747
/proc/meminfo: memFree=1808016/2055920 swapFree=4192812/4192956
[pid=24746] ppid=24744 vsize=13724 CPUtime=0.04
/proc/24746/stat : 24746 (sugar) S 24744 24746 24025 0 -1 4194304 1121 0 0 0 3 1 0 0 15 0 1 0 30238521 14053376 805 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264849371234 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24746/statm: 3431 805 368 3 0 531 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13724
[startup+1.35245 s]
/proc/loadavg: 0.72 0.87 1.18 3/90 24763
/proc/meminfo: memFree=1748752/2055920 swapFree=4192812/4192956
[pid=24746] ppid=24744 vsize=13724 CPUtime=0.75
/proc/24746/stat : 24746 (sugar) S 24744 24746 24025 0 -1 4194304 1190 7675 0 1 3 1 65 6 15 0 1 0 30238521 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264849371234 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24746/statm: 3431 809 371 3 0 531 0
[pid=24756] ppid=24746 vsize=807064 CPUtime=0.46
/proc/24756/stat : 24756 (java) R 24746 24746 24025 0 -1 0 7382 0 1 0 41 5 0 0 25 0 8 0 30238609 826433536 7131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073455442 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24756/statm: 201766 7131 1494 14 0 189044 0
[pid=24756/tid=24757] ppid=24746 vsize=807064 CPUtime=0.05
/proc/24756/task/24757/stat : 24757 (java) S 24746 24746 24025 0 -1 64 1331 0 0 0 5 0 0 0 16 0 8 0 30238612 826433536 7131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24756/tid=24758] ppid=24746 vsize=807064 CPUtime=0
/proc/24756/task/24758/stat : 24758 (java) S 24746 24746 24025 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30238613 826433536 7131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24756/tid=24759] ppid=24746 vsize=807064 CPUtime=0
/proc/24756/task/24759/stat : 24759 (java) S 24746 24746 24025 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30238613 826433536 7131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24756/tid=24760] ppid=24746 vsize=807064 CPUtime=0
/proc/24756/task/24760/stat : 24760 (java) S 24746 24746 24025 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 30238616 826433536 7131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24756/tid=24761] ppid=24746 vsize=807064 CPUtime=0.04
/proc/24756/task/24761/stat : 24761 (java) S 24746 24746 24025 0 -1 64 292 0 0 0 4 0 0 0 16 0 8 0 30238616 826433536 7131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24756/tid=24762] ppid=24746 vsize=807064 CPUtime=0
/proc/24756/task/24762/stat : 24762 (java) S 24746 24746 24025 0 -1 64 2 0 0 0 0 0 0 0 24 0 8 0 30238616 826433536 7131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24756/tid=24763] ppid=24746 vsize=807064 CPUtime=0
/proc/24756/task/24763/stat : 24763 (java) S 24746 24746 24025 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30238616 826433536 7131 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 820788
[startup+3.03124 s]
/proc/loadavg: 0.72 0.87 1.18 3/90 24763
/proc/meminfo: memFree=1686928/2055920 swapFree=4192812/4192956
[pid=24746] ppid=24744 vsize=13724 CPUtime=0.75
/proc/24746/stat : 24746 (sugar) S 24744 24746 24025 0 -1 4194304 1190 7675 0 1 3 1 65 6 15 0 1 0 30238521 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264849371234 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24746/statm: 3431 809 371 3 0 531 0
[pid=24756] ppid=24746 vsize=807332 CPUtime=2.14
/proc/24756/stat : 24756 (java) R 24746 24746 24025 0 -1 0 14637 0 1 0 205 9 0 0 25 0 8 0 30238609 826707968 14369 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24756/statm: 201833 14372 1506 14 0 189111 0
[pid=24756/tid=24757] ppid=24746 vsize=807332 CPUtime=0.57
/proc/24756/task/24757/stat : 24757 (java) R 24746 24746 24025 0 -1 64 8482 0 0 0 53 4 0 0 16 0 8 0 30238612 826707968 14373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153968433 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24756/tid=24758] ppid=24746 vsize=807332 CPUtime=0
/proc/24756/task/24758/stat : 24758 (java) S 24746 24746 24025 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30238613 826707968 14375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24756/tid=24759] ppid=24746 vsize=807332 CPUtime=0
/proc/24756/task/24759/stat : 24759 (java) S 24746 24746 24025 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30238613 826707968 14377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24756/tid=24760] ppid=24746 vsize=807332 CPUtime=0
/proc/24756/task/24760/stat : 24760 (java) S 24746 24746 24025 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 30238616 826707968 14379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24756/tid=24761] ppid=24746 vsize=807332 CPUtime=0.06
/proc/24756/task/24761/stat : 24761 (java) S 24746 24746 24025 0 -1 64 349 0 0 0 6 0 0 0 16 0 8 0 30238616 826707968 14380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24756/tid=24762] ppid=24746 vsize=807332 CPUtime=0
/proc/24756/task/24762/stat : 24762 (java) S 24746 24746 24025 0 -1 64 2 0 0 0 0 0 0 0 24 0 8 0 30238616 826707968 14382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24756/tid=24763] ppid=24746 vsize=807332 CPUtime=0
/proc/24756/task/24763/stat : 24763 (java) S 24746 24746 24025 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30238616 826707968 14384 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 821056
[startup+6.29285 s]
/proc/loadavg: 0.90 0.91 1.19 4/90 24763
/proc/meminfo: memFree=1567504/2055920 swapFree=4192812/4192956
[pid=24746] ppid=24744 vsize=13724 CPUtime=0.75
/proc/24746/stat : 24746 (sugar) S 24744 24746 24025 0 -1 4194304 1190 7675 0 1 3 1 65 6 15 0 1 0 30238521 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264849371234 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24746/statm: 3431 809 371 3 0 531 0
[pid=24756] ppid=24746 vsize=807332 CPUtime=5.4
/proc/24756/stat : 24756 (java) R 24746 24746 24025 0 -1 0 38797 0 1 0 519 21 0 0 25 0 8 0 30238609 826707968 38424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073594062 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24756/statm: 201833 38424 1506 14 0 189111 0
[pid=24756/tid=24757] ppid=24746 vsize=807332 CPUtime=1.64
/proc/24756/task/24757/stat : 24757 (java) S 24746 24746 24025 0 -1 64 32470 0 0 0 150 14 0 0 16 0 8 0 30238612 826707968 38424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24756/tid=24758] ppid=24746 vsize=807332 CPUtime=0
/proc/24756/task/24758/stat : 24758 (java) S 24746 24746 24025 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30238613 826707968 38424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24756/tid=24759] ppid=24746 vsize=807332 CPUtime=0
/proc/24756/task/24759/stat : 24759 (java) S 24746 24746 24025 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30238613 826707968 38424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24756/tid=24760] ppid=24746 vsize=807332 CPUtime=0
/proc/24756/task/24760/stat : 24760 (java) S 24746 24746 24025 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 30238616 826707968 38424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24756/tid=24761] ppid=24746 vsize=807332 CPUtime=0.12
/proc/24756/task/24761/stat : 24761 (java) S 24746 24746 24025 0 -1 64 402 0 0 0 12 0 0 0 15 0 8 0 30238616 826707968 38424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24756/tid=24762] ppid=24746 vsize=807332 CPUtime=0
/proc/24756/task/24762/stat : 24762 (java) S 24746 24746 24025 0 -1 64 2 0 0 0 0 0 0 0 24 0 8 0 30238616 826707968 38424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24756/tid=24763] ppid=24746 vsize=807332 CPUtime=0
/proc/24756/task/24763/stat : 24763 (java) S 24746 24746 24025 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30238616 826707968 38424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 821056
[startup+12.725 s]
/proc/loadavg: 1.07 0.94 1.20 5/90 24763
/proc/meminfo: memFree=1493072/2055920 swapFree=4192812/4192956
[pid=24746] ppid=24744 vsize=13724 CPUtime=0.75
/proc/24746/stat : 24746 (sugar) S 24744 24746 24025 0 -1 4194304 1190 7675 0 1 3 1 65 6 15 0 1 0 30238521 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264849371234 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24746/statm: 3431 809 371 3 0 531 0
[pid=24756] ppid=24746 vsize=807332 CPUtime=11.84
/proc/24756/stat : 24756 (java) R 24746 24746 24025 0 -1 0 54859 0 1 0 1153 31 0 0 25 0 8 0 30238609 826707968 54115 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24756/statm: 201833 54115 1507 14 0 189111 0
[pid=24756/tid=24757] ppid=24746 vsize=807332 CPUtime=4.03
/proc/24756/task/24757/stat : 24757 (java) R 24746 24746 24025 0 -1 64 48315 0 0 0 380 23 0 0 15 0 8 0 30238612 826707968 54115 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153681266 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24756/tid=24758] ppid=24746 vsize=807332 CPUtime=0
/proc/24756/task/24758/stat : 24758 (java) S 24746 24746 24025 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30238613 826707968 54115 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24756/tid=24759] ppid=24746 vsize=807332 CPUtime=0
/proc/24756/task/24759/stat : 24759 (java) S 24746 24746 24025 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30238613 826707968 54115 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24756/tid=24760] ppid=24746 vsize=807332 CPUtime=0
/proc/24756/task/24760/stat : 24760 (java) S 24746 24746 24025 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 30238616 826707968 54115 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24756/tid=24761] ppid=24746 vsize=807332 CPUtime=0.13
/proc/24756/task/24761/stat : 24761 (java) S 24746 24746 24025 0 -1 64 405 0 0 0 13 0 0 0 15 0 8 0 30238616 826707968 54115 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24756/tid=24762] ppid=24746 vsize=807332 CPUtime=0
/proc/24756/task/24762/stat : 24762 (java) S 24746 24746 24025 0 -1 64 2 0 0 0 0 0 0 0 24 0 8 0 30238616 826707968 54115 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24756/tid=24763] ppid=24746 vsize=807332 CPUtime=0
/proc/24756/task/24763/stat : 24763 (java) S 24746 24746 24025 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30238616 826707968 54115 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 821056
[startup+25.585 s]
/proc/loadavg: 1.36 1.01 1.22 4/90 24763
/proc/meminfo: memFree=1493136/2055920 swapFree=4192812/4192956
[pid=24746] ppid=24744 vsize=13724 CPUtime=0.75
/proc/24746/stat : 24746 (sugar) S 24744 24746 24025 0 -1 4194304 1190 7675 0 1 3 1 65 6 15 0 1 0 30238521 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264849371234 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24746/statm: 3431 809 371 3 0 531 0
[pid=24756] ppid=24746 vsize=807332 CPUtime=24.57
/proc/24756/stat : 24756 (java) R 24746 24746 24025 0 -1 0 56009 0 1 0 2420 37 0 0 25 0 8 0 30238609 826707968 54115 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24756/statm: 201833 54115 1507 14 0 189111 0
[pid=24756/tid=24757] ppid=24746 vsize=807332 CPUtime=8.81
/proc/24756/task/24757/stat : 24757 (java) S 24746 24746 24025 0 -1 64 49058 0 0 0 855 26 0 0 15 0 8 0 30238612 826707968 54115 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24756/tid=24758] ppid=24746 vsize=807332 CPUtime=0
/proc/24756/task/24758/stat : 24758 (java) S 24746 24746 24025 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30238613 826707968 54115 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24756/tid=24759] ppid=24746 vsize=807332 CPUtime=0
/proc/24756/task/24759/stat : 24759 (java) S 24746 24746 24025 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30238613 826707968 54115 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24756/tid=24760] ppid=24746 vsize=807332 CPUtime=0
/proc/24756/task/24760/stat : 24760 (java) S 24746 24746 24025 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 30238616 826707968 54115 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24756/tid=24761] ppid=24746 vsize=807332 CPUtime=0.13
/proc/24756/task/24761/stat : 24761 (java) S 24746 24746 24025 0 -1 64 405 0 0 0 13 0 0 0 15 0 8 0 30238616 826707968 54115 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24756/tid=24762] ppid=24746 vsize=807332 CPUtime=0
/proc/24756/task/24762/stat : 24762 (java) S 24746 24746 24025 0 -1 64 2 0 0 0 0 0 0 0 24 0 8 0 30238616 826707968 54115 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24756/tid=24763] ppid=24746 vsize=807332 CPUtime=0
/proc/24756/task/24763/stat : 24763 (java) S 24746 24746 24025 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30238616 826707968 54115 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 821056
[startup+51.1919 s]
/proc/loadavg: 1.90 1.18 1.27 4/90 24763
/proc/meminfo: memFree=1493200/2055920 swapFree=4192812/4192956
[pid=24746] ppid=24744 vsize=13724 CPUtime=0.75
/proc/24746/stat : 24746 (sugar) S 24744 24746 24025 0 -1 4194304 1190 7675 0 1 3 1 65 6 15 0 1 0 30238521 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264849371234 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24746/statm: 3431 809 371 3 0 531 0
[pid=24756] ppid=24746 vsize=807332 CPUtime=49.86
/proc/24756/stat : 24756 (java) R 24746 24746 24025 0 -1 0 57604 0 1 0 4939 47 0 0 25 0 8 0 30238609 826707968 54115 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073489627 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24756/statm: 201833 54115 1507 14 0 189111 0
[pid=24756/tid=24757] ppid=24746 vsize=807332 CPUtime=18.74
/proc/24756/task/24757/stat : 24757 (java) S 24746 24746 24025 0 -1 64 49856 0 0 0 1842 32 0 0 16 0 8 0 30238612 826707968 54115 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24756/tid=24758] ppid=24746 vsize=807332 CPUtime=0
/proc/24756/task/24758/stat : 24758 (java) S 24746 24746 24025 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 30238613 826707968 54115 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24756/tid=24759] ppid=24746 vsize=807332 CPUtime=0
/proc/24756/task/24759/stat : 24759 (java) S 24746 24746 24025 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 30238613 826707968 54115 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24756/tid=24760] ppid=24746 vsize=807332 CPUtime=0
/proc/24756/task/24760/stat : 24760 (java) S 24746 24746 24025 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 30238616 826707968 54115 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24756/tid=24761] ppid=24746 vsize=807332 CPUtime=0.13
/proc/24756/task/24761/stat : 24761 (java) S 24746 24746 24025 0 -1 64 405 0 0 0 13 0 0 0 15 0 8 0 30238616 826707968 54115 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24756/tid=24762] ppid=24746 vsize=807332 CPUtime=0
/proc/24756/task/24762/stat : 24762 (java) S 24746 24746 24025 0 -1 64 2 0 0 0 0 0 0 0 24 0 8 0 30238616 826707968 54115 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24756/tid=24763] ppid=24746 vsize=807332 CPUtime=0
/proc/24756/task/24763/stat : 24763 (java) S 24746 24746 24025 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 30238616 826707968 54115 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 821056
[startup+102.447 s]
/proc/loadavg: 2.60 1.48 1.36 3/90 24763
/proc/meminfo: memFree=1334928/2055920 swapFree=4192812/4192956
[pid=24746] ppid=24744 vsize=13724 CPUtime=0.75
/proc/24746/stat : 24746 (sugar) S 24744 24746 24025 0 -1 4194304 1190 7675 0 1 3 1 65 6 15 0 1 0 30238521 14053376 809 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264849371234 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/24746/statm: 3431 809 371 3 0 531 0
[pid=24756] ppid=24746 vsize=807332 CPUtime=100.51
/proc/24756/stat : 24756 (java) R 24746 24746 24025 0 -1 0 77621 0 1 0 9975 76 0 0 25 0 8 0 30238609 826707968 71463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073724355 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24756/statm: 201833 71463 1507 14 0 189111 0
[pid=24756/tid=24757] ppid=24746 vsize=807332 CPUtime=39.6
################
# More data... #
################
/proc/loadavg: 2.00 2.04 1.91 3/76 24767
/proc/meminfo: memFree=1361416/2055920 swapFree=4192812/4192956
[pid=24746] ppid=24744 vsize=48156 CPUtime=422.38
/proc/24746/stat : 24746 (sugar) S 24744 24746 24025 0 -1 4194304 9738 184865 0 2 57 6 41950 225 16 0 1 0 30238521 49311744 9153 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264849371234 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24746/statm: 12039 9153 373 3 0 9139 0
[pid=24767] ppid=24746 vsize=150388 CPUtime=690.92
/proc/24767/stat : 24767 (minisat) R 24746 24746 24025 0 -1 0 38059 0 0 0 69056 36 0 0 25 0 1 0 30281114 153997312 37005 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/24767/statm: 37597 37005 52 112 0 37481 0
Current children cumulated CPU time (s) 1113.3
Current children cumulated vsize (KiB) 198544
[startup+1183.42 s]
/proc/loadavg: 2.00 2.03 1.91 3/76 24767
/proc/meminfo: memFree=1355592/2055920 swapFree=4192812/4192956
[pid=24746] ppid=24744 vsize=48156 CPUtime=422.38
/proc/24746/stat : 24746 (sugar) S 24744 24746 24025 0 -1 4194304 9738 184865 0 2 57 6 41950 225 16 0 1 0 30238521 49311744 9153 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264849371234 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24746/statm: 12039 9153 373 3 0 9139 0
[pid=24767] ppid=24746 vsize=150388 CPUtime=750.43
/proc/24767/stat : 24767 (minisat) R 24746 24746 24025 0 -1 0 38066 0 0 0 75007 36 0 0 25 0 1 0 30281114 153997312 37012 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134527226 0 0 4096 3 0 0 0 17 1 0 0
/proc/24767/statm: 37597 37012 52 112 0 37481 0
Current children cumulated CPU time (s) 1172.81
Current children cumulated vsize (KiB) 198544
[startup+1243.49 s]
/proc/loadavg: 2.05 2.04 1.91 3/76 24767
/proc/meminfo: memFree=1349832/2055920 swapFree=4192812/4192956
[pid=24746] ppid=24744 vsize=48156 CPUtime=422.38
/proc/24746/stat : 24746 (sugar) S 24744 24746 24025 0 -1 4194304 9738 184865 0 2 57 6 41950 225 16 0 1 0 30238521 49311744 9153 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264849371234 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24746/statm: 12039 9153 373 3 0 9139 0
[pid=24767] ppid=24746 vsize=150536 CPUtime=809.94
/proc/24767/stat : 24767 (minisat) R 24746 24746 24025 0 -1 0 38082 0 0 0 80958 36 0 0 25 0 1 0 30281114 154148864 37028 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528535 0 0 4096 3 0 0 0 17 1 0 0
/proc/24767/statm: 37634 37028 52 112 0 37518 0
Current children cumulated CPU time (s) 1232.32
Current children cumulated vsize (KiB) 198692
[startup+1303.57 s]
/proc/loadavg: 2.02 2.03 1.91 3/76 24767
/proc/meminfo: memFree=1341320/2055920 swapFree=4192812/4192956
[pid=24746] ppid=24744 vsize=48156 CPUtime=422.38
/proc/24746/stat : 24746 (sugar) S 24744 24746 24025 0 -1 4194304 9738 184865 0 2 57 6 41950 225 16 0 1 0 30238521 49311744 9153 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264849371234 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24746/statm: 12039 9153 373 3 0 9139 0
[pid=24767] ppid=24746 vsize=153976 CPUtime=869.46
/proc/24767/stat : 24767 (minisat) R 24746 24746 24025 0 -1 0 38952 0 0 0 86910 36 0 0 25 0 1 0 30281114 157671424 37898 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134527289 0 0 4096 3 0 0 0 17 1 0 0
/proc/24767/statm: 38494 37898 52 112 0 38378 0
Current children cumulated CPU time (s) 1291.84
Current children cumulated vsize (KiB) 202132
[startup+1363.64 s]
/proc/loadavg: 2.00 2.02 1.91 3/76 24767
/proc/meminfo: memFree=1330824/2055920 swapFree=4192812/4192956
[pid=24746] ppid=24744 vsize=48156 CPUtime=422.38
/proc/24746/stat : 24746 (sugar) S 24744 24746 24025 0 -1 4194304 9738 184865 0 2 57 6 41950 225 16 0 1 0 30238521 49311744 9153 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264849371234 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24746/statm: 12039 9153 373 3 0 9139 0
[pid=24767] ppid=24746 vsize=159008 CPUtime=928.98
/proc/24767/stat : 24767 (minisat) R 24746 24746 24025 0 -1 0 40201 0 0 0 92860 38 0 0 25 0 1 0 30281114 162824192 39147 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528342 0 0 4096 3 0 0 0 17 1 0 0
/proc/24767/statm: 39752 39147 52 112 0 39636 0
Current children cumulated CPU time (s) 1351.36
Current children cumulated vsize (KiB) 207164
[startup+1423.71 s]
/proc/loadavg: 2.00 2.02 1.91 3/76 24767
/proc/meminfo: memFree=1320840/2055920 swapFree=4192812/4192956
[pid=24746] ppid=24744 vsize=48156 CPUtime=422.38
/proc/24746/stat : 24746 (sugar) S 24744 24746 24025 0 -1 4194304 9738 184865 0 2 57 6 41950 225 16 0 1 0 30238521 49311744 9153 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264849371234 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24746/statm: 12039 9153 373 3 0 9139 0
[pid=24767] ppid=24746 vsize=163640 CPUtime=988.52
/proc/24767/stat : 24767 (minisat) R 24746 24746 24025 0 -1 0 41365 0 0 0 98812 40 0 0 25 0 1 0 30281114 167567360 40311 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134527082 0 0 4096 3 0 0 0 17 1 0 0
/proc/24767/statm: 40910 40311 52 112 0 40794 0
Current children cumulated CPU time (s) 1410.9
Current children cumulated vsize (KiB) 211796
[startup+1483.79 s]
/proc/loadavg: 2.00 2.01 1.91 3/76 24767
/proc/meminfo: memFree=1310472/2055920 swapFree=4192812/4192956
[pid=24746] ppid=24744 vsize=48156 CPUtime=422.38
/proc/24746/stat : 24746 (sugar) S 24744 24746 24025 0 -1 4194304 9738 184865 0 2 57 6 41950 225 16 0 1 0 30238521 49311744 9153 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264849371234 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24746/statm: 12039 9153 373 3 0 9139 0
[pid=24767] ppid=24746 vsize=169368 CPUtime=1048.04
/proc/24767/stat : 24767 (minisat) R 24746 24746 24025 0 -1 0 42820 0 0 0 104762 42 0 0 25 0 1 0 30281114 173432832 41766 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/24767/statm: 42342 41766 52 112 0 42226 0
Current children cumulated CPU time (s) 1470.42
Current children cumulated vsize (KiB) 217524
[startup+1543.86 s]
/proc/loadavg: 2.00 2.00 1.91 3/76 24767
/proc/meminfo: memFree=1304136/2055920 swapFree=4192812/4192956
[pid=24746] ppid=24744 vsize=48156 CPUtime=422.38
/proc/24746/stat : 24746 (sugar) S 24744 24746 24025 0 -1 4194304 9738 184865 0 2 57 6 41950 225 16 0 1 0 30238521 49311744 9153 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264849371234 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24746/statm: 12039 9153 373 3 0 9139 0
[pid=24767] ppid=24746 vsize=175084 CPUtime=1107.56
/proc/24767/stat : 24767 (minisat) R 24746 24746 24025 0 -1 0 44192 0 0 0 110713 43 0 0 25 0 1 0 30281114 179286016 43138 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/24767/statm: 43771 43138 52 112 0 43655 0
Current children cumulated CPU time (s) 1529.94
Current children cumulated vsize (KiB) 223240
[startup+1603.87 s]
/proc/loadavg: 2.00 2.00 1.91 3/76 24767
/proc/meminfo: memFree=1296968/2055920 swapFree=4192812/4192956
[pid=24746] ppid=24744 vsize=48156 CPUtime=422.38
/proc/24746/stat : 24746 (sugar) S 24744 24746 24025 0 -1 4194304 9738 184865 0 2 57 6 41950 225 16 0 1 0 30238521 49311744 9153 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264849371234 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24746/statm: 12039 9153 373 3 0 9139 0
[pid=24767] ppid=24746 vsize=182212 CPUtime=1167.01
/proc/24767/stat : 24767 (minisat) R 24746 24746 24025 0 -1 0 45973 0 0 0 116656 45 0 0 25 0 1 0 30281114 186585088 44919 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/24767/statm: 45553 44919 52 112 0 45437 0
Current children cumulated CPU time (s) 1589.39
Current children cumulated vsize (KiB) 230368
[startup+1663.89 s]
/proc/loadavg: 2.00 2.00 1.91 3/82 24867
/proc/meminfo: memFree=1289480/2055920 swapFree=4192812/4192956
[pid=24746] ppid=24744 vsize=48156 CPUtime=422.38
/proc/24746/stat : 24746 (sugar) S 24744 24746 24025 0 -1 4194304 9738 184865 0 2 57 6 41950 225 16 0 1 0 30238521 49311744 9153 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264849371234 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24746/statm: 12039 9153 373 3 0 9139 0
[pid=24767] ppid=24746 vsize=187792 CPUtime=1226.37
/proc/24767/stat : 24767 (minisat) R 24746 24746 24025 0 -1 0 47372 0 0 0 122590 47 0 0 25 0 1 0 30281114 192299008 46318 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/24767/statm: 46948 46318 52 112 0 46832 0
Current children cumulated CPU time (s) 1648.75
Current children cumulated vsize (KiB) 235948
[startup+1723.92 s]
/proc/loadavg: 2.10 2.03 1.93 3/82 24941
/proc/meminfo: memFree=1283600/2055920 swapFree=4192812/4192956
[pid=24746] ppid=24744 vsize=48156 CPUtime=422.38
/proc/24746/stat : 24746 (sugar) S 24744 24746 24025 0 -1 4194304 9738 184865 0 2 57 6 41950 225 16 0 1 0 30238521 49311744 9153 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264849371234 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24746/statm: 12039 9153 373 3 0 9139 0
[pid=24767] ppid=24746 vsize=193508 CPUtime=1285.75
/proc/24767/stat : 24767 (minisat) R 24746 24746 24025 0 -1 0 48821 0 0 0 128527 48 0 0 25 0 1 0 30281114 198152192 47767 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528002 0 0 4096 3 0 0 0 17 1 0 0
/proc/24767/statm: 48377 47767 52 112 0 48261 0
Current children cumulated CPU time (s) 1708.13
Current children cumulated vsize (KiB) 241664
[startup+1784 s]
/proc/loadavg: 2.03 2.02 1.93 3/76 24965
/proc/meminfo: memFree=1279368/2055920 swapFree=4192812/4192956
[pid=24746] ppid=24744 vsize=48156 CPUtime=422.38
/proc/24746/stat : 24746 (sugar) S 24744 24746 24025 0 -1 4194304 9738 184865 0 2 57 6 41950 225 16 0 1 0 30238521 49311744 9153 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264849371234 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24746/statm: 12039 9153 373 3 0 9139 0
[pid=24767] ppid=24746 vsize=198600 CPUtime=1345.26
/proc/24767/stat : 24767 (minisat) R 24746 24746 24025 0 -1 0 50105 0 0 0 134476 50 0 0 25 0 1 0 30281114 203366400 49051 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134528363 0 0 4096 3 0 0 0 17 1 0 0
/proc/24767/statm: 49650 49051 52 112 0 49534 0
Current children cumulated CPU time (s) 1767.64
Current children cumulated vsize (KiB) 246756
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1816.52 s]
/proc/loadavg: 1.73 1.95 1.90 2/66 24980
/proc/meminfo: memFree=1595872/2055920 swapFree=4192812/4192956
[pid=24746] ppid=24744 vsize=48156 CPUtime=422.38
/proc/24746/stat : 24746 (sugar) S 24744 24746 24025 0 -1 4194304 9738 184865 0 2 57 6 41950 225 16 0 1 0 30238521 49311744 9153 18446744073709551615 4194304 4206940 548682069232 18446744073709551615 264849371234 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/24746/statm: 12039 9153 373 3 0 9139 0
[pid=24767] ppid=24746 vsize=201044 CPUtime=1377.63
/proc/24767/stat : 24767 (minisat) R 24746 24746 24025 0 -1 0 50722 0 0 0 137712 51 0 0 25 0 1 0 30281114 205869056 49668 18446744073709551615 134512640 134974460 4294956768 18446744073709551615 134527284 0 0 4096 3 0 0 0 17 0 0 0
/proc/24767/statm: 50261 49668 52 112 0 50145 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 249200
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 1
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 24746 and gives childrusage.ru_utime.tv_sec=420 childrusage.ru_utime.tv_usec=81137 childrusage.ru_stime.tv_sec=2 childrusage.ru_stime.tv_usec=372639
CPU time returned by wait4() is 422.454
while last known CPU time is 1800.06
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 1817.59
CPU time (s): 1800.06
CPU user time (s): 1797.19
CPU system time (s): 2.87
CPU usage (%): 99.0357
Max. virtual memory (cumulated for all children) (KiB): 822060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 420.081
system time used= 2.37264
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 194688
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= 56285
involuntary context switches= 61792
runsolver used 2.21566 s user time and 6.04608 s system time
The end
Begin job on node44 on Mon Jan 29 20:33:44 UTC 2007
IDJOB= 223520
IDBENCH= 5650
IDSOLVER= 86
FILE ID= node44/223520-1170102823
PBS_JOBID= 3689817
Free space on /tmp= 66561 MiB
SOLVER NAME= sugar 0.40
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.5/rand-2-40-25-180-500-79_ext.xml
COMMAND LINE= /tmp/evaluation/223520-1170102823/solver /tmp/evaluation/223520-1170102823 /tmp/evaluation/223520-1170102823/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-223520-1170102823 -o ROOT/results/node44/solver-223520-1170102823 -C 1800 -M 900 /tmp/evaluation/223520-1170102823/solver /tmp/evaluation/223520-1170102823 /tmp/evaluation/223520-1170102823/unknown.xml
META MD5SUM SOLVER= 0a27e717dfe98d83d9802fe0eea45073
MD5SUM BENCH= 22efc0fede6b4b092567517f20fc5741
RANDOM SEED= 828421233
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.261
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.261
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: 1811120 kB
Buffers: 21564 kB
Cached: 42152 kB
SwapCached: 0 kB
Active: 163812 kB
Inactive: 30288 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1811120 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4088 kB
Writeback: 0 kB
Mapped: 147140 kB
Slab: 35712 kB
Committed_AS: 479960 kB
PageTables: 2048 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= 66564 MiB
End job on node44 on Mon Jan 29 21:04:01 UTC 2007