0.41
0.41 Abscon 109 (November, 2006)
0.41
0.41 configuration
0.41 name=mac.xml
0.44
0.44 instance
0.44 name=/tmp/evaluation/216384-1168078998/unknown.xml
0.47
0.47 domains being loaded...
0.48
0.48 variables being loaded...
0.54 nbVariables=300 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.54 => wckTime=0.122 cpuTime=0.09 mem=6M951
0.54
0.54 predicates being loaded...
0.54
0.54 constraints being loaded...
0.73 nbConstraints=50 nbConflictsStructures=2 nbSharedConflictsStructures=48 nbSharedBinaryRepresentations=0
0.73 nbEvaluationManagers=2 nbSharedEvaluationManagers=48 maxDegree=2 maxArity=15
0.73 => wckTime=0.315 cpuTime=0.23 mem=10M885
0.77
0.77 solver IterativeSystematicSolver being built...
0.96 => wckTime=0.544 cpuTime=0.39 mem=16M478
0.97
0.97 preprocessing
0.97 nbConstraintChecks=0 nbPropagations=300 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.97 detectedInconsistency=no
0.97 => wckTime=0.0060 cpuTime=0.0 mem=16M478
1.09
1.09 search
1.09 run=0 nbConstraintChecks=33397 nbValidityChecks=1137 nbPropagations=487 nbRevisions=681 nbUselessRevisions=520
1.09 nbAssignments=137 nbFailedAssignments=2 nbBacktracks=16 nbVisitedNodes=142 nbRestartNogoods=0 mapSize=3
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.129 cpuTime=0.09 mem=16M478
1.19
1.19 search
1.19 run=1 nbConstraintChecks=69804 nbValidityChecks=2539 nbPropagations=1170 nbRevisions=2108
1.19 nbUselessRevisions=1626 nbAssignments=271 nbFailedAssignments=4 nbBacktracks=38 nbVisitedNodes=280
1.19 nbRestartNogoods=1 mapSize=6 nbInferences=0 nbTooLargeKeys=0
1.19 => wckTime=0.226 cpuTime=0.17 mem=16M478
1.30
1.30 search
1.30 run=2 nbConstraintChecks=131311 nbValidityChecks=4197 nbPropagations=2058 nbRevisions=4414
1.30 nbUselessRevisions=3457 nbAssignments=402 nbFailedAssignments=6 nbBacktracks=66 nbVisitedNodes=415
1.30 nbRestartNogoods=2 mapSize=9 nbInferences=0 nbTooLargeKeys=0
1.30 => wckTime=0.344 cpuTime=0.29 mem=16M478
1.39
1.39 search
1.39 run=3 nbConstraintChecks=172374 nbValidityChecks=5735 nbPropagations=3191 nbRevisions=7558
1.39 nbUselessRevisions=5897 nbAssignments=548 nbFailedAssignments=9 nbBacktracks=111 nbVisitedNodes=568
1.39 nbRestartNogoods=3 mapSize=15 nbInferences=0 nbTooLargeKeys=0
1.39 => wckTime=0.433 cpuTime=0.37 mem=17M453
1.57
1.57 search
1.57 run=4 nbConstraintChecks=270795 nbValidityChecks=7606 nbPropagations=4578 nbRevisions=11700
1.57 nbUselessRevisions=9103 nbAssignments=694 nbFailedAssignments=12 nbBacktracks=168 nbVisitedNodes=721
1.57 nbRestartNogoods=4 mapSize=21 nbInferences=0 nbTooLargeKeys=0
1.57 => wckTime=0.609 cpuTime=0.55 mem=17M453
1.65
1.65 search
1.65 run=5 nbConstraintChecks=297621 nbValidityChecks=9770 nbPropagations=6330 nbRevisions=16992
1.65 nbUselessRevisions=13110 nbAssignments=892 nbFailedAssignments=18 nbBacktracks=243 nbVisitedNodes=934
1.65 nbRestartNogoods=5 mapSize=34 nbInferences=1 nbTooLargeKeys=0
1.65 => wckTime=0.689 cpuTime=0.62 mem=17M453
2.87
2.87 search
2.87 run=6 nbConstraintChecks=1060851 nbValidityChecks=15143 nbPropagations=9252 nbRevisions=25440
2.87 nbUselessRevisions=18723 nbAssignments=1121 nbFailedAssignments=37 nbBacktracks=356 nbVisitedNodes=1216
2.87 nbRestartNogoods=7 mapSize=79 nbInferences=1 nbTooLargeKeys=0
2.87 => wckTime=1.912 cpuTime=1.83 mem=17M453
3.97
3.97 search
3.97 run=7 nbConstraintChecks=1742789 nbValidityChecks=20012 nbPropagations=13233 nbRevisions=36622
3.97 nbUselessRevisions=25734 nbAssignments=1410 nbFailedAssignments=51 nbBacktracks=533 nbVisitedNodes=1548
3.97 nbRestartNogoods=9 mapSize=119 nbInferences=1 nbTooLargeKeys=0
3.97 => wckTime=3.008 cpuTime=2.92 mem=17M453
6.11
6.11 search
6.11 run=8 nbConstraintChecks=3086017 nbValidityChecks=27988 nbPropagations=19475 nbRevisions=52392
6.11 nbUselessRevisions=34639 nbAssignments=1812 nbFailedAssignments=89 nbBacktracks=810 nbVisitedNodes=2037
6.11 nbRestartNogoods=11 mapSize=202 nbInferences=2 nbTooLargeKeys=0
6.11 => wckTime=5.154 cpuTime=5.03 mem=17M453
7.90
7.90 search
7.90 run=9 nbConstraintChecks=4202401 nbValidityChecks=34183 nbPropagations=27180 nbRevisions=71697
7.90 nbUselessRevisions=45130 nbAssignments=2338 nbFailedAssignments=120 nbBacktracks=1206 nbVisitedNodes=2625
7.90 nbRestartNogoods=12 mapSize=262 nbInferences=2 nbTooLargeKeys=0
7.91 => wckTime=6.945 cpuTime=6.8 mem=17M453
9.78
9.78 search
9.78 run=10 nbConstraintChecks=5331674 nbValidityChecks=45055 nbPropagations=37981 nbRevisions=97178
9.78 nbUselessRevisions=58101 nbAssignments=3069 nbFailedAssignments=170 nbBacktracks=1782 nbVisitedNodes=3503
9.78 nbRestartNogoods=14 mapSize=407 nbInferences=8 nbTooLargeKeys=0
9.78 => wckTime=8.823 cpuTime=8.65 mem=17M453
14.23
14.23 search
14.23 run=11 nbConstraintChecks=8068015 nbValidityChecks=58377 nbPropagations=52356 nbRevisions=130363
14.23 nbUselessRevisions=74080 nbAssignments=4090 nbFailedAssignments=232 nbBacktracks=2657 nbVisitedNodes=4676
14.23 nbRestartNogoods=16 mapSize=557 nbInferences=8 nbTooLargeKeys=0
14.23 => wckTime=13.268 cpuTime=13.05 mem=18M428
23.66
23.66 search
23.66 run=12 nbConstraintChecks=13939530 nbValidityChecks=83040 nbPropagations=73911 nbRevisions=177795
23.66 nbUselessRevisions=95100 nbAssignments=5647 nbFailedAssignments=397 nbBacktracks=3959 nbVisitedNodes=6573
23.66 nbRestartNogoods=17 mapSize=891 nbInferences=8 nbTooLargeKeys=0
23.66 => wckTime=22.696 cpuTime=22.38 mem=18M428
35.94
35.94 search
35.94 run=13 nbConstraintChecks=21584980 nbValidityChecks=119645 nbPropagations=105788 nbRevisions=246129
35.94 nbUselessRevisions=123781 nbAssignments=7860 nbFailedAssignments=562 nbBacktracks=5910 nbVisitedNodes=9281
35.94 nbRestartNogoods=19 mapSize=1382 nbInferences=8 nbTooLargeKeys=0
35.94 => wckTime=34.978 cpuTime=34.56 mem=19M403
41.83
41.83 INFO : Stopping hyperNogood (mapSize=1601, nbTooLargekeys=0, mem=19M403)
50.74
50.74 search
50.74 run=14 nbConstraintChecks=30875106 nbValidityChecks=165000 nbPropagations=151272 nbRevisions=340354
50.74 nbUselessRevisions=161516 nbAssignments=11103 nbFailedAssignments=775 nbBacktracks=8839 nbVisitedNodes=13099
50.74 nbRestartNogoods=22
50.74 => wckTime=49.782 cpuTime=49.23 mem=19M403
69.28
69.28 search
69.28 run=15 nbConstraintChecks=42563947 nbValidityChecks=230696 nbPropagations=216019 nbRevisions=471293
69.28 nbUselessRevisions=211778 nbAssignments=15862 nbFailedAssignments=1044 nbBacktracks=13229 nbVisitedNodes=18627
69.28 nbRestartNogoods=25
69.28 => wckTime=68.319 cpuTime=67.58 mem=20M379
99.04
99.04 search
99.04 run=16 nbConstraintChecks=61295343 nbValidityChecks=321699 nbPropagations=308280 nbRevisions=653961
99.04 nbUselessRevisions=280274 nbAssignments=22967 nbFailedAssignments=1483 nbBacktracks=19825 nbVisitedNodes=26876
99.04 nbRestartNogoods=29
99.04 => wckTime=98.083 cpuTime=97.08 mem=20M379
146.06
146.06 search
146.06 run=17 nbConstraintChecks=91033049 nbValidityChecks=485307 nbPropagations=450008 nbRevisions=929725
146.06 nbUselessRevisions=380515 nbAssignments=33528 nbFailedAssignments=2088 nbBacktracks=29698 nbVisitedNodes=39286
146.06 nbRestartNogoods=31
146.06 => wckTime=145.103 cpuTime=143.66 mem=20M379
219.26
219.26 search
219.26 run=18 nbConstraintChecks=137138998 nbValidityChecks=712943 nbPropagations=659768 nbRevisions=1335399
219.26 nbUselessRevisions=527563 nbAssignments=49456 nbFailedAssignments=3125 nbBacktracks=44485 nbVisitedNodes=58168
219.26 nbRestartNogoods=34
219.26 => wckTime=218.303 cpuTime=216.2 mem=20M379
312.98
312.98 search
312.98 run=19 nbConstraintChecks=196383348 nbValidityChecks=1050908 nbPropagations=973293 nbRevisions=1930853
312.98 nbUselessRevisions=740816 nbAssignments=73077 nbFailedAssignments=4481 nbBacktracks=66686 nbVisitedNodes=85836
312.98 nbRestartNogoods=38
312.98 => wckTime=312.024 cpuTime=309.06 mem=20M379
476.85
476.85 search
476.85 run=20 nbConstraintChecks=299723171 nbValidityChecks=1513689 nbPropagations=1432393 nbRevisions=2782259
476.85 nbUselessRevisions=1044257 nbAssignments=108552 nbFailedAssignments=6626 nbBacktracks=99938
476.85 nbVisitedNodes=127296 nbRestartNogoods=40
476.85 => wckTime=475.888 cpuTime=471.41 mem=20M379
702.78
702.78 search
702.78 run=21 nbConstraintChecks=442756501 nbValidityChecks=2252845 nbPropagations=2121532 nbRevisions=4043517
702.78 nbUselessRevisions=1485718 nbAssignments=161406 nbFailedAssignments=9536 nbBacktracks=149819
702.78 nbVisitedNodes=188787 nbRestartNogoods=43
702.78 => wckTime=701.823 cpuTime=695.27 mem=20M379
1056.45
1056.45 search
1056.45 run=22 nbConstraintChecks=666552255 nbValidityChecks=3279125 nbPropagations=3135295 nbRevisions=5867841
1056.45 nbUselessRevisions=2128174 nbAssignments=240930 nbFailedAssignments=14167 nbBacktracks=224651
1056.45 nbVisitedNodes=281655 nbRestartNogoods=46
1056.45 => wckTime=1055.49 cpuTime=1046.46 mem=20M379
1422.62
1422.62 search
1422.62 run=23 nbConstraintChecks=899147008 nbValidityChecks=4839907 nbPropagations=4620011 nbRevisions=8575316
1422.62 nbUselessRevisions=3070178 nbAssignments=359746 nbFailedAssignments=20666 nbBacktracks=336908
1422.62 nbVisitedNodes=419239 nbRestartNogoods=49
1422.62 => wckTime=1421.658 cpuTime=1410.88 mem=20M379
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node3/watcher-216384-1168078998 -o ROOT/results/node3/solver-216384-1168078998 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/216384-1168078998/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: 2.04 2.03 2.00 3/93 30344
/proc/meminfo: memFree=1226928/2055920 swapFree=4192812/4192956
[pid=30343] ppid=30341 vsize=1784 CPUtime=0
/proc/30343/stat : 30343 (java) D 30341 30343 29270 0 -1 0 192 0 0 0 0 0 0 0 18 0 1 0 156295446 1826816 158 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/30343/statm: 446 158 123 14 0 91 0
[startup+0.107546 s]
/proc/loadavg: 2.04 2.03 2.00 3/93 30344
/proc/meminfo: memFree=1226928/2055920 swapFree=4192812/4192956
[pid=30343] ppid=30341 vsize=9748 CPUtime=0
/proc/30343/stat : 30343 (java) D 30341 30343 29270 0 -1 0 637 0 0 0 0 0 0 0 18 0 1 0 156295446 9981952 412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 10924836 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/30343/statm: 2437 412 333 14 0 1140 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9748
[startup+0.515616 s]
/proc/loadavg: 2.04 2.03 2.00 3/93 30344
/proc/meminfo: memFree=1226928/2055920 swapFree=4192812/4192956
[pid=30343] ppid=30341 vsize=915328 CPUtime=0.39
/proc/30343/stat : 30343 (java) R 30341 30343 29270 0 -1 0 6044 0 1 0 35 4 0 0 18 0 8 0 156295446 937295872 5783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072926602 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30343/statm: 228832 5783 2135 14 0 215302 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 915328
[startup+1.33875 s]
/proc/loadavg: 2.12 2.05 2.01 3/100 30351
/proc/meminfo: memFree=1201400/2055920 swapFree=4192812/4192956
[pid=30343] ppid=30341 vsize=915456 CPUtime=1.2
/proc/30343/stat : 30343 (java) R 30341 30343 29270 0 -1 0 9130 0 1 0 113 7 0 0 24 0 8 0 156295446 937426944 8867 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073479193 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30343/statm: 228864 8867 2533 14 0 215334 0
[pid=30343/tid=30345] ppid=30341 vsize=915456 CPUtime=0.02
/proc/30343/task/30345/stat : 30345 (java) S 30341 30343 29270 0 -1 64 178 0 0 0 2 0 0 0 16 0 8 0 156295460 937426944 8867 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30346] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30346/stat : 30346 (java) S 30341 30343 29270 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156295461 937426944 8867 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30347] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30347/stat : 30347 (java) S 30341 30343 29270 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156295461 937426944 8867 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30348] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30348/stat : 30348 (java) S 30341 30343 29270 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156295464 937426944 8867 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30349] ppid=30341 vsize=915456 CPUtime=0.2
/proc/30343/task/30349/stat : 30349 (java) S 30341 30343 29270 0 -1 64 370 0 0 0 19 1 0 0 15 0 8 0 156295464 937426944 8867 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30350] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30350/stat : 30350 (java) S 30341 30343 29270 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156295464 937426944 8867 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30351] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30351/stat : 30351 (java) S 30341 30343 29270 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156295464 937426944 8867 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 915456
[startup+2.98601 s]
/proc/loadavg: 2.12 2.05 2.01 3/100 30351
/proc/meminfo: memFree=1201016/2055920 swapFree=4192812/4192956
[pid=30343] ppid=30341 vsize=915456 CPUtime=2.83
/proc/30343/stat : 30343 (java) R 30341 30343 29270 0 -1 0 9196 0 1 0 276 7 0 0 25 0 8 0 156295446 937426944 8932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073626384 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30343/statm: 228864 8932 2533 14 0 215334 0
[pid=30343/tid=30345] ppid=30341 vsize=915456 CPUtime=0.02
/proc/30343/task/30345/stat : 30345 (java) S 30341 30343 29270 0 -1 64 178 0 0 0 2 0 0 0 17 0 8 0 156295460 937426944 8932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30346] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30346/stat : 30346 (java) S 30341 30343 29270 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156295461 937426944 8932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30347] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30347/stat : 30347 (java) S 30341 30343 29270 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156295461 937426944 8932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30348] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30348/stat : 30348 (java) S 30341 30343 29270 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156295464 937426944 8932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30349] ppid=30341 vsize=915456 CPUtime=0.22
/proc/30343/task/30349/stat : 30349 (java) S 30341 30343 29270 0 -1 64 380 0 0 0 21 1 0 0 15 0 8 0 156295464 937426944 8932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30350] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30350/stat : 30350 (java) S 30341 30343 29270 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156295464 937426944 8932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30351] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30351/stat : 30351 (java) S 30341 30343 29270 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156295464 937426944 8932 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 915456
[startup+6.27154 s]
/proc/loadavg: 2.12 2.05 2.01 3/100 30351
/proc/meminfo: memFree=1200760/2055920 swapFree=4192812/4192956
[pid=30343] ppid=30341 vsize=915456 CPUtime=6.1
/proc/30343/stat : 30343 (java) R 30341 30343 29270 0 -1 0 9259 0 1 0 602 8 0 0 25 0 8 0 156295446 937426944 8992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073626344 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30343/statm: 228864 8992 2533 14 0 215334 0
[pid=30343/tid=30345] ppid=30341 vsize=915456 CPUtime=0.02
/proc/30343/task/30345/stat : 30345 (java) S 30341 30343 29270 0 -1 64 178 0 0 0 2 0 0 0 16 0 8 0 156295460 937426944 8992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30346] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30346/stat : 30346 (java) S 30341 30343 29270 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156295461 937426944 8992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30347] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30347/stat : 30347 (java) S 30341 30343 29270 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156295461 937426944 8992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30348] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30348/stat : 30348 (java) S 30341 30343 29270 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156295464 937426944 8992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30349] ppid=30341 vsize=915456 CPUtime=0.23
/proc/30343/task/30349/stat : 30349 (java) S 30341 30343 29270 0 -1 64 388 0 0 0 22 1 0 0 15 0 8 0 156295464 937426944 8992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30350] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30350/stat : 30350 (java) S 30341 30343 29270 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156295464 937426944 8992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30351] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30351/stat : 30351 (java) S 30341 30343 29270 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156295464 937426944 8992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915456
[startup+12.7556 s]
/proc/loadavg: 2.10 2.04 2.00 3/100 30351
/proc/meminfo: memFree=1200120/2055920 swapFree=4192812/4192956
[pid=30343] ppid=30341 vsize=915456 CPUtime=12.51
/proc/30343/stat : 30343 (java) R 30341 30343 29270 0 -1 0 9421 0 1 0 1243 8 0 0 25 0 8 0 156295446 937426944 9149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073631328 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30343/statm: 228864 9149 2533 14 0 215334 0
[pid=30343/tid=30345] ppid=30341 vsize=915456 CPUtime=0.02
/proc/30343/task/30345/stat : 30345 (java) S 30341 30343 29270 0 -1 64 178 0 0 0 2 0 0 0 16 0 8 0 156295460 937426944 9149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30346] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30346/stat : 30346 (java) S 30341 30343 29270 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156295461 937426944 9149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30347] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30347/stat : 30347 (java) S 30341 30343 29270 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156295461 937426944 9149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30348] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30348/stat : 30348 (java) S 30341 30343 29270 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156295464 937426944 9149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30349] ppid=30341 vsize=915456 CPUtime=0.24
/proc/30343/task/30349/stat : 30349 (java) S 30341 30343 29270 0 -1 64 396 0 0 0 23 1 0 0 16 0 8 0 156295464 937426944 9149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30350] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30350/stat : 30350 (java) S 30341 30343 29270 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156295464 937426944 9149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30351] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30351/stat : 30351 (java) S 30341 30343 29270 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156295464 937426944 9149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 915456
[startup+25.5977 s]
/proc/loadavg: 2.08 2.04 2.00 3/100 30351
/proc/meminfo: memFree=1199480/2055920 swapFree=4192812/4192956
[pid=30343] ppid=30341 vsize=915456 CPUtime=25.24
/proc/30343/stat : 30343 (java) R 30341 30343 29270 0 -1 0 9592 0 1 0 2516 8 0 0 25 0 8 0 156295446 937426944 9320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073645522 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30343/statm: 228864 9320 2533 14 0 215334 0
[pid=30343/tid=30345] ppid=30341 vsize=915456 CPUtime=0.02
/proc/30343/task/30345/stat : 30345 (java) S 30341 30343 29270 0 -1 64 178 0 0 0 2 0 0 0 16 0 8 0 156295460 937426944 9320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30346] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30346/stat : 30346 (java) S 30341 30343 29270 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156295461 937426944 9320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30347] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30347/stat : 30347 (java) S 30341 30343 29270 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156295461 937426944 9320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30348] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30348/stat : 30348 (java) S 30341 30343 29270 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156295464 937426944 9320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30349] ppid=30341 vsize=915456 CPUtime=0.24
/proc/30343/task/30349/stat : 30349 (java) S 30341 30343 29270 0 -1 64 396 0 0 0 23 1 0 0 16 0 8 0 156295464 937426944 9320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30350] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30350/stat : 30350 (java) S 30341 30343 29270 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156295464 937426944 9320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30351] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30351/stat : 30351 (java) S 30341 30343 29270 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156295464 937426944 9320 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 915456
[startup+51.1998 s]
/proc/loadavg: 2.05 2.04 2.00 3/100 30351
/proc/meminfo: memFree=1198328/2055920 swapFree=4192812/4192956
[pid=30343] ppid=30341 vsize=915456 CPUtime=50.6
/proc/30343/stat : 30343 (java) R 30341 30343 29270 0 -1 0 9882 0 1 0 5051 9 0 0 25 0 8 0 156295446 937426944 9608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073645608 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30343/statm: 228864 9608 2533 14 0 215334 0
[pid=30343/tid=30345] ppid=30341 vsize=915456 CPUtime=0.02
/proc/30343/task/30345/stat : 30345 (java) S 30341 30343 29270 0 -1 64 178 0 0 0 2 0 0 0 16 0 8 0 156295460 937426944 9608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30346] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30346/stat : 30346 (java) S 30341 30343 29270 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156295461 937426944 9608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30347] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30347/stat : 30347 (java) S 30341 30343 29270 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156295461 937426944 9608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30348] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30348/stat : 30348 (java) S 30341 30343 29270 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156295464 937426944 9608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30349] ppid=30341 vsize=915456 CPUtime=0.25
/proc/30343/task/30349/stat : 30349 (java) S 30341 30343 29270 0 -1 64 397 0 0 0 24 1 0 0 16 0 8 0 156295464 937426944 9608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30350] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30350/stat : 30350 (java) S 30341 30343 29270 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156295464 937426944 9608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30351] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30351/stat : 30351 (java) S 30341 30343 29270 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156295464 937426944 9608 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 915456
[startup+102.4 s]
/proc/loadavg: 2.02 2.03 2.00 3/100 30351
/proc/meminfo: memFree=1198392/2055920 swapFree=4192812/4192956
[pid=30343] ppid=30341 vsize=915456 CPUtime=101.34
/proc/30343/stat : 30343 (java) R 30341 30343 29270 0 -1 0 9889 0 1 0 10124 10 0 0 25 0 8 0 156295446 937426944 9614 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073631336 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30343/statm: 228864 9614 2533 14 0 215334 0
[pid=30343/tid=30345] ppid=30341 vsize=915456 CPUtime=0.02
/proc/30343/task/30345/stat : 30345 (java) S 30341 30343 29270 0 -1 64 178 0 0 0 2 0 0 0 16 0 8 0 156295460 937426944 9614 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30346] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30346/stat : 30346 (java) S 30341 30343 29270 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156295461 937426944 9614 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30347] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30347/stat : 30347 (java) S 30341 30343 29270 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156295461 937426944 9614 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30348] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30348/stat : 30348 (java) S 30341 30343 29270 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156295464 937426944 9614 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30349] ppid=30341 vsize=915456 CPUtime=0.25
/proc/30343/task/30349/stat : 30349 (java) S 30341 30343 29270 0 -1 64 398 0 0 0 24 1 0 0 17 0 8 0 156295464 937426944 9614 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30350] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30350/stat : 30350 (java) S 30341 30343 29270 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156295464 937426944 9614 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30351] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30351/stat : 30351 (java) S 30341 30343 29270 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156295464 937426944 9614 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.34
Current children cumulated vsize (KiB) 915456
[startup+162.443 s]
/proc/loadavg: 2.00 2.02 2.00 3/100 30351
/proc/meminfo: memFree=1198328/2055920 swapFree=4192812/4192956
[pid=30343] ppid=30341 vsize=915456 CPUtime=160.83
/proc/30343/stat : 30343 (java) R 30341 30343 29270 0 -1 0 9892 0 1 0 16073 10 0 0 25 0 8 0 156295446 937426944 9617 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073628610 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1412.33
Current children cumulated vsize (KiB) 915456
[startup+1483.16 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 30351
/proc/meminfo: memFree=1198072/2055920 swapFree=4192812/4192956
[pid=30343] ppid=30341 vsize=915456 CPUtime=1472.07
/proc/30343/stat : 30343 (java) R 30341 30343 29270 0 -1 0 9908 0 1 0 147187 20 0 0 25 0 8 0 156295446 937426944 9633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073630624 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30343/statm: 228864 9633 2533 14 0 215334 0
[pid=30343/tid=30345] ppid=30341 vsize=915456 CPUtime=0.02
/proc/30343/task/30345/stat : 30345 (java) S 30341 30343 29270 0 -1 64 178 0 0 0 2 0 0 0 16 0 8 0 156295460 937426944 9633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30346] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30346/stat : 30346 (java) S 30341 30343 29270 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156295461 937426944 9633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30347] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30347/stat : 30347 (java) S 30341 30343 29270 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156295461 937426944 9633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30348] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30348/stat : 30348 (java) S 30341 30343 29270 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156295464 937426944 9633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30349] ppid=30341 vsize=915456 CPUtime=0.25
/proc/30343/task/30349/stat : 30349 (java) S 30341 30343 29270 0 -1 64 398 0 0 0 24 1 0 0 16 0 8 0 156295464 937426944 9633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30350] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30350/stat : 30350 (java) S 30341 30343 29270 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156295464 937426944 9633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30351] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30351/stat : 30351 (java) S 30341 30343 29270 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156295464 937426944 9633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1472.07
Current children cumulated vsize (KiB) 915456
[startup+1543.18 s]
/proc/loadavg: 1.78 1.95 1.98 2/88 30363
/proc/meminfo: memFree=1301464/2055920 swapFree=4192812/4192956
[pid=30343] ppid=30341 vsize=915456 CPUtime=1531.87
/proc/30343/stat : 30343 (java) R 30341 30343 29270 0 -1 0 9908 0 1 0 153166 21 0 0 25 0 8 0 156295446 937426944 9633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073631335 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30343/statm: 228864 9633 2533 14 0 215334 0
[pid=30343/tid=30345] ppid=30341 vsize=915456 CPUtime=0.02
/proc/30343/task/30345/stat : 30345 (java) S 30341 30343 29270 0 -1 64 178 0 0 0 2 0 0 0 16 0 8 0 156295460 937426944 9633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30346] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30346/stat : 30346 (java) S 30341 30343 29270 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156295461 937426944 9633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30347] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30347/stat : 30347 (java) S 30341 30343 29270 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156295461 937426944 9633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30348] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30348/stat : 30348 (java) S 30341 30343 29270 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156295464 937426944 9633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30349] ppid=30341 vsize=915456 CPUtime=0.25
/proc/30343/task/30349/stat : 30349 (java) S 30341 30343 29270 0 -1 64 398 0 0 0 24 1 0 0 16 0 8 0 156295464 937426944 9633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30350] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30350/stat : 30350 (java) S 30341 30343 29270 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156295464 937426944 9633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30351] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30351/stat : 30351 (java) S 30341 30343 29270 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156295464 937426944 9633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1531.87
Current children cumulated vsize (KiB) 915456
[startup+1603.19 s]
/proc/loadavg: 1.28 1.77 1.92 2/88 30419
/proc/meminfo: memFree=1300760/2055920 swapFree=4192812/4192956
[pid=30343] ppid=30341 vsize=915456 CPUtime=1591.82
/proc/30343/stat : 30343 (java) R 30341 30343 29270 0 -1 0 9908 0 1 0 159160 22 0 0 25 0 8 0 156295446 937426944 9633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073479187 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30343/statm: 228864 9633 2533 14 0 215334 0
[pid=30343/tid=30345] ppid=30341 vsize=915456 CPUtime=0.02
/proc/30343/task/30345/stat : 30345 (java) S 30341 30343 29270 0 -1 64 178 0 0 0 2 0 0 0 16 0 8 0 156295460 937426944 9633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30346] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30346/stat : 30346 (java) S 30341 30343 29270 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156295461 937426944 9633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30347] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30347/stat : 30347 (java) S 30341 30343 29270 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156295461 937426944 9633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30348] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30348/stat : 30348 (java) S 30341 30343 29270 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156295464 937426944 9633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30349] ppid=30341 vsize=915456 CPUtime=0.25
/proc/30343/task/30349/stat : 30349 (java) S 30341 30343 29270 0 -1 64 398 0 0 0 24 1 0 0 16 0 8 0 156295464 937426944 9633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30350] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30350/stat : 30350 (java) S 30341 30343 29270 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156295464 937426944 9633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30351] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30351/stat : 30351 (java) S 30341 30343 29270 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156295464 937426944 9633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1591.82
Current children cumulated vsize (KiB) 915456
[startup+1663.19 s]
/proc/loadavg: 1.10 1.63 1.86 2/88 30513
/proc/meminfo: memFree=1299600/2055920 swapFree=4192812/4192956
[pid=30343] ppid=30341 vsize=915456 CPUtime=1651.74
/proc/30343/stat : 30343 (java) R 30341 30343 29270 0 -1 0 9908 0 1 0 165149 25 0 0 25 0 8 0 156295446 937426944 9633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073646752 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30343/statm: 228864 9633 2533 14 0 215334 0
[pid=30343/tid=30345] ppid=30341 vsize=915456 CPUtime=0.02
/proc/30343/task/30345/stat : 30345 (java) S 30341 30343 29270 0 -1 64 178 0 0 0 2 0 0 0 16 0 8 0 156295460 937426944 9633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30346] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30346/stat : 30346 (java) S 30341 30343 29270 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156295461 937426944 9633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30347] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30347/stat : 30347 (java) S 30341 30343 29270 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156295461 937426944 9633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30348] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30348/stat : 30348 (java) S 30341 30343 29270 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156295464 937426944 9633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30349] ppid=30341 vsize=915456 CPUtime=0.25
/proc/30343/task/30349/stat : 30349 (java) S 30341 30343 29270 0 -1 64 398 0 0 0 24 1 0 0 16 0 8 0 156295464 937426944 9633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30350] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30350/stat : 30350 (java) S 30341 30343 29270 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156295464 937426944 9633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30351] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30351/stat : 30351 (java) S 30341 30343 29270 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156295464 937426944 9633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1651.74
Current children cumulated vsize (KiB) 915456
[startup+1723.2 s]
/proc/loadavg: 1.12 1.53 1.81 3/100 30611
/proc/meminfo: memFree=1269040/2055920 swapFree=4192812/4192956
[pid=30343] ppid=30341 vsize=915456 CPUtime=1711.7
/proc/30343/stat : 30343 (java) R 30341 30343 29270 0 -1 0 9908 0 1 0 171143 27 0 0 25 0 8 0 156295446 937426944 9633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073633393 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30343/statm: 228864 9633 2533 14 0 215334 0
[pid=30343/tid=30345] ppid=30341 vsize=915456 CPUtime=0.02
/proc/30343/task/30345/stat : 30345 (java) S 30341 30343 29270 0 -1 64 178 0 0 0 2 0 0 0 16 0 8 0 156295460 937426944 9633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30346] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30346/stat : 30346 (java) S 30341 30343 29270 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156295461 937426944 9633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30347] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30347/stat : 30347 (java) S 30341 30343 29270 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156295461 937426944 9633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30348] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30348/stat : 30348 (java) S 30341 30343 29270 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156295464 937426944 9633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30349] ppid=30341 vsize=915456 CPUtime=0.25
/proc/30343/task/30349/stat : 30349 (java) S 30341 30343 29270 0 -1 64 398 0 0 0 24 1 0 0 16 0 8 0 156295464 937426944 9633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30350] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30350/stat : 30350 (java) S 30341 30343 29270 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156295464 937426944 9633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30351] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30351/stat : 30351 (java) S 30341 30343 29270 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156295464 937426944 9633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1711.7
Current children cumulated vsize (KiB) 915456
[startup+1783.21 s]
/proc/loadavg: 1.11 1.45 1.76 2/88 30675
/proc/meminfo: memFree=1295184/2055920 swapFree=4192812/4192956
[pid=30343] ppid=30341 vsize=915456 CPUtime=1771.66
/proc/30343/stat : 30343 (java) R 30341 30343 29270 0 -1 0 9908 0 1 0 177138 28 0 0 25 0 8 0 156295446 937426944 9633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073626351 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30343/statm: 228864 9633 2533 14 0 215334 0
[pid=30343/tid=30345] ppid=30341 vsize=915456 CPUtime=0.02
/proc/30343/task/30345/stat : 30345 (java) S 30341 30343 29270 0 -1 64 178 0 0 0 2 0 0 0 16 0 8 0 156295460 937426944 9633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30346] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30346/stat : 30346 (java) S 30341 30343 29270 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156295461 937426944 9633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30347] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30347/stat : 30347 (java) S 30341 30343 29270 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156295461 937426944 9633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30348] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30348/stat : 30348 (java) S 30341 30343 29270 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156295464 937426944 9633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30349] ppid=30341 vsize=915456 CPUtime=0.25
/proc/30343/task/30349/stat : 30349 (java) S 30341 30343 29270 0 -1 64 398 0 0 0 24 1 0 0 16 0 8 0 156295464 937426944 9633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30350] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30350/stat : 30350 (java) S 30341 30343 29270 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156295464 937426944 9633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30351] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30351/stat : 30351 (java) S 30341 30343 29270 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156295464 937426944 9633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1771.66
Current children cumulated vsize (KiB) 915456
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1811.57 s]
/proc/loadavg: 1.07 1.40 1.73 2/88 30676
/proc/meminfo: memFree=1296976/2055920 swapFree=4192812/4192956
[pid=30343] ppid=30341 vsize=915456 CPUtime=1800.02
/proc/30343/stat : 30343 (java) R 30341 30343 29270 0 -1 0 9908 0 1 0 179974 28 0 0 25 0 8 0 156295446 937426944 9633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073880233 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30343/statm: 228864 9633 2533 14 0 215334 0
[pid=30343/tid=30345] ppid=30341 vsize=915456 CPUtime=0.02
/proc/30343/task/30345/stat : 30345 (java) S 30341 30343 29270 0 -1 64 178 0 0 0 2 0 0 0 16 0 8 0 156295460 937426944 9633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30346] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30346/stat : 30346 (java) S 30341 30343 29270 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156295461 937426944 9633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30347] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30347/stat : 30347 (java) S 30341 30343 29270 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156295461 937426944 9633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30348] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30348/stat : 30348 (java) S 30341 30343 29270 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156295464 937426944 9633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30349] ppid=30341 vsize=915456 CPUtime=0.25
/proc/30343/task/30349/stat : 30349 (java) S 30341 30343 29270 0 -1 64 398 0 0 0 24 1 0 0 16 0 8 0 156295464 937426944 9633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30350] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30350/stat : 30350 (java) S 30341 30343 29270 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156295464 937426944 9633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30343/tid=30351] ppid=30341 vsize=915456 CPUtime=0
/proc/30343/task/30351/stat : 30351 (java) S 30341 30343 29270 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156295464 937426944 9633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 915456
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1811.64
CPU time (s): 1800.09
CPU user time (s): 1799.79
CPU system time (s): 0.293955
CPU usage (%): 99.3625
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.79
system time used= 0.293955
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9925
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= 37836
involuntary context switches= 97786
runsolver used 1.93571 s user time and 5.30119 s system time
The end
Begin job on node3 on Sat Jan 6 10:23:18 UTC 2007
IDJOB= 216384
IDBENCH= 5074
FILE ID= node3/216384-1168078998
PBS_JOBID= 3475775
Free space on /tmp= 66542 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/chnl/chnl-10-15.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/216384-1168078998/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-216384-1168078998 -o ROOT/results/node3/solver-216384-1168078998 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/216384-1168078998/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= b6aaad2a7e3f64a57600964925a1a8b2
RANDOM SEED= 910811624
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.279
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.279
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: 1227344 kB
Buffers: 65636 kB
Cached: 510120 kB
SwapCached: 0 kB
Active: 229684 kB
Inactive: 503860 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1227344 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1696 kB
Writeback: 0 kB
Mapped: 186848 kB
Slab: 79800 kB
Committed_AS: 4559828 kB
PageTables: 2300 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66545 MiB
End job on node3 on Sat Jan 6 10:53:33 UTC 2007