0.29
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/214885-1168232073/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.54 nbVariables=3204 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.54 => wckTime=0.241 cpuTime=0.18 mem=11M778
0.54
0.54 predicates being loaded...
0.54
0.54 constraints being loaded...
3.32 nbConstraints=24883 nbConvertedConstraints=24258 nbConvertConstraintsChecks=65608 nbExtensionStructures=2
3.32 nbSharedExtensionStructures=24256 nbConflictsStructures=4 nbSharedConflictsStructures=24879
3.32 nbSharedBinaryRepresentations=5 nbEvaluationManagers=2 nbSharedEvaluationManagers=623 maxDegree=145 maxArity=16
3.32 => wckTime=3.026 cpuTime=2.72 mem=57M642
3.52
3.52 solver IterativeSystematicSolver being built...
3.89 => wckTime=3.592 cpuTime=3.03 mem=65M917
19.59
19.59 preprocessing
19.59 nbConstraintChecks=170603 nbValidityChecks=11845 nbPropagations=12841 nbRevisions=118039
19.59 nbUselessRevisions=111566 nbSingletonTests=3207 nbEffectiveSingletonTests=0 nbESACBranches=3 nbRemovedValues=0
19.59 detectedInconsistency=no
19.59 => wckTime=15.688 cpuTime=15.63 mem=65M917
21.24
21.24 search
21.24 run=0 nbConstraintChecks=53903 nbValidityChecks=7641 nbPropagations=16339 nbRevisions=153624
21.24 nbUselessRevisions=143835 nbAssignments=205 nbFailedAssignments=3 nbBacktracks=13 nbVisitedNodes=212
21.24 nbRestartNogoods=0 mapSize=4 nbInferences=0 nbTooLargeKeys=0
21.24 => wckTime=17.347 cpuTime=17.27 mem=66M925
22.79
22.79 search
22.79 run=1 nbConstraintChecks=107590 nbValidityChecks=14501 nbPropagations=36248 nbRevisions=341685
22.79 nbUselessRevisions=318720 nbAssignments=410 nbFailedAssignments=6 nbBacktracks=29 nbVisitedNodes=423
22.79 nbRestartNogoods=2 mapSize=8 nbInferences=0 nbTooLargeKeys=0
22.79 => wckTime=18.899 cpuTime=18.82 mem=66M925
24.61
24.61 search
24.61 run=2 nbConstraintChecks=167169 nbValidityChecks=25289 nbPropagations=61479 nbRevisions=571503
24.61 nbUselessRevisions=530223 nbAssignments=636 nbFailedAssignments=11 nbBacktracks=54 nbVisitedNodes=659
24.61 nbRestartNogoods=4 mapSize=15 nbInferences=0 nbTooLargeKeys=0
24.61 => wckTime=20.713 cpuTime=20.63 mem=66M925
26.58
26.58 search
26.58 run=3 nbConstraintChecks=232713 nbValidityChecks=39064 nbPropagations=93837 nbRevisions=849383
26.58 nbUselessRevisions=782844 nbAssignments=877 nbFailedAssignments=18 nbBacktracks=90 nbVisitedNodes=914
26.58 nbRestartNogoods=7 mapSize=27 nbInferences=0 nbTooLargeKeys=0
26.58 => wckTime=22.691 cpuTime=22.6 mem=66M925
28.76
28.76 search
28.76 run=4 nbConstraintChecks=304902 nbValidityChecks=56922 nbPropagations=134857 nbRevisions=1182631
28.76 nbUselessRevisions=1082352 nbAssignments=1138 nbFailedAssignments=28 nbBacktracks=142 nbVisitedNodes=1195
28.76 nbRestartNogoods=9 mapSize=45 nbInferences=0 nbTooLargeKeys=0
28.76 => wckTime=24.87 cpuTime=24.77 mem=66M925
31.28
31.28 search
31.28 run=5 nbConstraintChecks=382097 nbValidityChecks=77986 nbPropagations=185999 nbRevisions=1577167
31.28 nbUselessRevisions=1433205 nbAssignments=1426 nbFailedAssignments=40 nbBacktracks=222 nbVisitedNodes=1507
31.28 nbRestartNogoods=11 mapSize=68 nbInferences=0 nbTooLargeKeys=0
31.28 => wckTime=27.388 cpuTime=27.28 mem=66M925
34.69
34.69 search
34.69 run=6 nbConstraintChecks=478862 nbValidityChecks=111587 nbPropagations=252870 nbRevisions=2056219
34.69 nbUselessRevisions=1853025 nbAssignments=1792 nbFailedAssignments=59 nbBacktracks=337 nbVisitedNodes=1911
34.69 nbRestartNogoods=12 mapSize=103 nbInferences=0 nbTooLargeKeys=0
34.69 => wckTime=30.799 cpuTime=30.67 mem=67M934
39.06
39.06 search
39.06 run=7 nbConstraintChecks=600509 nbValidityChecks=157659 nbPropagations=343441 nbRevisions=2646789
39.06 nbUselessRevisions=2360845 nbAssignments=2232 nbFailedAssignments=87 nbBacktracks=512 nbVisitedNodes=2407
39.06 nbRestartNogoods=15 mapSize=157 nbInferences=0 nbTooLargeKeys=0
39.06 => wckTime=35.163 cpuTime=35.03 mem=67M934
44.73
44.73 search
44.73 run=8 nbConstraintChecks=764502 nbValidityChecks=201971 nbPropagations=469546 nbRevisions=3369997
44.73 nbUselessRevisions=2965913 nbAssignments=2795 nbFailedAssignments=129 nbBacktracks=770 nbVisitedNodes=3054
44.73 nbRestartNogoods=17 mapSize=239 nbInferences=0 nbTooLargeKeys=0
44.73 => wckTime=40.834 cpuTime=40.7 mem=67M934
51.56
51.56 search
51.56 run=9 nbConstraintChecks=1717474 nbValidityChecks=240136 nbPropagations=695406 nbRevisions=4654516
51.56 nbUselessRevisions=4031038 nbAssignments=3540 nbFailedAssignments=283 nbBacktracks=1154 nbVisitedNodes=4050
51.56 nbRestartNogoods=19 mapSize=487 nbInferences=0 nbTooLargeKeys=0
51.56 => wckTime=47.663 cpuTime=47.52 mem=68M942
63.22
63.22 search
63.22 run=10 nbConstraintChecks=6221778 nbValidityChecks=419061 nbPropagations=1172976 nbRevisions=8979605
63.22 nbUselessRevisions=7876733 nbAssignments=4715 nbFailedAssignments=716 nbBacktracks=1756 nbVisitedNodes=5752
63.22 nbRestartNogoods=22 mapSize=1003 nbInferences=0 nbTooLargeKeys=0
63.22 => wckTime=59.323 cpuTime=59.18 mem=70M960
65.23
65.23 INFO : Stopping hyperNogood (mapSize=1037, nbTooLargekeys=0, mem=71M968)
69.95
69.95 search
69.95 run=11 nbConstraintChecks=15048369 nbValidityChecks=671070 nbPropagations=1975275 nbRevisions=18877861
69.95 nbUselessRevisions=16955026 nbAssignments=6362 nbFailedAssignments=1387 nbBacktracks=2626 nbVisitedNodes=8139
69.95 nbRestartNogoods=23
69.95 => wckTime=66.055 cpuTime=65.91 mem=71M968
74.11
74.11 search
74.11 run=12 nbConstraintChecks=21542810 nbValidityChecks=736531 nbPropagations=3050951 nbRevisions=33058748
74.11 nbUselessRevisions=30030635 nbAssignments=8213 nbFailedAssignments=1893 nbBacktracks=3926 nbVisitedNodes=10531
74.11 nbRestartNogoods=26
74.11 => wckTime=70.217 cpuTime=70.06 mem=71M968
87.44
87.44 search
87.44 run=13 nbConstraintChecks=45229073 nbValidityChecks=1411599 nbPropagations=5034730 nbRevisions=62509393
87.44 nbUselessRevisions=57423965 nbAssignments=12040 nbFailedAssignments=3666 nbBacktracks=5873 nbVisitedNodes=16251
87.44 nbRestartNogoods=32
87.44 => wckTime=83.547 cpuTime=83.38 mem=71M968
107.00
107.00 search
107.00 run=14 nbConstraintChecks=80367678 nbValidityChecks=2090732 nbPropagations=8462190 nbRevisions=114930931
107.00 nbUselessRevisions=106287092 nbAssignments=18133 nbFailedAssignments=6165 nbBacktracks=8814
107.00 nbVisitedNodes=24605 nbRestartNogoods=53
107.00 => wckTime=103.111 cpuTime=102.94 mem=71M968
136.58
136.58 search
136.58 run=15 nbConstraintChecks=133036268 nbValidityChecks=4001387 nbPropagations=14071034 nbRevisions=203079232
136.58 nbUselessRevisions=188616268 nbAssignments=26218 nbFailedAssignments=9679 nbBacktracks=13192
136.58 nbVisitedNodes=36922 nbRestartNogoods=64
136.58 => wckTime=132.684 cpuTime=132.48 mem=71M968
180.52
180.52 search
180.52 run=16 nbConstraintChecks=212487976 nbValidityChecks=5557201 nbPropagations=22957155 nbRevisions=343637011
180.52 nbUselessRevisions=319956394 nbAssignments=39259 nbFailedAssignments=15284 nbBacktracks=19763
180.52 nbVisitedNodes=55709 nbRestartNogoods=88
180.52 => wckTime=176.626 cpuTime=176.39 mem=71M968
246.92
246.92 search
246.92 run=17 nbConstraintChecks=331330297 nbValidityChecks=9814767 nbPropagations=36770923 nbRevisions=564855585
246.92 nbUselessRevisions=526857701 nbAssignments=57399 nbFailedAssignments=23388 nbBacktracks=29620
246.92 nbVisitedNodes=83589 nbRestartNogoods=101
246.92 => wckTime=243.024 cpuTime=242.75 mem=71M968
344.01
344.01 search
344.01 run=18 nbConstraintChecks=508706734 nbValidityChecks=13419193 nbPropagations=57881449 nbRevisions=903571034
344.01 nbUselessRevisions=843696229 nbAssignments=84734 nbFailedAssignments=35654 nbBacktracks=44398
344.01 nbVisitedNodes=125527 nbRestartNogoods=116
344.01 => wckTime=340.116 cpuTime=339.78 mem=71M968
493.90
493.90 search
493.90 run=19 nbConstraintChecks=776175481 nbValidityChecks=22931630 nbPropagations=90055281 nbRevisions=1423490034
493.90 nbUselessRevisions=1330280588 nbAssignments=126357 nbFailedAssignments=53996 nbBacktracks=66586
493.90 nbVisitedNodes=188269 nbRestartNogoods=151
493.90 => wckTime=490.005 cpuTime=489.59 mem=71M968
711.21
711.21 search
711.21 run=20 nbConstraintChecks=1174128082 nbValidityChecks=30955804 nbPropagations=138558115 nbRevisions=2206644152
711.21 nbUselessRevisions=2063198614 nbAssignments=186865 nbFailedAssignments=81166 nbBacktracks=99847
711.21 nbVisitedNodes=282028 nbRestartNogoods=160
711.21 => wckTime=707.315 cpuTime=706.76 mem=71M968
1046.62
1046.62 search
1046.62 run=21 nbConstraintChecks=1775172768 nbValidityChecks=52366369 nbPropagations=211898901 nbRevisions=3397233834
1046.62 nbUselessRevisions=3177845598 nbAssignments=278477 nbFailedAssignments=121808 nbBacktracks=149741
1046.62 nbVisitedNodes=422508 nbRestartNogoods=185
1046.62 => wckTime=1042.726 cpuTime=1041.97 mem=71M968
1535.90
1535.90 search
1535.90 run=22 nbConstraintChecks=2671005459 nbValidityChecks=70508377 nbPropagations=322219257 nbRevisions=5182614373
1535.90 nbUselessRevisions=4849024243 nbAssignments=415031 nbFailedAssignments=182949 nbBacktracks=224571
1535.90 nbVisitedNodes=633410 nbRestartNogoods=202
1535.90 => wckTime=1532.01 cpuTime=1530.97 mem=71M968
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node47/watcher-214885-1168232073 -o ROOT/results/node47/solver-214885-1168232073 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/214885-1168232073/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.87 0.94 1.08 4/65 20028
/proc/meminfo: memFree=1287688/2055920 swapFree=4183928/4192956
[pid=20027] ppid=20025 vsize=1784 CPUtime=0
/proc/20027/stat : 20027 (java) R 20025 20027 18696 0 -1 0 194 0 0 0 0 0 0 0 20 0 1 0 171606544 1826816 160 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/20027/statm: 0 0 0 0 0 0 0
[startup+0.106241 s]
/proc/loadavg: 0.87 0.94 1.08 4/65 20028
/proc/meminfo: memFree=1287688/2055920 swapFree=4183928/4192956
[pid=20027] ppid=20025 vsize=914988 CPUtime=0.09
/proc/20027/stat : 20027 (java) R 20025 20027 18696 0 -1 0 3080 0 1 0 8 1 0 0 17 0 8 0 171606544 936947712 2826 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072941832 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20027/statm: 228747 2826 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.514282 s]
/proc/loadavg: 0.87 0.94 1.08 4/65 20028
/proc/meminfo: memFree=1287688/2055920 swapFree=4183928/4192956
[pid=20027] ppid=20025 vsize=915328 CPUtime=0.5
/proc/20027/stat : 20027 (java) R 20025 20027 18696 0 -1 0 6635 0 1 0 46 4 0 0 16 0 8 0 171606544 937295872 6374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155518037 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20027/statm: 228832 6374 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33637 s]
/proc/loadavg: 0.88 0.94 1.08 2/72 20035
/proc/meminfo: memFree=1226584/2055920 swapFree=4183928/4192956
[pid=20027] ppid=20025 vsize=915636 CPUtime=1.32
/proc/20027/stat : 20027 (java) R 20025 20027 18696 0 -1 0 17630 0 1 0 121 11 0 0 17 0 8 0 171606544 937611264 17368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073719543 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20027/statm: 228909 17368 2157 14 0 215379 0
[pid=20027/tid=20029] ppid=20025 vsize=915636 CPUtime=0.04
/proc/20027/task/20029/stat : 20029 (java) S 20025 20027 18696 0 -1 64 1097 0 0 0 4 0 0 0 17 0 8 0 171606547 937611264 17368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20030] ppid=20025 vsize=915636 CPUtime=0
/proc/20027/task/20030/stat : 20030 (java) S 20025 20027 18696 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171606548 937611264 17368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20031] ppid=20025 vsize=915636 CPUtime=0
/proc/20027/task/20031/stat : 20031 (java) S 20025 20027 18696 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171606548 937611264 17368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20032] ppid=20025 vsize=915636 CPUtime=0
/proc/20027/task/20032/stat : 20032 (java) S 20025 20027 18696 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 171606551 937611264 17368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20033] ppid=20025 vsize=915636 CPUtime=0.15
/proc/20027/task/20033/stat : 20033 (java) S 20025 20027 18696 0 -1 64 407 0 0 0 15 0 0 0 16 0 8 0 171606551 937611264 17368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20034] ppid=20025 vsize=915636 CPUtime=0
/proc/20027/task/20034/stat : 20034 (java) S 20025 20027 18696 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171606551 937611264 17368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20035] ppid=20025 vsize=915636 CPUtime=0
/proc/20027/task/20035/stat : 20035 (java) S 20025 20027 18696 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 171606551 937611264 17368 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915636
[startup+2.98854 s]
/proc/loadavg: 0.88 0.94 1.08 2/72 20035
/proc/meminfo: memFree=1217560/2055920 swapFree=4183928/4192956
[pid=20027] ppid=20025 vsize=915636 CPUtime=2.96
/proc/20027/stat : 20027 (java) R 20025 20027 18696 0 -1 0 19896 0 1 0 198 98 0 0 18 0 8 0 171606544 937611264 19632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20027/statm: 228909 19632 2178 14 0 215379 0
[pid=20027/tid=20029] ppid=20025 vsize=915636 CPUtime=0.12
/proc/20027/task/20029/stat : 20029 (java) S 20025 20027 18696 0 -1 64 3270 0 0 0 11 1 0 0 16 0 8 0 171606547 937611264 19632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20030] ppid=20025 vsize=915636 CPUtime=0
/proc/20027/task/20030/stat : 20030 (java) S 20025 20027 18696 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171606548 937611264 19632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20031] ppid=20025 vsize=915636 CPUtime=0
/proc/20027/task/20031/stat : 20031 (java) S 20025 20027 18696 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171606548 937611264 19632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20032] ppid=20025 vsize=915640 CPUtime=0
/proc/20027/task/20032/stat : 20032 (java) S 20025 20027 18696 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 171606551 937615360 19632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20033] ppid=20025 vsize=915636 CPUtime=0.19
/proc/20027/task/20033/stat : 20033 (java) S 20025 20027 18696 0 -1 64 434 0 0 0 19 0 0 0 15 0 8 0 171606551 937611264 19632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20034] ppid=20025 vsize=915636 CPUtime=0
/proc/20027/task/20034/stat : 20034 (java) S 20025 20027 18696 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171606551 937611264 19632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20035] ppid=20025 vsize=915636 CPUtime=0
/proc/20027/task/20035/stat : 20035 (java) S 20025 20027 18696 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 171606551 937611264 19632 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915636
[startup+6.26689 s]
/proc/loadavg: 0.88 0.94 1.08 2/72 20035
/proc/meminfo: memFree=1197088/2055920 swapFree=4183928/4192956
[pid=20027] ppid=20025 vsize=915872 CPUtime=6.24
/proc/20027/stat : 20027 (java) R 20025 20027 18696 0 -1 0 25371 0 1 0 508 116 0 0 19 0 8 0 171606544 937852928 25080 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074202096 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20027/statm: 228968 25080 2546 14 0 215438 0
[pid=20027/tid=20029] ppid=20025 vsize=915872 CPUtime=0.31
/proc/20027/task/20029/stat : 20029 (java) S 20025 20027 18696 0 -1 64 8197 0 0 0 28 3 0 0 16 0 8 0 171606547 937852928 25080 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20030] ppid=20025 vsize=915872 CPUtime=0
/proc/20027/task/20030/stat : 20030 (java) S 20025 20027 18696 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171606548 937852928 25080 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20031] ppid=20025 vsize=915872 CPUtime=0
/proc/20027/task/20031/stat : 20031 (java) S 20025 20027 18696 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171606548 937852928 25080 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20032] ppid=20025 vsize=915872 CPUtime=0
/proc/20027/task/20032/stat : 20032 (java) S 20025 20027 18696 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 171606551 937852928 25080 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20033] ppid=20025 vsize=915872 CPUtime=0.31
/proc/20027/task/20033/stat : 20033 (java) S 20025 20027 18696 0 -1 64 519 0 0 0 30 1 0 0 17 0 8 0 171606551 937852928 25080 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20034] ppid=20025 vsize=915872 CPUtime=0
/proc/20027/task/20034/stat : 20034 (java) S 20025 20027 18696 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171606551 937852928 25080 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20035] ppid=20025 vsize=915872 CPUtime=0
/proc/20027/task/20035/stat : 20035 (java) S 20025 20027 18696 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 171606551 937852928 25080 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915872
[startup+12.7516 s]
/proc/loadavg: 0.90 0.94 1.07 2/72 20035
/proc/meminfo: memFree=1197088/2055920 swapFree=4183928/4192956
[pid=20027] ppid=20025 vsize=915872 CPUtime=12.72
/proc/20027/stat : 20027 (java) R 20025 20027 18696 0 -1 0 25376 0 1 0 1156 116 0 0 25 0 8 0 171606544 937852928 25083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074202102 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20027/statm: 228968 25083 2546 14 0 215438 0
[pid=20027/tid=20029] ppid=20025 vsize=915872 CPUtime=0.31
/proc/20027/task/20029/stat : 20029 (java) S 20025 20027 18696 0 -1 64 8197 0 0 0 28 3 0 0 17 0 8 0 171606547 937852928 25083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20030] ppid=20025 vsize=915872 CPUtime=0
/proc/20027/task/20030/stat : 20030 (java) S 20025 20027 18696 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171606548 937852928 25083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20031] ppid=20025 vsize=915872 CPUtime=0
/proc/20027/task/20031/stat : 20031 (java) S 20025 20027 18696 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171606548 937852928 25083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20032] ppid=20025 vsize=915872 CPUtime=0
/proc/20027/task/20032/stat : 20032 (java) S 20025 20027 18696 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 171606551 937852928 25083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20033] ppid=20025 vsize=915872 CPUtime=0.31
/proc/20027/task/20033/stat : 20033 (java) S 20025 20027 18696 0 -1 64 524 0 0 0 30 1 0 0 16 0 8 0 171606551 937852928 25083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20034] ppid=20025 vsize=915872 CPUtime=0
/proc/20027/task/20034/stat : 20034 (java) S 20025 20027 18696 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171606551 937852928 25083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20035] ppid=20025 vsize=915872 CPUtime=0
/proc/20027/task/20035/stat : 20035 (java) S 20025 20027 18696 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 171606551 937852928 25083 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 915872
[startup+25.5859 s]
/proc/loadavg: 0.92 0.95 1.07 2/72 20035
/proc/meminfo: memFree=1197152/2055920 swapFree=4183928/4192956
[pid=20027] ppid=20025 vsize=915872 CPUtime=25.53
/proc/20027/stat : 20027 (java) R 20025 20027 18696 0 -1 0 25400 0 1 0 2437 116 0 0 25 0 8 0 171606544 937852928 25100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074168922 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20027/statm: 228968 25100 2547 14 0 215438 0
[pid=20027/tid=20029] ppid=20025 vsize=915872 CPUtime=0.31
/proc/20027/task/20029/stat : 20029 (java) S 20025 20027 18696 0 -1 64 8197 0 0 0 28 3 0 0 16 0 8 0 171606547 937852928 25100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20030] ppid=20025 vsize=915872 CPUtime=0
/proc/20027/task/20030/stat : 20030 (java) S 20025 20027 18696 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171606548 937852928 25100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20031] ppid=20025 vsize=915872 CPUtime=0
/proc/20027/task/20031/stat : 20031 (java) S 20025 20027 18696 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171606548 937852928 25100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20032] ppid=20025 vsize=915872 CPUtime=0
/proc/20027/task/20032/stat : 20032 (java) S 20025 20027 18696 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 171606551 937852928 25100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20033] ppid=20025 vsize=915872 CPUtime=0.34
/proc/20027/task/20033/stat : 20033 (java) S 20025 20027 18696 0 -1 64 541 0 0 0 33 1 0 0 15 0 8 0 171606551 937852928 25100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20034] ppid=20025 vsize=915872 CPUtime=0
/proc/20027/task/20034/stat : 20034 (java) S 20025 20027 18696 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171606551 937852928 25100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20035] ppid=20025 vsize=915872 CPUtime=0
/proc/20027/task/20035/stat : 20035 (java) S 20025 20027 18696 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 171606551 937852928 25100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 915872
[startup+51.2817 s]
/proc/loadavg: 0.94 0.95 1.07 2/72 20035
/proc/meminfo: memFree=1197152/2055920 swapFree=4183928/4192956
[pid=20027] ppid=20025 vsize=915872 CPUtime=51.21
/proc/20027/stat : 20027 (java) R 20025 20027 18696 0 -1 0 25416 0 1 0 5004 117 0 0 25 0 8 0 171606544 937852928 25110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074161641 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20027/statm: 228968 25110 2547 14 0 215438 0
[pid=20027/tid=20029] ppid=20025 vsize=915872 CPUtime=0.31
/proc/20027/task/20029/stat : 20029 (java) S 20025 20027 18696 0 -1 64 8197 0 0 0 28 3 0 0 17 0 8 0 171606547 937852928 25110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20030] ppid=20025 vsize=915872 CPUtime=0
/proc/20027/task/20030/stat : 20030 (java) S 20025 20027 18696 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171606548 937852928 25110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20031] ppid=20025 vsize=915872 CPUtime=0
/proc/20027/task/20031/stat : 20031 (java) S 20025 20027 18696 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171606548 937852928 25110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20032] ppid=20025 vsize=915872 CPUtime=0
/proc/20027/task/20032/stat : 20032 (java) S 20025 20027 18696 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 171606551 937852928 25110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20033] ppid=20025 vsize=915872 CPUtime=0.37
/proc/20027/task/20033/stat : 20033 (java) S 20025 20027 18696 0 -1 64 551 0 0 0 35 2 0 0 15 0 8 0 171606551 937852928 25110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20034] ppid=20025 vsize=915872 CPUtime=0
/proc/20027/task/20034/stat : 20034 (java) S 20025 20027 18696 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171606551 937852928 25110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20035] ppid=20025 vsize=915872 CPUtime=0
/proc/20027/task/20035/stat : 20035 (java) S 20025 20027 18696 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 171606551 937852928 25110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.21
Current children cumulated vsize (KiB) 915872
[startup+102.563 s]
/proc/loadavg: 1.02 0.97 1.07 2/72 20035
/proc/meminfo: memFree=1197216/2055920 swapFree=4183928/4192956
[pid=20027] ppid=20025 vsize=915872 CPUtime=102.46
/proc/20027/stat : 20027 (java) R 20025 20027 18696 0 -1 0 25428 0 1 0 10128 118 0 0 25 0 8 0 171606544 937852928 25116 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074162760 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20027/statm: 228968 25116 2547 14 0 215438 0
[pid=20027/tid=20029] ppid=20025 vsize=915872 CPUtime=0.31
/proc/20027/task/20029/stat : 20029 (java) S 20025 20027 18696 0 -1 64 8197 0 0 0 28 3 0 0 16 0 8 0 171606547 937852928 25116 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20030] ppid=20025 vsize=915872 CPUtime=0
/proc/20027/task/20030/stat : 20030 (java) S 20025 20027 18696 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171606548 937852928 25116 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20031] ppid=20025 vsize=915872 CPUtime=0
/proc/20027/task/20031/stat : 20031 (java) S 20025 20027 18696 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171606548 937852928 25116 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20032] ppid=20025 vsize=915872 CPUtime=0
/proc/20027/task/20032/stat : 20032 (java) S 20025 20027 18696 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 171606551 937852928 25116 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20033] ppid=20025 vsize=915872 CPUtime=0.38
/proc/20027/task/20033/stat : 20033 (java) S 20025 20027 18696 0 -1 64 559 0 0 0 36 2 0 0 17 0 8 0 171606551 937852928 25116 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20034] ppid=20025 vsize=915872 CPUtime=0
/proc/20027/task/20034/stat : 20034 (java) S 20025 20027 18696 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171606551 937852928 25116 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20035] ppid=20025 vsize=915872 CPUtime=0
/proc/20027/task/20035/stat : 20035 (java) S 20025 20027 18696 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 171606551 937852928 25116 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.46
Current children cumulated vsize (KiB) 915872
[startup+162.586 s]
/proc/loadavg: 1.01 0.97 1.06 2/72 20035
/proc/meminfo: memFree=1197216/2055920 swapFree=4183928/4192956
[pid=20027] ppid=20025 vsize=915872 CPUtime=162.44
/proc/20027/stat : 20027 (java) R 20025 20027 18696 0 -1 0 25430 0 1 0 16126 118 0 0 25 0 8 0 171606544 937852928 25118 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074162798 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1422.15
Current children cumulated vsize (KiB) 915872
[startup+1483.07 s]
/proc/loadavg: 1.00 0.99 1.00 2/72 20235
/proc/meminfo: memFree=1196832/2055920 swapFree=4183928/4192956
[pid=20027] ppid=20025 vsize=915872 CPUtime=1482.14
/proc/20027/stat : 20027 (java) R 20025 20027 18696 0 -1 0 25431 0 1 0 148081 133 0 0 25 0 8 0 171606544 937852928 25119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074257130 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20027/statm: 228968 25119 2547 14 0 215438 0
[pid=20027/tid=20029] ppid=20025 vsize=915872 CPUtime=0.31
/proc/20027/task/20029/stat : 20029 (java) S 20025 20027 18696 0 -1 64 8197 0 0 0 28 3 0 0 16 0 8 0 171606547 937852928 25119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20030] ppid=20025 vsize=915872 CPUtime=0
/proc/20027/task/20030/stat : 20030 (java) S 20025 20027 18696 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171606548 937852928 25119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20031] ppid=20025 vsize=915872 CPUtime=0
/proc/20027/task/20031/stat : 20031 (java) S 20025 20027 18696 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171606548 937852928 25119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20032] ppid=20025 vsize=915872 CPUtime=0
/proc/20027/task/20032/stat : 20032 (java) S 20025 20027 18696 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 171606551 937852928 25119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20033] ppid=20025 vsize=915872 CPUtime=0.38
/proc/20027/task/20033/stat : 20033 (java) S 20025 20027 18696 0 -1 64 562 0 0 0 36 2 0 0 16 0 8 0 171606551 937852928 25119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20034] ppid=20025 vsize=915872 CPUtime=0
/proc/20027/task/20034/stat : 20034 (java) S 20025 20027 18696 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171606551 937852928 25119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20035] ppid=20025 vsize=915872 CPUtime=0
/proc/20027/task/20035/stat : 20035 (java) S 20025 20027 18696 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 171606551 937852928 25119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1482.14
Current children cumulated vsize (KiB) 915872
[startup+1543.09 s]
/proc/loadavg: 1.00 0.99 1.00 2/72 20235
/proc/meminfo: memFree=1196896/2055920 swapFree=4183928/4192956
[pid=20027] ppid=20025 vsize=915872 CPUtime=1542.12
/proc/20027/stat : 20027 (java) R 20025 20027 18696 0 -1 0 25431 0 1 0 154079 133 0 0 25 0 8 0 171606544 937852928 25119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074168961 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20027/statm: 228968 25119 2547 14 0 215438 0
[pid=20027/tid=20029] ppid=20025 vsize=915872 CPUtime=0.31
/proc/20027/task/20029/stat : 20029 (java) S 20025 20027 18696 0 -1 64 8197 0 0 0 28 3 0 0 16 0 8 0 171606547 937852928 25119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20030] ppid=20025 vsize=915872 CPUtime=0
/proc/20027/task/20030/stat : 20030 (java) S 20025 20027 18696 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171606548 937852928 25119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20031] ppid=20025 vsize=915872 CPUtime=0
/proc/20027/task/20031/stat : 20031 (java) S 20025 20027 18696 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171606548 937852928 25119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20032] ppid=20025 vsize=915872 CPUtime=0
/proc/20027/task/20032/stat : 20032 (java) S 20025 20027 18696 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 171606551 937852928 25119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20033] ppid=20025 vsize=915872 CPUtime=0.38
/proc/20027/task/20033/stat : 20033 (java) S 20025 20027 18696 0 -1 64 562 0 0 0 36 2 0 0 16 0 8 0 171606551 937852928 25119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20034] ppid=20025 vsize=915872 CPUtime=0
/proc/20027/task/20034/stat : 20034 (java) S 20025 20027 18696 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171606551 937852928 25119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20035] ppid=20025 vsize=915872 CPUtime=0
/proc/20027/task/20035/stat : 20035 (java) S 20025 20027 18696 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 171606551 937852928 25119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1542.12
Current children cumulated vsize (KiB) 915872
[startup+1603.11 s]
/proc/loadavg: 1.03 1.00 1.00 2/72 20235
/proc/meminfo: memFree=1196896/2055920 swapFree=4183928/4192956
[pid=20027] ppid=20025 vsize=915872 CPUtime=1602.11
/proc/20027/stat : 20027 (java) R 20025 20027 18696 0 -1 0 25431 0 1 0 160077 134 0 0 25 0 8 0 171606544 937852928 25119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074167917 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20027/statm: 228968 25119 2547 14 0 215438 0
[pid=20027/tid=20029] ppid=20025 vsize=915872 CPUtime=0.31
/proc/20027/task/20029/stat : 20029 (java) S 20025 20027 18696 0 -1 64 8197 0 0 0 28 3 0 0 16 0 8 0 171606547 937852928 25119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20030] ppid=20025 vsize=915872 CPUtime=0
/proc/20027/task/20030/stat : 20030 (java) S 20025 20027 18696 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171606548 937852928 25119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20031] ppid=20025 vsize=915872 CPUtime=0
/proc/20027/task/20031/stat : 20031 (java) S 20025 20027 18696 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171606548 937852928 25119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20032] ppid=20025 vsize=915872 CPUtime=0
/proc/20027/task/20032/stat : 20032 (java) S 20025 20027 18696 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 171606551 937852928 25119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20033] ppid=20025 vsize=915872 CPUtime=0.38
/proc/20027/task/20033/stat : 20033 (java) S 20025 20027 18696 0 -1 64 562 0 0 0 36 2 0 0 16 0 8 0 171606551 937852928 25119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20034] ppid=20025 vsize=915872 CPUtime=0
/proc/20027/task/20034/stat : 20034 (java) S 20025 20027 18696 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171606551 937852928 25119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20035] ppid=20025 vsize=915872 CPUtime=0
/proc/20027/task/20035/stat : 20035 (java) S 20025 20027 18696 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 171606551 937852928 25119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1602.11
Current children cumulated vsize (KiB) 915872
[startup+1663.13 s]
/proc/loadavg: 1.01 1.00 1.00 2/72 20235
/proc/meminfo: memFree=1196960/2055920 swapFree=4183928/4192956
[pid=20027] ppid=20025 vsize=915872 CPUtime=1662.09
/proc/20027/stat : 20027 (java) R 20025 20027 18696 0 -1 0 25431 0 1 0 166075 134 0 0 25 0 8 0 171606544 937852928 25119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074166199 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20027/statm: 228968 25119 2547 14 0 215438 0
[pid=20027/tid=20029] ppid=20025 vsize=915872 CPUtime=0.31
/proc/20027/task/20029/stat : 20029 (java) S 20025 20027 18696 0 -1 64 8197 0 0 0 28 3 0 0 16 0 8 0 171606547 937852928 25119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20030] ppid=20025 vsize=915872 CPUtime=0
/proc/20027/task/20030/stat : 20030 (java) S 20025 20027 18696 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171606548 937852928 25119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20031] ppid=20025 vsize=915872 CPUtime=0
/proc/20027/task/20031/stat : 20031 (java) S 20025 20027 18696 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171606548 937852928 25119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20032] ppid=20025 vsize=915872 CPUtime=0
/proc/20027/task/20032/stat : 20032 (java) S 20025 20027 18696 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 171606551 937852928 25119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20033] ppid=20025 vsize=915872 CPUtime=0.38
/proc/20027/task/20033/stat : 20033 (java) S 20025 20027 18696 0 -1 64 562 0 0 0 36 2 0 0 16 0 8 0 171606551 937852928 25119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20034] ppid=20025 vsize=915872 CPUtime=0
/proc/20027/task/20034/stat : 20034 (java) S 20025 20027 18696 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171606551 937852928 25119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20035] ppid=20025 vsize=915872 CPUtime=0
/proc/20027/task/20035/stat : 20035 (java) S 20025 20027 18696 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 171606551 937852928 25119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1662.09
Current children cumulated vsize (KiB) 915872
[startup+1723.15 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 20235
/proc/meminfo: memFree=1196960/2055920 swapFree=4183928/4192956
[pid=20027] ppid=20025 vsize=915872 CPUtime=1722.07
/proc/20027/stat : 20027 (java) R 20025 20027 18696 0 -1 0 25431 0 1 0 172073 134 0 0 25 0 8 0 171606544 937852928 25119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073865546 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20027/statm: 228968 25119 2547 14 0 215438 0
[pid=20027/tid=20029] ppid=20025 vsize=915872 CPUtime=0.31
/proc/20027/task/20029/stat : 20029 (java) S 20025 20027 18696 0 -1 64 8197 0 0 0 28 3 0 0 16 0 8 0 171606547 937852928 25119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20030] ppid=20025 vsize=915872 CPUtime=0
/proc/20027/task/20030/stat : 20030 (java) S 20025 20027 18696 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171606548 937852928 25119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20031] ppid=20025 vsize=915872 CPUtime=0
/proc/20027/task/20031/stat : 20031 (java) S 20025 20027 18696 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171606548 937852928 25119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20032] ppid=20025 vsize=915872 CPUtime=0
/proc/20027/task/20032/stat : 20032 (java) S 20025 20027 18696 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 171606551 937852928 25119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20033] ppid=20025 vsize=915872 CPUtime=0.38
/proc/20027/task/20033/stat : 20033 (java) S 20025 20027 18696 0 -1 64 562 0 0 0 36 2 0 0 16 0 8 0 171606551 937852928 25119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20034] ppid=20025 vsize=915872 CPUtime=0
/proc/20027/task/20034/stat : 20034 (java) S 20025 20027 18696 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171606551 937852928 25119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20035] ppid=20025 vsize=915872 CPUtime=0
/proc/20027/task/20035/stat : 20035 (java) S 20025 20027 18696 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 171606551 937852928 25119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1722.07
Current children cumulated vsize (KiB) 915872
[startup+1783.17 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 20235
/proc/meminfo: memFree=1196960/2055920 swapFree=4183928/4192956
[pid=20027] ppid=20025 vsize=915872 CPUtime=1782.06
/proc/20027/stat : 20027 (java) R 20025 20027 18696 0 -1 0 25431 0 1 0 178072 134 0 0 25 0 8 0 171606544 937852928 25119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074167889 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20027/statm: 228968 25119 2547 14 0 215438 0
[pid=20027/tid=20029] ppid=20025 vsize=915872 CPUtime=0.31
/proc/20027/task/20029/stat : 20029 (java) S 20025 20027 18696 0 -1 64 8197 0 0 0 28 3 0 0 16 0 8 0 171606547 937852928 25119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20030] ppid=20025 vsize=915872 CPUtime=0
/proc/20027/task/20030/stat : 20030 (java) S 20025 20027 18696 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171606548 937852928 25119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20031] ppid=20025 vsize=915872 CPUtime=0
/proc/20027/task/20031/stat : 20031 (java) S 20025 20027 18696 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171606548 937852928 25119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20032] ppid=20025 vsize=915872 CPUtime=0
/proc/20027/task/20032/stat : 20032 (java) S 20025 20027 18696 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 171606551 937852928 25119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20033] ppid=20025 vsize=915872 CPUtime=0.38
/proc/20027/task/20033/stat : 20033 (java) S 20025 20027 18696 0 -1 64 562 0 0 0 36 2 0 0 16 0 8 0 171606551 937852928 25119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20034] ppid=20025 vsize=915872 CPUtime=0
/proc/20027/task/20034/stat : 20034 (java) S 20025 20027 18696 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171606551 937852928 25119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20035] ppid=20025 vsize=915872 CPUtime=0
/proc/20027/task/20035/stat : 20035 (java) S 20025 20027 18696 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 171606551 937852928 25119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1782.06
Current children cumulated vsize (KiB) 915872
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.15 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 20235
/proc/meminfo: memFree=1197024/2055920 swapFree=4183928/4192956
[pid=20027] ppid=20025 vsize=915872 CPUtime=1800.04
/proc/20027/stat : 20027 (java) R 20025 20027 18696 0 -1 0 25431 0 1 0 179870 134 0 0 25 0 8 0 171606544 937852928 25119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073865552 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20027/statm: 228968 25119 2547 14 0 215438 0
[pid=20027/tid=20029] ppid=20025 vsize=915872 CPUtime=0.31
/proc/20027/task/20029/stat : 20029 (java) S 20025 20027 18696 0 -1 64 8197 0 0 0 28 3 0 0 16 0 8 0 171606547 937852928 25119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20030] ppid=20025 vsize=915872 CPUtime=0
/proc/20027/task/20030/stat : 20030 (java) S 20025 20027 18696 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171606548 937852928 25119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20031] ppid=20025 vsize=915872 CPUtime=0
/proc/20027/task/20031/stat : 20031 (java) S 20025 20027 18696 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 171606548 937852928 25119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20032] ppid=20025 vsize=915872 CPUtime=0
/proc/20027/task/20032/stat : 20032 (java) S 20025 20027 18696 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 171606551 937852928 25119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20033] ppid=20025 vsize=915872 CPUtime=0.38
/proc/20027/task/20033/stat : 20033 (java) S 20025 20027 18696 0 -1 64 562 0 0 0 36 2 0 0 16 0 8 0 171606551 937852928 25119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20034] ppid=20025 vsize=915872 CPUtime=0
/proc/20027/task/20034/stat : 20034 (java) S 20025 20027 18696 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171606551 937852928 25119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20027/tid=20035] ppid=20025 vsize=915872 CPUtime=0
/proc/20027/task/20035/stat : 20035 (java) S 20025 20027 18696 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 171606551 937852928 25119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 915872
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1801.21
CPU time (s): 1800.1
CPU user time (s): 1798.74
CPU system time (s): 1.36179
CPU usage (%): 99.9385
Max. virtual memory (cumulated for all children) (KiB): 915968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.74
system time used= 1.36179
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25448
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= 37777
involuntary context switches= 41650
runsolver used 1.79773 s user time and 4.67729 s system time
The end
Begin job on node47 on Mon Jan 8 04:54:33 UTC 2007
IDJOB= 214885
IDBENCH= 4959
FILE ID= node47/214885-1168232073
PBS_JOBID= 3481373
Free space on /tmp= 66555 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/ii/ii-16a2.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/214885-1168232073/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node47/watcher-214885-1168232073 -o ROOT/results/node47/solver-214885-1168232073 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/214885-1168232073/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= f878d062c1561399370d1ad05d1f42bd
RANDOM SEED= 807584296
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.240
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.240
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: 1288168 kB
Buffers: 50636 kB
Cached: 649920 kB
SwapCached: 3720 kB
Active: 153736 kB
Inactive: 557408 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1288168 kB
SwapTotal: 4192956 kB
SwapFree: 4183928 kB
Dirty: 4836 kB
Writeback: 0 kB
Mapped: 15656 kB
Slab: 42632 kB
Committed_AS: 3545224 kB
PageTables: 1452 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= 66555 MiB
End job on node47 on Mon Jan 8 05:24:34 UTC 2007