0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=esac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/203274-1168158607/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=28 nbDomainTypes=1 minDomainSize=28 maxDomainSize=28
0.43 => wckTime=0.095 cpuTime=0.08 mem=6M951
0.43
0.43 relations being loaded...
1.49
1.49 constraints being loaded...
2.20 nbConstraints=91 nbRelationTypes=93 nbMergedConstraints=2 nbExtensionStructures=91
2.20 nbSharedExtensionStructures=0 nbConflictsStructures=91 nbSharedConflictsStructures=0
2.20 nbSharedBinaryRepresentations=0 maxDegree=15 maxArity=3
2.20 => wckTime=1.865 cpuTime=1.48 mem=57M35
2.35
2.35 solver IterativeSystematicSolver being built...
2.52 => wckTime=2.187 cpuTime=1.62 mem=65M48
2.65
2.65 preprocessing
2.65 nbConstraintChecks=42996 nbValidityChecks=68096 nbPropagations=219 nbRevisions=2498 nbUselessRevisions=2189
2.65 nbSingletonTests=33 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
2.65 => wckTime=0.127 cpuTime=0.1 mem=65M48
2.71
2.71 search
2.71 run=0 nbConstraintChecks=26410 nbValidityChecks=53227 nbPropagations=517 nbRevisions=5819
2.71 nbUselessRevisions=4855 nbAssignments=33 nbFailedAssignments=12 nbBacktracks=11 nbVisitedNodes=53
2.71 nbRestartNogoods=0 mapSize=9 nbInferences=0 nbTooLargeKeys=0
2.71 => wckTime=0.188 cpuTime=0.15 mem=66M57
2.79
2.79 search
2.79 run=1 nbConstraintChecks=65680 nbValidityChecks=134713 nbPropagations=1577 nbRevisions=18229
2.79 nbUselessRevisions=15092 nbAssignments=74 nbFailedAssignments=29 nbBacktracks=27 nbVisitedNodes=122
2.79 nbRestartNogoods=2 mapSize=24 nbInferences=0 nbTooLargeKeys=0
2.79 => wckTime=0.265 cpuTime=0.22 mem=66M57
2.90
2.90 search
2.90 run=2 nbConstraintChecks=121995 nbValidityChecks=266013 nbPropagations=3523 nbRevisions=40504
2.90 nbUselessRevisions=33342 nbAssignments=147 nbFailedAssignments=64 nbBacktracks=50 nbVisitedNodes=237
2.90 nbRestartNogoods=5 mapSize=46 nbInferences=0 nbTooLargeKeys=0
2.90 => wckTime=0.38 cpuTime=0.33 mem=66M57
3.14
3.14 search
3.14 run=3 nbConstraintChecks=275527 nbValidityChecks=554089 nbPropagations=6603 nbRevisions=78917
3.14 nbUselessRevisions=64432 nbAssignments=245 nbFailedAssignments=122 nbBacktracks=83 nbVisitedNodes=416
3.14 nbRestartNogoods=6 mapSize=76 nbInferences=0 nbTooLargeKeys=0
3.14 => wckTime=0.621 cpuTime=0.57 mem=66M57
3.47
3.47 search
3.47 run=4 nbConstraintChecks=470884 nbValidityChecks=968012 nbPropagations=11766 nbRevisions=142926
3.47 nbUselessRevisions=115676 nbAssignments=397 nbFailedAssignments=202 nbBacktracks=134 nbVisitedNodes=668
3.47 nbRestartNogoods=12 mapSize=124 nbInferences=0 nbTooLargeKeys=0
3.47 => wckTime=0.948 cpuTime=0.89 mem=66M57
3.93
3.93 search
3.93 run=5 nbConstraintChecks=746058 nbValidityChecks=1520818 nbPropagations=19574 nbRevisions=240464
3.93 nbUselessRevisions=193333 nbAssignments=585 nbFailedAssignments=309 nbBacktracks=209 nbVisitedNodes=1014
3.93 nbRestartNogoods=18 mapSize=194 nbInferences=0 nbTooLargeKeys=0
3.93 => wckTime=1.407 cpuTime=1.34 mem=66M57
4.61
4.61 search
4.61 run=6 nbConstraintChecks=1162634 nbValidityChecks=2374332 nbPropagations=31755 nbRevisions=396591
4.61 nbUselessRevisions=317912 nbAssignments=920 nbFailedAssignments=525 nbBacktracks=323 nbVisitedNodes=1650
4.61 nbRestartNogoods=24 mapSize=303 nbInferences=0 nbTooLargeKeys=0
4.61 => wckTime=2.086 cpuTime=2.01 mem=66M57
5.39
5.39 search
5.39 run=7 nbConstraintChecks=1665419 nbValidityChecks=3366789 nbPropagations=50251 nbRevisions=633769
5.39 nbUselessRevisions=507152 nbAssignments=1449 nbFailedAssignments=875 nbBacktracks=493 nbVisitedNodes=2643
5.39 nbRestartNogoods=26 mapSize=463 nbInferences=0 nbTooLargeKeys=0
5.39 => wckTime=2.87 cpuTime=2.8 mem=66M57
7.07
7.07 search
7.07 run=8 nbConstraintChecks=2737969 nbValidityChecks=5470360 nbPropagations=77659 nbRevisions=994295
7.07 nbUselessRevisions=793345 nbAssignments=2213 nbFailedAssignments=1374 nbBacktracks=749 nbVisitedNodes=4075
7.07 nbRestartNogoods=38 mapSize=683 nbInferences=0 nbTooLargeKeys=0
7.07 => wckTime=4.549 cpuTime=4.44 mem=66M57
8.86
8.86 INFO : Stopping hyperNogood (mapSize=1026, nbTooLargekeys=0, mem=66M57)
9.00
9.00 search
9.00 run=9 nbConstraintChecks=3960452 nbValidityChecks=8026195 nbPropagations=120433 nbRevisions=1549740
9.00 nbUselessRevisions=1235841 nbAssignments=3469 nbFailedAssignments=2128 nbBacktracks=1133 nbVisitedNodes=6256
9.00 nbRestartNogoods=55
9.00 => wckTime=6.478 cpuTime=6.36 mem=66M57
12.93
12.93 search
12.93 run=10 nbConstraintChecks=6495895 nbValidityChecks=12964590 nbPropagations=183681 nbRevisions=2377922
12.93 nbUselessRevisions=1891693 nbAssignments=5292 nbFailedAssignments=3328 nbBacktracks=1710 nbVisitedNodes=9651
12.93 nbRestartNogoods=63
12.93 => wckTime=10.408 cpuTime=10.26 mem=66M57
16.50
16.50 search
16.50 run=11 nbConstraintChecks=8738196 nbValidityChecks=17616027 nbPropagations=276213 nbRevisions=3560676
16.50 nbUselessRevisions=2826392 nbAssignments=7436 nbFailedAssignments=4600 nbBacktracks=2575 nbVisitedNodes=13685
16.50 nbRestartNogoods=68
16.50 => wckTime=13.98 cpuTime=13.81 mem=66M57
23.72
23.72 search
23.72 run=12 nbConstraintChecks=13383731 nbValidityChecks=26672007 nbPropagations=409230 nbRevisions=5264597
23.72 nbUselessRevisions=4166990 nbAssignments=10935 nbFailedAssignments=6792 nbBacktracks=3874 nbVisitedNodes=20224
23.72 nbRestartNogoods=81
23.73 => wckTime=21.205 cpuTime=21.0 mem=66M57
31.83
31.83 search
31.83 run=13 nbConstraintChecks=18475221 nbValidityChecks=37134718 nbPropagations=608891 nbRevisions=7801231
31.83 nbUselessRevisions=6171966 nbAssignments=16132 nbFailedAssignments=10019 nbBacktracks=5820 nbVisitedNodes=30044
31.83 nbRestartNogoods=92
31.83 => wckTime=29.309 cpuTime=29.02 mem=66M57
43.69
43.69 search
43.69 run=14 nbConstraintChecks=25845914 nbValidityChecks=52504810 nbPropagations=890027 nbRevisions=11344351
43.69 nbUselessRevisions=8965023 nbAssignments=22494 nbFailedAssignments=13442 nbBacktracks=8739 nbVisitedNodes=41567
43.69 nbRestartNogoods=105
43.69 => wckTime=41.17 cpuTime=40.77 mem=66M57
62.35
62.35 search
62.35 run=15 nbConstraintChecks=37479843 nbValidityChecks=76696508 nbPropagations=1312127 nbRevisions=16668787
62.35 nbUselessRevisions=13178123 nbAssignments=33271 nbFailedAssignments=19833 nbBacktracks=13118
62.35 nbVisitedNodes=61579 nbRestartNogoods=116
62.35 => wckTime=59.833 cpuTime=59.23 mem=66M57
100.96
101.02 search
101.02 run=16 nbConstraintChecks=62078788 nbValidityChecks=125911069 nbPropagations=1956070 nbRevisions=24906891
101.02 nbUselessRevisions=19669237 nbAssignments=51720 nbFailedAssignments=31692 nbBacktracks=19686
101.02 nbVisitedNodes=96356 nbRestartNogoods=139
101.02 => wckTime=98.442 cpuTime=97.46 mem=66M57
139.50
139.51 search
139.51 run=17 nbConstraintChecks=86581996 nbValidityChecks=176491047 nbPropagations=2926521 nbRevisions=37244564
139.51 nbUselessRevisions=29425103 nbAssignments=76600 nbFailedAssignments=46694 nbBacktracks=29538
139.51 nbVisitedNodes=143143 nbRestartNogoods=155
139.51 => wckTime=136.985 cpuTime=135.6 mem=66M57
221.50
221.50 search
221.50 run=18 nbConstraintChecks=137213697 nbValidityChecks=281851945 nbPropagations=4436907 nbRevisions=56315086
221.50 nbUselessRevisions=44471954 nbAssignments=113474 nbFailedAssignments=68764 nbBacktracks=44316
221.50 nbVisitedNodes=212455 nbRestartNogoods=168
221.50 => wckTime=218.977 cpuTime=216.8 mem=66M57
301.92
301.92 search
301.92 run=19 nbConstraintChecks=188077576 nbValidityChecks=385850199 nbPropagations=6591374 nbRevisions=83143647
301.92 nbUselessRevisions=65627889 nbAssignments=163012 nbFailedAssignments=96112 nbBacktracks=66484
301.92 nbVisitedNodes=303470 nbRestartNogoods=193
301.92 => wckTime=299.402 cpuTime=296.42 mem=66M57
499.44
499.44 search
499.44 run=20 nbConstraintChecks=313187602 nbValidityChecks=641530135 nbPropagations=9956743 nbRevisions=125729309
499.44 nbUselessRevisions=99210373 nbAssignments=254443 nbFailedAssignments=154284 nbBacktracks=99737
499.44 nbVisitedNodes=477423 nbRestartNogoods=200
499.44 => wckTime=496.916 cpuTime=491.92 mem=66M57
705.95
705.95 search
705.95 run=21 nbConstraintChecks=443823638 nbValidityChecks=907948944 nbPropagations=14921587 nbRevisions=188146628
705.95 nbUselessRevisions=148527209 nbAssignments=373833 nbFailedAssignments=223784 nbBacktracks=149615
705.95 nbVisitedNodes=699893 nbRestartNogoods=220
705.96 => wckTime=703.435 cpuTime=696.39 mem=66M57
1147.63
1147.63 search
1147.63 run=22 nbConstraintChecks=726831648 nbValidityChecks=1480680644 nbPropagations=22439307 nbRevisions=284841040
1147.63 nbUselessRevisions=224842759 nbAssignments=595539 nbFailedAssignments=370664 nbBacktracks=224433
1147.63 nbVisitedNodes=1119369 nbRestartNogoods=243
1147.63 => wckTime=1145.106 cpuTime=1133.67 mem=66M57
1667.45
1667.45 search
1667.45 run=23 nbConstraintChecks=1048799866 nbValidityChecks=2148782447 nbPropagations=33729432 nbRevisions=428624166
1667.45 nbUselessRevisions=338428967 nbAssignments=878018 nbFailedAssignments=540833 nbBacktracks=336660
1667.45 nbVisitedNodes=1649768 nbRestartNogoods=263
1667.45 => wckTime=1664.929 cpuTime=1648.33 mem=66M57
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node39/watcher-203274-1168158607 -o ROOT/results/node39/solver-203274-1168158607 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203274-1168158607/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.85 0.97 0.99 4/69 13862
/proc/meminfo: memFree=1454544/2055920 swapFree=4187312/4192956
[pid=13861] ppid=13858 vsize=18540 CPUtime=0
/proc/13861/stat : 13861 (runsolver) R 13858 13861 13753 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 164260364 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 231493659943 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/13861/statm: 4635 279 244 17 0 2626 0
[startup+0.104455 s]
/proc/loadavg: 0.85 0.97 0.99 4/69 13862
/proc/meminfo: memFree=1454544/2055920 swapFree=4187312/4192956
[pid=13861] ppid=13858 vsize=913228 CPUtime=0.07
/proc/13861/stat : 13861 (java) R 13858 13861 13753 0 -1 0 2919 0 1 0 6 1 0 0 24 0 8 0 164260364 935145472 2665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13861/statm: 228307 2665 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 913228
[startup+0.51648 s]
/proc/loadavg: 0.85 0.97 0.99 4/69 13862
/proc/meminfo: memFree=1454544/2055920 swapFree=4187312/4192956
[pid=13861] ppid=13858 vsize=915328 CPUtime=0.46
/proc/13861/stat : 13861 (java) R 13858 13861 13753 0 -1 0 7563 0 1 0 42 4 0 0 25 0 8 0 164260364 937295872 7302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073557508 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13861/statm: 228832 7302 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 915328
[startup+1.34156 s]
/proc/loadavg: 0.85 0.97 0.99 4/88 13894
/proc/meminfo: memFree=1309176/2055920 swapFree=4187312/4192956
[pid=13861] ppid=13858 vsize=915328 CPUtime=1.28
/proc/13861/stat : 13861 (java) R 13858 13861 13753 0 -1 0 19099 0 1 0 119 9 0 0 25 0 8 0 164260364 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073560896 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13861/statm: 228832 18837 2149 14 0 215302 0
[pid=13861/tid=13881] ppid=13858 vsize=915328 CPUtime=0.04
/proc/13861/task/13881/stat : 13881 (java) S 13858 13861 13753 0 -1 64 2682 0 0 0 4 0 0 0 17 0 8 0 164260369 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13882] ppid=13858 vsize=915328 CPUtime=0
/proc/13861/task/13882/stat : 13882 (java) S 13858 13861 13753 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164260370 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13883] ppid=13858 vsize=915328 CPUtime=0
/proc/13861/task/13883/stat : 13883 (java) S 13858 13861 13753 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164260370 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13887] ppid=13858 vsize=915328 CPUtime=0
/proc/13861/task/13887/stat : 13887 (java) S 13858 13861 13753 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164260373 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13888] ppid=13858 vsize=915328 CPUtime=0.08
/proc/13861/task/13888/stat : 13888 (java) S 13858 13861 13753 0 -1 64 308 0 0 0 8 0 0 0 16 0 8 0 164260373 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13889] ppid=13858 vsize=915328 CPUtime=0
/proc/13861/task/13889/stat : 13889 (java) S 13858 13861 13753 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 164260373 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13890] ppid=13858 vsize=915328 CPUtime=0
/proc/13861/task/13890/stat : 13890 (java) S 13858 13861 13753 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164260373 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915328
[startup+2.97871 s]
/proc/loadavg: 0.85 0.97 0.99 4/88 13894
/proc/meminfo: memFree=1258680/2055920 swapFree=4187312/4192956
[pid=13861] ppid=13858 vsize=915440 CPUtime=2.92
/proc/13861/stat : 13861 (java) R 13858 13861 13753 0 -1 0 32448 0 1 0 277 15 0 0 25 0 8 0 164260364 937410560 32183 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629997 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13861/statm: 228860 32183 2531 14 0 215330 0
[pid=13861/tid=13881] ppid=13858 vsize=915440 CPUtime=0.42
/proc/13861/task/13881/stat : 13881 (java) S 13858 13861 13753 0 -1 64 15454 0 0 0 37 5 0 0 17 0 8 0 164260369 937410560 32183 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13882] ppid=13858 vsize=915440 CPUtime=0
/proc/13861/task/13882/stat : 13882 (java) S 13858 13861 13753 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164260370 937410560 32183 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13883] ppid=13858 vsize=915440 CPUtime=0
/proc/13861/task/13883/stat : 13883 (java) S 13858 13861 13753 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164260370 937410560 32183 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13887] ppid=13858 vsize=915440 CPUtime=0
/proc/13861/task/13887/stat : 13887 (java) S 13858 13861 13753 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164260373 937410560 32183 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13888] ppid=13858 vsize=915440 CPUtime=0.2
/proc/13861/task/13888/stat : 13888 (java) S 13858 13861 13753 0 -1 64 378 0 0 0 20 0 0 0 15 0 8 0 164260373 937410560 32183 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13889] ppid=13858 vsize=915440 CPUtime=0
/proc/13861/task/13889/stat : 13889 (java) S 13858 13861 13753 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 164260373 937410560 32183 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13890] ppid=13858 vsize=915440 CPUtime=0
/proc/13861/task/13890/stat : 13890 (java) S 13858 13861 13753 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164260373 937410560 32183 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915440
[startup+6.26701 s]
/proc/loadavg: 0.94 0.99 0.99 3/88 13894
/proc/meminfo: memFree=1218360/2055920 swapFree=4187312/4192956
[pid=13861] ppid=13858 vsize=915440 CPUtime=6.17
/proc/13861/stat : 13861 (java) R 13858 13861 13753 0 -1 0 32465 0 1 0 602 15 0 0 25 0 8 0 164260364 937410560 32197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073817972 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13861/statm: 228860 32197 2531 14 0 215330 0
[pid=13861/tid=13881] ppid=13858 vsize=915440 CPUtime=0.42
/proc/13861/task/13881/stat : 13881 (java) S 13858 13861 13753 0 -1 64 15454 0 0 0 37 5 0 0 17 0 8 0 164260369 937410560 32197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13882] ppid=13858 vsize=915440 CPUtime=0
/proc/13861/task/13882/stat : 13882 (java) S 13858 13861 13753 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164260370 937410560 32197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13883] ppid=13858 vsize=915440 CPUtime=0
/proc/13861/task/13883/stat : 13883 (java) S 13858 13861 13753 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164260370 937410560 32197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13887] ppid=13858 vsize=915440 CPUtime=0
/proc/13861/task/13887/stat : 13887 (java) S 13858 13861 13753 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164260373 937410560 32197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13888] ppid=13858 vsize=915440 CPUtime=0.24
/proc/13861/task/13888/stat : 13888 (java) S 13858 13861 13753 0 -1 64 393 0 0 0 23 1 0 0 15 0 8 0 164260373 937410560 32197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13889] ppid=13858 vsize=915440 CPUtime=0
/proc/13861/task/13889/stat : 13889 (java) S 13858 13861 13753 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 164260373 937410560 32197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13890] ppid=13858 vsize=915440 CPUtime=0
/proc/13861/task/13890/stat : 13890 (java) S 13858 13861 13753 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164260373 937410560 32197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 915440
[startup+12.7516 s]
/proc/loadavg: 1.03 1.01 1.00 3/88 13894
/proc/meminfo: memFree=1124424/2055920 swapFree=4187312/4192956
[pid=13861] ppid=13858 vsize=915440 CPUtime=12.63
/proc/13861/stat : 13861 (java) R 13858 13861 13753 0 -1 0 32473 0 1 0 1248 15 0 0 25 0 8 0 164260364 937410560 32202 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13861/statm: 228860 32202 2531 14 0 215330 0
[pid=13861/tid=13881] ppid=13858 vsize=915440 CPUtime=0.42
/proc/13861/task/13881/stat : 13881 (java) S 13858 13861 13753 0 -1 64 15454 0 0 0 37 5 0 0 16 0 8 0 164260369 937410560 32202 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13882] ppid=13858 vsize=915440 CPUtime=0
/proc/13861/task/13882/stat : 13882 (java) S 13858 13861 13753 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164260370 937410560 32202 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13883] ppid=13858 vsize=915440 CPUtime=0
/proc/13861/task/13883/stat : 13883 (java) S 13858 13861 13753 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164260370 937410560 32202 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13887] ppid=13858 vsize=915440 CPUtime=0
/proc/13861/task/13887/stat : 13887 (java) S 13858 13861 13753 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164260373 937410560 32202 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13888] ppid=13858 vsize=915440 CPUtime=0.25
/proc/13861/task/13888/stat : 13888 (java) S 13858 13861 13753 0 -1 64 400 0 0 0 24 1 0 0 16 0 8 0 164260373 937410560 32202 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13889] ppid=13858 vsize=915440 CPUtime=0
/proc/13861/task/13889/stat : 13889 (java) S 13858 13861 13753 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 164260373 937410560 32202 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13890] ppid=13858 vsize=915440 CPUtime=0
/proc/13861/task/13890/stat : 13890 (java) S 13858 13861 13753 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164260373 937410560 32202 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915440
[startup+25.6198 s]
/proc/loadavg: 1.24 1.06 1.02 3/88 13894
/proc/meminfo: memFree=816848/2055920 swapFree=4187312/4192956
[pid=13861] ppid=13858 vsize=915440 CPUtime=25.44
/proc/13861/stat : 13861 (java) R 13858 13861 13753 0 -1 0 32475 0 1 0 2528 16 0 0 25 0 8 0 164260364 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629919 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13861/statm: 228860 32204 2531 14 0 215330 0
[pid=13861/tid=13881] ppid=13858 vsize=915440 CPUtime=0.42
/proc/13861/task/13881/stat : 13881 (java) S 13858 13861 13753 0 -1 64 15454 0 0 0 37 5 0 0 16 0 8 0 164260369 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13882] ppid=13858 vsize=915440 CPUtime=0
/proc/13861/task/13882/stat : 13882 (java) S 13858 13861 13753 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164260370 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13883] ppid=13858 vsize=915440 CPUtime=0
/proc/13861/task/13883/stat : 13883 (java) S 13858 13861 13753 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164260370 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13887] ppid=13858 vsize=915440 CPUtime=0
/proc/13861/task/13887/stat : 13887 (java) S 13858 13861 13753 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164260373 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13888] ppid=13858 vsize=915440 CPUtime=0.26
/proc/13861/task/13888/stat : 13888 (java) S 13858 13861 13753 0 -1 64 402 0 0 0 25 1 0 0 15 0 8 0 164260373 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13889] ppid=13858 vsize=915440 CPUtime=0
/proc/13861/task/13889/stat : 13889 (java) S 13858 13861 13753 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 164260373 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13890] ppid=13858 vsize=915440 CPUtime=0
/proc/13861/task/13890/stat : 13890 (java) S 13858 13861 13753 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164260373 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 915440
[startup+51.2401 s]
/proc/loadavg: 1.50 1.13 1.04 3/89 13895
/proc/meminfo: memFree=785352/2055920 swapFree=4187312/4192956
[pid=13861] ppid=13858 vsize=915440 CPUtime=50.78
/proc/13861/stat : 13861 (java) R 13858 13861 13753 0 -1 0 32475 0 1 0 5062 16 0 0 25 0 8 0 164260364 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073664884 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13861/statm: 228860 32204 2531 14 0 215330 0
[pid=13861/tid=13881] ppid=13858 vsize=915440 CPUtime=0.42
/proc/13861/task/13881/stat : 13881 (java) S 13858 13861 13753 0 -1 64 15454 0 0 0 37 5 0 0 16 0 8 0 164260369 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13882] ppid=13858 vsize=915440 CPUtime=0
/proc/13861/task/13882/stat : 13882 (java) S 13858 13861 13753 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164260370 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13883] ppid=13858 vsize=915440 CPUtime=0
/proc/13861/task/13883/stat : 13883 (java) S 13858 13861 13753 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164260370 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13887] ppid=13858 vsize=915440 CPUtime=0
/proc/13861/task/13887/stat : 13887 (java) S 13858 13861 13753 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164260373 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13888] ppid=13858 vsize=915440 CPUtime=0.26
/proc/13861/task/13888/stat : 13888 (java) S 13858 13861 13753 0 -1 64 402 0 0 0 25 1 0 0 15 0 8 0 164260373 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13889] ppid=13858 vsize=915440 CPUtime=0
/proc/13861/task/13889/stat : 13889 (java) S 13858 13861 13753 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 164260373 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13890] ppid=13858 vsize=915440 CPUtime=0
/proc/13861/task/13890/stat : 13890 (java) S 13858 13861 13753 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164260373 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.78
Current children cumulated vsize (KiB) 915440
[startup+102.506 s]
/proc/loadavg: 1.78 1.26 1.09 3/89 13895
/proc/meminfo: memFree=785416/2055920 swapFree=4187312/4192956
[pid=13861] ppid=13858 vsize=915440 CPUtime=101.54
/proc/13861/stat : 13861 (java) R 13858 13861 13753 0 -1 0 32475 0 1 0 10137 17 0 0 25 0 8 0 164260364 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073846393 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13861/statm: 228860 32204 2531 14 0 215330 0
[pid=13861/tid=13881] ppid=13858 vsize=915440 CPUtime=0.42
/proc/13861/task/13881/stat : 13881 (java) S 13858 13861 13753 0 -1 64 15454 0 0 0 37 5 0 0 16 0 8 0 164260369 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13882] ppid=13858 vsize=915440 CPUtime=0
/proc/13861/task/13882/stat : 13882 (java) S 13858 13861 13753 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164260370 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13883] ppid=13858 vsize=915440 CPUtime=0
/proc/13861/task/13883/stat : 13883 (java) S 13858 13861 13753 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164260370 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13887] ppid=13858 vsize=915440 CPUtime=0
/proc/13861/task/13887/stat : 13887 (java) S 13858 13861 13753 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164260373 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13888] ppid=13858 vsize=915440 CPUtime=0.26
/proc/13861/task/13888/stat : 13888 (java) S 13858 13861 13753 0 -1 64 402 0 0 0 25 1 0 0 15 0 8 0 164260373 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13889] ppid=13858 vsize=915440 CPUtime=0
/proc/13861/task/13889/stat : 13889 (java) S 13858 13861 13753 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 164260373 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13890] ppid=13858 vsize=915440 CPUtime=0
/proc/13861/task/13890/stat : 13890 (java) S 13858 13861 13753 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 164260373 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.54
Current children cumulated vsize (KiB) 915440
[startup+162.551 s]
/proc/loadavg: 1.92 1.39 1.14 3/89 13895
/proc/meminfo: memFree=785416/2055920 swapFree=4187312/4192956
[pid=13861] ppid=13858 vsize=915440 CPUtime=161
/proc/13861/stat : 13861 (java) R 13858 13861 13753 0 -1 0 32475 0 1 0 16083 17 0 0 25 0 8 0 164260364 937410560 32204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634830 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1409.46
Current children cumulated vsize (KiB) 915440
[startup+1483.57 s]
/proc/loadavg: 2.00 2.00 1.77 3/89 13895
/proc/meminfo: memFree=785160/2055920 swapFree=4187312/4192956
[pid=13861] ppid=13858 vsize=915440 CPUtime=1468.93
/proc/13861/stat : 13861 (java) R 13858 13861 13753 0 -1 0 32477 0 1 0 146858 35 0 0 25 0 8 0 164260364 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13861/statm: 228860 32205 2531 14 0 215330 0
[pid=13861/tid=13881] ppid=13858 vsize=915440 CPUtime=0.42
/proc/13861/task/13881/stat : 13881 (java) S 13858 13861 13753 0 -1 64 15454 0 0 0 37 5 0 0 16 0 8 0 164260369 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13882] ppid=13858 vsize=915440 CPUtime=0
/proc/13861/task/13882/stat : 13882 (java) S 13858 13861 13753 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164260370 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13883] ppid=13858 vsize=915440 CPUtime=0
/proc/13861/task/13883/stat : 13883 (java) S 13858 13861 13753 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164260370 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13887] ppid=13858 vsize=915440 CPUtime=0
/proc/13861/task/13887/stat : 13887 (java) S 13858 13861 13753 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164260373 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13888] ppid=13858 vsize=915440 CPUtime=0.26
/proc/13861/task/13888/stat : 13888 (java) S 13858 13861 13753 0 -1 64 403 0 0 0 25 1 0 0 16 0 8 0 164260373 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13889] ppid=13858 vsize=915440 CPUtime=0
/proc/13861/task/13889/stat : 13889 (java) S 13858 13861 13753 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 164260373 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13890] ppid=13858 vsize=915440 CPUtime=0.05
/proc/13861/task/13890/stat : 13890 (java) S 13858 13861 13753 0 -1 64 1 0 0 0 3 2 0 0 15 0 8 0 164260373 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1468.93
Current children cumulated vsize (KiB) 915440
[startup+1543.62 s]
/proc/loadavg: 2.00 2.00 1.79 3/89 13895
/proc/meminfo: memFree=785096/2055920 swapFree=4187312/4192956
[pid=13861] ppid=13858 vsize=915440 CPUtime=1528.36
/proc/13861/stat : 13861 (java) R 13858 13861 13753 0 -1 0 32477 0 1 0 152800 36 0 0 25 0 8 0 164260364 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13861/statm: 228860 32205 2531 14 0 215330 0
[pid=13861/tid=13881] ppid=13858 vsize=915440 CPUtime=0.42
/proc/13861/task/13881/stat : 13881 (java) S 13858 13861 13753 0 -1 64 15454 0 0 0 37 5 0 0 16 0 8 0 164260369 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13882] ppid=13858 vsize=915440 CPUtime=0
/proc/13861/task/13882/stat : 13882 (java) S 13858 13861 13753 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164260370 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13883] ppid=13858 vsize=915440 CPUtime=0
/proc/13861/task/13883/stat : 13883 (java) S 13858 13861 13753 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164260370 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13887] ppid=13858 vsize=915440 CPUtime=0
/proc/13861/task/13887/stat : 13887 (java) S 13858 13861 13753 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164260373 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13888] ppid=13858 vsize=915440 CPUtime=0.26
/proc/13861/task/13888/stat : 13888 (java) S 13858 13861 13753 0 -1 64 403 0 0 0 25 1 0 0 16 0 8 0 164260373 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13889] ppid=13858 vsize=915440 CPUtime=0
/proc/13861/task/13889/stat : 13889 (java) S 13858 13861 13753 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 164260373 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13890] ppid=13858 vsize=915440 CPUtime=0.06
/proc/13861/task/13890/stat : 13890 (java) S 13858 13861 13753 0 -1 64 1 0 0 0 3 3 0 0 15 0 8 0 164260373 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1528.36
Current children cumulated vsize (KiB) 915440
[startup+1603.67 s]
/proc/loadavg: 2.00 2.00 1.80 3/89 13895
/proc/meminfo: memFree=785096/2055920 swapFree=4187312/4192956
[pid=13861] ppid=13858 vsize=915440 CPUtime=1587.81
/proc/13861/stat : 13861 (java) R 13858 13861 13753 0 -1 0 32477 0 1 0 158744 37 0 0 25 0 8 0 164260364 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13861/statm: 228860 32205 2531 14 0 215330 0
[pid=13861/tid=13881] ppid=13858 vsize=915440 CPUtime=0.42
/proc/13861/task/13881/stat : 13881 (java) S 13858 13861 13753 0 -1 64 15454 0 0 0 37 5 0 0 16 0 8 0 164260369 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13882] ppid=13858 vsize=915440 CPUtime=0
/proc/13861/task/13882/stat : 13882 (java) S 13858 13861 13753 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164260370 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13883] ppid=13858 vsize=915440 CPUtime=0
/proc/13861/task/13883/stat : 13883 (java) S 13858 13861 13753 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164260370 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13887] ppid=13858 vsize=915440 CPUtime=0
/proc/13861/task/13887/stat : 13887 (java) S 13858 13861 13753 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164260373 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13888] ppid=13858 vsize=915440 CPUtime=0.26
/proc/13861/task/13888/stat : 13888 (java) S 13858 13861 13753 0 -1 64 403 0 0 0 25 1 0 0 16 0 8 0 164260373 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13889] ppid=13858 vsize=915440 CPUtime=0
/proc/13861/task/13889/stat : 13889 (java) S 13858 13861 13753 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 164260373 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13890] ppid=13858 vsize=915440 CPUtime=0.06
/proc/13861/task/13890/stat : 13890 (java) S 13858 13861 13753 0 -1 64 1 0 0 0 3 3 0 0 15 0 8 0 164260373 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1587.81
Current children cumulated vsize (KiB) 915440
[startup+1663.77 s]
/proc/loadavg: 2.00 2.00 1.81 3/89 13895
/proc/meminfo: memFree=785096/2055920 swapFree=4187312/4192956
[pid=13861] ppid=13858 vsize=915440 CPUtime=1647.33
/proc/13861/stat : 13861 (java) R 13858 13861 13753 0 -1 0 32477 0 1 0 164696 37 0 0 25 0 8 0 164260364 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634800 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13861/statm: 228860 32205 2531 14 0 215330 0
[pid=13861/tid=13881] ppid=13858 vsize=915440 CPUtime=0.42
/proc/13861/task/13881/stat : 13881 (java) S 13858 13861 13753 0 -1 64 15454 0 0 0 37 5 0 0 16 0 8 0 164260369 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13882] ppid=13858 vsize=915440 CPUtime=0
/proc/13861/task/13882/stat : 13882 (java) S 13858 13861 13753 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164260370 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13883] ppid=13858 vsize=915440 CPUtime=0
/proc/13861/task/13883/stat : 13883 (java) S 13858 13861 13753 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164260370 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13887] ppid=13858 vsize=915440 CPUtime=0
/proc/13861/task/13887/stat : 13887 (java) S 13858 13861 13753 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164260373 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13888] ppid=13858 vsize=915440 CPUtime=0.26
/proc/13861/task/13888/stat : 13888 (java) S 13858 13861 13753 0 -1 64 403 0 0 0 25 1 0 0 16 0 8 0 164260373 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13889] ppid=13858 vsize=915440 CPUtime=0
/proc/13861/task/13889/stat : 13889 (java) S 13858 13861 13753 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 164260373 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13890] ppid=13858 vsize=915440 CPUtime=0.06
/proc/13861/task/13890/stat : 13890 (java) S 13858 13861 13753 0 -1 64 1 0 0 0 3 3 0 0 15 0 8 0 164260373 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1647.33
Current children cumulated vsize (KiB) 915440
[startup+1723.77 s]
/proc/loadavg: 2.00 2.00 1.82 3/89 13895
/proc/meminfo: memFree=785032/2055920 swapFree=4187312/4192956
[pid=13861] ppid=13858 vsize=915440 CPUtime=1706.74
/proc/13861/stat : 13861 (java) R 13858 13861 13753 0 -1 0 32477 0 1 0 170636 38 0 0 25 0 8 0 164260364 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13861/statm: 228860 32205 2531 14 0 215330 0
[pid=13861/tid=13881] ppid=13858 vsize=915440 CPUtime=0.42
/proc/13861/task/13881/stat : 13881 (java) S 13858 13861 13753 0 -1 64 15454 0 0 0 37 5 0 0 16 0 8 0 164260369 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13882] ppid=13858 vsize=915440 CPUtime=0
/proc/13861/task/13882/stat : 13882 (java) S 13858 13861 13753 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164260370 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13883] ppid=13858 vsize=915440 CPUtime=0
/proc/13861/task/13883/stat : 13883 (java) S 13858 13861 13753 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164260370 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13887] ppid=13858 vsize=915440 CPUtime=0
/proc/13861/task/13887/stat : 13887 (java) S 13858 13861 13753 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164260373 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13888] ppid=13858 vsize=915440 CPUtime=0.26
/proc/13861/task/13888/stat : 13888 (java) S 13858 13861 13753 0 -1 64 403 0 0 0 25 1 0 0 16 0 8 0 164260373 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13889] ppid=13858 vsize=915440 CPUtime=0
/proc/13861/task/13889/stat : 13889 (java) S 13858 13861 13753 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 164260373 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13890] ppid=13858 vsize=915440 CPUtime=0.06
/proc/13861/task/13890/stat : 13890 (java) S 13858 13861 13753 0 -1 64 1 0 0 0 3 3 0 0 15 0 8 0 164260373 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1706.74
Current children cumulated vsize (KiB) 915440
[startup+1783.87 s]
/proc/loadavg: 2.00 2.00 1.83 3/89 13895
/proc/meminfo: memFree=785096/2055920 swapFree=4187312/4192956
[pid=13861] ppid=13858 vsize=915440 CPUtime=1766.25
/proc/13861/stat : 13861 (java) R 13858 13861 13753 0 -1 0 32477 0 1 0 176587 38 0 0 25 0 8 0 164260364 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802518 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13861/statm: 228860 32205 2531 14 0 215330 0
[pid=13861/tid=13881] ppid=13858 vsize=915440 CPUtime=0.42
/proc/13861/task/13881/stat : 13881 (java) S 13858 13861 13753 0 -1 64 15454 0 0 0 37 5 0 0 16 0 8 0 164260369 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13882] ppid=13858 vsize=915440 CPUtime=0
/proc/13861/task/13882/stat : 13882 (java) S 13858 13861 13753 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164260370 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13883] ppid=13858 vsize=915440 CPUtime=0
/proc/13861/task/13883/stat : 13883 (java) S 13858 13861 13753 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164260370 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13887] ppid=13858 vsize=915440 CPUtime=0
/proc/13861/task/13887/stat : 13887 (java) S 13858 13861 13753 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164260373 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13888] ppid=13858 vsize=915440 CPUtime=0.26
/proc/13861/task/13888/stat : 13888 (java) S 13858 13861 13753 0 -1 64 403 0 0 0 25 1 0 0 16 0 8 0 164260373 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13889] ppid=13858 vsize=915440 CPUtime=0
/proc/13861/task/13889/stat : 13889 (java) S 13858 13861 13753 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 164260373 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13890] ppid=13858 vsize=915440 CPUtime=0.06
/proc/13861/task/13890/stat : 13890 (java) S 13858 13861 13753 0 -1 64 1 0 0 0 3 3 0 0 15 0 8 0 164260373 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1766.25
Current children cumulated vsize (KiB) 915440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1817.92 s]
/proc/loadavg: 2.00 2.00 1.83 3/80 13973
/proc/meminfo: memFree=1339536/2055920 swapFree=4187312/4192956
[pid=13861] ppid=13858 vsize=915440 CPUtime=1800.03
/proc/13861/stat : 13861 (java) R 13858 13861 13753 0 -1 0 32477 0 1 0 179965 38 0 0 25 0 8 0 164260364 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073664841 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13861/statm: 228860 32205 2531 14 0 215330 0
[pid=13861/tid=13881] ppid=13858 vsize=915440 CPUtime=0.42
/proc/13861/task/13881/stat : 13881 (java) S 13858 13861 13753 0 -1 64 15454 0 0 0 37 5 0 0 16 0 8 0 164260369 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13861/tid=13882] ppid=13858 vsize=915440 CPUtime=0
/proc/13861/task/13882/stat : 13882 (java) S 13858 13861 13753 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164260370 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13883] ppid=13858 vsize=915440 CPUtime=0
/proc/13861/task/13883/stat : 13883 (java) S 13858 13861 13753 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 164260370 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13887] ppid=13858 vsize=915440 CPUtime=0
/proc/13861/task/13887/stat : 13887 (java) S 13858 13861 13753 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 164260373 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13888] ppid=13858 vsize=915440 CPUtime=0.26
/proc/13861/task/13888/stat : 13888 (java) S 13858 13861 13753 0 -1 64 403 0 0 0 25 1 0 0 16 0 8 0 164260373 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13889] ppid=13858 vsize=915440 CPUtime=0
/proc/13861/task/13889/stat : 13889 (java) S 13858 13861 13753 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 164260373 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13861/tid=13890] ppid=13858 vsize=915440 CPUtime=0.06
/proc/13861/task/13890/stat : 13890 (java) S 13858 13861 13753 0 -1 64 1 0 0 0 3 3 0 0 15 0 8 0 164260373 937410560 32205 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 915440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1817.98
CPU time (s): 1800.1
CPU user time (s): 1799.69
CPU system time (s): 0.407937
CPU usage (%): 99.0163
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.69
system time used= 0.407937
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32494
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= 37984
involuntary context switches= 72906
runsolver used 2.52761 s user time and 5.68114 s system time
The end
Begin job on node39 on Sun Jan 7 08:30:08 UTC 2007
IDJOB= 203274
IDBENCH= 3944
FILE ID= node39/203274-1168158607
PBS_JOBID= 3478549
Free space on /tmp= 66538 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28-fcd/rand-3-28-28-93-632-fcd-19_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203274-1168158607/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node39/watcher-203274-1168158607 -o ROOT/results/node39/solver-203274-1168158607 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203274-1168158607/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= c8063c1c65b77879866e022d71deed4f
RANDOM SEED= 371068717
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.236
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.236
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: 1455024 kB
Buffers: 37216 kB
Cached: 488168 kB
SwapCached: 1548 kB
Active: 184512 kB
Inactive: 356892 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1455024 kB
SwapTotal: 4192956 kB
SwapFree: 4187312 kB
Dirty: 16988 kB
Writeback: 0 kB
Mapped: 23084 kB
Slab: 45176 kB
Committed_AS: 3326188 kB
PageTables: 1620 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= 66546 MiB
End job on node39 on Sun Jan 7 09:00:26 UTC 2007