0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/203443-1168159859/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=53 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.43 => wckTime=0.105 cpuTime=0.1 mem=6M951
0.43
0.43 relations being loaded...
0.60
0.60 constraints being loaded...
0.75 nbConstraints=476 nbRelationTypes=476 nbExtensionStructures=476 nbSharedExtensionStructures=0
0.75 nbConflictsStructures=476 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1299 maxDegree=26
0.75 maxArity=2
0.75 => wckTime=0.424 cpuTime=0.33 mem=18M818
0.79
0.79 solver IterativeSystematicSolver being built...
0.96 => wckTime=0.639 cpuTime=0.46 mem=15M604
1.03
1.03 preprocessing
1.03 nbConstraintChecks=119113 nbPropagations=1227 nbRevisions=10565 nbUselessRevisions=9035 nbSingletonTests=63
1.03 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
1.03 => wckTime=0.062 cpuTime=0.04 mem=15M604
1.06
1.06 search
1.06 run=0 nbConstraintChecks=44596 nbPropagations=1716 nbRevisions=16019 nbUselessRevisions=13607 nbAssignments=32
1.06 nbFailedAssignments=5 nbBacktracks=14 nbVisitedNodes=42 nbRestartNogoods=0 mapSize=6 nbInferences=0
1.06 nbTooLargeKeys=0
1.06 => wckTime=0.092 cpuTime=0.06 mem=15M604
1.08
1.08 search
1.08 run=1 nbConstraintChecks=107355 nbPropagations=4137 nbRevisions=41019 nbUselessRevisions=34548
1.08 nbAssignments=63 nbFailedAssignments=12 nbBacktracks=29 nbVisitedNodes=89 nbRestartNogoods=2 mapSize=18
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.115 cpuTime=0.07 mem=15M604
1.09
1.09 search
1.09 run=2 nbConstraintChecks=174076 nbPropagations=7323 nbRevisions=75845 nbUselessRevisions=63448
1.09 nbAssignments=106 nbFailedAssignments=21 nbBacktracks=52 nbVisitedNodes=148 nbRestartNogoods=3 mapSize=30
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.129 cpuTime=0.09 mem=15M604
1.12
1.12 search
1.12 run=3 nbConstraintChecks=304090 nbPropagations=11897 nbRevisions=129473 nbUselessRevisions=107546
1.12 nbAssignments=171 nbFailedAssignments=41 nbBacktracks=85 nbVisitedNodes=251 nbRestartNogoods=6 mapSize=58
1.12 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.152 cpuTime=0.11 mem=15M604
1.16
1.16 search
1.16 run=4 nbConstraintChecks=470865 nbPropagations=18309 nbRevisions=209770 nbUselessRevisions=173376
1.16 nbAssignments=261 nbFailedAssignments=68 nbBacktracks=136 nbVisitedNodes=398 nbRestartNogoods=9 mapSize=97
1.16 nbInferences=0 nbTooLargeKeys=0
1.16 => wckTime=0.191 cpuTime=0.14 mem=15M604
1.21
1.21 search
1.21 run=5 nbConstraintChecks=760460 nbPropagations=27786 nbRevisions=331844 nbUselessRevisions=273285
1.21 nbAssignments=418 nbFailedAssignments=117 nbBacktracks=214 nbVisitedNodes=623 nbRestartNogoods=16 mapSize=158
1.21 nbInferences=0 nbTooLargeKeys=0
1.21 => wckTime=0.245 cpuTime=0.2 mem=15M604
1.28
1.28 search
1.28 run=6 nbConstraintChecks=1142853 nbPropagations=41602 nbRevisions=518383 nbUselessRevisions=425523
1.28 nbAssignments=624 nbFailedAssignments=195 nbBacktracks=327 nbVisitedNodes=972 nbRestartNogoods=19 mapSize=251
1.28 nbInferences=0 nbTooLargeKeys=0
1.28 => wckTime=0.312 cpuTime=0.27 mem=15M604
1.39
1.39 search
1.39 run=7 nbConstraintChecks=1897459 nbPropagations=62990 nbRevisions=814041 nbUselessRevisions=666792
1.39 nbAssignments=979 nbFailedAssignments=322 nbBacktracks=499 nbVisitedNodes=1512 nbRestartNogoods=26 mapSize=395
1.39 nbInferences=0 nbTooLargeKeys=0
1.39 => wckTime=0.431 cpuTime=0.38 mem=15M604
1.53
1.53 search
1.53 run=8 nbConstraintChecks=2647818 nbPropagations=92697 nbRevisions=1232025 nbUselessRevisions=1006621
1.53 nbAssignments=1389 nbFailedAssignments=463 nbBacktracks=757 nbVisitedNodes=2209 nbRestartNogoods=30
1.53 mapSize=608 nbInferences=0 nbTooLargeKeys=0
1.53 => wckTime=0.563 cpuTime=0.51 mem=15M604
1.75
1.75 search
1.75 run=9 nbConstraintChecks=3891368 nbPropagations=135728 nbRevisions=1854706 nbUselessRevisions=1512854
1.75 nbAssignments=2053 nbFailedAssignments=731 nbBacktracks=1143 nbVisitedNodes=3349 nbRestartNogoods=34
1.75 mapSize=927 nbInferences=0 nbTooLargeKeys=0
1.75 => wckTime=0.786 cpuTime=0.71 mem=16M580
1.81
1.81 INFO : Stopping hyperNogood (mapSize=1011, nbTooLargekeys=0, mem=16M580)
2.02
2.02 search
2.02 run=10 nbConstraintChecks=5584778 nbPropagations=197162 nbRevisions=2758943 nbUselessRevisions=2247228
2.02 nbAssignments=2956 nbFailedAssignments=1049 nbBacktracks=1719 nbVisitedNodes=4865 nbRestartNogoods=38
2.02 => wckTime=1.055 cpuTime=0.97 mem=16M580
2.40
2.40 search
2.40 run=11 nbConstraintChecks=8213519 nbPropagations=286195 nbRevisions=4073147 nbUselessRevisions=3310197
2.40 nbAssignments=4349 nbFailedAssignments=1567 nbBacktracks=2583 nbVisitedNodes=7214 nbRestartNogoods=44
2.40 => wckTime=1.439 cpuTime=1.34 mem=16M580
2.98
2.98 search
2.98 run=12 nbConstraintChecks=12069328 nbPropagations=417770 nbRevisions=6034565 nbUselessRevisions=4898906
2.98 nbAssignments=6500 nbFailedAssignments=2409 nbBacktracks=3882 nbVisitedNodes=10887 nbRestartNogoods=56
2.98 => wckTime=2.017 cpuTime=1.92 mem=16M580
3.92
3.92 search
3.92 run=13 nbConstraintChecks=18551475 nbPropagations=617387 nbRevisions=9040956 nbUselessRevisions=7335313
3.92 nbAssignments=9790 nbFailedAssignments=3741 nbBacktracks=5829 nbVisitedNodes=16531 nbRestartNogoods=63
3.92 => wckTime=2.954 cpuTime=2.84 mem=16M580
5.08
5.08 search
5.08 run=14 nbConstraintChecks=25999944 nbPropagations=906697 nbRevisions=13381183 nbUselessRevisions=10859428
5.08 nbAssignments=14410 nbFailedAssignments=5431 nbBacktracks=8748 nbVisitedNodes=24302 nbRestartNogoods=73
5.08 => wckTime=4.117 cpuTime=3.99 mem=16M580
6.89
6.89 search
6.89 run=15 nbConstraintChecks=38465676 nbPropagations=1331852 nbRevisions=19731120 nbUselessRevisions=16007329
6.89 nbAssignments=21262 nbFailedAssignments=7873 nbBacktracks=13127 nbVisitedNodes=35841 nbRestartNogoods=85
6.89 => wckTime=5.923 cpuTime=5.78 mem=16M580
9.79
9.79 search
9.79 run=16 nbConstraintChecks=58311717 nbPropagations=1974036 nbRevisions=29371581 nbUselessRevisions=23829362
9.79 nbAssignments=31770 nbFailedAssignments=11788 nbBacktracks=19695 nbVisitedNodes=53665 nbRestartNogoods=94
9.79 => wckTime=8.826 cpuTime=8.66 mem=16M580
14.15
14.15 search
14.15 run=17 nbConstraintChecks=87517258 nbPropagations=2944626 nbRevisions=44061806 nbUselessRevisions=35770171
14.15 nbAssignments=48135 nbFailedAssignments=18277 nbBacktracks=29547 nbVisitedNodes=81752 nbRestartNogoods=106
14.15 => wckTime=13.19 cpuTime=12.98 mem=16M580
20.40
20.40 search
20.40 run=18 nbConstraintChecks=128645637 nbPropagations=4387914 nbRevisions=65889548 nbUselessRevisions=53520629
20.40 nbAssignments=71605 nbFailedAssignments=26959 nbBacktracks=44326 nbVisitedNodes=121643 nbRestartNogoods=115
20.40 => wckTime=19.436 cpuTime=19.17 mem=16M580
29.98
29.98 search
29.98 run=19 nbConstraintChecks=192644313 nbPropagations=6547630 nbRevisions=98690995 nbUselessRevisions=80208460
29.98 nbAssignments=107382 nbFailedAssignments=40558 nbBacktracks=66494 nbVisitedNodes=182547 nbRestartNogoods=124
29.98 => wckTime=29.012 cpuTime=28.66 mem=16M580
43.63
43.69 search
43.69 run=20 nbConstraintChecks=282031449 nbPropagations=9753503 nbRevisions=147126871 nbUselessRevisions=119621177
43.69 nbAssignments=160229 nbFailedAssignments=60144 nbBacktracks=99746 nbVisitedNodes=272045 nbRestartNogoods=139
43.69 => wckTime=42.664 cpuTime=42.18 mem=16M580
66.23
66.23 search
66.23 run=21 nbConstraintChecks=435225983 nbPropagations=14650163 nbRevisions=221700316 nbUselessRevisions=180367209
66.23 nbAssignments=243247 nbFailedAssignments=93273 nbBacktracks=149625 nbVisitedNodes=415666 nbRestartNogoods=148
66.23 => wckTime=65.269 cpuTime=64.59 mem=16M580
97.42
97.42 search
97.42 run=22 nbConstraintChecks=638766819 nbPropagations=21916374 nbRevisions=332115488 nbUselessRevisions=270344138
97.42 nbAssignments=362105 nbFailedAssignments=137303 nbBacktracks=224443 nbVisitedNodes=616956 nbRestartNogoods=164
97.42 => wckTime=96.461 cpuTime=95.49 mem=16M580
146.74
146.74 search
146.74 run=23 nbConstraintChecks=972968974 nbPropagations=32894816 nbRevisions=499270139 nbUselessRevisions=406593486
146.74 nbAssignments=544607 nbFailedAssignments=207567 nbBacktracks=336670 nbVisitedNodes=928978 nbRestartNogoods=173
146.74 => wckTime=145.774 cpuTime=144.34 mem=16M580
212.54
212.54 search
212.54 run=24 nbConstraintChecks=1414004792 nbPropagations=48841854 nbRevisions=740746316 nbUselessRevisions=603152801
212.54 nbAssignments=802991 nbFailedAssignments=297597 nbBacktracks=505012 nbVisitedNodes=1359161 nbRestartNogoods=195
212.54 => wckTime=211.576 cpuTime=209.55 mem=16M580
324.20
324.20 search
324.20 run=25 nbConstraintChecks=2179842533 nbPropagations=73028208 nbRevisions=1107869782
324.20 nbUselessRevisions=901732868 nbAssignments=1206519 nbFailedAssignments=448575 nbBacktracks=757525
324.20 nbVisitedNodes=2046375 nbRestartNogoods=213
324.20 => wckTime=323.241 cpuTime=320.19 mem=16M580
485.81
485.81 search
485.81 run=26 nbConstraintChecks=3271273678 nbPropagations=109263541 nbRevisions=1658481605
485.81 nbUselessRevisions=1349668295 nbAssignments=1803840 nbFailedAssignments=667115 nbBacktracks=1136294
485.81 nbVisitedNodes=3055859 nbRestartNogoods=228
485.81 => wckTime=484.845 cpuTime=480.32 mem=16M580
745.84
745.84 search
745.84 run=27 nbConstraintChecks=5056024298 nbPropagations=164797982 nbRevisions=2505719298
745.84 nbUselessRevisions=2039065757 nbAssignments=2731311 nbFailedAssignments=1026404 nbBacktracks=1704445
745.84 nbVisitedNodes=4648764 nbRestartNogoods=242
745.84 => wckTime=744.879 cpuTime=737.74 mem=16M580
1111.87
1111.87 search
1111.87 run=28 nbConstraintChecks=7466914262 nbPropagations=247809783 nbRevisions=3773268689
1111.87 nbUselessRevisions=3071446008 nbAssignments=4090972 nbFailedAssignments=1533808 nbBacktracks=2556671
1111.87 nbVisitedNodes=6959845 nbRestartNogoods=264
1111.87 => wckTime=1110.904 cpuTime=1100.41 mem=16M580
1667.31
1667.31 search
1667.31 run=29 nbConstraintChecks=11241572537 nbPropagations=372112895 nbRevisions=5670925897
1667.31 nbUselessRevisions=4616594514 nbAssignments=6140129 nbFailedAssignments=2304616 nbBacktracks=3835012
1667.32 nbVisitedNodes=10454446 nbRestartNogoods=277
1667.32 => wckTime=1666.352 cpuTime=1650.77 mem=16M580
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node13/watcher-203443-1168159859 -o ROOT/results/node13/solver-203443-1168159859 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203443-1168159859/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.96 1.91 1.95 4/88 2758
/proc/meminfo: memFree=1580176/2055920 swapFree=4192812/4192956
[pid=2757] ppid=2755 vsize=18540 CPUtime=0
/proc/2757/stat : 2757 (runsolver) R 2755 2757 1197 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 164380955 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 269757246759 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/2757/statm: 4635 279 244 17 0 2626 0
[startup+0.109115 s]
/proc/loadavg: 1.96 1.91 1.95 4/88 2758
/proc/meminfo: memFree=1580176/2055920 swapFree=4192812/4192956
[pid=2757] ppid=2755 vsize=914988 CPUtime=0.08
/proc/2757/stat : 2757 (java) D 2755 2757 1197 0 -1 0 2988 0 1 0 7 1 0 0 17 0 8 0 164380955 936947712 2734 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2757/statm: 228747 2734 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.518169 s]
/proc/loadavg: 1.96 1.91 1.95 4/88 2758
/proc/meminfo: memFree=1580176/2055920 swapFree=4192812/4192956
[pid=2757] ppid=2755 vsize=915328 CPUtime=0.48
/proc/2757/stat : 2757 (java) R 2755 2757 1197 0 -1 0 6842 0 1 0 44 4 0 0 18 0 8 0 164380955 937295872 6581 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072942731 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2757/statm: 228832 6581 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33928 s]
/proc/loadavg: 1.96 1.91 1.95 3/95 2765
/proc/meminfo: memFree=1551192/2055920 swapFree=4192812/4192956
[pid=2757] ppid=2755 vsize=915460 CPUtime=1.3
/proc/2757/stat : 2757 (java) R 2755 2757 1197 0 -1 0 9955 0 1 0 122 8 0 0 24 0 8 0 164380955 937431040 9693 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073825299 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2757/statm: 228865 9693 2524 14 0 215335 0
[pid=2757/tid=2759] ppid=2755 vsize=915460 CPUtime=0.03
/proc/2757/task/2759/stat : 2759 (java) S 2755 2757 1197 0 -1 64 430 0 0 0 3 0 0 0 16 0 8 0 164380959 937431040 9693 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2760] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2760/stat : 2760 (java) S 2755 2757 1197 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164380960 937431040 9693 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2761] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2761/stat : 2761 (java) S 2755 2757 1197 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164380960 937431040 9693 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2762] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2762/stat : 2762 (java) S 2755 2757 1197 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164380963 937431040 9693 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2763] ppid=2755 vsize=915460 CPUtime=0.22
/proc/2757/task/2763/stat : 2763 (java) S 2755 2757 1197 0 -1 64 381 0 0 0 21 1 0 0 15 0 8 0 164380963 937431040 9693 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2764] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2764/stat : 2764 (java) S 2755 2757 1197 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 164380963 937431040 9693 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2765] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2765/stat : 2765 (java) S 2755 2757 1197 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164380963 937431040 9693 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915460
[startup+2.97649 s]
/proc/loadavg: 1.96 1.91 1.95 3/95 2765
/proc/meminfo: memFree=1551128/2055920 swapFree=4192812/4192956
[pid=2757] ppid=2755 vsize=915460 CPUtime=2.92
/proc/2757/stat : 2757 (java) R 2755 2757 1197 0 -1 0 9973 0 1 0 284 8 0 0 25 0 8 0 164380955 937431040 9710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073816268 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2757/statm: 228865 9710 2524 14 0 215335 0
[pid=2757/tid=2759] ppid=2755 vsize=915460 CPUtime=0.03
/proc/2757/task/2759/stat : 2759 (java) S 2755 2757 1197 0 -1 64 430 0 0 0 3 0 0 0 17 0 8 0 164380959 937431040 9710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2760] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2760/stat : 2760 (java) S 2755 2757 1197 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164380960 937431040 9710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2761] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2761/stat : 2761 (java) S 2755 2757 1197 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164380960 937431040 9710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2762] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2762/stat : 2762 (java) S 2755 2757 1197 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164380963 937431040 9710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2763] ppid=2755 vsize=915460 CPUtime=0.25
/proc/2757/task/2763/stat : 2763 (java) S 2755 2757 1197 0 -1 64 398 0 0 0 24 1 0 0 15 0 8 0 164380963 937431040 9710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2764] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2764/stat : 2764 (java) S 2755 2757 1197 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 164380963 937431040 9710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2765] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2765/stat : 2765 (java) S 2755 2757 1197 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164380963 937431040 9710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915460
[startup+6.26393 s]
/proc/loadavg: 1.96 1.91 1.95 3/95 2765
/proc/meminfo: memFree=1551000/2055920 swapFree=4192812/4192956
[pid=2757] ppid=2755 vsize=915460 CPUtime=6.17
/proc/2757/stat : 2757 (java) R 2755 2757 1197 0 -1 0 9974 0 1 0 609 8 0 0 25 0 8 0 164380955 937431040 9710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835723 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2757/statm: 228865 9710 2524 14 0 215335 0
[pid=2757/tid=2759] ppid=2755 vsize=915460 CPUtime=0.03
/proc/2757/task/2759/stat : 2759 (java) S 2755 2757 1197 0 -1 64 430 0 0 0 3 0 0 0 16 0 8 0 164380959 937431040 9710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2760] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2760/stat : 2760 (java) S 2755 2757 1197 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164380960 937431040 9710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2761] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2761/stat : 2761 (java) S 2755 2757 1197 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164380960 937431040 9710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2762] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2762/stat : 2762 (java) S 2755 2757 1197 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164380963 937431040 9710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2763] ppid=2755 vsize=915460 CPUtime=0.25
/proc/2757/task/2763/stat : 2763 (java) S 2755 2757 1197 0 -1 64 398 0 0 0 24 1 0 0 15 0 8 0 164380963 937431040 9710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2764] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2764/stat : 2764 (java) S 2755 2757 1197 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 164380963 937431040 9710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2765] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2765/stat : 2765 (java) S 2755 2757 1197 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164380963 937431040 9710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 915460
[startup+12.7458 s]
/proc/loadavg: 1.97 1.91 1.95 3/95 2765
/proc/meminfo: memFree=1551000/2055920 swapFree=4192812/4192956
[pid=2757] ppid=2755 vsize=915460 CPUtime=12.6
/proc/2757/stat : 2757 (java) R 2755 2757 1197 0 -1 0 9974 0 1 0 1252 8 0 0 25 0 8 0 164380955 937431040 9710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073847239 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2757/statm: 228865 9710 2524 14 0 215335 0
[pid=2757/tid=2759] ppid=2755 vsize=915460 CPUtime=0.03
/proc/2757/task/2759/stat : 2759 (java) S 2755 2757 1197 0 -1 64 430 0 0 0 3 0 0 0 16 0 8 0 164380959 937431040 9710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2760] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2760/stat : 2760 (java) S 2755 2757 1197 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164380960 937431040 9710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2761] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2761/stat : 2761 (java) S 2755 2757 1197 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164380960 937431040 9710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2762] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2762/stat : 2762 (java) S 2755 2757 1197 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164380963 937431040 9710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2763] ppid=2755 vsize=915460 CPUtime=0.25
/proc/2757/task/2763/stat : 2763 (java) S 2755 2757 1197 0 -1 64 398 0 0 0 24 1 0 0 15 0 8 0 164380963 937431040 9710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2764] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2764/stat : 2764 (java) S 2755 2757 1197 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 164380963 937431040 9710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2765] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2765/stat : 2765 (java) S 2755 2757 1197 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164380963 937431040 9710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915460
[startup+25.6145 s]
/proc/loadavg: 1.97 1.92 1.95 3/95 2765
/proc/meminfo: memFree=1551064/2055920 swapFree=4192812/4192956
[pid=2757] ppid=2755 vsize=915460 CPUtime=25.35
/proc/2757/stat : 2757 (java) R 2755 2757 1197 0 -1 0 9974 0 1 0 2526 9 0 0 25 0 8 0 164380955 937431040 9710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073821187 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2757/statm: 228865 9710 2524 14 0 215335 0
[pid=2757/tid=2759] ppid=2755 vsize=915460 CPUtime=0.03
/proc/2757/task/2759/stat : 2759 (java) S 2755 2757 1197 0 -1 64 430 0 0 0 3 0 0 0 16 0 8 0 164380959 937431040 9710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2760] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2760/stat : 2760 (java) S 2755 2757 1197 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164380960 937431040 9710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2761] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2761/stat : 2761 (java) S 2755 2757 1197 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164380960 937431040 9710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2762] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2762/stat : 2762 (java) S 2755 2757 1197 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164380963 937431040 9710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2763] ppid=2755 vsize=915460 CPUtime=0.25
/proc/2757/task/2763/stat : 2763 (java) S 2755 2757 1197 0 -1 64 398 0 0 0 24 1 0 0 15 0 8 0 164380963 937431040 9710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2764] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2764/stat : 2764 (java) S 2755 2757 1197 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 164380963 937431040 9710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2765] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2765/stat : 2765 (java) S 2755 2757 1197 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164380963 937431040 9710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915460
[startup+51.2259 s]
/proc/loadavg: 1.98 1.92 1.95 3/95 2765
/proc/meminfo: memFree=1551128/2055920 swapFree=4192812/4192956
[pid=2757] ppid=2755 vsize=915460 CPUtime=50.73
/proc/2757/stat : 2757 (java) R 2755 2757 1197 0 -1 0 9974 0 1 0 5064 9 0 0 25 0 8 0 164380955 937431040 9710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073825126 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2757/statm: 228865 9710 2524 14 0 215335 0
[pid=2757/tid=2759] ppid=2755 vsize=915460 CPUtime=0.03
/proc/2757/task/2759/stat : 2759 (java) S 2755 2757 1197 0 -1 64 430 0 0 0 3 0 0 0 16 0 8 0 164380959 937431040 9710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2760] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2760/stat : 2760 (java) S 2755 2757 1197 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164380960 937431040 9710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2761] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2761/stat : 2761 (java) S 2755 2757 1197 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164380960 937431040 9710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2762] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2762/stat : 2762 (java) S 2755 2757 1197 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164380963 937431040 9710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2763] ppid=2755 vsize=915460 CPUtime=0.25
/proc/2757/task/2763/stat : 2763 (java) S 2755 2757 1197 0 -1 64 398 0 0 0 24 1 0 0 15 0 8 0 164380963 937431040 9710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2764] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2764/stat : 2764 (java) S 2755 2757 1197 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 164380963 937431040 9710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2765] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2765/stat : 2765 (java) S 2755 2757 1197 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164380963 937431040 9710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 915460
[startup+102.451 s]
/proc/loadavg: 1.99 1.93 1.95 3/95 2765
/proc/meminfo: memFree=1551192/2055920 swapFree=4192812/4192956
[pid=2757] ppid=2755 vsize=915460 CPUtime=101.48
/proc/2757/stat : 2757 (java) R 2755 2757 1197 0 -1 0 9975 0 1 0 10138 10 0 0 25 0 8 0 164380955 937431040 9711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073872564 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2757/statm: 228865 9711 2524 14 0 215335 0
[pid=2757/tid=2759] ppid=2755 vsize=915460 CPUtime=0.03
/proc/2757/task/2759/stat : 2759 (java) S 2755 2757 1197 0 -1 64 430 0 0 0 3 0 0 0 16 0 8 0 164380959 937431040 9711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2760] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2760/stat : 2760 (java) S 2755 2757 1197 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164380960 937431040 9711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2761] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2761/stat : 2761 (java) S 2755 2757 1197 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164380960 937431040 9711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2762] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2762/stat : 2762 (java) S 2755 2757 1197 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164380963 937431040 9711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2763] ppid=2755 vsize=915460 CPUtime=0.26
/proc/2757/task/2763/stat : 2763 (java) S 2755 2757 1197 0 -1 64 399 0 0 0 25 1 0 0 16 0 8 0 164380963 937431040 9711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2764] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2764/stat : 2764 (java) S 2755 2757 1197 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 164380963 937431040 9711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2765] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2765/stat : 2765 (java) S 2755 2757 1197 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164380963 937431040 9711 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.48
Current children cumulated vsize (KiB) 915460
[startup+162.525 s]
/proc/loadavg: 1.99 1.94 1.95 3/95 2765
/proc/meminfo: memFree=1551128/2055920 swapFree=4192812/4192956
[pid=2757] ppid=2755 vsize=915460 CPUtime=161
/proc/2757/stat : 2757 (java) R 2755 2757 1197 0 -1 0 9977 0 1 0 16090 10 0 0 25 0 8 0 164380955 937431040 9712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073841152 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1410.77
Current children cumulated vsize (KiB) 915460
[startup+1484.15 s]
/proc/loadavg: 2.00 2.00 1.98 3/95 2963
/proc/meminfo: memFree=1550872/2055920 swapFree=4192812/4192956
[pid=2757] ppid=2755 vsize=915460 CPUtime=1470.3
/proc/2757/stat : 2757 (java) R 2755 2757 1197 0 -1 0 9978 0 1 0 147008 22 0 0 25 0 8 0 164380955 937431040 9712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073816636 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2757/statm: 228865 9712 2524 14 0 215335 0
[pid=2757/tid=2759] ppid=2755 vsize=915460 CPUtime=0.03
/proc/2757/task/2759/stat : 2759 (java) S 2755 2757 1197 0 -1 64 430 0 0 0 3 0 0 0 16 0 8 0 164380959 937431040 9712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2760] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2760/stat : 2760 (java) S 2755 2757 1197 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164380960 937431040 9712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2761] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2761/stat : 2761 (java) S 2755 2757 1197 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164380960 937431040 9712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2762] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2762/stat : 2762 (java) S 2755 2757 1197 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164380963 937431040 9712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2763] ppid=2755 vsize=915460 CPUtime=0.26
/proc/2757/task/2763/stat : 2763 (java) S 2755 2757 1197 0 -1 64 400 0 0 0 25 1 0 0 16 0 8 0 164380963 937431040 9712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2764] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2764/stat : 2764 (java) S 2755 2757 1197 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 164380963 937431040 9712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2765] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2765/stat : 2765 (java) S 2755 2757 1197 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164380963 937431040 9712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1470.3
Current children cumulated vsize (KiB) 915460
[startup+1544.22 s]
/proc/loadavg: 2.03 2.01 1.99 3/95 2963
/proc/meminfo: memFree=1550808/2055920 swapFree=4192812/4192956
[pid=2757] ppid=2755 vsize=915460 CPUtime=1529.82
/proc/2757/stat : 2757 (java) R 2755 2757 1197 0 -1 0 9978 0 1 0 152960 22 0 0 25 0 8 0 164380955 937431040 9712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835684 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2757/statm: 228865 9712 2524 14 0 215335 0
[pid=2757/tid=2759] ppid=2755 vsize=915460 CPUtime=0.03
/proc/2757/task/2759/stat : 2759 (java) S 2755 2757 1197 0 -1 64 430 0 0 0 3 0 0 0 16 0 8 0 164380959 937431040 9712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2760] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2760/stat : 2760 (java) S 2755 2757 1197 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164380960 937431040 9712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2761] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2761/stat : 2761 (java) S 2755 2757 1197 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164380960 937431040 9712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2762] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2762/stat : 2762 (java) S 2755 2757 1197 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164380963 937431040 9712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2763] ppid=2755 vsize=915460 CPUtime=0.26
/proc/2757/task/2763/stat : 2763 (java) S 2755 2757 1197 0 -1 64 400 0 0 0 25 1 0 0 16 0 8 0 164380963 937431040 9712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2764] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2764/stat : 2764 (java) S 2755 2757 1197 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 164380963 937431040 9712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2765] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2765/stat : 2765 (java) S 2755 2757 1197 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164380963 937431040 9712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1529.82
Current children cumulated vsize (KiB) 915460
[startup+1604.3 s]
/proc/loadavg: 2.01 2.01 1.99 3/95 2963
/proc/meminfo: memFree=1550872/2055920 swapFree=4192812/4192956
[pid=2757] ppid=2755 vsize=915460 CPUtime=1589.35
/proc/2757/stat : 2757 (java) R 2755 2757 1197 0 -1 0 9978 0 1 0 158912 23 0 0 25 0 8 0 164380955 937431040 9712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073825086 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2757/statm: 228865 9712 2524 14 0 215335 0
[pid=2757/tid=2759] ppid=2755 vsize=915460 CPUtime=0.03
/proc/2757/task/2759/stat : 2759 (java) S 2755 2757 1197 0 -1 64 430 0 0 0 3 0 0 0 16 0 8 0 164380959 937431040 9712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2760] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2760/stat : 2760 (java) S 2755 2757 1197 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164380960 937431040 9712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2761] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2761/stat : 2761 (java) S 2755 2757 1197 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164380960 937431040 9712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2762] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2762/stat : 2762 (java) S 2755 2757 1197 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164380963 937431040 9712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2763] ppid=2755 vsize=915460 CPUtime=0.26
/proc/2757/task/2763/stat : 2763 (java) S 2755 2757 1197 0 -1 64 400 0 0 0 25 1 0 0 16 0 8 0 164380963 937431040 9712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2764] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2764/stat : 2764 (java) S 2755 2757 1197 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 164380963 937431040 9712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2765] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2765/stat : 2765 (java) S 2755 2757 1197 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164380963 937431040 9712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1589.35
Current children cumulated vsize (KiB) 915460
[startup+1664.37 s]
/proc/loadavg: 2.00 2.00 1.99 3/95 2963
/proc/meminfo: memFree=1550808/2055920 swapFree=4192812/4192956
[pid=2757] ppid=2755 vsize=915460 CPUtime=1648.87
/proc/2757/stat : 2757 (java) R 2755 2757 1197 0 -1 0 9978 0 1 0 164863 24 0 0 25 0 8 0 164380955 937431040 9712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2757/statm: 228865 9712 2524 14 0 215335 0
[pid=2757/tid=2759] ppid=2755 vsize=915460 CPUtime=0.03
/proc/2757/task/2759/stat : 2759 (java) S 2755 2757 1197 0 -1 64 430 0 0 0 3 0 0 0 16 0 8 0 164380959 937431040 9712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2760] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2760/stat : 2760 (java) S 2755 2757 1197 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164380960 937431040 9712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2761] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2761/stat : 2761 (java) S 2755 2757 1197 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164380960 937431040 9712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2762] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2762/stat : 2762 (java) S 2755 2757 1197 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164380963 937431040 9712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2763] ppid=2755 vsize=915460 CPUtime=0.26
/proc/2757/task/2763/stat : 2763 (java) S 2755 2757 1197 0 -1 64 400 0 0 0 25 1 0 0 16 0 8 0 164380963 937431040 9712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2764] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2764/stat : 2764 (java) S 2755 2757 1197 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 164380963 937431040 9712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2765] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2765/stat : 2765 (java) S 2755 2757 1197 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164380963 937431040 9712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1648.87
Current children cumulated vsize (KiB) 915460
[startup+1724.45 s]
/proc/loadavg: 1.91 1.97 1.98 3/94 3031
/proc/meminfo: memFree=1522144/2055920 swapFree=4192812/4192956
[pid=2757] ppid=2755 vsize=915460 CPUtime=1708.76
/proc/2757/stat : 2757 (java) R 2755 2757 1197 0 -1 0 9978 0 1 0 170850 26 0 0 25 0 8 0 164380955 937431040 9712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918600 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2757/statm: 228865 9712 2524 14 0 215335 0
[pid=2757/tid=2759] ppid=2755 vsize=915460 CPUtime=0.03
/proc/2757/task/2759/stat : 2759 (java) S 2755 2757 1197 0 -1 64 430 0 0 0 3 0 0 0 16 0 8 0 164380959 937431040 9712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2760] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2760/stat : 2760 (java) S 2755 2757 1197 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164380960 937431040 9712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2761] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2761/stat : 2761 (java) S 2755 2757 1197 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164380960 937431040 9712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2762] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2762/stat : 2762 (java) S 2755 2757 1197 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164380963 937431040 9712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2763] ppid=2755 vsize=915460 CPUtime=0.26
/proc/2757/task/2763/stat : 2763 (java) S 2755 2757 1197 0 -1 64 400 0 0 0 25 1 0 0 16 0 8 0 164380963 937431040 9712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2764] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2764/stat : 2764 (java) S 2755 2757 1197 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 164380963 937431040 9712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2765] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2765/stat : 2765 (java) S 2755 2757 1197 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164380963 937431040 9712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1708.76
Current children cumulated vsize (KiB) 915460
[startup+1784.46 s]
/proc/loadavg: 2.02 1.99 1.98 3/94 3031
/proc/meminfo: memFree=1522272/2055920 swapFree=4192812/4192956
[pid=2757] ppid=2755 vsize=915460 CPUtime=1768.69
/proc/2757/stat : 2757 (java) R 2755 2757 1197 0 -1 0 9978 0 1 0 176843 26 0 0 25 0 8 0 164380955 937431040 9712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073816802 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2757/statm: 228865 9712 2524 14 0 215335 0
[pid=2757/tid=2759] ppid=2755 vsize=915460 CPUtime=0.03
/proc/2757/task/2759/stat : 2759 (java) S 2755 2757 1197 0 -1 64 430 0 0 0 3 0 0 0 16 0 8 0 164380959 937431040 9712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2760] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2760/stat : 2760 (java) S 2755 2757 1197 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164380960 937431040 9712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2761] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2761/stat : 2761 (java) S 2755 2757 1197 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164380960 937431040 9712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2762] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2762/stat : 2762 (java) S 2755 2757 1197 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164380963 937431040 9712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2763] ppid=2755 vsize=915460 CPUtime=0.26
/proc/2757/task/2763/stat : 2763 (java) S 2755 2757 1197 0 -1 64 400 0 0 0 25 1 0 0 16 0 8 0 164380963 937431040 9712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2764] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2764/stat : 2764 (java) S 2755 2757 1197 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 164380963 937431040 9712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2765] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2765/stat : 2765 (java) S 2755 2757 1197 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164380963 937431040 9712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1768.69
Current children cumulated vsize (KiB) 915460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1815.88 s]
/proc/loadavg: 2.01 1.99 1.98 3/94 3031
/proc/meminfo: memFree=1522208/2055920 swapFree=4192812/4192956
[pid=2757] ppid=2755 vsize=915460 CPUtime=1800.07
/proc/2757/stat : 2757 (java) R 2755 2757 1197 0 -1 0 9978 0 1 0 179981 26 0 0 25 0 8 0 164380955 937431040 9712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073814324 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2757/statm: 228865 9712 2524 14 0 215335 0
[pid=2757/tid=2759] ppid=2755 vsize=915460 CPUtime=0.03
/proc/2757/task/2759/stat : 2759 (java) S 2755 2757 1197 0 -1 64 430 0 0 0 3 0 0 0 16 0 8 0 164380959 937431040 9712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2760] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2760/stat : 2760 (java) S 2755 2757 1197 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164380960 937431040 9712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2761] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2761/stat : 2761 (java) S 2755 2757 1197 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164380960 937431040 9712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2762] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2762/stat : 2762 (java) S 2755 2757 1197 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 164380963 937431040 9712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2763] ppid=2755 vsize=915460 CPUtime=0.26
/proc/2757/task/2763/stat : 2763 (java) S 2755 2757 1197 0 -1 64 400 0 0 0 25 1 0 0 16 0 8 0 164380963 937431040 9712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2764] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2764/stat : 2764 (java) S 2755 2757 1197 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 164380963 937431040 9712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2757/tid=2765] ppid=2755 vsize=915460 CPUtime=0
/proc/2757/task/2765/stat : 2765 (java) S 2755 2757 1197 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164380963 937431040 9712 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 915460
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1815.93
CPU time (s): 1800.12
CPU user time (s): 1799.85
CPU system time (s): 0.272958
CPU usage (%): 99.1295
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.85
system time used= 0.272958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9995
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= 37881
involuntary context switches= 63306
runsolver used 2.68959 s user time and 5.35219 s system time
The end
Begin job on node13 on Sun Jan 7 08:51:00 UTC 2007
IDJOB= 203443
IDBENCH= 3963
FILE ID= node13/203443-1168159859
PBS_JOBID= 3478249
Free space on /tmp= 66321 MiB
BENCH NAME= HOME/pub/bench/CPAI06/frb/frb53-24/frb53-24-5-mgd_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203443-1168159859/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-203443-1168159859 -o ROOT/results/node13/solver-203443-1168159859 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203443-1168159859/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 2f7f9a6c7c062604348f10a4f021703f
RANDOM SEED= 802472371
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.247
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.247
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1580592 kB
Buffers: 53664 kB
Cached: 285384 kB
SwapCached: 0 kB
Active: 129788 kB
Inactive: 265192 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1580592 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2204 kB
Writeback: 0 kB
Mapped: 76548 kB
Slab: 64944 kB
Committed_AS: 4077104 kB
PageTables: 2420 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= 66320 MiB
End job on node13 on Sun Jan 7 09:21:16 UTC 2007