0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/230003-1168081016/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=50 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.42 => wckTime=0.098 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
0.56
0.56 constraints being loaded...
0.70 nbConstraints=465 nbRelationTypes=465 nbExtensionStructures=465 nbSharedExtensionStructures=0
0.70 nbConflictsStructures=465 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2323 maxDegree=28
0.70 maxArity=2
0.70 => wckTime=0.375 cpuTime=0.3 mem=17M695
0.74
0.74 solver IterativeSystematicSolver being built...
0.89 => wckTime=0.568 cpuTime=0.42 mem=15M364
0.90
0.90 preprocessing
0.90 nbConstraintChecks=0 nbPropagations=50 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.90 detectedInconsistency=no
0.90 => wckTime=0.0080 cpuTime=0.01 mem=15M364
0.95
0.95 search
0.95 run=0 nbConstraintChecks=46350 nbPropagations=556 nbRevisions=6333 nbUselessRevisions=5168 nbAssignments=30
0.95 nbFailedAssignments=8 nbBacktracks=14 nbVisitedNodes=44 nbRestartNogoods=0 mapSize=8 nbInferences=0
0.95 nbTooLargeKeys=0
0.95 => wckTime=0.055 cpuTime=0.03 mem=15M364
0.97
0.97 search
0.97 run=1 nbConstraintChecks=105432 nbPropagations=1812 nbRevisions=21810 nbUselessRevisions=17737
0.97 nbAssignments=63 nbFailedAssignments=18 nbBacktracks=30 nbVisitedNodes=96 nbRestartNogoods=1 mapSize=21
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.08 cpuTime=0.05 mem=15M364
0.99
0.99 search
0.99 run=2 nbConstraintChecks=182437 nbPropagations=4010 nbRevisions=50312 nbUselessRevisions=41204
0.99 nbAssignments=115 nbFailedAssignments=35 nbBacktracks=54 nbVisitedNodes=179 nbRestartNogoods=3 mapSize=41
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.102 cpuTime=0.07 mem=15M364
1.02
1.02 search
1.02 run=3 nbConstraintChecks=303408 nbPropagations=7631 nbRevisions=99503 nbUselessRevisions=81648
1.02 nbAssignments=189 nbFailedAssignments=63 nbBacktracks=91 nbVisitedNodes=301 nbRestartNogoods=7 mapSize=72
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.125 cpuTime=0.09 mem=15M364
1.05
1.05 search
1.05 run=4 nbConstraintChecks=501601 nbPropagations=13481 nbRevisions=183504 nbUselessRevisions=150302
1.05 nbAssignments=294 nbFailedAssignments=109 nbBacktracks=141 nbVisitedNodes=484 nbRestartNogoods=10 mapSize=114
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.161 cpuTime=0.12 mem=15M364
1.10
1.10 search
1.10 run=5 nbConstraintChecks=733680 nbPropagations=22132 nbRevisions=309520 nbUselessRevisions=253220
1.10 nbAssignments=439 nbFailedAssignments=168 nbBacktracks=217 nbVisitedNodes=728 nbRestartNogoods=17 mapSize=177
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.206 cpuTime=0.16 mem=15M364
1.16
1.16 search
1.16 run=6 nbConstraintChecks=1022523 nbPropagations=34447 nbRevisions=490829 nbUselessRevisions=401776
1.16 nbAssignments=633 nbFailedAssignments=239 nbBacktracks=330 nbVisitedNodes=1051 nbRestartNogoods=20 mapSize=266
1.16 nbInferences=0 nbTooLargeKeys=0
1.16 => wckTime=0.266 cpuTime=0.22 mem=15M364
1.25
1.25 search
1.25 run=7 nbConstraintChecks=1542325 nbPropagations=52702 nbRevisions=764495 nbUselessRevisions=625740
1.25 nbAssignments=944 nbFailedAssignments=366 nbBacktracks=501 nbVisitedNodes=1589 nbRestartNogoods=28 mapSize=412
1.25 nbInferences=0 nbTooLargeKeys=0
1.25 => wckTime=0.355 cpuTime=0.3 mem=15M364
1.36
1.36 search
1.36 run=8 nbConstraintChecks=2174863 nbPropagations=78871 nbRevisions=1159245 nbUselessRevisions=949064
1.36 nbAssignments=1370 nbFailedAssignments=525 nbBacktracks=758 nbVisitedNodes=2306 nbRestartNogoods=34
1.36 mapSize=622 nbInferences=0 nbTooLargeKeys=0
1.36 => wckTime=0.468 cpuTime=0.41 mem=15M364
1.54
1.54 search
1.54 run=9 nbConstraintChecks=3214845 nbPropagations=117304 nbRevisions=1741029 nbUselessRevisions=1424916
1.54 nbAssignments=2000 nbFailedAssignments=758 nbBacktracks=1144 nbVisitedNodes=3375 nbRestartNogoods=44
1.54 mapSize=935 nbInferences=0 nbTooLargeKeys=0
1.54 => wckTime=0.644 cpuTime=0.57 mem=15M364
1.59
1.59 INFO : Stopping hyperNogood (mapSize=1023, nbTooLargekeys=0, mem=15M364)
1.79
1.79 search
1.79 run=10 nbConstraintChecks=4887047 nbPropagations=174795 nbRevisions=2620804 nbUselessRevisions=2144072
1.79 nbAssignments=2976 nbFailedAssignments=1147 nbBacktracks=1721 nbVisitedNodes=5064 nbRestartNogoods=52
1.79 => wckTime=0.894 cpuTime=0.81 mem=15M364
2.13
2.13 search
2.13 run=11 nbConstraintChecks=7262669 nbPropagations=260474 nbRevisions=3947252 nbUselessRevisions=3230236
2.13 nbAssignments=4463 nbFailedAssignments=1759 nbBacktracks=2585 nbVisitedNodes=7613 nbRestartNogoods=60
2.13 => wckTime=1.238 cpuTime=1.15 mem=15M364
2.60
2.60 search
2.60 run=12 nbConstraintChecks=10375999 nbPropagations=386348 nbRevisions=5882201 nbUselessRevisions=4817229
2.60 nbAssignments=6577 nbFailedAssignments=2565 nbBacktracks=3884 nbVisitedNodes=11226 nbRestartNogoods=70
2.60 => wckTime=1.705 cpuTime=1.61 mem=15M364
3.32
3.32 search
3.32 run=13 nbConstraintChecks=15346695 nbPropagations=572960 nbRevisions=8771652 nbUselessRevisions=7189813
3.32 nbAssignments=9781 nbFailedAssignments=3811 nbBacktracks=5831 nbVisitedNodes=16725 nbRestartNogoods=77
3.32 => wckTime=2.427 cpuTime=2.33 mem=15M364
4.40
4.40 search
4.40 run=14 nbConstraintChecks=22633338 nbPropagations=851414 nbRevisions=13086863 nbUselessRevisions=10734357
4.40 nbAssignments=14621 nbFailedAssignments=5722 nbBacktracks=8751 nbVisitedNodes=25042 nbRestartNogoods=85
4.40 => wckTime=3.509 cpuTime=3.41 mem=15M364
5.93
5.93 search
5.93 run=15 nbConstraintChecks=33169844 nbPropagations=1260386 nbRevisions=19385388 nbUselessRevisions=15907547
5.94 nbAssignments=21548 nbFailedAssignments=8258 nbBacktracks=13129 nbVisitedNodes=36764 nbRestartNogoods=89
5.94 => wckTime=5.042 cpuTime=4.93 mem=15M364
8.45
8.45 search
8.45 run=16 nbConstraintChecks=50819302 nbPropagations=1880536 nbRevisions=28982579 nbUselessRevisions=23788401
8.45 nbAssignments=32216 nbFailedAssignments=12347 nbBacktracks=19698 nbVisitedNodes=55117 nbRestartNogoods=98
8.45 => wckTime=7.559 cpuTime=7.44 mem=15M364
12.11
12.11 search
12.11 run=17 nbConstraintChecks=76350202 nbPropagations=2810485 nbRevisions=43386429 nbUselessRevisions=35612673
12.11 nbAssignments=48171 nbFailedAssignments=18441 nbBacktracks=29550 nbVisitedNodes=82505 nbRestartNogoods=106
12.11 => wckTime=11.216 cpuTime=11.09 mem=15M364
17.62
17.62 search
17.62 run=18 nbConstraintChecks=115278194 nbPropagations=4202969 nbRevisions=64923755 nbUselessRevisions=53278025
17.62 nbAssignments=71521 nbFailedAssignments=27003 nbBacktracks=44329 nbVisitedNodes=122289 nbRestartNogoods=120
17.62 => wckTime=16.729 cpuTime=16.54 mem=15M364
26.43
26.43 search
26.43 run=19 nbConstraintChecks=178124862 nbPropagations=6317416 nbRevisions=97885980 nbUselessRevisions=80305699
26.43 nbAssignments=107917 nbFailedAssignments=41220 nbBacktracks=66502 nbVisitedNodes=184879 nbRestartNogoods=133
26.43 => wckTime=25.532 cpuTime=25.31 mem=15M364
38.34
38.34 search
38.34 run=20 nbConstraintChecks=261572494 nbPropagations=9449959 nbRevisions=146397038 nbUselessRevisions=120095142
38.34 nbAssignments=160697 nbFailedAssignments=60739 nbBacktracks=99755 nbVisitedNodes=274216 nbRestartNogoods=142
38.34 => wckTime=37.445 cpuTime=37.17 mem=15M364
57.71
57.71 search
57.71 run=21 nbConstraintChecks=397951018 nbPropagations=14208257 nbRevisions=220230032 nbUselessRevisions=180658526
57.71 nbAssignments=243196 nbFailedAssignments=93349 nbBacktracks=149633 nbVisitedNodes=416320 nbRestartNogoods=150
57.71 => wckTime=56.814 cpuTime=56.44 mem=15M364
84.26
84.26 search
84.26 run=22 nbConstraintChecks=578062251 nbPropagations=21224340 nbRevisions=329118741 nbUselessRevisions=270100888
84.26 nbAssignments=362903 nbFailedAssignments=138227 nbBacktracks=224455 nbVisitedNodes=619809 nbRestartNogoods=164
84.26 => wckTime=83.368 cpuTime=82.87 mem=15M364
124.36
124.36 search
124.36 run=23 nbConstraintChecks=858199877 nbPropagations=31668382 nbRevisions=490170383 nbUselessRevisions=402255116
124.36 nbAssignments=542428 nbFailedAssignments=205517 nbBacktracks=336683 nbVisitedNodes=923924 nbRestartNogoods=172
124.36 => wckTime=123.465 cpuTime=122.77 mem=15M364
188.86
188.86 search
188.86 run=24 nbConstraintChecks=1315694445 nbPropagations=47490946 nbRevisions=735561095 nbUselessRevisions=603712600
188.86 nbAssignments=814878 nbFailedAssignments=309612 nbBacktracks=505026 nbVisitedNodes=1390776 nbRestartNogoods=182
188.86 => wckTime=187.971 cpuTime=186.98 mem=15M364
279.70
279.70 search
279.70 run=25 nbConstraintChecks=1933256128 nbPropagations=71074247 nbRevisions=1101988646
279.70 nbUselessRevisions=905106533 nbAssignments=1221507 nbFailedAssignments=463717 nbBacktracks=757539
279.70 nbVisitedNodes=2085261 nbRestartNogoods=191
279.70 => wckTime=278.809 cpuTime=277.32 mem=15M364
421.48
421.48 search
421.48 run=26 nbConstraintChecks=2929804187 nbPropagations=106495379 nbRevisions=1653691013
421.48 nbUselessRevisions=1358754910 nbAssignments=1827491 nbFailedAssignments=690923 nbBacktracks=1136308
421.48 nbVisitedNodes=3117791 nbRestartNogoods=205
421.48 => wckTime=420.589 cpuTime=418.35 mem=15M364
622.43
622.43 search
622.43 run=27 nbConstraintChecks=4313281259 nbPropagations=159152765 nbRevisions=2470418211
622.43 nbUselessRevisions=2030561039 nbAssignments=2728359 nbFailedAssignments=1023634 nbBacktracks=1704460
622.43 nbVisitedNodes=4649128 nbRestartNogoods=219
622.43 => wckTime=621.539 cpuTime=618.25 mem=15M364
960.21
960.21 search
960.21 run=28 nbConstraintChecks=6723568451 nbPropagations=239585515 nbRevisions=3733048227
960.21 nbUselessRevisions=3069638337 nbAssignments=4138889 nbFailedAssignments=1581925 nbBacktracks=2556686
960.21 nbVisitedNodes=7085658 nbRestartNogoods=237
960.21 => wckTime=959.32 cpuTime=954.42 mem=15M364
1172.57
1172.57 search
1172.57 run=29 nbConstraintChecks=8187481087 nbPropagations=337963719 nbRevisions=5276287176
1172.57 nbUselessRevisions=4340016388 nbAssignments=5076299 nbFailedAssignments=1926943 nbBacktracks=3149028
1172.57 nbVisitedNodes=8678393 nbRestartNogoods=253
1172.57 => wckTime=1171.678 cpuTime=1165.79 mem=15M364
1172.57
1172.57 global
1172.57 nbConstraintChecks=8187481087 nbPropagations=337963769 nbRevisions=5276287176 nbUselessRevisions=4340016388
1172.57 nbRestartNogoods=253 solvingWckTime=1171.68 solvingCpuTime=1165.79 expiredTime=no totalExploration=no
1172.57 nbFoundSolutions=1 globalCpuTime=1166.26
1172.57 => wckTime=1172.25 cpuTime=1166.21 mem=16M339
1172.58
1172.58 s SATISFIABLE
1172.58 v 6 15 7 11 17 9 12 12 22 20 10 20 9 22 0 19 17 17 22 18 10 18 19 19 12 1 0 14 10 16 19 21 7 2 14 7 0 20 10 6 5 1 9 12 8 9 19 2 10 3
1172.58 d NODES 5076299
1172.58 d CHECKS 8187481087
1172.58
1172.58 totalWckTime=1172.328 totalCpuTime=1166.26
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node20/watcher-230003-1168081016 -o ROOT/results/node20/solver-230003-1168081016 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/230003-1168081016/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.08 0.38 0.90 4/81 24663
/proc/meminfo: memFree=1742464/2055920 swapFree=4170284/4192956
[pid=24662] ppid=24660 vsize=164 CPUtime=0
/proc/24662/stat : 24662 (java) R 24660 24662 24195 0 -1 0 196 0 0 0 0 0 0 0 18 0 1 0 156496774 167936 3 18446744073709551615 134512640 134570532 4294956887 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24662/statm: 42 17 12 14 0 2 0
[startup+0.103775 s]
/proc/loadavg: 0.08 0.38 0.90 4/81 24663
/proc/meminfo: memFree=1742464/2055920 swapFree=4170284/4192956
[pid=24662] ppid=24660 vsize=911488 CPUtime=0.07
/proc/24662/stat : 24662 (java) R 24660 24662 24195 0 -1 0 2592 0 1 0 6 1 0 0 22 0 8 0 156496774 933363712 2339 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153618506 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24662/statm: 227872 2339 1273 14 0 215051 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 911488
[startup+0.515824 s]
/proc/loadavg: 0.08 0.38 0.90 4/81 24663
/proc/meminfo: memFree=1742464/2055920 swapFree=4170284/4192956
[pid=24662] ppid=24660 vsize=915328 CPUtime=0.47
/proc/24662/stat : 24662 (java) R 24660 24662 24195 0 -1 0 6995 0 1 0 44 3 0 0 25 0 8 0 156496774 937295872 6734 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24662/statm: 228832 6734 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328
[startup+1.34292 s]
/proc/loadavg: 0.31 0.42 0.91 4/100 24682
/proc/meminfo: memFree=1686440/2055920 swapFree=4170284/4192956
[pid=24662] ppid=24660 vsize=915460 CPUtime=1.29
/proc/24662/stat : 24662 (java) R 24660 24662 24195 0 -1 0 9620 0 1 0 124 5 0 0 25 0 8 0 156496774 937431040 9358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073812633 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24662/statm: 228865 9358 2513 14 0 215335 0
[pid=24662/tid=24669] ppid=24660 vsize=915460 CPUtime=0.03
/proc/24662/task/24669/stat : 24669 (java) S 24660 24662 24195 0 -1 64 408 0 0 0 3 0 0 0 17 0 8 0 156496780 937431040 9358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24670] ppid=24660 vsize=915460 CPUtime=0
/proc/24662/task/24670/stat : 24670 (java) S 24660 24662 24195 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156496780 937431040 9358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24671] ppid=24660 vsize=915460 CPUtime=0
/proc/24662/task/24671/stat : 24671 (java) S 24660 24662 24195 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156496780 937431040 9358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24673] ppid=24660 vsize=915460 CPUtime=0
/proc/24662/task/24673/stat : 24673 (java) S 24660 24662 24195 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156496784 937431040 9358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24674] ppid=24660 vsize=915460 CPUtime=0.19
/proc/24662/task/24674/stat : 24674 (java) S 24660 24662 24195 0 -1 64 382 0 0 0 19 0 0 0 15 0 8 0 156496784 937431040 9358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24675] ppid=24660 vsize=915460 CPUtime=0
/proc/24662/task/24675/stat : 24675 (java) S 24660 24662 24195 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156496784 937431040 9358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24676] ppid=24660 vsize=915460 CPUtime=0
/proc/24662/task/24676/stat : 24676 (java) S 24660 24662 24195 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156496784 937431040 9358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915460
[startup+2.98012 s]
/proc/loadavg: 0.31 0.42 0.91 3/100 24682
/proc/meminfo: memFree=1686056/2055920 swapFree=4170284/4192956
[pid=24662] ppid=24660 vsize=915460 CPUtime=2.92
/proc/24662/stat : 24662 (java) R 24660 24662 24195 0 -1 0 9635 0 1 0 287 5 0 0 25 0 8 0 156496774 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073823704 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24662/statm: 228865 9372 2513 14 0 215335 0
[pid=24662/tid=24669] ppid=24660 vsize=915460 CPUtime=0.03
/proc/24662/task/24669/stat : 24669 (java) S 24660 24662 24195 0 -1 64 408 0 0 0 3 0 0 0 17 0 8 0 156496780 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24670] ppid=24660 vsize=915460 CPUtime=0
/proc/24662/task/24670/stat : 24670 (java) S 24660 24662 24195 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156496780 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24671] ppid=24660 vsize=915460 CPUtime=0
/proc/24662/task/24671/stat : 24671 (java) S 24660 24662 24195 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156496780 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24673] ppid=24660 vsize=915460 CPUtime=0
/proc/24662/task/24673/stat : 24673 (java) S 24660 24662 24195 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156496784 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24674] ppid=24660 vsize=915460 CPUtime=0.21
/proc/24662/task/24674/stat : 24674 (java) S 24660 24662 24195 0 -1 64 396 0 0 0 21 0 0 0 15 0 8 0 156496784 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24675] ppid=24660 vsize=915460 CPUtime=0
/proc/24662/task/24675/stat : 24675 (java) S 24660 24662 24195 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156496784 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24676] ppid=24660 vsize=915460 CPUtime=0
/proc/24662/task/24676/stat : 24676 (java) S 24660 24662 24195 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156496784 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915460
[startup+6.25951 s]
/proc/loadavg: 0.44 0.45 0.91 3/100 24682
/proc/meminfo: memFree=1686056/2055920 swapFree=4170284/4192956
[pid=24662] ppid=24660 vsize=915460 CPUtime=6.18
/proc/24662/stat : 24662 (java) R 24660 24662 24195 0 -1 0 9636 0 1 0 613 5 0 0 25 0 8 0 156496774 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073848655 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24662/statm: 228865 9372 2513 14 0 215335 0
[pid=24662/tid=24669] ppid=24660 vsize=915460 CPUtime=0.03
/proc/24662/task/24669/stat : 24669 (java) S 24660 24662 24195 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 156496780 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24670] ppid=24660 vsize=915460 CPUtime=0
/proc/24662/task/24670/stat : 24670 (java) S 24660 24662 24195 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156496780 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24671] ppid=24660 vsize=915460 CPUtime=0
/proc/24662/task/24671/stat : 24671 (java) S 24660 24662 24195 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156496780 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24673] ppid=24660 vsize=915460 CPUtime=0
/proc/24662/task/24673/stat : 24673 (java) S 24660 24662 24195 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156496784 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24674] ppid=24660 vsize=915460 CPUtime=0.21
/proc/24662/task/24674/stat : 24674 (java) S 24660 24662 24195 0 -1 64 396 0 0 0 21 0 0 0 15 0 8 0 156496784 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24675] ppid=24660 vsize=915460 CPUtime=0
/proc/24662/task/24675/stat : 24675 (java) S 24660 24662 24195 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156496784 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24676] ppid=24660 vsize=915460 CPUtime=0
/proc/24662/task/24676/stat : 24676 (java) S 24660 24662 24195 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156496784 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915460
[startup+12.7463 s]
/proc/loadavg: 0.57 0.47 0.92 4/100 24682
/proc/meminfo: memFree=1686056/2055920 swapFree=4170284/4192956
[pid=24662] ppid=24660 vsize=915460 CPUtime=12.63
/proc/24662/stat : 24662 (java) R 24660 24662 24195 0 -1 0 9636 0 1 0 1257 6 0 0 25 0 8 0 156496774 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073832263 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24662/statm: 228865 9372 2513 14 0 215335 0
[pid=24662/tid=24669] ppid=24660 vsize=915460 CPUtime=0.03
/proc/24662/task/24669/stat : 24669 (java) S 24660 24662 24195 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 156496780 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24670] ppid=24660 vsize=915460 CPUtime=0
/proc/24662/task/24670/stat : 24670 (java) S 24660 24662 24195 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156496780 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24671] ppid=24660 vsize=915460 CPUtime=0
/proc/24662/task/24671/stat : 24671 (java) S 24660 24662 24195 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156496780 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24673] ppid=24660 vsize=915460 CPUtime=0
/proc/24662/task/24673/stat : 24673 (java) S 24660 24662 24195 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156496784 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24674] ppid=24660 vsize=915460 CPUtime=0.22
/proc/24662/task/24674/stat : 24674 (java) S 24660 24662 24195 0 -1 64 396 0 0 0 22 0 0 0 16 0 8 0 156496784 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24675] ppid=24660 vsize=915460 CPUtime=0
/proc/24662/task/24675/stat : 24675 (java) S 24660 24662 24195 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156496784 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24676] ppid=24660 vsize=915460 CPUtime=0
/proc/24662/task/24676/stat : 24676 (java) S 24660 24662 24195 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156496784 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915460
[startup+25.5988 s]
/proc/loadavg: 0.79 0.52 0.93 3/100 24682
/proc/meminfo: memFree=1686184/2055920 swapFree=4170284/4192956
[pid=24662] ppid=24660 vsize=915460 CPUtime=25.42
/proc/24662/stat : 24662 (java) R 24660 24662 24195 0 -1 0 9636 0 1 0 2536 6 0 0 25 0 8 0 156496774 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073837218 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24662/statm: 228865 9372 2513 14 0 215335 0
[pid=24662/tid=24669] ppid=24660 vsize=915460 CPUtime=0.03
/proc/24662/task/24669/stat : 24669 (java) S 24660 24662 24195 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 156496780 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24670] ppid=24660 vsize=915460 CPUtime=0
/proc/24662/task/24670/stat : 24670 (java) S 24660 24662 24195 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156496780 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24671] ppid=24660 vsize=915460 CPUtime=0
/proc/24662/task/24671/stat : 24671 (java) S 24660 24662 24195 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156496780 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24673] ppid=24660 vsize=915460 CPUtime=0
/proc/24662/task/24673/stat : 24673 (java) S 24660 24662 24195 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156496784 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24674] ppid=24660 vsize=915460 CPUtime=0.22
/proc/24662/task/24674/stat : 24674 (java) S 24660 24662 24195 0 -1 64 396 0 0 0 22 0 0 0 16 0 8 0 156496784 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24675] ppid=24660 vsize=915460 CPUtime=0
/proc/24662/task/24675/stat : 24675 (java) S 24660 24662 24195 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156496784 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24676] ppid=24660 vsize=915460 CPUtime=0
/proc/24662/task/24676/stat : 24676 (java) S 24660 24662 24195 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156496784 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 915460
[startup+51.2989 s]
/proc/loadavg: 1.34 0.68 0.97 3/100 24682
/proc/meminfo: memFree=1686248/2055920 swapFree=4170284/4192956
[pid=24662] ppid=24660 vsize=915460 CPUtime=51
/proc/24662/stat : 24662 (java) R 24660 24662 24195 0 -1 0 9638 0 1 0 5094 6 0 0 25 0 8 0 156496774 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073876952 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24662/statm: 228865 9373 2513 14 0 215335 0
[pid=24662/tid=24669] ppid=24660 vsize=915460 CPUtime=0.03
/proc/24662/task/24669/stat : 24669 (java) S 24660 24662 24195 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 156496780 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24670] ppid=24660 vsize=915460 CPUtime=0
/proc/24662/task/24670/stat : 24670 (java) S 24660 24662 24195 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156496780 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24671] ppid=24660 vsize=915460 CPUtime=0
/proc/24662/task/24671/stat : 24671 (java) S 24660 24662 24195 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156496780 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24673] ppid=24660 vsize=915460 CPUtime=0
/proc/24662/task/24673/stat : 24673 (java) S 24660 24662 24195 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156496784 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24674] ppid=24660 vsize=915460 CPUtime=0.22
/proc/24662/task/24674/stat : 24674 (java) S 24660 24662 24195 0 -1 64 397 0 0 0 22 0 0 0 16 0 8 0 156496784 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24675] ppid=24660 vsize=915460 CPUtime=0
/proc/24662/task/24675/stat : 24675 (java) S 24660 24662 24195 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156496784 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24676] ppid=24660 vsize=915460 CPUtime=0
/proc/24662/task/24676/stat : 24676 (java) S 24660 24662 24195 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156496784 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 915460
[startup+102.597 s]
/proc/loadavg: 1.71 0.88 1.02 3/100 24682
/proc/meminfo: memFree=1686248/2055920 swapFree=4170284/4192956
[pid=24662] ppid=24660 vsize=915460 CPUtime=102.04
/proc/24662/stat : 24662 (java) R 24660 24662 24195 0 -1 0 9639 0 1 0 10198 6 0 0 25 0 8 0 156496774 937431040 9374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073811764 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24662/statm: 228865 9374 2513 14 0 215335 0
[pid=24662/tid=24669] ppid=24660 vsize=915460 CPUtime=0.03
/proc/24662/task/24669/stat : 24669 (java) S 24660 24662 24195 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 156496780 937431040 9374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24670] ppid=24660 vsize=915460 CPUtime=0
/proc/24662/task/24670/stat : 24670 (java) S 24660 24662 24195 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156496780 937431040 9374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24671] ppid=24660 vsize=915460 CPUtime=0
/proc/24662/task/24671/stat : 24671 (java) S 24660 24662 24195 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156496780 937431040 9374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24673] ppid=24660 vsize=915460 CPUtime=0
/proc/24662/task/24673/stat : 24673 (java) S 24660 24662 24195 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156496784 937431040 9374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24674] ppid=24660 vsize=915460 CPUtime=0.22
/proc/24662/task/24674/stat : 24674 (java) S 24660 24662 24195 0 -1 64 398 0 0 0 22 0 0 0 16 0 8 0 156496784 937431040 9374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24675] ppid=24660 vsize=915460 CPUtime=0
/proc/24662/task/24675/stat : 24675 (java) S 24660 24662 24195 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156496784 937431040 9374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24676] ppid=24660 vsize=915460 CPUtime=0
/proc/24662/task/24676/stat : 24676 (java) S 24660 24662 24195 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156496784 937431040 9374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.04
Current children cumulated vsize (KiB) 915460
[startup+162.628 s]
/proc/loadavg: 1.89 1.08 1.08 3/100 24682
/proc/meminfo: memFree=1686248/2055920 swapFree=4170284/4192956
[pid=24662] ppid=24660 vsize=915460 CPUtime=161.79
/proc/24662/stat : 24662 (java) R 24660 24662 24195 0 -1 0 9639 0 1 0 16173 6 0 0 25 0 8 0 156496774 937431040 9374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073822803 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
/proc/24662/task/24673/stat : 24673 (java) S 24660 24662 24195 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156496784 937431040 9374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24674] ppid=24660 vsize=915460 CPUtime=0.22
/proc/24662/task/24674/stat : 24674 (java) S 24660 24662 24195 0 -1 64 398 0 0 0 22 0 0 0 16 0 8 0 156496784 937431040 9374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24675] ppid=24660 vsize=915460 CPUtime=0
/proc/24662/task/24675/stat : 24675 (java) S 24660 24662 24195 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156496784 937431040 9374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24676] ppid=24660 vsize=915460 CPUtime=0
/proc/24662/task/24676/stat : 24676 (java) S 24660 24662 24195 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156496784 937431040 9374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 699.35
Current children cumulated vsize (KiB) 915460
[startup+763.015 s]
/proc/loadavg: 2.00 1.88 1.50 3/100 24880
/proc/meminfo: memFree=1685864/2055920 swapFree=4170284/4192956
[pid=24662] ppid=24660 vsize=915460 CPUtime=759.12
/proc/24662/stat : 24662 (java) R 24660 24662 24195 0 -1 0 9639 0 1 0 75890 22 0 0 25 0 8 0 156496774 937431040 9374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918603 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24662/statm: 228865 9374 2513 14 0 215335 0
[pid=24662/tid=24669] ppid=24660 vsize=915460 CPUtime=0.03
/proc/24662/task/24669/stat : 24669 (java) S 24660 24662 24195 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 156496780 937431040 9374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24670] ppid=24660 vsize=915460 CPUtime=0
/proc/24662/task/24670/stat : 24670 (java) S 24660 24662 24195 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156496780 937431040 9374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24671] ppid=24660 vsize=915460 CPUtime=0
/proc/24662/task/24671/stat : 24671 (java) S 24660 24662 24195 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156496780 937431040 9374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24673] ppid=24660 vsize=915460 CPUtime=0
/proc/24662/task/24673/stat : 24673 (java) S 24660 24662 24195 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156496784 937431040 9374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24674] ppid=24660 vsize=915460 CPUtime=0.22
/proc/24662/task/24674/stat : 24674 (java) S 24660 24662 24195 0 -1 64 398 0 0 0 22 0 0 0 16 0 8 0 156496784 937431040 9374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24675] ppid=24660 vsize=915460 CPUtime=0
/proc/24662/task/24675/stat : 24675 (java) S 24660 24662 24195 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156496784 937431040 9374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24676] ppid=24660 vsize=915460 CPUtime=0
/proc/24662/task/24676/stat : 24676 (java) S 24660 24662 24195 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156496784 937431040 9374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 759.12
Current children cumulated vsize (KiB) 915460
[startup+823.05 s]
/proc/loadavg: 2.00 1.89 1.53 3/100 24880
/proc/meminfo: memFree=1685864/2055920 swapFree=4170284/4192956
[pid=24662] ppid=24660 vsize=915460 CPUtime=818.86
/proc/24662/stat : 24662 (java) R 24660 24662 24195 0 -1 0 9639 0 1 0 81864 22 0 0 25 0 8 0 156496774 937431040 9374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073833126 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24662/statm: 228865 9374 2513 14 0 215335 0
[pid=24662/tid=24669] ppid=24660 vsize=915460 CPUtime=0.03
/proc/24662/task/24669/stat : 24669 (java) S 24660 24662 24195 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 156496780 937431040 9374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24670] ppid=24660 vsize=915460 CPUtime=0
/proc/24662/task/24670/stat : 24670 (java) S 24660 24662 24195 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156496780 937431040 9374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24671] ppid=24660 vsize=915460 CPUtime=0
/proc/24662/task/24671/stat : 24671 (java) S 24660 24662 24195 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156496780 937431040 9374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24673] ppid=24660 vsize=915460 CPUtime=0
/proc/24662/task/24673/stat : 24673 (java) S 24660 24662 24195 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156496784 937431040 9374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24674] ppid=24660 vsize=915460 CPUtime=0.22
/proc/24662/task/24674/stat : 24674 (java) S 24660 24662 24195 0 -1 64 398 0 0 0 22 0 0 0 16 0 8 0 156496784 937431040 9374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24675] ppid=24660 vsize=915460 CPUtime=0
/proc/24662/task/24675/stat : 24675 (java) S 24660 24662 24195 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156496784 937431040 9374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24676] ppid=24660 vsize=915460 CPUtime=0.01
/proc/24662/task/24676/stat : 24676 (java) S 24660 24662 24195 0 -1 64 0 0 0 0 1 0 0 0 15 0 8 0 156496784 937431040 9374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 818.86
Current children cumulated vsize (KiB) 915460
[startup+883.085 s]
/proc/loadavg: 2.00 1.91 1.56 3/100 24880
/proc/meminfo: memFree=1685864/2055920 swapFree=4170284/4192956
[pid=24662] ppid=24660 vsize=915460 CPUtime=878.62
/proc/24662/stat : 24662 (java) R 24660 24662 24195 0 -1 0 9639 0 1 0 87840 22 0 0 25 0 8 0 156496774 937431040 9374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073814195 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24662/statm: 228865 9374 2513 14 0 215335 0
[pid=24662/tid=24669] ppid=24660 vsize=915460 CPUtime=0.03
/proc/24662/task/24669/stat : 24669 (java) S 24660 24662 24195 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 156496780 937431040 9374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24670] ppid=24660 vsize=915460 CPUtime=0
/proc/24662/task/24670/stat : 24670 (java) S 24660 24662 24195 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156496780 937431040 9374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24671] ppid=24660 vsize=915460 CPUtime=0
/proc/24662/task/24671/stat : 24671 (java) S 24660 24662 24195 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156496780 937431040 9374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24673] ppid=24660 vsize=915460 CPUtime=0
/proc/24662/task/24673/stat : 24673 (java) S 24660 24662 24195 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156496784 937431040 9374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24674] ppid=24660 vsize=915460 CPUtime=0.22
/proc/24662/task/24674/stat : 24674 (java) S 24660 24662 24195 0 -1 64 398 0 0 0 22 0 0 0 16 0 8 0 156496784 937431040 9374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24675] ppid=24660 vsize=915460 CPUtime=0
/proc/24662/task/24675/stat : 24675 (java) S 24660 24662 24195 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156496784 937431040 9374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24676] ppid=24660 vsize=915460 CPUtime=0.01
/proc/24662/task/24676/stat : 24676 (java) S 24660 24662 24195 0 -1 64 0 0 0 0 1 0 0 0 15 0 8 0 156496784 937431040 9374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 878.62
Current children cumulated vsize (KiB) 915460
[startup+943.118 s]
/proc/loadavg: 2.00 1.92 1.58 3/100 24880
/proc/meminfo: memFree=1685800/2055920 swapFree=4170284/4192956
[pid=24662] ppid=24660 vsize=915460 CPUtime=938.37
/proc/24662/stat : 24662 (java) R 24660 24662 24195 0 -1 0 9639 0 1 0 93815 22 0 0 25 0 8 0 156496774 937431040 9374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073823073 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24662/statm: 228865 9374 2513 14 0 215335 0
[pid=24662/tid=24669] ppid=24660 vsize=915460 CPUtime=0.03
/proc/24662/task/24669/stat : 24669 (java) S 24660 24662 24195 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 156496780 937431040 9374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24670] ppid=24660 vsize=915460 CPUtime=0
/proc/24662/task/24670/stat : 24670 (java) S 24660 24662 24195 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156496780 937431040 9374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24671] ppid=24660 vsize=915460 CPUtime=0
/proc/24662/task/24671/stat : 24671 (java) S 24660 24662 24195 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156496780 937431040 9374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24673] ppid=24660 vsize=915460 CPUtime=0
/proc/24662/task/24673/stat : 24673 (java) S 24660 24662 24195 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156496784 937431040 9374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24674] ppid=24660 vsize=915460 CPUtime=0.22
/proc/24662/task/24674/stat : 24674 (java) S 24660 24662 24195 0 -1 64 398 0 0 0 22 0 0 0 16 0 8 0 156496784 937431040 9374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24675] ppid=24660 vsize=915460 CPUtime=0
/proc/24662/task/24675/stat : 24675 (java) S 24660 24662 24195 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156496784 937431040 9374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24676] ppid=24660 vsize=915460 CPUtime=0.01
/proc/24662/task/24676/stat : 24676 (java) S 24660 24662 24195 0 -1 64 0 0 0 0 1 0 0 0 15 0 8 0 156496784 937431040 9374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 938.37
Current children cumulated vsize (KiB) 915460
[startup+1003.16 s]
/proc/loadavg: 2.00 1.94 1.60 3/100 24880
/proc/meminfo: memFree=1685800/2055920 swapFree=4170284/4192956
[pid=24662] ppid=24660 vsize=915460 CPUtime=998.11
/proc/24662/stat : 24662 (java) R 24660 24662 24195 0 -1 0 9641 0 1 0 99789 22 0 0 25 0 8 0 156496774 937431040 9376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073837228 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24662/statm: 228865 9376 2513 14 0 215335 0
[pid=24662/tid=24669] ppid=24660 vsize=915460 CPUtime=0.03
/proc/24662/task/24669/stat : 24669 (java) S 24660 24662 24195 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 156496780 937431040 9376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24670] ppid=24660 vsize=915460 CPUtime=0
/proc/24662/task/24670/stat : 24670 (java) S 24660 24662 24195 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156496780 937431040 9376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24671] ppid=24660 vsize=915460 CPUtime=0
/proc/24662/task/24671/stat : 24671 (java) S 24660 24662 24195 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156496780 937431040 9376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24673] ppid=24660 vsize=915460 CPUtime=0
/proc/24662/task/24673/stat : 24673 (java) S 24660 24662 24195 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156496784 937431040 9376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24674] ppid=24660 vsize=915460 CPUtime=0.22
/proc/24662/task/24674/stat : 24674 (java) S 24660 24662 24195 0 -1 64 398 0 0 0 22 0 0 0 16 0 8 0 156496784 937431040 9376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24675] ppid=24660 vsize=915460 CPUtime=0
/proc/24662/task/24675/stat : 24675 (java) S 24660 24662 24195 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156496784 937431040 9376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24676] ppid=24660 vsize=915460 CPUtime=0.01
/proc/24662/task/24676/stat : 24676 (java) S 24660 24662 24195 0 -1 64 0 0 0 0 1 0 0 0 15 0 8 0 156496784 937431040 9376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 998.11
Current children cumulated vsize (KiB) 915460
[startup+1063.19 s]
/proc/loadavg: 2.03 1.96 1.63 3/100 24880
/proc/meminfo: memFree=1685800/2055920 swapFree=4170284/4192956
[pid=24662] ppid=24660 vsize=915460 CPUtime=1057.86
/proc/24662/stat : 24662 (java) R 24660 24662 24195 0 -1 0 9641 0 1 0 105764 22 0 0 25 0 8 0 156496774 937431040 9376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073810794 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24662/statm: 228865 9376 2513 14 0 215335 0
[pid=24662/tid=24669] ppid=24660 vsize=915460 CPUtime=0.03
/proc/24662/task/24669/stat : 24669 (java) S 24660 24662 24195 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 156496780 937431040 9376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24670] ppid=24660 vsize=915460 CPUtime=0
/proc/24662/task/24670/stat : 24670 (java) S 24660 24662 24195 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156496780 937431040 9376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24671] ppid=24660 vsize=915460 CPUtime=0
/proc/24662/task/24671/stat : 24671 (java) S 24660 24662 24195 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156496780 937431040 9376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24673] ppid=24660 vsize=915460 CPUtime=0
/proc/24662/task/24673/stat : 24673 (java) S 24660 24662 24195 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156496784 937431040 9376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24674] ppid=24660 vsize=915460 CPUtime=0.22
/proc/24662/task/24674/stat : 24674 (java) S 24660 24662 24195 0 -1 64 398 0 0 0 22 0 0 0 16 0 8 0 156496784 937431040 9376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24675] ppid=24660 vsize=915460 CPUtime=0
/proc/24662/task/24675/stat : 24675 (java) S 24660 24662 24195 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156496784 937431040 9376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24676] ppid=24660 vsize=915460 CPUtime=0.01
/proc/24662/task/24676/stat : 24676 (java) S 24660 24662 24195 0 -1 64 0 0 0 0 1 0 0 0 15 0 8 0 156496784 937431040 9376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1057.86
Current children cumulated vsize (KiB) 915460
[startup+1123.22 s]
/proc/loadavg: 2.01 1.97 1.65 3/100 24880
/proc/meminfo: memFree=1685736/2055920 swapFree=4170284/4192956
[pid=24662] ppid=24660 vsize=915460 CPUtime=1117.62
/proc/24662/stat : 24662 (java) R 24660 24662 24195 0 -1 0 9641 0 1 0 111739 23 0 0 25 0 8 0 156496774 937431040 9376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073822768 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24662/statm: 228865 9376 2513 14 0 215335 0
[pid=24662/tid=24669] ppid=24660 vsize=915460 CPUtime=0.03
/proc/24662/task/24669/stat : 24669 (java) S 24660 24662 24195 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 156496780 937431040 9376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24670] ppid=24660 vsize=915460 CPUtime=0
/proc/24662/task/24670/stat : 24670 (java) S 24660 24662 24195 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156496780 937431040 9376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24671] ppid=24660 vsize=915460 CPUtime=0
/proc/24662/task/24671/stat : 24671 (java) S 24660 24662 24195 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156496780 937431040 9376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24673] ppid=24660 vsize=915460 CPUtime=0
/proc/24662/task/24673/stat : 24673 (java) S 24660 24662 24195 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156496784 937431040 9376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24674] ppid=24660 vsize=915460 CPUtime=0.22
/proc/24662/task/24674/stat : 24674 (java) S 24660 24662 24195 0 -1 64 398 0 0 0 22 0 0 0 16 0 8 0 156496784 937431040 9376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24675] ppid=24660 vsize=915460 CPUtime=0
/proc/24662/task/24675/stat : 24675 (java) S 24660 24662 24195 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156496784 937431040 9376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24662/tid=24676] ppid=24660 vsize=915460 CPUtime=0.01
/proc/24662/task/24676/stat : 24676 (java) S 24660 24662 24195 0 -1 64 0 0 0 0 1 0 0 0 15 0 8 0 156496784 937431040 9376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1117.62
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 1172.61
CPU time (s): 1166.76
CPU user time (s): 1166.52
CPU system time (s): 0.238963
CPU usage (%): 99.5014
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1166.52
system time used= 0.238963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9648
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= 24924
involuntary context switches= 45035
runsolver used 1.13183 s user time and 3.2995 s system time
The end
Begin job on node20 on Sat Jan 6 10:57:00 UTC 2007
IDJOB= 230003
IDBENCH= 6390
FILE ID= node20/230003-1168081016
PBS_JOBID= 3476108
Free space on /tmp= 66544 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23-fcd/rand-2-50-23-587-230-fcd-29_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/230003-1168081016/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node20/watcher-230003-1168081016 -o ROOT/results/node20/solver-230003-1168081016 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/230003-1168081016/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 5a1fd251846ccae213b4e15ae8465301
RANDOM SEED= 446299453
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.216
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.216
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: 1742616 kB
Buffers: 40476 kB
Cached: 172956 kB
SwapCached: 4236 kB
Active: 89960 kB
Inactive: 154456 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1742616 kB
SwapTotal: 4192956 kB
SwapFree: 4170284 kB
Dirty: 4180 kB
Writeback: 0 kB
Mapped: 44852 kB
Slab: 53748 kB
Committed_AS: 2891620 kB
PageTables: 2300 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= 66544 MiB
End job on node20 on Sat Jan 6 11:16:35 UTC 2007