0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/206358-1168172122/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=28 nbDomainTypes=1 minDomainSize=28 maxDomainSize=28
0.43 => wckTime=0.109 cpuTime=0.08 mem=6M951
0.43
0.43 relations being loaded...
1.61
1.61 constraints being loaded...
2.35 nbConstraints=93 nbRelationTypes=93 nbExtensionStructures=93 nbSharedExtensionStructures=0
2.35 nbConflictsStructures=93 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=13 maxArity=3
2.35 => wckTime=2.035 cpuTime=1.62 mem=59M154
2.52
2.52 solver IterativeSystematicSolver being built...
2.69 => wckTime=2.377 cpuTime=1.77 mem=66M149
2.83
2.83 preprocessing
2.83 nbConstraintChecks=38703 nbValidityChecks=64122 nbPropagations=240 nbRevisions=2532 nbUselessRevisions=2187
2.83 nbSingletonTests=32 nbEffectiveSingletonTests=0 nbESACBranches=3 nbRemovedValues=0 detectedInconsistency=no
2.83 => wckTime=0.128 cpuTime=0.1 mem=66M149
2.91
2.91 search
2.91 run=0 nbConstraintChecks=35943 nbValidityChecks=70721 nbPropagations=583 nbRevisions=6532
2.91 nbUselessRevisions=5439 nbAssignments=28 nbFailedAssignments=9 nbBacktracks=10 nbVisitedNodes=47
2.91 nbRestartNogoods=0 mapSize=9 nbInferences=0 nbTooLargeKeys=0
2.91 => wckTime=0.21 cpuTime=0.17 mem=67M157
3.09
3.09 search
3.09 run=1 nbConstraintChecks=127647 nbValidityChecks=289377 nbPropagations=2076 nbRevisions=23963
3.09 nbUselessRevisions=20018 nbAssignments=131 nbFailedAssignments=33 nbBacktracks=26 nbVisitedNodes=130
3.09 nbRestartNogoods=8 mapSize=22 nbInferences=0 nbTooLargeKeys=0
3.09 => wckTime=0.397 cpuTime=0.35 mem=67M157
3.26
3.26 search
3.26 run=2 nbConstraintChecks=217549 nbValidityChecks=485387 nbPropagations=4395 nbRevisions=52920
3.26 nbUselessRevisions=44057 nbAssignments=213 nbFailedAssignments=71 nbBacktracks=48 nbVisitedNodes=256
3.26 nbRestartNogoods=12 mapSize=44 nbInferences=0 nbTooLargeKeys=0
3.26 => wckTime=0.562 cpuTime=0.51 mem=67M157
3.43
3.43 search
3.43 run=3 nbConstraintChecks=305359 nbValidityChecks=657033 nbPropagations=7735 nbRevisions=94157
3.43 nbUselessRevisions=77838 nbAssignments=286 nbFailedAssignments=102 nbBacktracks=85 nbVisitedNodes=379
3.43 nbRestartNogoods=16 mapSize=72 nbInferences=0 nbTooLargeKeys=0
3.43 => wckTime=0.731 cpuTime=0.66 mem=67M157
3.74
3.74 search
3.74 run=4 nbConstraintChecks=483073 nbValidityChecks=1010675 nbPropagations=12823 nbRevisions=157287
3.74 nbUselessRevisions=129148 nbAssignments=405 nbFailedAssignments=164 nbBacktracks=135 nbVisitedNodes=596
3.74 nbRestartNogoods=17 mapSize=120 nbInferences=0 nbTooLargeKeys=0
3.74 => wckTime=1.04 cpuTime=0.97 mem=67M157
4.11
4.11 search
4.11 run=5 nbConstraintChecks=688380 nbValidityChecks=1438515 nbPropagations=20167 nbRevisions=249316
4.11 nbUselessRevisions=203639 nbAssignments=560 nbFailedAssignments=234 nbBacktracks=212 nbVisitedNodes=874
4.11 nbRestartNogoods=24 mapSize=191 nbInferences=0 nbTooLargeKeys=0
4.11 => wckTime=1.416 cpuTime=1.34 mem=67M157
4.74
4.74 search
4.74 run=6 nbConstraintChecks=1049499 nbValidityChecks=2211801 nbPropagations=31521 nbRevisions=393693
4.74 nbUselessRevisions=319116 nbAssignments=903 nbFailedAssignments=456 nbBacktracks=326 nbVisitedNodes=1508
4.74 nbRestartNogoods=29 mapSize=289 nbInferences=0 nbTooLargeKeys=0
4.74 => wckTime=2.04 cpuTime=1.95 mem=67M157
5.55
5.55 search
5.55 run=7 nbConstraintChecks=1533786 nbValidityChecks=3171652 nbPropagations=47949 nbRevisions=601432
5.55 nbUselessRevisions=485174 nbAssignments=1275 nbFailedAssignments=649 nbBacktracks=496 nbVisitedNodes=2182
5.55 nbRestartNogoods=33 mapSize=432 nbInferences=0 nbTooLargeKeys=0
5.55 => wckTime=2.852 cpuTime=2.76 mem=67M157
7.27
7.27 search
7.27 run=8 nbConstraintChecks=2525043 nbValidityChecks=5157134 nbPropagations=73418 nbRevisions=931144
7.27 nbUselessRevisions=749557 nbAssignments=1959 nbFailedAssignments=1024 nbBacktracks=752 nbVisitedNodes=3373
7.27 nbRestartNogoods=42 mapSize=667 nbInferences=0 nbTooLargeKeys=0
7.27 => wckTime=4.571 cpuTime=4.44 mem=67M157
9.32
9.32 INFO : Stopping hyperNogood (mapSize=1002, nbTooLargekeys=0, mem=67M157)
9.52
9.52 search
9.52 run=9 nbConstraintChecks=3882692 nbValidityChecks=8091505 nbPropagations=113612 nbRevisions=1440595
9.52 nbUselessRevisions=1156521 nbAssignments=3078 nbFailedAssignments=1665 nbBacktracks=1137 nbVisitedNodes=5353
9.52 nbRestartNogoods=53
9.52 => wckTime=6.826 cpuTime=6.68 mem=67M157
12.91
12.92 search
12.92 run=10 nbConstraintChecks=5961573 nbValidityChecks=12235974 nbPropagations=173648 nbRevisions=2208575
12.92 nbUselessRevisions=1770938 nbAssignments=4441 nbFailedAssignments=2444 nbBacktracks=1714 nbVisitedNodes=7906
12.92 nbRestartNogoods=63
12.92 => wckTime=10.218 cpuTime=10.04 mem=67M157
16.26
16.26 search
16.26 run=11 nbConstraintChecks=7981013 nbValidityChecks=16441605 nbPropagations=257137 nbRevisions=3267714
16.26 nbUselessRevisions=2618118 nbAssignments=6252 nbFailedAssignments=3356 nbBacktracks=2578 nbVisitedNodes=11079
16.26 nbRestartNogoods=74
16.26 => wckTime=13.561 cpuTime=13.37 mem=67M157
25.60
25.60 search
25.60 run=12 nbConstraintChecks=13611488 nbValidityChecks=27829012 nbPropagations=387568 nbRevisions=4961724
25.60 nbUselessRevisions=3971250 nbAssignments=9762 nbFailedAssignments=5522 nbBacktracks=3876 nbVisitedNodes=17685
25.60 nbRestartNogoods=89
25.60 => wckTime=22.899 cpuTime=22.66 mem=67M157
37.49
37.49 search
37.49 run=13 nbConstraintChecks=20840743 nbValidityChecks=43092604 nbPropagations=596815 nbRevisions=7616616
37.49 nbUselessRevisions=6073691 nbAssignments=15178 nbFailedAssignments=8983 nbBacktracks=5824 nbVisitedNodes=28068
37.49 nbRestartNogoods=98
37.49 => wckTime=34.788 cpuTime=34.5 mem=67M157
52.53
52.53 search
52.53 run=14 nbConstraintChecks=30057419 nbValidityChecks=61588343 nbPropagations=896473 nbRevisions=11436930
52.53 nbUselessRevisions=9115587 nbAssignments=21591 nbFailedAssignments=12469 nbBacktracks=8743 nbVisitedNodes=39883
52.53 nbRestartNogoods=109
52.53 => wckTime=49.83 cpuTime=49.47 mem=67M157
71.00
71.00 search
71.00 run=15 nbConstraintChecks=41230937 nbValidityChecks=84642296 nbPropagations=1321562 nbRevisions=16812156
71.00 nbUselessRevisions=13393100 nbAssignments=30894 nbFailedAssignments=17386 nbBacktracks=13122
71.00 nbVisitedNodes=56719 nbRestartNogoods=124
71.00 => wckTime=68.304 cpuTime=67.86 mem=67M157
111.99
111.99 search
111.99 run=16 nbConstraintChecks=66135349 nbValidityChecks=134280758 nbPropagations=1966383 nbRevisions=25107118
111.99 nbUselessRevisions=20010897 nbAssignments=46565 nbFailedAssignments=26481 nbBacktracks=19690
111.99 nbVisitedNodes=86108 nbRestartNogoods=134
111.99 => wckTime=109.293 cpuTime=108.65 mem=67M157
166.04
166.04 search
166.04 run=17 nbConstraintChecks=99217042 nbValidityChecks=201497457 nbPropagations=2933977 nbRevisions=37478058
166.04 nbUselessRevisions=29857794 nbAssignments=70378 nbFailedAssignments=40329 nbBacktracks=29542
166.04 nbVisitedNodes=130181 nbRestartNogoods=162
166.04 => wckTime=163.343 cpuTime=162.45 mem=67M157
228.62
228.62 search
228.62 run=18 nbConstraintChecks=137840723 nbValidityChecks=278579535 nbPropagations=4298440 nbRevisions=54814150
228.62 nbUselessRevisions=43673109 nbAssignments=100513 nbFailedAssignments=55660 nbBacktracks=44321
228.62 nbVisitedNodes=184146 nbRestartNogoods=177
228.62 => wckTime=225.924 cpuTime=224.74 mem=67M157
326.31
326.31 search
326.31 run=19 nbConstraintChecks=197879604 nbValidityChecks=402471432 nbPropagations=6350582 nbRevisions=80921367
326.31 nbUselessRevisions=64482211 nbAssignments=152315 nbFailedAssignments=85230 nbBacktracks=66492
326.31 nbVisitedNodes=279789 nbRestartNogoods=199
326.31 => wckTime=323.616 cpuTime=321.97 mem=67M157
532.39
532.39 search
532.39 run=20 nbConstraintChecks=322440105 nbValidityChecks=659437226 nbPropagations=9550412 nbRevisions=122313533
532.39 nbUselessRevisions=97545413 nbAssignments=242139 nbFailedAssignments=141794 nbBacktracks=99745
532.39 nbVisitedNodes=449359 nbRestartNogoods=212
532.39 => wckTime=529.696 cpuTime=527.04 mem=67M157
757.44
757.44 search
757.44 run=21 nbConstraintChecks=464239647 nbValidityChecks=950680622 nbPropagations=14288349 nbRevisions=183329279
757.44 nbUselessRevisions=146266753 nbAssignments=358747 nbFailedAssignments=208485 nbBacktracks=149624
757.44 nbVisitedNodes=665036 nbRestartNogoods=229
757.44 => wckTime=754.741 cpuTime=750.84 mem=67M157
1227.62
1227.62 search
1227.62 run=22 nbConstraintChecks=755156094 nbValidityChecks=1532672124 nbPropagations=21569039 nbRevisions=278515487
1227.62 nbUselessRevisions=222281369 nbAssignments=543447 nbFailedAssignments=318359 nbBacktracks=224443
1227.62 nbVisitedNodes=1011972 nbRestartNogoods=255
1227.62 => wckTime=1224.923 cpuTime=1218.44 mem=67M157
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node17/watcher-206358-1168172122 -o ROOT/results/node17/solver-206358-1168172122 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206358-1168172122/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.92 2.00 1.99 4/93 17881
/proc/meminfo: memFree=1563992/2055920 swapFree=4192812/4192956
[pid=17880] ppid=17878 vsize=9748 CPUtime=0
/proc/17880/stat : 17880 (java) D 17878 17880 17813 0 -1 0 637 0 0 0 0 0 0 0 18 0 1 0 165607064 9981952 412 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 2859812 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/17880/statm: 2437 412 333 14 0 1140 0
[startup+0.103537 s]
/proc/loadavg: 1.92 2.00 1.99 4/93 17881
/proc/meminfo: memFree=1563992/2055920 swapFree=4192812/4192956
[pid=17880] ppid=17878 vsize=914988 CPUtime=0.08
/proc/17880/stat : 17880 (java) R 17878 17880 17813 0 -1 0 2980 0 1 0 7 1 0 0 17 0 8 0 165607064 936947712 2726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072926602 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17880/statm: 228747 2726 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511575 s]
/proc/loadavg: 1.92 2.00 1.99 4/93 17881
/proc/meminfo: memFree=1563992/2055920 swapFree=4192812/4192956
[pid=17880] ppid=17878 vsize=915328 CPUtime=0.48
/proc/17880/stat : 17880 (java) R 17878 17880 17813 0 -1 0 7281 0 1 0 45 3 0 0 18 0 8 0 165607064 937295872 7020 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073563104 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17880/statm: 228832 7020 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.34266 s]
/proc/loadavg: 1.92 2.00 1.99 5/100 17888
/proc/meminfo: memFree=1496672/2055920 swapFree=4192812/4192956
[pid=17880] ppid=17878 vsize=915328 CPUtime=1.3
/proc/17880/stat : 17880 (java) R 17878 17880 17813 0 -1 0 19099 0 1 0 120 10 0 0 25 0 8 0 165607064 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073557472 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17880/statm: 228832 18837 2149 14 0 215302 0
[pid=17880/tid=17882] ppid=17878 vsize=915328 CPUtime=0.05
/proc/17880/task/17882/stat : 17882 (java) S 17878 17880 17813 0 -1 64 2680 0 0 0 4 1 0 0 17 0 8 0 165607068 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17883] ppid=17878 vsize=915328 CPUtime=0
/proc/17880/task/17883/stat : 17883 (java) S 17878 17880 17813 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165607068 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17884] ppid=17878 vsize=915328 CPUtime=0
/proc/17880/task/17884/stat : 17884 (java) S 17878 17880 17813 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165607068 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17885] ppid=17878 vsize=915328 CPUtime=0
/proc/17880/task/17885/stat : 17885 (java) S 17878 17880 17813 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165607072 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17886] ppid=17878 vsize=915328 CPUtime=0.09
/proc/17880/task/17886/stat : 17886 (java) S 17878 17880 17813 0 -1 64 308 0 0 0 9 0 0 0 16 0 8 0 165607072 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17887] ppid=17878 vsize=915328 CPUtime=0
/proc/17880/task/17887/stat : 17887 (java) S 17878 17880 17813 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165607072 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17888] ppid=17878 vsize=915328 CPUtime=0
/proc/17880/task/17888/stat : 17888 (java) S 17878 17880 17813 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165607072 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915328
[startup+2.99784 s]
/proc/loadavg: 1.92 2.00 1.99 3/100 17888
/proc/meminfo: memFree=1455904/2055920 swapFree=4192812/4192956
[pid=17880] ppid=17878 vsize=915424 CPUtime=2.95
/proc/17880/stat : 17880 (java) R 17878 17880 17813 0 -1 0 32691 0 1 0 277 18 0 0 25 0 8 0 165607064 937394176 32426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073761076 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17880/statm: 228856 32426 2531 14 0 215326 0
[pid=17880/tid=17882] ppid=17878 vsize=915424 CPUtime=0.45
/proc/17880/task/17882/stat : 17882 (java) S 17878 17880 17813 0 -1 64 15711 0 0 0 38 7 0 0 17 0 8 0 165607068 937394176 32426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17883] ppid=17878 vsize=915424 CPUtime=0
/proc/17880/task/17883/stat : 17883 (java) S 17878 17880 17813 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165607068 937394176 32426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17884] ppid=17878 vsize=915424 CPUtime=0
/proc/17880/task/17884/stat : 17884 (java) S 17878 17880 17813 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165607068 937394176 32426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17885] ppid=17878 vsize=915424 CPUtime=0
/proc/17880/task/17885/stat : 17885 (java) S 17878 17880 17813 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165607072 937394176 32426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17886] ppid=17878 vsize=915424 CPUtime=0.19
/proc/17880/task/17886/stat : 17886 (java) S 17878 17880 17813 0 -1 64 364 0 0 0 18 1 0 0 15 0 8 0 165607072 937394176 32426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17887] ppid=17878 vsize=915424 CPUtime=0
/proc/17880/task/17887/stat : 17887 (java) S 17878 17880 17813 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165607072 937394176 32426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17888] ppid=17878 vsize=915424 CPUtime=0
/proc/17880/task/17888/stat : 17888 (java) S 17878 17880 17813 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165607072 937394176 32426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915424
[startup+6.28418 s]
/proc/loadavg: 1.93 2.00 1.99 3/100 17888
/proc/meminfo: memFree=1443680/2055920 swapFree=4192812/4192956
[pid=17880] ppid=17878 vsize=915424 CPUtime=6.2
/proc/17880/stat : 17880 (java) R 17878 17880 17813 0 -1 0 32709 0 1 0 602 18 0 0 25 0 8 0 165607064 937394176 32441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073764657 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17880/statm: 228856 32441 2531 14 0 215326 0
[pid=17880/tid=17882] ppid=17878 vsize=915424 CPUtime=0.45
/proc/17880/task/17882/stat : 17882 (java) S 17878 17880 17813 0 -1 64 15711 0 0 0 38 7 0 0 17 0 8 0 165607068 937394176 32441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17883] ppid=17878 vsize=915424 CPUtime=0
/proc/17880/task/17883/stat : 17883 (java) S 17878 17880 17813 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165607068 937394176 32441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17884] ppid=17878 vsize=915424 CPUtime=0
/proc/17880/task/17884/stat : 17884 (java) S 17878 17880 17813 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165607068 937394176 32441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17885] ppid=17878 vsize=915424 CPUtime=0
/proc/17880/task/17885/stat : 17885 (java) S 17878 17880 17813 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165607072 937394176 32441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17886] ppid=17878 vsize=915424 CPUtime=0.23
/proc/17880/task/17886/stat : 17886 (java) S 17878 17880 17813 0 -1 64 379 0 0 0 22 1 0 0 15 0 8 0 165607072 937394176 32441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17887] ppid=17878 vsize=915424 CPUtime=0
/proc/17880/task/17887/stat : 17887 (java) S 17878 17880 17813 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165607072 937394176 32441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17888] ppid=17878 vsize=915424 CPUtime=0
/proc/17880/task/17888/stat : 17888 (java) S 17878 17880 17813 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165607072 937394176 32441 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915424
[startup+12.7267 s]
/proc/loadavg: 1.94 2.00 1.99 3/100 17888
/proc/meminfo: memFree=1443752/2055920 swapFree=4192812/4192956
[pid=17880] ppid=17878 vsize=915424 CPUtime=12.61
/proc/17880/stat : 17880 (java) R 17878 17880 17813 0 -1 0 32724 0 1 0 1242 19 0 0 25 0 8 0 165607064 937394176 32453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073770912 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17880/statm: 228856 32453 2531 14 0 215326 0
[pid=17880/tid=17882] ppid=17878 vsize=915424 CPUtime=0.45
/proc/17880/task/17882/stat : 17882 (java) S 17878 17880 17813 0 -1 64 15711 0 0 0 38 7 0 0 16 0 8 0 165607068 937394176 32453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17883] ppid=17878 vsize=915424 CPUtime=0
/proc/17880/task/17883/stat : 17883 (java) S 17878 17880 17813 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165607068 937394176 32453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17884] ppid=17878 vsize=915424 CPUtime=0
/proc/17880/task/17884/stat : 17884 (java) S 17878 17880 17813 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165607068 937394176 32453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17885] ppid=17878 vsize=915424 CPUtime=0
/proc/17880/task/17885/stat : 17885 (java) S 17878 17880 17813 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165607072 937394176 32453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17886] ppid=17878 vsize=915424 CPUtime=0.26
/proc/17880/task/17886/stat : 17886 (java) S 17878 17880 17813 0 -1 64 393 0 0 0 25 1 0 0 16 0 8 0 165607072 937394176 32453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17887] ppid=17878 vsize=915424 CPUtime=0
/proc/17880/task/17887/stat : 17887 (java) S 17878 17880 17813 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165607072 937394176 32453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17888] ppid=17878 vsize=915424 CPUtime=0
/proc/17880/task/17888/stat : 17888 (java) S 17878 17880 17813 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165607072 937394176 32453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915424
[startup+25.576 s]
/proc/loadavg: 1.95 2.00 1.99 3/100 17888
/proc/meminfo: memFree=1443944/2055920 swapFree=4192812/4192956
[pid=17880] ppid=17878 vsize=915424 CPUtime=25.4
/proc/17880/stat : 17880 (java) R 17878 17880 17813 0 -1 0 32724 0 1 0 2521 19 0 0 25 0 8 0 165607064 937394176 32453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17880/statm: 228856 32453 2531 14 0 215326 0
[pid=17880/tid=17882] ppid=17878 vsize=915424 CPUtime=0.45
/proc/17880/task/17882/stat : 17882 (java) S 17878 17880 17813 0 -1 64 15711 0 0 0 38 7 0 0 16 0 8 0 165607068 937394176 32453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17883] ppid=17878 vsize=915424 CPUtime=0
/proc/17880/task/17883/stat : 17883 (java) S 17878 17880 17813 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165607068 937394176 32453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17884] ppid=17878 vsize=915424 CPUtime=0
/proc/17880/task/17884/stat : 17884 (java) S 17878 17880 17813 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165607068 937394176 32453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17885] ppid=17878 vsize=915424 CPUtime=0
/proc/17880/task/17885/stat : 17885 (java) S 17878 17880 17813 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165607072 937394176 32453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17886] ppid=17878 vsize=915424 CPUtime=0.26
/proc/17880/task/17886/stat : 17886 (java) S 17878 17880 17813 0 -1 64 393 0 0 0 25 1 0 0 16 0 8 0 165607072 937394176 32453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17887] ppid=17878 vsize=915424 CPUtime=0
/proc/17880/task/17887/stat : 17887 (java) S 17878 17880 17813 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165607072 937394176 32453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17888] ppid=17878 vsize=915424 CPUtime=0
/proc/17880/task/17888/stat : 17888 (java) S 17878 17880 17813 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165607072 937394176 32453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 915424
[startup+51.1967 s]
/proc/loadavg: 1.96 2.00 1.99 3/100 17888
/proc/meminfo: memFree=1443944/2055920 swapFree=4192812/4192956
[pid=17880] ppid=17878 vsize=915424 CPUtime=50.9
/proc/17880/stat : 17880 (java) R 17878 17880 17813 0 -1 0 32724 0 1 0 5070 20 0 0 25 0 8 0 165607064 937394176 32453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073770864 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17880/statm: 228856 32453 2531 14 0 215326 0
[pid=17880/tid=17882] ppid=17878 vsize=915424 CPUtime=0.45
/proc/17880/task/17882/stat : 17882 (java) S 17878 17880 17813 0 -1 64 15711 0 0 0 38 7 0 0 16 0 8 0 165607068 937394176 32453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17883] ppid=17878 vsize=915424 CPUtime=0
/proc/17880/task/17883/stat : 17883 (java) S 17878 17880 17813 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165607068 937394176 32453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17884] ppid=17878 vsize=915424 CPUtime=0
/proc/17880/task/17884/stat : 17884 (java) S 17878 17880 17813 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165607068 937394176 32453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17885] ppid=17878 vsize=915424 CPUtime=0
/proc/17880/task/17885/stat : 17885 (java) S 17878 17880 17813 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165607072 937394176 32453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17886] ppid=17878 vsize=915424 CPUtime=0.26
/proc/17880/task/17886/stat : 17886 (java) S 17878 17880 17813 0 -1 64 393 0 0 0 25 1 0 0 16 0 8 0 165607072 937394176 32453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17887] ppid=17878 vsize=915424 CPUtime=0
/proc/17880/task/17887/stat : 17887 (java) S 17878 17880 17813 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165607072 937394176 32453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17888] ppid=17878 vsize=915424 CPUtime=0
/proc/17880/task/17888/stat : 17888 (java) S 17878 17880 17813 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165607072 937394176 32453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.9
Current children cumulated vsize (KiB) 915424
[startup+102.439 s]
/proc/loadavg: 1.98 2.00 1.99 3/100 17888
/proc/meminfo: memFree=1444008/2055920 swapFree=4192812/4192956
[pid=17880] ppid=17878 vsize=915424 CPUtime=101.9
/proc/17880/stat : 17880 (java) R 17878 17880 17813 0 -1 0 32725 0 1 0 10170 20 0 0 25 0 8 0 165607064 937394176 32453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918484 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17880/statm: 228856 32453 2531 14 0 215326 0
[pid=17880/tid=17882] ppid=17878 vsize=915424 CPUtime=0.45
/proc/17880/task/17882/stat : 17882 (java) S 17878 17880 17813 0 -1 64 15711 0 0 0 38 7 0 0 16 0 8 0 165607068 937394176 32453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17883] ppid=17878 vsize=915424 CPUtime=0
/proc/17880/task/17883/stat : 17883 (java) S 17878 17880 17813 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165607068 937394176 32453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17884] ppid=17878 vsize=915424 CPUtime=0
/proc/17880/task/17884/stat : 17884 (java) S 17878 17880 17813 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165607068 937394176 32453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17885] ppid=17878 vsize=915424 CPUtime=0
/proc/17880/task/17885/stat : 17885 (java) S 17878 17880 17813 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165607072 937394176 32453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17886] ppid=17878 vsize=915424 CPUtime=0.26
/proc/17880/task/17886/stat : 17886 (java) S 17878 17880 17813 0 -1 64 393 0 0 0 25 1 0 0 16 0 8 0 165607072 937394176 32453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17887] ppid=17878 vsize=915424 CPUtime=0
/proc/17880/task/17887/stat : 17887 (java) S 17878 17880 17813 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165607072 937394176 32453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17888] ppid=17878 vsize=915424 CPUtime=0
/proc/17880/task/17888/stat : 17888 (java) S 17878 17880 17813 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165607072 937394176 32453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.9
Current children cumulated vsize (KiB) 915424
[startup+162.527 s]
/proc/loadavg: 2.07 2.02 2.00 3/100 17888
/proc/meminfo: memFree=1444008/2055920 swapFree=4192812/4192956
[pid=17880] ppid=17878 vsize=915424 CPUtime=161.71
/proc/17880/stat : 17880 (java) R 17878 17880 17813 0 -1 0 32725 0 1 0 16151 20 0 0 25 0 8 0 165607064 937394176 32453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073629890 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1416.39
Current children cumulated vsize (KiB) 915424
[startup+1483.99 s]
/proc/loadavg: 2.04 2.01 2.00 3/102 18000
/proc/meminfo: memFree=1005136/2055920 swapFree=4192812/4192956
[pid=17880] ppid=17878 vsize=915424 CPUtime=1476.15
/proc/17880/stat : 17880 (java) R 17878 17880 17813 0 -1 0 32726 0 1 0 147584 31 0 0 25 0 8 0 165607064 937394176 32454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17880/statm: 228856 32454 2531 14 0 215326 0
[pid=17880/tid=17882] ppid=17878 vsize=915424 CPUtime=0.45
/proc/17880/task/17882/stat : 17882 (java) S 17878 17880 17813 0 -1 64 15711 0 0 0 38 7 0 0 16 0 8 0 165607068 937394176 32454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17883] ppid=17878 vsize=915424 CPUtime=0
/proc/17880/task/17883/stat : 17883 (java) S 17878 17880 17813 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165607068 937394176 32454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17884] ppid=17878 vsize=915424 CPUtime=0
/proc/17880/task/17884/stat : 17884 (java) S 17878 17880 17813 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165607068 937394176 32454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17885] ppid=17878 vsize=915424 CPUtime=0
/proc/17880/task/17885/stat : 17885 (java) S 17878 17880 17813 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165607072 937394176 32454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17886] ppid=17878 vsize=915424 CPUtime=0.26
/proc/17880/task/17886/stat : 17886 (java) S 17878 17880 17813 0 -1 64 394 0 0 0 25 1 0 0 16 0 8 0 165607072 937394176 32454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17880/tid=17887] ppid=17878 vsize=915424 CPUtime=0
/proc/17880/task/17887/stat : 17887 (java) S 17878 17880 17813 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165607072 937394176 32454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17888] ppid=17878 vsize=915424 CPUtime=0
/proc/17880/task/17888/stat : 17888 (java) S 17878 17880 17813 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165607072 937394176 32454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1476.15
Current children cumulated vsize (KiB) 915424
[startup+1543.99 s]
/proc/loadavg: 2.01 2.01 2.00 3/102 18000
/proc/meminfo: memFree=1005136/2055920 swapFree=4192812/4192956
[pid=17880] ppid=17878 vsize=915424 CPUtime=1535.83
/proc/17880/stat : 17880 (java) R 17878 17880 17813 0 -1 0 32726 0 1 0 153552 31 0 0 25 0 8 0 165607064 937394176 32454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17880/statm: 228856 32454 2531 14 0 215326 0
[pid=17880/tid=17882] ppid=17878 vsize=915424 CPUtime=0.45
/proc/17880/task/17882/stat : 17882 (java) S 17878 17880 17813 0 -1 64 15711 0 0 0 38 7 0 0 16 0 8 0 165607068 937394176 32454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17883] ppid=17878 vsize=915424 CPUtime=0
/proc/17880/task/17883/stat : 17883 (java) S 17878 17880 17813 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165607068 937394176 32454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17884] ppid=17878 vsize=915424 CPUtime=0
/proc/17880/task/17884/stat : 17884 (java) S 17878 17880 17813 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165607068 937394176 32454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17885] ppid=17878 vsize=915424 CPUtime=0
/proc/17880/task/17885/stat : 17885 (java) S 17878 17880 17813 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165607072 937394176 32454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17886] ppid=17878 vsize=915424 CPUtime=0.26
/proc/17880/task/17886/stat : 17886 (java) S 17878 17880 17813 0 -1 64 394 0 0 0 25 1 0 0 16 0 8 0 165607072 937394176 32454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17880/tid=17887] ppid=17878 vsize=915424 CPUtime=0
/proc/17880/task/17887/stat : 17887 (java) S 17878 17880 17813 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165607072 937394176 32454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17888] ppid=17878 vsize=915424 CPUtime=0
/proc/17880/task/17888/stat : 17888 (java) S 17878 17880 17813 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165607072 937394176 32454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1535.83
Current children cumulated vsize (KiB) 915424
[startup+1603.99 s]
/proc/loadavg: 2.00 2.00 2.00 3/102 18000
/proc/meminfo: memFree=1005136/2055920 swapFree=4192812/4192956
[pid=17880] ppid=17878 vsize=915424 CPUtime=1595.5
/proc/17880/stat : 17880 (java) R 17878 17880 17813 0 -1 0 32726 0 1 0 159518 32 0 0 25 0 8 0 165607064 937394176 32454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073761076 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17880/statm: 228856 32454 2531 14 0 215326 0
[pid=17880/tid=17882] ppid=17878 vsize=915424 CPUtime=0.45
/proc/17880/task/17882/stat : 17882 (java) S 17878 17880 17813 0 -1 64 15711 0 0 0 38 7 0 0 16 0 8 0 165607068 937394176 32454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17883] ppid=17878 vsize=915424 CPUtime=0
/proc/17880/task/17883/stat : 17883 (java) S 17878 17880 17813 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165607068 937394176 32454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17884] ppid=17878 vsize=915424 CPUtime=0
/proc/17880/task/17884/stat : 17884 (java) S 17878 17880 17813 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165607068 937394176 32454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17885] ppid=17878 vsize=915424 CPUtime=0
/proc/17880/task/17885/stat : 17885 (java) S 17878 17880 17813 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165607072 937394176 32454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17886] ppid=17878 vsize=915424 CPUtime=0.26
/proc/17880/task/17886/stat : 17886 (java) S 17878 17880 17813 0 -1 64 394 0 0 0 25 1 0 0 16 0 8 0 165607072 937394176 32454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17880/tid=17887] ppid=17878 vsize=915424 CPUtime=0
/proc/17880/task/17887/stat : 17887 (java) S 17878 17880 17813 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165607072 937394176 32454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17888] ppid=17878 vsize=915424 CPUtime=0
/proc/17880/task/17888/stat : 17888 (java) S 17878 17880 17813 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165607072 937394176 32454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1595.5
Current children cumulated vsize (KiB) 915424
[startup+1664.09 s]
/proc/loadavg: 2.00 2.00 2.00 3/102 18000
/proc/meminfo: memFree=1005072/2055920 swapFree=4192812/4192956
[pid=17880] ppid=17878 vsize=915424 CPUtime=1655.25
/proc/17880/stat : 17880 (java) R 17878 17880 17813 0 -1 0 32726 0 1 0 165493 32 0 0 25 0 8 0 165607064 937394176 32454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634819 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17880/statm: 228856 32454 2531 14 0 215326 0
[pid=17880/tid=17882] ppid=17878 vsize=915424 CPUtime=0.45
/proc/17880/task/17882/stat : 17882 (java) S 17878 17880 17813 0 -1 64 15711 0 0 0 38 7 0 0 16 0 8 0 165607068 937394176 32454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17883] ppid=17878 vsize=915424 CPUtime=0
/proc/17880/task/17883/stat : 17883 (java) S 17878 17880 17813 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165607068 937394176 32454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17884] ppid=17878 vsize=915424 CPUtime=0
/proc/17880/task/17884/stat : 17884 (java) S 17878 17880 17813 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165607068 937394176 32454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17885] ppid=17878 vsize=915424 CPUtime=0
/proc/17880/task/17885/stat : 17885 (java) S 17878 17880 17813 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165607072 937394176 32454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17886] ppid=17878 vsize=915424 CPUtime=0.26
/proc/17880/task/17886/stat : 17886 (java) S 17878 17880 17813 0 -1 64 394 0 0 0 25 1 0 0 16 0 8 0 165607072 937394176 32454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17880/tid=17887] ppid=17878 vsize=915424 CPUtime=0
/proc/17880/task/17887/stat : 17887 (java) S 17878 17880 17813 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165607072 937394176 32454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17888] ppid=17878 vsize=915424 CPUtime=0
/proc/17880/task/17888/stat : 17888 (java) S 17878 17880 17813 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165607072 937394176 32454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1655.25
Current children cumulated vsize (KiB) 915424
[startup+1724.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/102 18000
/proc/meminfo: memFree=1005072/2055920 swapFree=4192812/4192956
[pid=17880] ppid=17878 vsize=915424 CPUtime=1715.04
/proc/17880/stat : 17880 (java) R 17878 17880 17813 0 -1 0 32726 0 1 0 171472 32 0 0 25 0 8 0 165607064 937394176 32454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073809994 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17880/statm: 228856 32454 2531 14 0 215326 0
[pid=17880/tid=17882] ppid=17878 vsize=915424 CPUtime=0.45
/proc/17880/task/17882/stat : 17882 (java) S 17878 17880 17813 0 -1 64 15711 0 0 0 38 7 0 0 16 0 8 0 165607068 937394176 32454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17883] ppid=17878 vsize=915424 CPUtime=0
/proc/17880/task/17883/stat : 17883 (java) S 17878 17880 17813 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165607068 937394176 32454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17884] ppid=17878 vsize=915424 CPUtime=0
/proc/17880/task/17884/stat : 17884 (java) S 17878 17880 17813 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165607068 937394176 32454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17885] ppid=17878 vsize=915424 CPUtime=0
/proc/17880/task/17885/stat : 17885 (java) S 17878 17880 17813 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165607072 937394176 32454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17886] ppid=17878 vsize=915424 CPUtime=0.26
/proc/17880/task/17886/stat : 17886 (java) S 17878 17880 17813 0 -1 64 394 0 0 0 25 1 0 0 16 0 8 0 165607072 937394176 32454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17880/tid=17887] ppid=17878 vsize=915424 CPUtime=0
/proc/17880/task/17887/stat : 17887 (java) S 17878 17880 17813 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165607072 937394176 32454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17888] ppid=17878 vsize=915424 CPUtime=0
/proc/17880/task/17888/stat : 17888 (java) S 17878 17880 17813 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165607072 937394176 32454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1715.04
Current children cumulated vsize (KiB) 915424
[startup+1784.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/102 18000
/proc/meminfo: memFree=1005008/2055920 swapFree=4192812/4192956
[pid=17880] ppid=17878 vsize=915424 CPUtime=1774.82
/proc/17880/stat : 17880 (java) R 17878 17880 17813 0 -1 0 32726 0 1 0 177449 33 0 0 25 0 8 0 165607064 937394176 32454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073775050 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17880/statm: 228856 32454 2531 14 0 215326 0
[pid=17880/tid=17882] ppid=17878 vsize=915424 CPUtime=0.45
/proc/17880/task/17882/stat : 17882 (java) S 17878 17880 17813 0 -1 64 15711 0 0 0 38 7 0 0 16 0 8 0 165607068 937394176 32454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17883] ppid=17878 vsize=915424 CPUtime=0
/proc/17880/task/17883/stat : 17883 (java) S 17878 17880 17813 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165607068 937394176 32454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17884] ppid=17878 vsize=915424 CPUtime=0
/proc/17880/task/17884/stat : 17884 (java) S 17878 17880 17813 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165607068 937394176 32454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17885] ppid=17878 vsize=915424 CPUtime=0
/proc/17880/task/17885/stat : 17885 (java) S 17878 17880 17813 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165607072 937394176 32454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17886] ppid=17878 vsize=915424 CPUtime=0.26
/proc/17880/task/17886/stat : 17886 (java) S 17878 17880 17813 0 -1 64 394 0 0 0 25 1 0 0 16 0 8 0 165607072 937394176 32454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17880/tid=17887] ppid=17878 vsize=915424 CPUtime=0
/proc/17880/task/17887/stat : 17887 (java) S 17878 17880 17813 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165607072 937394176 32454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17888] ppid=17878 vsize=915424 CPUtime=0
/proc/17880/task/17888/stat : 17888 (java) S 17878 17880 17813 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165607072 937394176 32454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1774.82
Current children cumulated vsize (KiB) 915424
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1809.72 s]
/proc/loadavg: 2.03 2.01 2.00 3/102 18000
/proc/meminfo: memFree=1005008/2055920 swapFree=4192812/4192956
[pid=17880] ppid=17878 vsize=915424 CPUtime=1800.09
/proc/17880/stat : 17880 (java) R 17878 17880 17813 0 -1 0 32726 0 1 0 179976 33 0 0 25 0 8 0 165607064 937394176 32454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17880/statm: 228856 32454 2531 14 0 215326 0
[pid=17880/tid=17882] ppid=17878 vsize=915424 CPUtime=0.45
/proc/17880/task/17882/stat : 17882 (java) S 17878 17880 17813 0 -1 64 15711 0 0 0 38 7 0 0 16 0 8 0 165607068 937394176 32454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17883] ppid=17878 vsize=915424 CPUtime=0
/proc/17880/task/17883/stat : 17883 (java) S 17878 17880 17813 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165607068 937394176 32454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17884] ppid=17878 vsize=915424 CPUtime=0
/proc/17880/task/17884/stat : 17884 (java) S 17878 17880 17813 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165607068 937394176 32454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17885] ppid=17878 vsize=915424 CPUtime=0
/proc/17880/task/17885/stat : 17885 (java) S 17878 17880 17813 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165607072 937394176 32454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17886] ppid=17878 vsize=915424 CPUtime=0.26
/proc/17880/task/17886/stat : 17886 (java) S 17878 17880 17813 0 -1 64 394 0 0 0 25 1 0 0 16 0 8 0 165607072 937394176 32454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17880/tid=17887] ppid=17878 vsize=915424 CPUtime=0
/proc/17880/task/17887/stat : 17887 (java) S 17878 17880 17813 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 165607072 937394176 32454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17880/tid=17888] ppid=17878 vsize=915424 CPUtime=0
/proc/17880/task/17888/stat : 17888 (java) S 17878 17880 17813 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165607072 937394176 32454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 915424
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1809.77
CPU time (s): 1800.14
CPU user time (s): 1799.78
CPU system time (s): 0.352946
CPU usage (%): 99.4677
Max. virtual memory (cumulated for all children) (KiB): 915428
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.78
system time used= 0.352946
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32743
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= 37736
involuntary context switches= 72162
runsolver used 2.12668 s user time and 5.8831 s system time
The end
Begin job on node17 on Sun Jan 7 12:15:23 UTC 2007
IDJOB= 206358
IDBENCH= 4202
FILE ID= node17/206358-1168172122
PBS_JOBID= 3478842
Free space on /tmp= 66314 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28/rand-3-28-28-93-632-4_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206358-1168172122/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-206358-1168172122 -o ROOT/results/node17/solver-206358-1168172122 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206358-1168172122/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 3652fdb3fb234ab3889feb85b4be14d3
RANDOM SEED= 132743073
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.236
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.236
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1564472 kB
Buffers: 57296 kB
Cached: 194372 kB
SwapCached: 0 kB
Active: 274884 kB
Inactive: 154332 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1564472 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 7676 kB
Writeback: 0 kB
Mapped: 206608 kB
Slab: 46824 kB
Committed_AS: 5145416 kB
PageTables: 2520 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= 66312 MiB
End job on node17 on Sun Jan 7 12:45:33 UTC 2007