0.37
0.37 Abscon 109 (November, 2006)
0.37
0.37 configuration
0.37 name=mac.xml
0.41
0.41 instance
0.41 name=/tmp/evaluation/206580-1168073838/unknown.xml
0.44
0.44 domains being loaded...
0.44
0.44 variables being loaded...
0.48 nbVariables=28 nbDomainTypes=1 minDomainSize=28 maxDomainSize=28
0.48 => wckTime=0.101 cpuTime=0.09 mem=6M951
0.48
0.48 relations being loaded...
1.64
1.64 constraints being loaded...
2.39 nbConstraints=91 nbRelationTypes=93 nbMergedConstraints=2 nbExtensionStructures=91
2.39 nbSharedExtensionStructures=0 nbConflictsStructures=91 nbSharedConflictsStructures=0
2.40 nbSharedBinaryRepresentations=0 maxDegree=14 maxArity=3
2.40 => wckTime=2.019 cpuTime=1.61 mem=56M985
2.55
2.55 solver IterativeSystematicSolver being built...
2.72 => wckTime=2.349 cpuTime=1.75 mem=65M75
2.73
2.73 preprocessing
2.73 nbConstraintChecks=0 nbPropagations=28 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
2.73 detectedInconsistency=no
2.73 => wckTime=0.0040 cpuTime=0.0 mem=65M75
2.90
2.90 search
2.90 run=0 nbConstraintChecks=57617 nbValidityChecks=100404 nbPropagations=466 nbRevisions=5578
2.90 nbUselessRevisions=4501 nbAssignments=43 nbFailedAssignments=23 nbBacktracks=12 nbVisitedNodes=75
2.90 nbRestartNogoods=0 mapSize=11 nbInferences=0 nbTooLargeKeys=0
2.90 => wckTime=0.173 cpuTime=0.13 mem=65M75
3.01
3.01 search
3.01 run=1 nbConstraintChecks=112765 nbValidityChecks=205847 nbPropagations=1408 nbRevisions=16971
3.01 nbUselessRevisions=13686 nbAssignments=81 nbFailedAssignments=39 nbBacktracks=28 nbVisitedNodes=142
3.01 nbRestartNogoods=5 mapSize=25 nbInferences=0 nbTooLargeKeys=0
3.01 => wckTime=0.288 cpuTime=0.24 mem=65M75
3.18
3.18 search
3.18 run=2 nbConstraintChecks=202639 nbValidityChecks=378109 nbPropagations=3166 nbRevisions=38789
3.18 nbUselessRevisions=31132 nbAssignments=151 nbFailedAssignments=78 nbBacktracks=50 nbVisitedNodes=262
3.18 nbRestartNogoods=6 mapSize=39 nbInferences=0 nbTooLargeKeys=0
3.18 => wckTime=0.456 cpuTime=0.4 mem=65M75
3.35
3.35 search
3.35 run=3 nbConstraintChecks=303623 nbValidityChecks=575487 nbPropagations=5856 nbRevisions=71563
3.35 nbUselessRevisions=57408 nbAssignments=237 nbFailedAssignments=123 nbBacktracks=84 nbVisitedNodes=413
3.35 nbRestartNogoods=15 mapSize=64 nbInferences=0 nbTooLargeKeys=0
3.35 => wckTime=0.625 cpuTime=0.57 mem=65M75
3.77
3.77 search
3.77 run=4 nbConstraintChecks=551876 nbValidityChecks=1078858 nbPropagations=10442 nbRevisions=128860
3.77 nbUselessRevisions=103506 nbAssignments=398 nbFailedAssignments=228 nbBacktracks=134 nbVisitedNodes=717
3.77 nbRestartNogoods=22 mapSize=109 nbInferences=0 nbTooLargeKeys=0
3.77 => wckTime=1.045 cpuTime=0.97 mem=66M67
4.16
4.16 search
4.16 run=5 nbConstraintChecks=787783 nbValidityChecks=1536978 nbPropagations=17051 nbRevisions=212051
4.16 nbUselessRevisions=170651 nbAssignments=582 nbFailedAssignments=331 nbBacktracks=209 nbVisitedNodes=1051
4.16 nbRestartNogoods=25 mapSize=172 nbInferences=0 nbTooLargeKeys=0
4.16 => wckTime=1.438 cpuTime=1.37 mem=66M67
4.84
4.84 search
4.84 run=6 nbConstraintChecks=1203078 nbValidityChecks=2344190 nbPropagations=27029 nbRevisions=339659
4.84 nbUselessRevisions=273773 nbAssignments=863 nbFailedAssignments=490 nbBacktracks=323 nbVisitedNodes=1567
4.84 nbRestartNogoods=29 mapSize=269 nbInferences=0 nbTooLargeKeys=0
4.84 => wckTime=2.112 cpuTime=2.04 mem=66M67
5.92
5.92 search
5.92 run=7 nbConstraintChecks=1840903 nbValidityChecks=3603257 nbPropagations=42314 nbRevisions=535010
5.92 nbUselessRevisions=431242 nbAssignments=1304 nbFailedAssignments=756 nbBacktracks=494 nbVisitedNodes=2378
5.92 nbRestartNogoods=36 mapSize=418 nbInferences=0 nbTooLargeKeys=0
5.92 => wckTime=3.191 cpuTime=3.1 mem=66M67
7.33
7.33 search
7.33 run=8 nbConstraintChecks=2691449 nbValidityChecks=5267482 nbPropagations=65041 nbRevisions=821642
7.33 nbUselessRevisions=662578 nbAssignments=1942 nbFailedAssignments=1132 nbBacktracks=750 nbVisitedNodes=3542
7.33 nbRestartNogoods=42 mapSize=622 nbInferences=0 nbTooLargeKeys=0
7.33 => wckTime=4.6 cpuTime=4.47 mem=66M67
9.16
9.16 search
9.16 run=9 nbConstraintChecks=3811898 nbValidityChecks=7486529 nbPropagations=98105 nbRevisions=1235448
9.16 nbUselessRevisions=995931 nbAssignments=2756 nbFailedAssignments=1554 nbBacktracks=1134 nbVisitedNodes=5022
9.16 nbRestartNogoods=56 mapSize=960 nbInferences=0 nbTooLargeKeys=0
9.16 => wckTime=6.43 cpuTime=6.28 mem=66M67
9.56
9.56 INFO : Stopping hyperNogood (mapSize=1012, nbTooLargekeys=0, mem=66M67)
12.12
12.12 search
12.12 run=10 nbConstraintChecks=5671397 nbValidityChecks=11166799 nbPropagations=147959 nbRevisions=1857650
12.12 nbUselessRevisions=1498287 nbAssignments=4137 nbFailedAssignments=2353 nbBacktracks=1711 nbVisitedNodes=7552
12.12 nbRestartNogoods=63
12.12 => wckTime=9.391 cpuTime=9.2 mem=66M67
16.01
16.01 search
16.01 run=11 nbConstraintChecks=8063855 nbValidityChecks=15884673 nbPropagations=219318 nbRevisions=2747175
16.01 nbUselessRevisions=2216499 nbAssignments=5940 nbFailedAssignments=3284 nbBacktracks=2576 nbVisitedNodes=10773
16.01 nbRestartNogoods=70
16.01 => wckTime=13.287 cpuTime=13.06 mem=66M67
23.46
23.47 search
23.47 run=12 nbConstraintChecks=12559905 nbValidityChecks=24923345 nbPropagations=329619 nbRevisions=4135191
23.47 nbUselessRevisions=3334138 nbAssignments=9032 nbFailedAssignments=5070 nbBacktracks=3875 nbVisitedNodes=16529
23.47 nbRestartNogoods=78
23.47 => wckTime=20.738 cpuTime=20.45 mem=66M67
31.91
31.91 search
31.91 run=13 nbConstraintChecks=17825679 nbValidityChecks=35294824 nbPropagations=491081 nbRevisions=6158829
31.91 nbUselessRevisions=4967477 nbAssignments=13352 nbFailedAssignments=7437 nbBacktracks=5823 nbVisitedNodes=24349
31.91 nbRestartNogoods=90
31.91 => wckTime=29.18 cpuTime=28.81 mem=66M67
46.45
46.45 search
46.45 run=14 nbConstraintChecks=26700105 nbValidityChecks=52641156 nbPropagations=726106 nbRevisions=9112800
46.45 nbUselessRevisions=7348404 nbAssignments=19508 nbFailedAssignments=10668 nbBacktracks=8742 nbVisitedNodes=35454
46.45 nbRestartNogoods=99
46.45 => wckTime=43.719 cpuTime=43.21 mem=66M67
69.46
69.46 search
69.46 run=15 nbConstraintChecks=40999562 nbValidityChecks=80561479 nbPropagations=1090132 nbRevisions=13672441
69.46 nbUselessRevisions=11026403 nbAssignments=29572 nbFailedAssignments=16348 nbBacktracks=13121
69.46 nbVisitedNodes=53954 nbRestartNogoods=113
69.46 => wckTime=66.737 cpuTime=66.01 mem=66M67
103.72
103.72 search
103.72 run=16 nbConstraintChecks=61726463 nbValidityChecks=122429587 nbPropagations=1644629 nbRevisions=20610556
103.72 nbUselessRevisions=16611136 nbAssignments=44972 nbFailedAssignments=25171 nbBacktracks=19690
103.72 nbVisitedNodes=82253 nbRestartNogoods=122
103.72 => wckTime=100.998 cpuTime=99.97 mem=66M67
154.25
154.25 search
154.25 run=17 nbConstraintChecks=93572512 nbValidityChecks=185812840 nbPropagations=2491739 nbRevisions=31339192
154.25 nbUselessRevisions=25263139 nbAssignments=69508 nbFailedAssignments=39848 nbBacktracks=29542
154.25 nbVisitedNodes=127592 nbRestartNogoods=132
154.25 => wckTime=151.524 cpuTime=150.03 mem=66M67
231.70
231.70 search
231.70 run=18 nbConstraintChecks=141963868 nbValidityChecks=279432620 nbPropagations=3744684 nbRevisions=47264589
231.70 nbUselessRevisions=38084089 nbAssignments=101597 nbFailedAssignments=57149 nbBacktracks=44324
231.70 nbVisitedNodes=185512 nbRestartNogoods=154
231.70 => wckTime=228.974 cpuTime=226.71 mem=66M67
341.18
341.18 search
341.18 run=19 nbConstraintChecks=208975336 nbValidityChecks=410518853 nbPropagations=5592276 nbRevisions=70286251
341.18 nbUselessRevisions=56619169 nbAssignments=151014 nbFailedAssignments=84392 nbBacktracks=66493
341.18 nbVisitedNodes=274202 nbRestartNogoods=167
341.18 => wckTime=338.452 cpuTime=335.06 mem=66M67
516.46
516.46 search
516.46 run=20 nbConstraintChecks=315316063 nbValidityChecks=624405417 nbPropagations=8421730 nbRevisions=105647947
516.46 nbUselessRevisions=85013970 nbAssignments=226991 nbFailedAssignments=127109 nbBacktracks=99745
516.46 nbVisitedNodes=414875 nbRestartNogoods=190
516.46 => wckTime=513.735 cpuTime=508.75 mem=66M67
766.64
766.64 search
766.64 run=21 nbConstraintChecks=471151549 nbValidityChecks=932161103 nbPropagations=12659532 nbRevisions=158647767
766.64 nbUselessRevisions=127661152 nbAssignments=340155 nbFailedAssignments=190388 nbBacktracks=149624
766.64 nbVisitedNodes=621555 nbRestartNogoods=207
766.64 => wckTime=763.917 cpuTime=756.64 mem=66M67
1134.51
1134.51 search
1134.51 run=22 nbConstraintChecks=695646782 nbValidityChecks=1380903163 nbPropagations=18909413 nbRevisions=236762204
1134.51 nbUselessRevisions=190498630 nbAssignments=509268 nbFailedAssignments=284675 nbBacktracks=224444
1134.51 nbVisitedNodes=929156 nbRestartNogoods=230
1134.51 => wckTime=1131.779 cpuTime=1121.35 mem=66M67
1664.44
1664.44 search
1664.44 run=23 nbConstraintChecks=1051279139 nbValidityChecks=2078816814 nbPropagations=28360215 nbRevisions=355129477
1664.44 nbUselessRevisions=285888640 nbAssignments=772476 nbFailedAssignments=435650 nbBacktracks=336671
1664.44 nbVisitedNodes=1411768 nbRestartNogoods=254
1664.44 => wckTime=1661.713 cpuTime=1650.81 mem=66M67
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node7/watcher-206580-1168073838 -o ROOT/results/node7/solver-206580-1168073838 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206580-1168073838/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.99 2.01 1.95 4/93 17768
/proc/meminfo: memFree=1360928/2055920 swapFree=4192812/4192956
[pid=17767] ppid=17765 vsize=18540 CPUtime=0
/proc/17767/stat : 17767 (runsolver) R 17765 17767 17700 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155779244 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 244671114535 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/17767/statm: 4635 279 244 17 0 2626 0
[startup+0.103009 s]
/proc/loadavg: 1.99 2.01 1.95 4/93 17768
/proc/meminfo: memFree=1360928/2055920 swapFree=4192812/4192956
[pid=17767] ppid=17765 vsize=907676 CPUtime=0.03
/proc/17767/stat : 17767 (java) R 17765 17767 17700 0 -1 0 2264 0 1 0 3 0 0 0 16 0 4 0 155779244 929460224 2011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4160643169 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/17767/statm: 226919 2011 1137 14 0 214502 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 907676
[startup+0.51105 s]
/proc/loadavg: 1.99 2.01 1.95 4/93 17768
/proc/meminfo: memFree=1360928/2055920 swapFree=4192812/4192956
[pid=17767] ppid=17765 vsize=915328 CPUtime=0.43
/proc/17767/stat : 17767 (java) R 17765 17767 17700 0 -1 0 6366 0 1 0 40 3 0 0 18 0 8 0 155779244 937295872 6105 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073583136 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17767/statm: 228832 6105 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 915328
[startup+1.33214 s]
/proc/loadavg: 1.99 2.01 1.95 3/100 17775
/proc/meminfo: memFree=1293864/2055920 swapFree=4192812/4192956
[pid=17767] ppid=17765 vsize=915328 CPUtime=1.25
/proc/17767/stat : 17767 (java) R 17765 17767 17700 0 -1 0 19099 0 1 0 117 8 0 0 24 0 8 0 155779244 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073456067 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17767/statm: 228832 18837 2149 14 0 215302 0
[pid=17767/tid=17769] ppid=17765 vsize=915328 CPUtime=0.05
/proc/17767/task/17769/stat : 17769 (java) S 17765 17767 17700 0 -1 64 2681 0 0 0 5 0 0 0 17 0 8 0 155779253 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17770] ppid=17765 vsize=915328 CPUtime=0
/proc/17767/task/17770/stat : 17770 (java) S 17765 17767 17700 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155779254 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17771] ppid=17765 vsize=915328 CPUtime=0
/proc/17767/task/17771/stat : 17771 (java) S 17765 17767 17700 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155779254 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17772] ppid=17765 vsize=915328 CPUtime=0
/proc/17767/task/17772/stat : 17772 (java) S 17765 17767 17700 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155779257 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17773] ppid=17765 vsize=915328 CPUtime=0.08
/proc/17767/task/17773/stat : 17773 (java) S 17765 17767 17700 0 -1 64 308 0 0 0 8 0 0 0 16 0 8 0 155779257 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17774] ppid=17765 vsize=915328 CPUtime=0
/proc/17767/task/17774/stat : 17774 (java) S 17765 17767 17700 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155779257 937295872 18837 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17775] ppid=17765 vsize=915328 CPUtime=0
/proc/17767/task/17775/stat : 17775 (java) S 17765 17767 17700 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155779257 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.25
Current children cumulated vsize (KiB) 915328
[startup+2.97131 s]
/proc/loadavg: 1.99 2.01 1.95 4/100 17775
/proc/meminfo: memFree=1260136/2055920 swapFree=4192812/4192956
[pid=17767] ppid=17765 vsize=915440 CPUtime=2.87
/proc/17767/stat : 17767 (java) R 17765 17767 17700 0 -1 0 32426 0 1 0 272 15 0 0 25 0 8 0 155779244 937410560 32160 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073812071 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17767/statm: 228860 32160 2521 14 0 215330 0
[pid=17767/tid=17769] ppid=17765 vsize=915440 CPUtime=0.44
/proc/17767/task/17769/stat : 17769 (java) S 17765 17767 17700 0 -1 64 15453 0 0 0 38 6 0 0 16 0 8 0 155779253 937410560 32160 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17770] ppid=17765 vsize=915440 CPUtime=0
/proc/17767/task/17770/stat : 17770 (java) S 17765 17767 17700 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155779254 937410560 32160 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17771] ppid=17765 vsize=915440 CPUtime=0
/proc/17767/task/17771/stat : 17771 (java) S 17765 17767 17700 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155779254 937410560 32160 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17772] ppid=17765 vsize=915440 CPUtime=0
/proc/17767/task/17772/stat : 17772 (java) S 17765 17767 17700 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155779257 937410560 32160 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17773] ppid=17765 vsize=915440 CPUtime=0.21
/proc/17767/task/17773/stat : 17773 (java) S 17765 17767 17700 0 -1 64 373 0 0 0 20 1 0 0 15 0 8 0 155779257 937410560 32160 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17774] ppid=17765 vsize=915440 CPUtime=0
/proc/17767/task/17774/stat : 17774 (java) S 17765 17767 17700 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155779257 937410560 32160 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17775] ppid=17765 vsize=915440 CPUtime=0
/proc/17767/task/17775/stat : 17775 (java) S 17765 17767 17700 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155779257 937410560 32160 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 915440
[startup+6.26966 s]
/proc/loadavg: 1.99 2.01 1.95 3/100 17775
/proc/meminfo: memFree=1241768/2055920 swapFree=4192812/4192956
[pid=17767] ppid=17765 vsize=915440 CPUtime=6.13
/proc/17767/stat : 17767 (java) R 17765 17767 17700 0 -1 0 32441 0 1 0 598 15 0 0 25 0 8 0 155779244 937410560 32172 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073806528 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17767/statm: 228860 32172 2521 14 0 215330 0
[pid=17767/tid=17769] ppid=17765 vsize=915440 CPUtime=0.44
/proc/17767/task/17769/stat : 17769 (java) S 17765 17767 17700 0 -1 64 15453 0 0 0 38 6 0 0 17 0 8 0 155779253 937410560 32172 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17770] ppid=17765 vsize=915440 CPUtime=0
/proc/17767/task/17770/stat : 17770 (java) S 17765 17767 17700 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155779254 937410560 32172 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17771] ppid=17765 vsize=915440 CPUtime=0
/proc/17767/task/17771/stat : 17771 (java) S 17765 17767 17700 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155779254 937410560 32172 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17772] ppid=17765 vsize=915440 CPUtime=0
/proc/17767/task/17772/stat : 17772 (java) S 17765 17767 17700 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155779257 937410560 32172 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17773] ppid=17765 vsize=915440 CPUtime=0.24
/proc/17767/task/17773/stat : 17773 (java) S 17765 17767 17700 0 -1 64 386 0 0 0 23 1 0 0 15 0 8 0 155779257 937410560 32172 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17774] ppid=17765 vsize=915440 CPUtime=0
/proc/17767/task/17774/stat : 17774 (java) S 17765 17767 17700 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155779257 937410560 32172 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17775] ppid=17765 vsize=915440 CPUtime=0
/proc/17767/task/17775/stat : 17775 (java) S 17765 17767 17700 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155779257 937410560 32172 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 915440
[startup+12.7483 s]
/proc/loadavg: 1.99 2.01 1.95 3/100 17775
/proc/meminfo: memFree=1241832/2055920 swapFree=4192812/4192956
[pid=17767] ppid=17765 vsize=915440 CPUtime=12.55
/proc/17767/stat : 17767 (java) R 17765 17767 17700 0 -1 0 32459 0 1 0 1240 15 0 0 25 0 8 0 155779244 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073629987 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17767/statm: 228860 32187 2521 14 0 215330 0
[pid=17767/tid=17769] ppid=17765 vsize=915440 CPUtime=0.44
/proc/17767/task/17769/stat : 17769 (java) S 17765 17767 17700 0 -1 64 15453 0 0 0 38 6 0 0 16 0 8 0 155779253 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17770] ppid=17765 vsize=915440 CPUtime=0
/proc/17767/task/17770/stat : 17770 (java) S 17765 17767 17700 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155779254 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17771] ppid=17765 vsize=915440 CPUtime=0
/proc/17767/task/17771/stat : 17771 (java) S 17765 17767 17700 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155779254 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17772] ppid=17765 vsize=915440 CPUtime=0
/proc/17767/task/17772/stat : 17772 (java) S 17765 17767 17700 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155779257 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17773] ppid=17765 vsize=915440 CPUtime=0.27
/proc/17767/task/17773/stat : 17773 (java) S 17765 17767 17700 0 -1 64 403 0 0 0 26 1 0 0 16 0 8 0 155779257 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17774] ppid=17765 vsize=915440 CPUtime=0
/proc/17767/task/17774/stat : 17774 (java) S 17765 17767 17700 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155779257 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17775] ppid=17765 vsize=915440 CPUtime=0
/proc/17767/task/17775/stat : 17775 (java) S 17765 17767 17700 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155779257 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 915440
[startup+25.6337 s]
/proc/loadavg: 1.99 2.01 1.95 3/100 17775
/proc/meminfo: memFree=1242024/2055920 swapFree=4192812/4192956
[pid=17767] ppid=17765 vsize=915440 CPUtime=25.32
/proc/17767/stat : 17767 (java) R 17765 17767 17700 0 -1 0 32459 0 1 0 2517 15 0 0 25 0 8 0 155779244 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073630009 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17767/statm: 228860 32187 2521 14 0 215330 0
[pid=17767/tid=17769] ppid=17765 vsize=915440 CPUtime=0.44
/proc/17767/task/17769/stat : 17769 (java) S 17765 17767 17700 0 -1 64 15453 0 0 0 38 6 0 0 16 0 8 0 155779253 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17770] ppid=17765 vsize=915440 CPUtime=0
/proc/17767/task/17770/stat : 17770 (java) S 17765 17767 17700 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155779254 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17771] ppid=17765 vsize=915440 CPUtime=0
/proc/17767/task/17771/stat : 17771 (java) S 17765 17767 17700 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155779254 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17772] ppid=17765 vsize=915440 CPUtime=0
/proc/17767/task/17772/stat : 17772 (java) S 17765 17767 17700 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155779257 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17773] ppid=17765 vsize=915440 CPUtime=0.27
/proc/17767/task/17773/stat : 17773 (java) S 17765 17767 17700 0 -1 64 403 0 0 0 26 1 0 0 16 0 8 0 155779257 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17774] ppid=17765 vsize=915440 CPUtime=0
/proc/17767/task/17774/stat : 17774 (java) S 17765 17767 17700 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155779257 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17775] ppid=17765 vsize=915440 CPUtime=0
/proc/17767/task/17775/stat : 17775 (java) S 17765 17767 17700 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155779257 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 915440
[startup+51.2674 s]
/proc/loadavg: 1.99 2.00 1.95 3/100 17775
/proc/meminfo: memFree=1242024/2055920 swapFree=4192812/4192956
[pid=17767] ppid=17765 vsize=915440 CPUtime=50.72
/proc/17767/stat : 17767 (java) R 17765 17767 17700 0 -1 0 32459 0 1 0 5056 16 0 0 25 0 8 0 155779244 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073805531 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17767/statm: 228860 32187 2521 14 0 215330 0
[pid=17767/tid=17769] ppid=17765 vsize=915440 CPUtime=0.44
/proc/17767/task/17769/stat : 17769 (java) S 17765 17767 17700 0 -1 64 15453 0 0 0 38 6 0 0 17 0 8 0 155779253 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17770] ppid=17765 vsize=915440 CPUtime=0
/proc/17767/task/17770/stat : 17770 (java) S 17765 17767 17700 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155779254 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17771] ppid=17765 vsize=915440 CPUtime=0
/proc/17767/task/17771/stat : 17771 (java) S 17765 17767 17700 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155779254 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17772] ppid=17765 vsize=915440 CPUtime=0
/proc/17767/task/17772/stat : 17772 (java) S 17765 17767 17700 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155779257 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17773] ppid=17765 vsize=915440 CPUtime=0.27
/proc/17767/task/17773/stat : 17773 (java) S 17765 17767 17700 0 -1 64 403 0 0 0 26 1 0 0 16 0 8 0 155779257 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17774] ppid=17765 vsize=915440 CPUtime=0
/proc/17767/task/17774/stat : 17774 (java) S 17765 17767 17700 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155779257 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17775] ppid=17765 vsize=915440 CPUtime=0
/proc/17767/task/17775/stat : 17775 (java) S 17765 17767 17700 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155779257 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 915440
[startup+102.528 s]
/proc/loadavg: 1.99 2.00 1.95 3/100 17775
/proc/meminfo: memFree=1242088/2055920 swapFree=4192812/4192956
[pid=17767] ppid=17765 vsize=915440 CPUtime=101.5
/proc/17767/stat : 17767 (java) R 17765 17767 17700 0 -1 0 32460 0 1 0 10134 16 0 0 25 0 8 0 155779244 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073805489 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17767/statm: 228860 32187 2521 14 0 215330 0
[pid=17767/tid=17769] ppid=17765 vsize=915440 CPUtime=0.44
/proc/17767/task/17769/stat : 17769 (java) S 17765 17767 17700 0 -1 64 15453 0 0 0 38 6 0 0 16 0 8 0 155779253 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17770] ppid=17765 vsize=915440 CPUtime=0
/proc/17767/task/17770/stat : 17770 (java) S 17765 17767 17700 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155779254 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17771] ppid=17765 vsize=915440 CPUtime=0
/proc/17767/task/17771/stat : 17771 (java) S 17765 17767 17700 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155779254 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17772] ppid=17765 vsize=915440 CPUtime=0
/proc/17767/task/17772/stat : 17772 (java) S 17765 17767 17700 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155779257 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17773] ppid=17765 vsize=915440 CPUtime=0.27
/proc/17767/task/17773/stat : 17773 (java) S 17765 17767 17700 0 -1 64 403 0 0 0 26 1 0 0 16 0 8 0 155779257 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17774] ppid=17765 vsize=915440 CPUtime=0
/proc/17767/task/17774/stat : 17774 (java) S 17765 17767 17700 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155779257 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17775] ppid=17765 vsize=915440 CPUtime=0
/proc/17767/task/17775/stat : 17775 (java) S 17765 17767 17700 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155779257 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.5
Current children cumulated vsize (KiB) 915440
[startup+162.538 s]
/proc/loadavg: 1.99 2.00 1.95 3/100 17775
/proc/meminfo: memFree=1242152/2055920 swapFree=4192812/4192956
[pid=17767] ppid=17765 vsize=915440 CPUtime=160.97
/proc/17767/stat : 17767 (java) R 17765 17767 17700 0 -1 0 32460 0 1 0 16080 17 0 0 25 0 8 0 155779244 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073665011 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1412.48
Current children cumulated vsize (KiB) 915440
[startup+1483.17 s]
/proc/loadavg: 1.98 1.86 1.87 3/100 18235
/proc/meminfo: memFree=1181608/2055920 swapFree=4192812/4192956
[pid=17767] ppid=17765 vsize=915440 CPUtime=1472.46
/proc/17767/stat : 17767 (java) R 17765 17767 17700 0 -1 0 32460 0 1 0 147214 32 0 0 25 0 8 0 155779244 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17767/statm: 228860 32187 2521 14 0 215330 0
[pid=17767/tid=17769] ppid=17765 vsize=915440 CPUtime=0.44
/proc/17767/task/17769/stat : 17769 (java) S 17765 17767 17700 0 -1 64 15453 0 0 0 38 6 0 0 16 0 8 0 155779253 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17770] ppid=17765 vsize=915440 CPUtime=0
/proc/17767/task/17770/stat : 17770 (java) S 17765 17767 17700 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155779254 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17771] ppid=17765 vsize=915440 CPUtime=0
/proc/17767/task/17771/stat : 17771 (java) S 17765 17767 17700 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155779254 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17772] ppid=17765 vsize=915440 CPUtime=0
/proc/17767/task/17772/stat : 17772 (java) S 17765 17767 17700 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155779257 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17773] ppid=17765 vsize=915440 CPUtime=0.27
/proc/17767/task/17773/stat : 17773 (java) S 17765 17767 17700 0 -1 64 403 0 0 0 26 1 0 0 16 0 8 0 155779257 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17774] ppid=17765 vsize=915440 CPUtime=0
/proc/17767/task/17774/stat : 17774 (java) S 17765 17767 17700 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155779257 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17775] ppid=17765 vsize=915440 CPUtime=0
/proc/17767/task/17775/stat : 17775 (java) S 17765 17767 17700 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155779257 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1472.46
Current children cumulated vsize (KiB) 915440
[startup+1543.22 s]
/proc/loadavg: 1.99 1.88 1.88 3/100 18235
/proc/meminfo: memFree=1181608/2055920 swapFree=4192812/4192956
[pid=17767] ppid=17765 vsize=915440 CPUtime=1532.44
/proc/17767/stat : 17767 (java) R 17765 17767 17700 0 -1 0 32460 0 1 0 153212 32 0 0 25 0 8 0 155779244 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073664884 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17767/statm: 228860 32187 2521 14 0 215330 0
[pid=17767/tid=17769] ppid=17765 vsize=915440 CPUtime=0.44
/proc/17767/task/17769/stat : 17769 (java) S 17765 17767 17700 0 -1 64 15453 0 0 0 38 6 0 0 16 0 8 0 155779253 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17770] ppid=17765 vsize=915440 CPUtime=0
/proc/17767/task/17770/stat : 17770 (java) S 17765 17767 17700 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155779254 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17771] ppid=17765 vsize=915440 CPUtime=0
/proc/17767/task/17771/stat : 17771 (java) S 17765 17767 17700 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155779254 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17772] ppid=17765 vsize=915440 CPUtime=0
/proc/17767/task/17772/stat : 17772 (java) S 17765 17767 17700 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155779257 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17773] ppid=17765 vsize=915440 CPUtime=0.27
/proc/17767/task/17773/stat : 17773 (java) S 17765 17767 17700 0 -1 64 403 0 0 0 26 1 0 0 16 0 8 0 155779257 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17774] ppid=17765 vsize=915440 CPUtime=0
/proc/17767/task/17774/stat : 17774 (java) S 17765 17767 17700 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155779257 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17775] ppid=17765 vsize=915440 CPUtime=0
/proc/17767/task/17775/stat : 17775 (java) S 17765 17767 17700 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155779257 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1532.44
Current children cumulated vsize (KiB) 915440
[startup+1603.26 s]
/proc/loadavg: 1.99 1.90 1.88 3/100 18235
/proc/meminfo: memFree=1171496/2055920 swapFree=4192812/4192956
[pid=17767] ppid=17765 vsize=915440 CPUtime=1592.42
/proc/17767/stat : 17767 (java) R 17765 17767 17700 0 -1 0 32460 0 1 0 159210 32 0 0 25 0 8 0 155779244 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17767/statm: 228860 32187 2521 14 0 215330 0
[pid=17767/tid=17769] ppid=17765 vsize=915440 CPUtime=0.44
/proc/17767/task/17769/stat : 17769 (java) S 17765 17767 17700 0 -1 64 15453 0 0 0 38 6 0 0 16 0 8 0 155779253 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17770] ppid=17765 vsize=915440 CPUtime=0
/proc/17767/task/17770/stat : 17770 (java) S 17765 17767 17700 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155779254 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17771] ppid=17765 vsize=915440 CPUtime=0
/proc/17767/task/17771/stat : 17771 (java) S 17765 17767 17700 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155779254 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17772] ppid=17765 vsize=915440 CPUtime=0
/proc/17767/task/17772/stat : 17772 (java) S 17765 17767 17700 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155779257 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17773] ppid=17765 vsize=915440 CPUtime=0.27
/proc/17767/task/17773/stat : 17773 (java) S 17765 17767 17700 0 -1 64 403 0 0 0 26 1 0 0 16 0 8 0 155779257 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17774] ppid=17765 vsize=915440 CPUtime=0
/proc/17767/task/17774/stat : 17774 (java) S 17765 17767 17700 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155779257 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17775] ppid=17765 vsize=915440 CPUtime=0
/proc/17767/task/17775/stat : 17775 (java) S 17765 17767 17700 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155779257 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1592.42
Current children cumulated vsize (KiB) 915440
[startup+1663.31 s]
/proc/loadavg: 1.99 1.91 1.89 3/100 18235
/proc/meminfo: memFree=1171560/2055920 swapFree=4192812/4192956
[pid=17767] ppid=17765 vsize=915440 CPUtime=1652.41
/proc/17767/stat : 17767 (java) R 17765 17767 17700 0 -1 0 32460 0 1 0 165209 32 0 0 25 0 8 0 155779244 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073629890 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17767/statm: 228860 32187 2521 14 0 215330 0
[pid=17767/tid=17769] ppid=17765 vsize=915440 CPUtime=0.44
/proc/17767/task/17769/stat : 17769 (java) S 17765 17767 17700 0 -1 64 15453 0 0 0 38 6 0 0 16 0 8 0 155779253 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17770] ppid=17765 vsize=915440 CPUtime=0
/proc/17767/task/17770/stat : 17770 (java) S 17765 17767 17700 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155779254 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17771] ppid=17765 vsize=915440 CPUtime=0
/proc/17767/task/17771/stat : 17771 (java) S 17765 17767 17700 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155779254 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17772] ppid=17765 vsize=915440 CPUtime=0
/proc/17767/task/17772/stat : 17772 (java) S 17765 17767 17700 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155779257 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17773] ppid=17765 vsize=915440 CPUtime=0.27
/proc/17767/task/17773/stat : 17773 (java) S 17765 17767 17700 0 -1 64 403 0 0 0 26 1 0 0 16 0 8 0 155779257 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17774] ppid=17765 vsize=915440 CPUtime=0
/proc/17767/task/17774/stat : 17774 (java) S 17765 17767 17700 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155779257 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17775] ppid=17765 vsize=915440 CPUtime=0
/proc/17767/task/17775/stat : 17775 (java) S 17765 17767 17700 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155779257 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1652.41
Current children cumulated vsize (KiB) 915440
[startup+1723.35 s]
/proc/loadavg: 1.99 1.93 1.90 3/100 18235
/proc/meminfo: memFree=1171496/2055920 swapFree=4192812/4192956
[pid=17767] ppid=17765 vsize=915440 CPUtime=1712.38
/proc/17767/stat : 17767 (java) R 17765 17767 17700 0 -1 0 32461 0 1 0 171206 32 0 0 25 0 8 0 155779244 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17767/statm: 228860 32188 2521 14 0 215330 0
[pid=17767/tid=17769] ppid=17765 vsize=915440 CPUtime=0.44
/proc/17767/task/17769/stat : 17769 (java) S 17765 17767 17700 0 -1 64 15453 0 0 0 38 6 0 0 16 0 8 0 155779253 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17770] ppid=17765 vsize=915440 CPUtime=0
/proc/17767/task/17770/stat : 17770 (java) S 17765 17767 17700 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155779254 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17771] ppid=17765 vsize=915440 CPUtime=0
/proc/17767/task/17771/stat : 17771 (java) S 17765 17767 17700 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155779254 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17772] ppid=17765 vsize=915440 CPUtime=0
/proc/17767/task/17772/stat : 17772 (java) S 17765 17767 17700 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155779257 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17773] ppid=17765 vsize=915440 CPUtime=0.28
/proc/17767/task/17773/stat : 17773 (java) S 17765 17767 17700 0 -1 64 404 0 0 0 27 1 0 0 16 0 8 0 155779257 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17767/tid=17774] ppid=17765 vsize=915440 CPUtime=0
/proc/17767/task/17774/stat : 17774 (java) S 17765 17767 17700 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155779257 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17775] ppid=17765 vsize=915440 CPUtime=0
/proc/17767/task/17775/stat : 17775 (java) S 17765 17767 17700 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155779257 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1712.38
Current children cumulated vsize (KiB) 915440
[startup+1783.4 s]
/proc/loadavg: 1.99 1.94 1.90 3/100 18235
/proc/meminfo: memFree=1171496/2055920 swapFree=4192812/4192956
[pid=17767] ppid=17765 vsize=915440 CPUtime=1772.38
/proc/17767/stat : 17767 (java) R 17765 17767 17700 0 -1 0 32461 0 1 0 177205 33 0 0 25 0 8 0 155779244 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073664884 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17767/statm: 228860 32188 2521 14 0 215330 0
[pid=17767/tid=17769] ppid=17765 vsize=915440 CPUtime=0.44
/proc/17767/task/17769/stat : 17769 (java) S 17765 17767 17700 0 -1 64 15453 0 0 0 38 6 0 0 16 0 8 0 155779253 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17770] ppid=17765 vsize=915440 CPUtime=0
/proc/17767/task/17770/stat : 17770 (java) S 17765 17767 17700 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155779254 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17771] ppid=17765 vsize=915440 CPUtime=0
/proc/17767/task/17771/stat : 17771 (java) S 17765 17767 17700 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155779254 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17772] ppid=17765 vsize=915440 CPUtime=0
/proc/17767/task/17772/stat : 17772 (java) S 17765 17767 17700 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155779257 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17773] ppid=17765 vsize=915440 CPUtime=0.28
/proc/17767/task/17773/stat : 17773 (java) S 17765 17767 17700 0 -1 64 404 0 0 0 27 1 0 0 16 0 8 0 155779257 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17767/tid=17774] ppid=17765 vsize=915440 CPUtime=0
/proc/17767/task/17774/stat : 17774 (java) S 17765 17767 17700 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155779257 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17775] ppid=17765 vsize=915440 CPUtime=0
/proc/17767/task/17775/stat : 17775 (java) S 17765 17767 17700 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155779257 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1772.38
Current children cumulated vsize (KiB) 915440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1811.05 s]
/proc/loadavg: 1.99 1.94 1.91 3/100 18235
/proc/meminfo: memFree=1171496/2055920 swapFree=4192812/4192956
[pid=17767] ppid=17765 vsize=915440 CPUtime=1800.01
/proc/17767/stat : 17767 (java) R 17765 17767 17700 0 -1 0 32461 0 1 0 179968 33 0 0 25 0 8 0 155779244 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073629925 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17767/statm: 228860 32188 2521 14 0 215330 0
[pid=17767/tid=17769] ppid=17765 vsize=915440 CPUtime=0.44
/proc/17767/task/17769/stat : 17769 (java) S 17765 17767 17700 0 -1 64 15453 0 0 0 38 6 0 0 16 0 8 0 155779253 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17770] ppid=17765 vsize=915440 CPUtime=0
/proc/17767/task/17770/stat : 17770 (java) S 17765 17767 17700 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155779254 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17771] ppid=17765 vsize=915440 CPUtime=0
/proc/17767/task/17771/stat : 17771 (java) S 17765 17767 17700 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155779254 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17772] ppid=17765 vsize=915440 CPUtime=0
/proc/17767/task/17772/stat : 17772 (java) S 17765 17767 17700 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155779257 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17773] ppid=17765 vsize=915440 CPUtime=0.28
/proc/17767/task/17773/stat : 17773 (java) S 17765 17767 17700 0 -1 64 404 0 0 0 27 1 0 0 16 0 8 0 155779257 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17767/tid=17774] ppid=17765 vsize=915440 CPUtime=0
/proc/17767/task/17774/stat : 17774 (java) S 17765 17767 17700 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155779257 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17767/tid=17775] ppid=17765 vsize=915440 CPUtime=0
/proc/17767/task/17775/stat : 17775 (java) S 17765 17767 17700 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155779257 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 915440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1811.13
CPU time (s): 1800.09
CPU user time (s): 1799.74
CPU system time (s): 0.349946
CPU usage (%): 99.3899
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.74
system time used= 0.349946
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32476
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= 37796
involuntary context switches= 81998
runsolver used 2.32165 s user time and 5.64814 s system time
The end
Begin job on node7 on Sat Jan 6 08:57:18 UTC 2007
IDJOB= 206580
IDBENCH= 4219
FILE ID= node7/206580-1168073838
PBS_JOBID= 3475777
Free space on /tmp= 66541 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28/rand-3-28-28-93-632-30_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206580-1168073838/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-206580-1168073838 -o ROOT/results/node7/solver-206580-1168073838 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206580-1168073838/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 8786be02a428b274280e565c48f0f361
RANDOM SEED= 637886674
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.220
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.220
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: 1361408 kB
Buffers: 78604 kB
Cached: 424936 kB
SwapCached: 0 kB
Active: 343448 kB
Inactive: 247844 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1361408 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 7652 kB
Writeback: 0 kB
Mapped: 115852 kB
Slab: 87788 kB
Committed_AS: 5044532 kB
PageTables: 2468 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= 66541 MiB
End job on node7 on Sat Jan 6 09:27:29 UTC 2007