0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/206774-1168177764/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=28 nbDomainTypes=1 minDomainSize=28 maxDomainSize=28
0.42 => wckTime=0.1 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
1.56
1.56 constraints being loaded...
2.32 nbConstraints=92 nbRelationTypes=93 nbMergedConstraints=1 nbExtensionStructures=92
2.32 nbSharedExtensionStructures=0 nbConflictsStructures=92 nbSharedConflictsStructures=0
2.32 nbSharedBinaryRepresentations=0 maxDegree=15 maxArity=3
2.32 => wckTime=1.994 cpuTime=1.59 mem=58M120
2.47
2.47 solver IterativeSystematicSolver being built...
2.65 => wckTime=2.325 cpuTime=1.73 mem=65M618
2.79
2.79 preprocessing
2.79 nbConstraintChecks=47582 nbValidityChecks=82717 nbPropagations=278 nbRevisions=3063 nbUselessRevisions=2690
2.79 nbSingletonTests=39 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
2.79 => wckTime=0.14 cpuTime=0.11 mem=65M618
2.88
2.88 search
2.88 run=0 nbConstraintChecks=43340 nbValidityChecks=84103 nbPropagations=646 nbRevisions=7630
2.88 nbUselessRevisions=6362 nbAssignments=36 nbFailedAssignments=18 nbBacktracks=11 nbVisitedNodes=63
2.88 nbRestartNogoods=0 mapSize=11 nbInferences=0 nbTooLargeKeys=0
2.88 => wckTime=0.23 cpuTime=0.2 mem=66M626
2.98
2.98 search
2.98 run=1 nbConstraintChecks=90915 nbValidityChecks=181812 nbPropagations=1728 nbRevisions=20794
2.98 nbUselessRevisions=17185 nbAssignments=77 nbFailedAssignments=36 nbBacktracks=26 nbVisitedNodes=131
2.98 nbRestartNogoods=2 mapSize=24 nbInferences=0 nbTooLargeKeys=0
2.98 => wckTime=0.325 cpuTime=0.29 mem=66M626
3.15
3.15 search
3.15 run=2 nbConstraintChecks=186593 nbValidityChecks=376557 nbPropagations=3676 nbRevisions=45018
3.15 nbUselessRevisions=37051 nbAssignments=153 nbFailedAssignments=65 nbBacktracks=48 nbVisitedNodes=236
3.15 nbRestartNogoods=6 mapSize=43 nbInferences=0 nbTooLargeKeys=0
3.15 => wckTime=0.502 cpuTime=0.46 mem=66M626
3.37
3.37 search
3.37 run=3 nbConstraintChecks=317174 nbValidityChecks=651155 nbPropagations=6828 nbRevisions=84718
3.37 nbUselessRevisions=69803 nbAssignments=273 nbFailedAssignments=111 nbBacktracks=82 nbVisitedNodes=395
3.37 nbRestartNogoods=14 mapSize=73 nbInferences=0 nbTooLargeKeys=0
3.37 => wckTime=0.724 cpuTime=0.68 mem=66M626
3.59
3.59 search
3.59 run=4 nbConstraintChecks=437738 nbValidityChecks=894683 nbPropagations=11333 nbRevisions=141667
3.59 nbUselessRevisions=116607 nbAssignments=384 nbFailedAssignments=162 nbBacktracks=133 nbVisitedNodes=584
3.59 nbRestartNogoods=17 mapSize=113 nbInferences=0 nbTooLargeKeys=0
3.59 => wckTime=0.936 cpuTime=0.88 mem=66M626
3.97
3.97 search
3.97 run=5 nbConstraintChecks=659682 nbValidityChecks=1371182 nbPropagations=18263 nbRevisions=227464
3.97 nbUselessRevisions=186303 nbAssignments=598 nbFailedAssignments=290 nbBacktracks=212 nbVisitedNodes=974
3.97 nbRestartNogoods=20 mapSize=181 nbInferences=0 nbTooLargeKeys=0
3.97 => wckTime=1.319 cpuTime=1.26 mem=66M626
4.42
4.42 search
4.42 run=6 nbConstraintChecks=933681 nbValidityChecks=1904428 nbPropagations=27908 nbRevisions=347129
4.42 nbUselessRevisions=283279 nbAssignments=821 nbFailedAssignments=389 nbBacktracks=325 nbVisitedNodes=1355
4.42 nbRestartNogoods=23 mapSize=269 nbInferences=0 nbTooLargeKeys=0
4.42 => wckTime=1.771 cpuTime=1.71 mem=66M626
5.26
5.26 search
5.26 run=7 nbConstraintChecks=1440817 nbValidityChecks=2901028 nbPropagations=42073 nbRevisions=524039
5.26 nbUselessRevisions=426436 nbAssignments=1194 nbFailedAssignments=568 nbBacktracks=496 nbVisitedNodes=1998
5.26 nbRestartNogoods=31 mapSize=414 nbInferences=0 nbTooLargeKeys=0
5.26 => wckTime=2.612 cpuTime=2.54 mem=66M626
6.61
6.61 search
6.61 run=8 nbConstraintChecks=2248935 nbValidityChecks=4466460 nbPropagations=63214 nbRevisions=791954
6.61 nbUselessRevisions=644051 nbAssignments=1766 nbFailedAssignments=860 nbBacktracks=753 nbVisitedNodes=3013
6.61 nbRestartNogoods=39 mapSize=642 nbInferences=0 nbTooLargeKeys=0
6.61 => wckTime=3.96 cpuTime=3.85 mem=66M626
8.82
8.82 search
8.82 run=9 nbConstraintChecks=3591381 nbValidityChecks=7178811 nbPropagations=97257 nbRevisions=1233161
8.82 nbUselessRevisions=999759 nbAssignments=2832 nbFailedAssignments=1520 nbBacktracks=1138 nbVisitedNodes=4978
8.82 nbRestartNogoods=51 mapSize=981 nbInferences=0 nbTooLargeKeys=0
8.82 => wckTime=6.171 cpuTime=6.03 mem=66M626
9.25
9.25 INFO : Stopping hyperNogood (mapSize=1030, nbTooLargekeys=0, mem=66M626)
11.91
11.91 search
11.91 run=10 nbConstraintChecks=5476149 nbValidityChecks=10927260 nbPropagations=150542 nbRevisions=1929192
11.91 nbUselessRevisions=1558801 nbAssignments=4259 nbFailedAssignments=2361 nbBacktracks=1714 nbVisitedNodes=7617
11.91 nbRestartNogoods=61
11.91 => wckTime=9.259 cpuTime=9.09 mem=66M626
16.04
16.04 search
16.04 run=11 nbConstraintChecks=8150090 nbValidityChecks=16096996 nbPropagations=227103 nbRevisions=2920930
16.04 nbUselessRevisions=2356425 nbAssignments=6321 nbFailedAssignments=3519 nbBacktracks=2581 nbVisitedNodes=11363
16.04 nbRestartNogoods=72
16.04 => wckTime=13.387 cpuTime=13.18 mem=66M626
22.69
22.69 search
22.69 run=12 nbConstraintChecks=12388156 nbValidityChecks=24346428 nbPropagations=339971 nbRevisions=4380723
22.69 nbUselessRevisions=3527568 nbAssignments=9532 nbFailedAssignments=5383 nbBacktracks=3878 nbVisitedNodes=17223
22.69 nbRestartNogoods=83
22.69 => wckTime=20.039 cpuTime=19.78 mem=66M626
31.44
31.44 search
31.44 run=13 nbConstraintChecks=17879668 nbValidityChecks=35134069 nbPropagations=508706 nbRevisions=6558561
31.44 nbUselessRevisions=5271406 nbAssignments=13894 nbFailedAssignments=7792 nbBacktracks=5824 nbVisitedNodes=25269
31.44 nbRestartNogoods=95
31.44 => wckTime=28.786 cpuTime=28.45 mem=66M626
48.00
48.00 search
48.00 run=14 nbConstraintChecks=28092788 nbValidityChecks=55763054 nbPropagations=784841 nbRevisions=10116862
48.00 nbUselessRevisions=8108606 nbAssignments=21828 nbFailedAssignments=12786 nbBacktracks=8744 nbVisitedNodes=40257
48.00 nbRestartNogoods=108
48.00 => wckTime=45.345 cpuTime=44.87 mem=66M626
67.55
67.55 search
67.55 run=15 nbConstraintChecks=40374704 nbValidityChecks=79836993 nbPropagations=1177546 nbRevisions=15210425
67.55 nbUselessRevisions=12188871 nbAssignments=32182 nbFailedAssignments=18754 nbBacktracks=13122
67.55 nbVisitedNodes=59250 nbRestartNogoods=121
67.55 => wckTime=64.904 cpuTime=64.27 mem=66M626
103.44
103.44 search
103.44 run=16 nbConstraintChecks=62925509 nbValidityChecks=123702953 nbPropagations=1758980 nbRevisions=22751238
103.44 nbUselessRevisions=18225747 nbAssignments=47624 nbFailedAssignments=27593 nbBacktracks=19692
103.44 nbVisitedNodes=87418 nbRestartNogoods=134
103.44 => wckTime=100.789 cpuTime=99.86 mem=66M626
160.34
160.34 search
160.34 run=17 nbConstraintChecks=97901039 nbValidityChecks=194443690 nbPropagations=2701489 nbRevisions=34990535
160.34 nbUselessRevisions=27991236 nbAssignments=73989 nbFailedAssignments=44097 nbBacktracks=29546
160.34 nbVisitedNodes=137116 nbRestartNogoods=139
160.34 => wckTime=157.689 cpuTime=156.27 mem=66M626
226.80
226.80 search
226.80 run=18 nbConstraintChecks=139970429 nbValidityChecks=277034045 nbPropagations=4053589 nbRevisions=52545869
226.80 nbUselessRevisions=42038711 nbAssignments=108983 nbFailedAssignments=64304 nbBacktracks=44324
226.80 nbVisitedNodes=201529 nbRestartNogoods=148
226.80 => wckTime=224.146 cpuTime=222.17 mem=66M626
344.38
344.38 search
344.38 run=19 nbConstraintChecks=214334852 nbValidityChecks=419233308 nbPropagations=6040300 nbRevisions=78096308
344.38 nbUselessRevisions=62450711 nbAssignments=159779 nbFailedAssignments=92880 nbBacktracks=66492
344.38 nbVisitedNodes=294593 nbRestartNogoods=162
344.38 => wckTime=341.728 cpuTime=338.78 mem=66M626
493.86
493.86 search
493.86 run=20 nbConstraintChecks=307300530 nbValidityChecks=604436622 nbPropagations=8978751 nbRevisions=115531067
493.86 nbUselessRevisions=92289686 nbAssignments=231895 nbFailedAssignments=131699 nbBacktracks=99744
493.86 nbVisitedNodes=424943 nbRestartNogoods=178
493.86 => wckTime=491.212 cpuTime=487.01 mem=66M626
769.92
769.92 search
769.92 run=21 nbConstraintChecks=476104415 nbValidityChecks=941526568 nbPropagations=13557399 nbRevisions=174134170
769.92 nbUselessRevisions=138966252 nbAssignments=356444 nbFailedAssignments=206306 nbBacktracks=149622
769.92 nbVisitedNodes=659269 nbRestartNogoods=203
769.92 => wckTime=767.27 cpuTime=760.49 mem=66M626
1160.45
1160.45 search
1160.45 run=22 nbConstraintChecks=716745467 nbValidityChecks=1428985852 nbPropagations=20727775 nbRevisions=265939103
1160.45 nbUselessRevisions=211949990 nbAssignments=544416 nbFailedAssignments=319425 nbBacktracks=224440
1160.45 nbVisitedNodes=1011709 nbRestartNogoods=219
1160.45 => wckTime=1157.804 cpuTime=1147.66 mem=66M626
1691.29
1691.29 search
1691.29 run=23 nbConstraintChecks=1045753170 nbValidityChecks=2085549778 nbPropagations=31169824 nbRevisions=398447778
1691.29 nbUselessRevisions=317092199 nbAssignments=793318 nbFailedAssignments=456091 nbBacktracks=336668
1691.29 nbVisitedNodes=1468030 nbRestartNogoods=228
1691.29 => wckTime=1688.639 cpuTime=1674.02 mem=66M626
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node41/watcher-206774-1168177764 -o ROOT/results/node41/solver-206774-1168177764 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206774-1168177764/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.00 2.00 1.96 5/73 4484
/proc/meminfo: memFree=1544648/2055920 swapFree=4191892/4192956
[pid=4483] ppid=4481 vsize=18540 CPUtime=0
/proc/4483/stat : 4483 (runsolver) R 4481 4483 3407 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 166175727 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 238390144295 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/4483/statm: 4635 279 244 17 0 2626 0
[startup+0.108057 s]
/proc/loadavg: 2.00 2.00 1.96 5/73 4484
/proc/meminfo: memFree=1544648/2055920 swapFree=4191892/4192956
[pid=4483] ppid=4481 vsize=916012 CPUtime=0.08
/proc/4483/stat : 4483 (java) R 4481 4483 3407 0 -1 0 2990 0 1 0 6 2 0 0 17 0 8 0 166175727 937996288 2736 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153794771 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4483/statm: 229003 2736 1426 14 0 215498 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 916012
[startup+0.51609 s]
/proc/loadavg: 2.00 2.00 1.96 5/73 4484
/proc/meminfo: memFree=1544648/2055920 swapFree=4191892/4192956
[pid=4483] ppid=4481 vsize=916352 CPUtime=0.48
/proc/4483/stat : 4483 (java) R 4481 4483 3407 0 -1 0 7489 0 1 0 43 5 0 0 18 0 8 0 166175727 938344448 7228 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073445410 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4483/statm: 229088 7228 2137 14 0 215558 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 916352
[startup+1.33916 s]
/proc/loadavg: 2.00 2.00 1.96 3/80 4491
/proc/meminfo: memFree=1477584/2055920 swapFree=4191892/4192956
[pid=4483] ppid=4481 vsize=916352 CPUtime=1.3
/proc/4483/stat : 4483 (java) R 4481 4483 3407 0 -1 0 19101 0 1 0 119 11 0 0 25 0 8 0 166175727 938344448 18839 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073445438 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4483/statm: 229088 18839 2149 14 0 215558 0
[pid=4483/tid=4485] ppid=4481 vsize=916352 CPUtime=0.05
/proc/4483/task/4485/stat : 4485 (java) S 4481 4483 3407 0 -1 64 2681 0 0 0 5 0 0 0 17 0 8 0 166175731 938344448 18839 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4486] ppid=4481 vsize=916352 CPUtime=0
/proc/4483/task/4486/stat : 4486 (java) S 4481 4483 3407 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166175732 938344448 18839 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4487] ppid=4481 vsize=916352 CPUtime=0
/proc/4483/task/4487/stat : 4487 (java) S 4481 4483 3407 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 166175732 938344448 18839 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4488] ppid=4481 vsize=916352 CPUtime=0
/proc/4483/task/4488/stat : 4488 (java) S 4481 4483 3407 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166175735 938344448 18839 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4489] ppid=4481 vsize=916352 CPUtime=0.07
/proc/4483/task/4489/stat : 4489 (java) S 4481 4483 3407 0 -1 64 308 0 0 0 7 0 0 0 16 0 8 0 166175735 938344448 18839 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4490] ppid=4481 vsize=916352 CPUtime=0
/proc/4483/task/4490/stat : 4490 (java) S 4481 4483 3407 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166175735 938344448 18839 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4491] ppid=4481 vsize=916352 CPUtime=0
/proc/4483/task/4491/stat : 4491 (java) S 4481 4483 3407 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 166175735 938344448 18839 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 916352
[startup+2.99231 s]
/proc/loadavg: 2.00 2.00 1.96 4/80 4491
/proc/meminfo: memFree=1436624/2055920 swapFree=4191892/4192956
[pid=4483] ppid=4481 vsize=916460 CPUtime=2.94
/proc/4483/stat : 4483 (java) R 4481 4483 3407 0 -1 0 32576 0 1 0 276 18 0 0 25 0 8 0 166175727 938455040 32311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073799105 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4483/statm: 229115 32311 2531 14 0 215585 0
[pid=4483/tid=4485] ppid=4481 vsize=916460 CPUtime=0.43
/proc/4483/task/4485/stat : 4485 (java) S 4481 4483 3407 0 -1 64 15582 0 0 0 37 6 0 0 17 0 8 0 166175731 938455040 32311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4486] ppid=4481 vsize=916460 CPUtime=0
/proc/4483/task/4486/stat : 4486 (java) S 4481 4483 3407 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166175732 938455040 32311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4487] ppid=4481 vsize=916460 CPUtime=0
/proc/4483/task/4487/stat : 4487 (java) S 4481 4483 3407 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 166175732 938455040 32311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4488] ppid=4481 vsize=916460 CPUtime=0
/proc/4483/task/4488/stat : 4488 (java) S 4481 4483 3407 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166175735 938455040 32311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4489] ppid=4481 vsize=916460 CPUtime=0.21
/proc/4483/task/4489/stat : 4489 (java) S 4481 4483 3407 0 -1 64 374 0 0 0 20 1 0 0 16 0 8 0 166175735 938455040 32311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4490] ppid=4481 vsize=916460 CPUtime=0
/proc/4483/task/4490/stat : 4490 (java) S 4481 4483 3407 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166175735 938455040 32311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4491] ppid=4481 vsize=916460 CPUtime=0
/proc/4483/task/4491/stat : 4491 (java) S 4481 4483 3407 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 166175735 938455040 32311 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 916460
[startup+6.2836 s]
/proc/loadavg: 2.00 2.00 1.96 3/80 4491
/proc/meminfo: memFree=1424912/2055920 swapFree=4191892/4192956
[pid=4483] ppid=4481 vsize=916460 CPUtime=6.19
/proc/4483/stat : 4483 (java) R 4481 4483 3407 0 -1 0 32594 0 1 0 601 18 0 0 25 0 8 0 166175727 938455040 32326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073797309 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4483/statm: 229115 32326 2531 14 0 215585 0
[pid=4483/tid=4485] ppid=4481 vsize=916460 CPUtime=0.43
/proc/4483/task/4485/stat : 4485 (java) S 4481 4483 3407 0 -1 64 15582 0 0 0 37 6 0 0 17 0 8 0 166175731 938455040 32326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4486] ppid=4481 vsize=916460 CPUtime=0
/proc/4483/task/4486/stat : 4486 (java) S 4481 4483 3407 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166175732 938455040 32326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4487] ppid=4481 vsize=916460 CPUtime=0
/proc/4483/task/4487/stat : 4487 (java) S 4481 4483 3407 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 166175732 938455040 32326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4488] ppid=4481 vsize=916460 CPUtime=0
/proc/4483/task/4488/stat : 4488 (java) S 4481 4483 3407 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166175735 938455040 32326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4489] ppid=4481 vsize=916460 CPUtime=0.24
/proc/4483/task/4489/stat : 4489 (java) S 4481 4483 3407 0 -1 64 390 0 0 0 23 1 0 0 15 0 8 0 166175735 938455040 32326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4490] ppid=4481 vsize=916460 CPUtime=0
/proc/4483/task/4490/stat : 4490 (java) S 4481 4483 3407 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166175735 938455040 32326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4491] ppid=4481 vsize=916460 CPUtime=0
/proc/4483/task/4491/stat : 4491 (java) S 4481 4483 3407 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 166175735 938455040 32326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 916460
[startup+12.7772 s]
/proc/loadavg: 2.00 2.00 1.96 3/80 4491
/proc/meminfo: memFree=1425040/2055920 swapFree=4191892/4192956
[pid=4483] ppid=4481 vsize=916460 CPUtime=12.63
/proc/4483/stat : 4483 (java) R 4481 4483 3407 0 -1 0 32605 0 1 0 1245 18 0 0 25 0 8 0 166175727 938455040 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073799195 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4483/statm: 229115 32334 2531 14 0 215585 0
[pid=4483/tid=4485] ppid=4481 vsize=916460 CPUtime=0.43
/proc/4483/task/4485/stat : 4485 (java) S 4481 4483 3407 0 -1 64 15582 0 0 0 37 6 0 0 16 0 8 0 166175731 938455040 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4486] ppid=4481 vsize=916460 CPUtime=0
/proc/4483/task/4486/stat : 4486 (java) S 4481 4483 3407 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166175732 938455040 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4487] ppid=4481 vsize=916460 CPUtime=0
/proc/4483/task/4487/stat : 4487 (java) S 4481 4483 3407 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 166175732 938455040 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4488] ppid=4481 vsize=916460 CPUtime=0
/proc/4483/task/4488/stat : 4488 (java) S 4481 4483 3407 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166175735 938455040 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4489] ppid=4481 vsize=916460 CPUtime=0.26
/proc/4483/task/4489/stat : 4489 (java) S 4481 4483 3407 0 -1 64 399 0 0 0 25 1 0 0 16 0 8 0 166175735 938455040 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4490] ppid=4481 vsize=916460 CPUtime=0
/proc/4483/task/4490/stat : 4490 (java) S 4481 4483 3407 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166175735 938455040 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4491] ppid=4481 vsize=916460 CPUtime=0
/proc/4483/task/4491/stat : 4491 (java) S 4481 4483 3407 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 166175735 938455040 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 916460
[startup+25.6223 s]
/proc/loadavg: 2.00 2.00 1.96 3/80 4491
/proc/meminfo: memFree=1425232/2055920 swapFree=4191892/4192956
[pid=4483] ppid=4481 vsize=916460 CPUtime=25.37
/proc/4483/stat : 4483 (java) R 4481 4483 3407 0 -1 0 32607 0 1 0 2519 18 0 0 25 0 8 0 166175727 938455040 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073809001 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4483/statm: 229115 32336 2531 14 0 215585 0
[pid=4483/tid=4485] ppid=4481 vsize=916460 CPUtime=0.43
/proc/4483/task/4485/stat : 4485 (java) S 4481 4483 3407 0 -1 64 15582 0 0 0 37 6 0 0 16 0 8 0 166175731 938455040 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4486] ppid=4481 vsize=916460 CPUtime=0
/proc/4483/task/4486/stat : 4486 (java) S 4481 4483 3407 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166175732 938455040 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4487] ppid=4481 vsize=916460 CPUtime=0
/proc/4483/task/4487/stat : 4487 (java) S 4481 4483 3407 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 166175732 938455040 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4488] ppid=4481 vsize=916460 CPUtime=0
/proc/4483/task/4488/stat : 4488 (java) S 4481 4483 3407 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166175735 938455040 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4489] ppid=4481 vsize=916460 CPUtime=0.27
/proc/4483/task/4489/stat : 4489 (java) S 4481 4483 3407 0 -1 64 401 0 0 0 26 1 0 0 15 0 8 0 166175735 938455040 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4490] ppid=4481 vsize=916460 CPUtime=0
/proc/4483/task/4490/stat : 4490 (java) S 4481 4483 3407 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166175735 938455040 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4491] ppid=4481 vsize=916460 CPUtime=0
/proc/4483/task/4491/stat : 4491 (java) S 4481 4483 3407 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 166175735 938455040 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 916460
[startup+51.2476 s]
/proc/loadavg: 2.00 2.00 1.96 3/80 4491
/proc/meminfo: memFree=1425360/2055920 swapFree=4191892/4192956
[pid=4483] ppid=4481 vsize=916460 CPUtime=50.78
/proc/4483/stat : 4483 (java) R 4481 4483 3407 0 -1 0 32607 0 1 0 5060 18 0 0 25 0 8 0 166175727 938455040 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802379 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4483/statm: 229115 32336 2531 14 0 215585 0
[pid=4483/tid=4485] ppid=4481 vsize=916460 CPUtime=0.43
/proc/4483/task/4485/stat : 4485 (java) S 4481 4483 3407 0 -1 64 15582 0 0 0 37 6 0 0 16 0 8 0 166175731 938455040 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4486] ppid=4481 vsize=916460 CPUtime=0
/proc/4483/task/4486/stat : 4486 (java) S 4481 4483 3407 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166175732 938455040 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4487] ppid=4481 vsize=916460 CPUtime=0
/proc/4483/task/4487/stat : 4487 (java) S 4481 4483 3407 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 166175732 938455040 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4488] ppid=4481 vsize=916460 CPUtime=0
/proc/4483/task/4488/stat : 4488 (java) S 4481 4483 3407 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166175735 938455040 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4489] ppid=4481 vsize=916460 CPUtime=0.27
/proc/4483/task/4489/stat : 4489 (java) S 4481 4483 3407 0 -1 64 401 0 0 0 26 1 0 0 15 0 8 0 166175735 938455040 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4490] ppid=4481 vsize=916460 CPUtime=0
/proc/4483/task/4490/stat : 4490 (java) S 4481 4483 3407 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166175735 938455040 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4491] ppid=4481 vsize=916460 CPUtime=0
/proc/4483/task/4491/stat : 4491 (java) S 4481 4483 3407 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 166175735 938455040 32336 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.78
Current children cumulated vsize (KiB) 916460
[startup+102.501 s]
/proc/loadavg: 2.00 2.00 1.96 3/80 4491
/proc/meminfo: memFree=1425296/2055920 swapFree=4191892/4192956
[pid=4483] ppid=4481 vsize=916460 CPUtime=101.62
/proc/4483/stat : 4483 (java) R 4481 4483 3407 0 -1 0 32609 0 1 0 10143 19 0 0 25 0 8 0 166175727 938455040 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803280 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4483/statm: 229115 32337 2531 14 0 215585 0
[pid=4483/tid=4485] ppid=4481 vsize=916460 CPUtime=0.43
/proc/4483/task/4485/stat : 4485 (java) S 4481 4483 3407 0 -1 64 15582 0 0 0 37 6 0 0 16 0 8 0 166175731 938455040 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4486] ppid=4481 vsize=916460 CPUtime=0
/proc/4483/task/4486/stat : 4486 (java) S 4481 4483 3407 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166175732 938455040 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4487] ppid=4481 vsize=916460 CPUtime=0
/proc/4483/task/4487/stat : 4487 (java) S 4481 4483 3407 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 166175732 938455040 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4488] ppid=4481 vsize=916460 CPUtime=0
/proc/4483/task/4488/stat : 4488 (java) S 4481 4483 3407 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166175735 938455040 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4489] ppid=4481 vsize=916460 CPUtime=0.27
/proc/4483/task/4489/stat : 4489 (java) S 4481 4483 3407 0 -1 64 402 0 0 0 26 1 0 0 16 0 8 0 166175735 938455040 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4490] ppid=4481 vsize=916460 CPUtime=0
/proc/4483/task/4490/stat : 4490 (java) S 4481 4483 3407 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166175735 938455040 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4491] ppid=4481 vsize=916460 CPUtime=0
/proc/4483/task/4491/stat : 4491 (java) S 4481 4483 3407 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 166175735 938455040 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.62
Current children cumulated vsize (KiB) 916460
[startup+162.502 s]
/proc/loadavg: 2.00 2.00 1.96 3/80 4491
/proc/meminfo: memFree=1425296/2055920 swapFree=4191892/4192956
[pid=4483] ppid=4481 vsize=916460 CPUtime=161.11
/proc/4483/stat : 4483 (java) R 4481 4483 3407 0 -1 0 32609 0 1 0 16092 19 0 0 25 0 8 0 166175727 938455040 32337 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1411.42
Current children cumulated vsize (KiB) 916460
[startup+1483.86 s]
/proc/loadavg: 2.01 2.02 1.99 3/80 4689
/proc/meminfo: memFree=1424784/2055920 swapFree=4191892/4192956
[pid=4483] ppid=4481 vsize=916460 CPUtime=1471.03
/proc/4483/stat : 4483 (java) R 4481 4483 3407 0 -1 0 32610 0 1 0 147081 22 0 0 25 0 8 0 166175727 938455040 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4483/statm: 229115 32338 2531 14 0 215585 0
[pid=4483/tid=4485] ppid=4481 vsize=916460 CPUtime=0.43
/proc/4483/task/4485/stat : 4485 (java) S 4481 4483 3407 0 -1 64 15582 0 0 0 37 6 0 0 16 0 8 0 166175731 938455040 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4486] ppid=4481 vsize=916460 CPUtime=0
/proc/4483/task/4486/stat : 4486 (java) S 4481 4483 3407 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166175732 938455040 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4487] ppid=4481 vsize=916460 CPUtime=0
/proc/4483/task/4487/stat : 4487 (java) S 4481 4483 3407 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 166175732 938455040 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4488] ppid=4481 vsize=916460 CPUtime=0
/proc/4483/task/4488/stat : 4488 (java) S 4481 4483 3407 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166175735 938455040 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4489] ppid=4481 vsize=916460 CPUtime=0.27
/proc/4483/task/4489/stat : 4489 (java) S 4481 4483 3407 0 -1 64 403 0 0 0 26 1 0 0 16 0 8 0 166175735 938455040 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4490] ppid=4481 vsize=916460 CPUtime=0
/proc/4483/task/4490/stat : 4490 (java) S 4481 4483 3407 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166175735 938455040 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4491] ppid=4481 vsize=916460 CPUtime=0
/proc/4483/task/4491/stat : 4491 (java) S 4481 4483 3407 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 166175735 938455040 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1471.03
Current children cumulated vsize (KiB) 916460
[startup+1543.95 s]
/proc/loadavg: 2.00 2.01 1.99 3/80 4689
/proc/meminfo: memFree=1424784/2055920 swapFree=4191892/4192956
[pid=4483] ppid=4481 vsize=916460 CPUtime=1530.63
/proc/4483/stat : 4483 (java) R 4481 4483 3407 0 -1 0 32610 0 1 0 153040 23 0 0 25 0 8 0 166175727 938455040 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629940 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4483/statm: 229115 32338 2531 14 0 215585 0
[pid=4483/tid=4485] ppid=4481 vsize=916460 CPUtime=0.43
/proc/4483/task/4485/stat : 4485 (java) S 4481 4483 3407 0 -1 64 15582 0 0 0 37 6 0 0 16 0 8 0 166175731 938455040 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4486] ppid=4481 vsize=916460 CPUtime=0
/proc/4483/task/4486/stat : 4486 (java) S 4481 4483 3407 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166175732 938455040 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4487] ppid=4481 vsize=916460 CPUtime=0
/proc/4483/task/4487/stat : 4487 (java) S 4481 4483 3407 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 166175732 938455040 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4488] ppid=4481 vsize=916460 CPUtime=0
/proc/4483/task/4488/stat : 4488 (java) S 4481 4483 3407 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166175735 938455040 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4489] ppid=4481 vsize=916460 CPUtime=0.27
/proc/4483/task/4489/stat : 4489 (java) S 4481 4483 3407 0 -1 64 403 0 0 0 26 1 0 0 16 0 8 0 166175735 938455040 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4490] ppid=4481 vsize=916460 CPUtime=0
/proc/4483/task/4490/stat : 4490 (java) S 4481 4483 3407 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166175735 938455040 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4491] ppid=4481 vsize=916460 CPUtime=0
/proc/4483/task/4491/stat : 4491 (java) S 4481 4483 3407 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 166175735 938455040 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1530.63
Current children cumulated vsize (KiB) 916460
[startup+1604.06 s]
/proc/loadavg: 2.00 2.00 1.99 3/80 4689
/proc/meminfo: memFree=1424784/2055920 swapFree=4191892/4192956
[pid=4483] ppid=4481 vsize=916460 CPUtime=1590.24
/proc/4483/stat : 4483 (java) R 4481 4483 3407 0 -1 0 32610 0 1 0 159001 23 0 0 25 0 8 0 166175727 938455040 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4483/statm: 229115 32338 2531 14 0 215585 0
[pid=4483/tid=4485] ppid=4481 vsize=916460 CPUtime=0.43
/proc/4483/task/4485/stat : 4485 (java) S 4481 4483 3407 0 -1 64 15582 0 0 0 37 6 0 0 16 0 8 0 166175731 938455040 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4486] ppid=4481 vsize=916460 CPUtime=0
/proc/4483/task/4486/stat : 4486 (java) S 4481 4483 3407 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166175732 938455040 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4487] ppid=4481 vsize=916460 CPUtime=0
/proc/4483/task/4487/stat : 4487 (java) S 4481 4483 3407 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 166175732 938455040 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4488] ppid=4481 vsize=916460 CPUtime=0
/proc/4483/task/4488/stat : 4488 (java) S 4481 4483 3407 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166175735 938455040 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4489] ppid=4481 vsize=916460 CPUtime=0.27
/proc/4483/task/4489/stat : 4489 (java) S 4481 4483 3407 0 -1 64 403 0 0 0 26 1 0 0 16 0 8 0 166175735 938455040 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4490] ppid=4481 vsize=916460 CPUtime=0
/proc/4483/task/4490/stat : 4490 (java) S 4481 4483 3407 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166175735 938455040 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4491] ppid=4481 vsize=916460 CPUtime=0
/proc/4483/task/4491/stat : 4491 (java) S 4481 4483 3407 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 166175735 938455040 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1590.24
Current children cumulated vsize (KiB) 916460
[startup+1664.16 s]
/proc/loadavg: 2.00 2.00 1.99 3/80 4689
/proc/meminfo: memFree=1424720/2055920 swapFree=4191892/4192956
[pid=4483] ppid=4481 vsize=916460 CPUtime=1649.82
/proc/4483/stat : 4483 (java) R 4481 4483 3407 0 -1 0 32610 0 1 0 164959 23 0 0 25 0 8 0 166175727 938455040 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4483/statm: 229115 32338 2531 14 0 215585 0
[pid=4483/tid=4485] ppid=4481 vsize=916460 CPUtime=0.43
/proc/4483/task/4485/stat : 4485 (java) S 4481 4483 3407 0 -1 64 15582 0 0 0 37 6 0 0 16 0 8 0 166175731 938455040 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4486] ppid=4481 vsize=916460 CPUtime=0
/proc/4483/task/4486/stat : 4486 (java) S 4481 4483 3407 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166175732 938455040 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4487] ppid=4481 vsize=916460 CPUtime=0
/proc/4483/task/4487/stat : 4487 (java) S 4481 4483 3407 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 166175732 938455040 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4488] ppid=4481 vsize=916460 CPUtime=0
/proc/4483/task/4488/stat : 4488 (java) S 4481 4483 3407 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166175735 938455040 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4489] ppid=4481 vsize=916460 CPUtime=0.27
/proc/4483/task/4489/stat : 4489 (java) S 4481 4483 3407 0 -1 64 403 0 0 0 26 1 0 0 16 0 8 0 166175735 938455040 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4490] ppid=4481 vsize=916460 CPUtime=0
/proc/4483/task/4490/stat : 4490 (java) S 4481 4483 3407 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166175735 938455040 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4491] ppid=4481 vsize=916460 CPUtime=0
/proc/4483/task/4491/stat : 4491 (java) S 4481 4483 3407 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 166175735 938455040 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1649.82
Current children cumulated vsize (KiB) 916460
[startup+1724.26 s]
/proc/loadavg: 2.00 2.00 1.99 3/80 4691
/proc/meminfo: memFree=1424720/2055920 swapFree=4191892/4192956
[pid=4483] ppid=4481 vsize=916460 CPUtime=1709.42
/proc/4483/stat : 4483 (java) R 4481 4483 3407 0 -1 0 32610 0 1 0 170919 23 0 0 25 0 8 0 166175727 938455040 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629940 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4483/statm: 229115 32338 2531 14 0 215585 0
[pid=4483/tid=4485] ppid=4481 vsize=916460 CPUtime=0.43
/proc/4483/task/4485/stat : 4485 (java) S 4481 4483 3407 0 -1 64 15582 0 0 0 37 6 0 0 16 0 8 0 166175731 938455040 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4486] ppid=4481 vsize=916460 CPUtime=0
/proc/4483/task/4486/stat : 4486 (java) S 4481 4483 3407 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166175732 938455040 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4487] ppid=4481 vsize=916460 CPUtime=0
/proc/4483/task/4487/stat : 4487 (java) S 4481 4483 3407 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 166175732 938455040 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4488] ppid=4481 vsize=916460 CPUtime=0
/proc/4483/task/4488/stat : 4488 (java) S 4481 4483 3407 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166175735 938455040 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4489] ppid=4481 vsize=916460 CPUtime=0.27
/proc/4483/task/4489/stat : 4489 (java) S 4481 4483 3407 0 -1 64 403 0 0 0 26 1 0 0 16 0 8 0 166175735 938455040 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4490] ppid=4481 vsize=916460 CPUtime=0
/proc/4483/task/4490/stat : 4490 (java) S 4481 4483 3407 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166175735 938455040 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4491] ppid=4481 vsize=916460 CPUtime=0
/proc/4483/task/4491/stat : 4491 (java) S 4481 4483 3407 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 166175735 938455040 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1709.42
Current children cumulated vsize (KiB) 916460
[startup+1784.34 s]
/proc/loadavg: 1.94 1.98 1.98 3/80 4918
/proc/meminfo: memFree=1349896/2055920 swapFree=4191892/4192956
[pid=4483] ppid=4481 vsize=916460 CPUtime=1769.15
/proc/4483/stat : 4483 (java) R 4481 4483 3407 0 -1 0 32610 0 1 0 176890 25 0 0 25 0 8 0 166175727 938455040 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073818148 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4483/statm: 229115 32338 2531 14 0 215585 0
[pid=4483/tid=4485] ppid=4481 vsize=916460 CPUtime=0.43
/proc/4483/task/4485/stat : 4485 (java) S 4481 4483 3407 0 -1 64 15582 0 0 0 37 6 0 0 16 0 8 0 166175731 938455040 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4486] ppid=4481 vsize=916460 CPUtime=0
/proc/4483/task/4486/stat : 4486 (java) S 4481 4483 3407 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166175732 938455040 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4487] ppid=4481 vsize=916460 CPUtime=0
/proc/4483/task/4487/stat : 4487 (java) S 4481 4483 3407 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 166175732 938455040 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4488] ppid=4481 vsize=916460 CPUtime=0
/proc/4483/task/4488/stat : 4488 (java) S 4481 4483 3407 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166175735 938455040 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4489] ppid=4481 vsize=916460 CPUtime=0.27
/proc/4483/task/4489/stat : 4489 (java) S 4481 4483 3407 0 -1 64 403 0 0 0 26 1 0 0 16 0 8 0 166175735 938455040 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4490] ppid=4481 vsize=916460 CPUtime=0
/proc/4483/task/4490/stat : 4490 (java) S 4481 4483 3407 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166175735 938455040 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4491] ppid=4481 vsize=916460 CPUtime=0
/proc/4483/task/4491/stat : 4491 (java) S 4481 4483 3407 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 166175735 938455040 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1769.15
Current children cumulated vsize (KiB) 916460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1815.29 s]
/proc/loadavg: 1.96 1.98 1.98 3/80 4918
/proc/meminfo: memFree=1350024/2055920 swapFree=4191892/4192956
[pid=4483] ppid=4481 vsize=916460 CPUtime=1800.08
/proc/4483/stat : 4483 (java) R 4481 4483 3407 0 -1 0 32610 0 1 0 179983 25 0 0 25 0 8 0 166175727 938455040 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073829131 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4483/statm: 229115 32338 2531 14 0 215585 0
[pid=4483/tid=4485] ppid=4481 vsize=916460 CPUtime=0.43
/proc/4483/task/4485/stat : 4485 (java) S 4481 4483 3407 0 -1 64 15582 0 0 0 37 6 0 0 16 0 8 0 166175731 938455040 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4486] ppid=4481 vsize=916460 CPUtime=0
/proc/4483/task/4486/stat : 4486 (java) S 4481 4483 3407 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166175732 938455040 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4487] ppid=4481 vsize=916460 CPUtime=0
/proc/4483/task/4487/stat : 4487 (java) S 4481 4483 3407 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 166175732 938455040 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4488] ppid=4481 vsize=916460 CPUtime=0
/proc/4483/task/4488/stat : 4488 (java) S 4481 4483 3407 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 166175735 938455040 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4489] ppid=4481 vsize=916460 CPUtime=0.27
/proc/4483/task/4489/stat : 4489 (java) S 4481 4483 3407 0 -1 64 403 0 0 0 26 1 0 0 16 0 8 0 166175735 938455040 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4490] ppid=4481 vsize=916460 CPUtime=0
/proc/4483/task/4490/stat : 4490 (java) S 4481 4483 3407 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166175735 938455040 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4483/tid=4491] ppid=4481 vsize=916460 CPUtime=0
/proc/4483/task/4491/stat : 4491 (java) S 4481 4483 3407 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 166175735 938455040 32338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 916460
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1815.35
CPU time (s): 1800.14
CPU user time (s): 1799.87
CPU system time (s): 0.278957
CPU usage (%): 99.1626
Max. virtual memory (cumulated for all children) (KiB): 916460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.87
system time used= 0.278957
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32627
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= 37884
involuntary context switches= 69756
runsolver used 1.86871 s user time and 6.18706 s system time
The end
Begin job on node41 on Sun Jan 7 13:49:25 UTC 2007
IDJOB= 206774
IDBENCH= 4234
FILE ID= node41/206774-1168177764
PBS_JOBID= 3479084
Free space on /tmp= 66538 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28/rand-3-28-28-93-632-7_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206774-1168177764/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node41/watcher-206774-1168177764 -o ROOT/results/node41/solver-206774-1168177764 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206774-1168177764/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= c50a68ea1c412f5e316347785e506ff7
RANDOM SEED= 815420440
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.234
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.234
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: 1545128 kB
Buffers: 35688 kB
Cached: 370556 kB
SwapCached: 396 kB
Active: 149612 kB
Inactive: 293500 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1545128 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 7608 kB
Writeback: 0 kB
Mapped: 49096 kB
Slab: 53092 kB
Committed_AS: 2994272 kB
PageTables: 1864 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66544 MiB
End job on node41 on Sun Jan 7 14:19:40 UTC 2007