0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/195910-1168070275/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.42 => wckTime=0.101 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
1.07
1.07 constraints being loaded...
1.35 nbConstraints=75 nbRelationTypes=75 nbExtensionStructures=75 nbSharedExtensionStructures=0
1.35 nbConflictsStructures=75 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=15 maxArity=3
1.35 => wckTime=1.026 cpuTime=0.89 mem=49M186
1.47
1.47 solver IterativeSystematicSolver being built...
1.64 => wckTime=1.316 cpuTime=1.02 mem=34M436
1.64
1.65 preprocessing
1.65 nbConstraintChecks=0 nbPropagations=24 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.65 detectedInconsistency=no
1.65 => wckTime=0.0030 cpuTime=0.0 mem=34M436
1.75
1.75 search
1.75 run=0 nbConstraintChecks=19861 nbValidityChecks=38900 nbPropagations=296 nbRevisions=2741
1.75 nbUselessRevisions=2146 nbAssignments=24 nbFailedAssignments=8 nbBacktracks=10 nbVisitedNodes=39
1.75 nbRestartNogoods=0 mapSize=8 nbInferences=0 nbTooLargeKeys=0
1.75 => wckTime=0.109 cpuTime=0.08 mem=34M436
1.81
1.81 search
1.81 run=1 nbConstraintChecks=51163 nbValidityChecks=103284 nbPropagations=1017 nbRevisions=10083
1.81 nbUselessRevisions=7952 nbAssignments=64 nbFailedAssignments=25 nbBacktracks=28 nbVisitedNodes=105
1.81 nbRestartNogoods=2 mapSize=24 nbInferences=0 nbTooLargeKeys=0
1.81 => wckTime=0.172 cpuTime=0.13 mem=34M436
1.91
1.91 search
1.91 run=2 nbConstraintChecks=102239 nbValidityChecks=203667 nbPropagations=2413 nbRevisions=25468
1.91 nbUselessRevisions=20168 nbAssignments=116 nbFailedAssignments=48 nbBacktracks=50 nbVisitedNodes=195
1.91 nbRestartNogoods=3 mapSize=45 nbInferences=0 nbTooLargeKeys=0
1.91 => wckTime=0.272 cpuTime=0.22 mem=34M436
2.06
2.06 search
2.06 run=3 nbConstraintChecks=184937 nbValidityChecks=367034 nbPropagations=4911 nbRevisions=52802
2.06 nbUselessRevisions=41621 nbAssignments=202 nbFailedAssignments=94 nbBacktracks=84 nbVisitedNodes=351
2.06 nbRestartNogoods=10 mapSize=75 nbInferences=0 nbTooLargeKeys=0
2.06 => wckTime=0.416 cpuTime=0.36 mem=34M436
2.21
2.21 search
2.22 run=4 nbConstraintChecks=281961 nbValidityChecks=562853 nbPropagations=8698 nbRevisions=95827
2.22 nbUselessRevisions=75547 nbAssignments=304 nbFailedAssignments=140 nbBacktracks=134 nbVisitedNodes=529
2.22 nbRestartNogoods=15 mapSize=119 nbInferences=0 nbTooLargeKeys=0
2.22 => wckTime=0.573 cpuTime=0.52 mem=34M436
2.51
2.51 search
2.51 run=5 nbConstraintChecks=467023 nbValidityChecks=948556 nbPropagations=14729 nbRevisions=164355
2.51 nbUselessRevisions=129497 nbAssignments=515 nbFailedAssignments=271 nbBacktracks=209 nbVisitedNodes=926
2.51 nbRestartNogoods=21 mapSize=189 nbInferences=0 nbTooLargeKeys=0
2.51 => wckTime=0.869 cpuTime=0.8 mem=34M436
2.84
2.84 search
2.84 run=6 nbConstraintChecks=683645 nbValidityChecks=1377803 nbPropagations=23539 nbRevisions=264156
2.84 nbUselessRevisions=207889 nbAssignments=736 nbFailedAssignments=373 nbBacktracks=322 nbVisitedNodes=1318
2.84 nbRestartNogoods=26 mapSize=286 nbInferences=0 nbTooLargeKeys=0
2.84 => wckTime=1.203 cpuTime=1.14 mem=35M417
3.50
3.50 search
3.50 run=7 nbConstraintChecks=1089958 nbValidityChecks=2224860 nbPropagations=37807 nbRevisions=422636
3.50 nbUselessRevisions=331315 nbAssignments=1145 nbFailedAssignments=607 nbBacktracks=492 nbVisitedNodes=2074
3.50 nbRestartNogoods=31 mapSize=438 nbInferences=0 nbTooLargeKeys=0
3.50 => wckTime=1.862 cpuTime=1.78 mem=35M417
4.44
4.44 search
4.44 run=8 nbConstraintChecks=1661640 nbValidityChecks=3450219 nbPropagations=59700 nbRevisions=666800
4.44 nbUselessRevisions=521217 nbAssignments=1736 nbFailedAssignments=936 nbBacktracks=749 nbVisitedNodes=3160
4.44 nbRestartNogoods=37 mapSize=667 nbInferences=0 nbTooLargeKeys=0
4.44 => wckTime=2.799 cpuTime=2.69 mem=35M417
5.85
5.85 search
5.85 run=9 nbConstraintChecks=2597483 nbValidityChecks=5311582 nbPropagations=91631 nbRevisions=1025537
5.85 nbUselessRevisions=800713 nbAssignments=2507 nbFailedAssignments=1318 nbBacktracks=1133 nbVisitedNodes=4554
5.85 nbRestartNogoods=47 mapSize=1001 nbInferences=0 nbTooLargeKeys=0
5.85 => wckTime=4.208 cpuTime=4.08 mem=35M417
5.94
5.94 INFO : Stopping hyperNogood (mapSize=1017, nbTooLargekeys=0, mem=35M417)
8.09
8.09 search
8.09 run=10 nbConstraintChecks=4042348 nbValidityChecks=8323077 nbPropagations=140621 nbRevisions=1587622
8.09 nbUselessRevisions=1239431 nbAssignments=3847 nbFailedAssignments=2074 nbBacktracks=1710 nbVisitedNodes=7039
8.09 nbRestartNogoods=55
8.09 => wckTime=6.446 cpuTime=6.28 mem=35M417
10.87
10.87 search
10.87 run=11 nbConstraintChecks=5879636 nbValidityChecks=12150072 nbPropagations=213615 nbRevisions=2411980
10.87 nbUselessRevisions=1882696 nbAssignments=5691 nbFailedAssignments=3046 nbBacktracks=2576 nbVisitedNodes=10402
10.87 nbRestartNogoods=67
10.87 => wckTime=9.231 cpuTime=9.05 mem=35M417
15.60
15.60 search
15.60 run=12 nbConstraintChecks=9035717 nbValidityChecks=18768663 nbPropagations=324474 nbRevisions=3683416
15.60 nbUselessRevisions=2876755 nbAssignments=8883 nbFailedAssignments=4934 nbBacktracks=3875 nbVisitedNodes=16359
15.60 nbRestartNogoods=77
15.60 => wckTime=13.957 cpuTime=13.73 mem=35M417
24.93
24.93 search
24.93 run=13 nbConstraintChecks=15139625 nbValidityChecks=31384986 nbPropagations=504336 nbRevisions=5785566
24.93 nbUselessRevisions=4521073 nbAssignments=14561 nbFailedAssignments=8658 nbBacktracks=5821 nbVisitedNodes=27294
24.93 nbRestartNogoods=92
24.93 => wckTime=23.289 cpuTime=22.97 mem=35M417
35.10
35.10 search
35.10 run=14 nbConstraintChecks=21935148 nbValidityChecks=45468222 nbPropagations=773207 nbRevisions=8887415
35.10 nbUselessRevisions=6942860 nbAssignments=21992 nbFailedAssignments=13163 nbBacktracks=8741 nbVisitedNodes=41098
35.10 nbRestartNogoods=104
35.10 => wckTime=33.458 cpuTime=33.05 mem=35M417
49.14
49.14 search
49.14 run=15 nbConstraintChecks=31086843 nbValidityChecks=65648581 nbPropagations=1168694 nbRevisions=13421616
49.14 nbUselessRevisions=10486916 nbAssignments=32950 nbFailedAssignments=19737 nbBacktracks=13120
49.14 nbVisitedNodes=61357 nbRestartNogoods=122
49.14 => wckTime=47.496 cpuTime=46.96 mem=35M417
70.76
70.76 search
70.76 run=16 nbConstraintChecks=45785962 nbValidityChecks=97787971 nbPropagations=1756815 nbRevisions=20117945
70.76 nbUselessRevisions=15723051 nbAssignments=52279 nbFailedAssignments=32490 nbBacktracks=19689
70.76 nbVisitedNodes=97369 nbRestartNogoods=137
70.76 => wckTime=69.115 cpuTime=68.38 mem=35M417
99.69
99.69 search
99.69 run=17 nbConstraintChecks=65149187 nbValidityChecks=137525507 nbPropagations=2596080 nbRevisions=29637926
99.69 nbUselessRevisions=23172022 nbAssignments=72603 nbFailedAssignments=42955 nbBacktracks=29541
99.69 nbVisitedNodes=134077 nbRestartNogoods=161
99.69 => wckTime=98.045 cpuTime=97.04 mem=35M417
147.15
147.15 search
147.15 run=18 nbConstraintChecks=97018455 nbValidityChecks=202874339 nbPropagations=3845539 nbRevisions=43659378
147.15 nbUselessRevisions=34124623 nbAssignments=104151 nbFailedAssignments=59719 nbBacktracks=44322
147.15 nbVisitedNodes=191738 nbRestartNogoods=175
147.15 => wckTime=145.509 cpuTime=144.27 mem=35M417
232.49
232.49 search
232.49 run=19 nbConstraintChecks=154090073 nbValidityChecks=322596531 nbPropagations=5799711 nbRevisions=66025591
232.49 nbUselessRevisions=51634958 nbAssignments=162235 nbFailedAssignments=95629 nbBacktracks=66491
232.49 nbVisitedNodes=301274 nbRestartNogoods=183
232.49 => wckTime=230.852 cpuTime=229.07 mem=35M417
353.05
353.05 search
353.05 run=20 nbConstraintChecks=233743183 nbValidityChecks=486986690 nbPropagations=8764869 nbRevisions=99948073
353.05 nbUselessRevisions=78181571 nbAssignments=241481 nbFailedAssignments=141615 nbBacktracks=99743
353.05 nbVisitedNodes=448773 nbRestartNogoods=199
353.05 => wckTime=351.413 cpuTime=349.0 mem=35M417
547.84
547.84 search
547.84 run=21 nbConstraintChecks=363578589 nbValidityChecks=760093673 nbPropagations=13377306 nbRevisions=152602645
547.84 nbUselessRevisions=119262529 nbAssignments=370576 nbFailedAssignments=220824 nbBacktracks=149623
547.84 nbVisitedNodes=691203 nbRestartNogoods=216
547.84 => wckTime=546.202 cpuTime=543.6 mem=35M417
895.92
895.92 search
895.92 run=22 nbConstraintChecks=604015833 nbValidityChecks=1237580547 nbPropagations=20408293 nbRevisions=234504168
895.92 nbUselessRevisions=183096095 nbAssignments=558176 nbFailedAssignments=333601 nbBacktracks=224441
895.92 nbVisitedNodes=1045097 nbRestartNogoods=248
895.92 => wckTime=894.283 cpuTime=891.58 mem=35M417
1251.91
1251.91 search
1251.91 run=23 nbConstraintChecks=847572507 nbValidityChecks=1753246589 nbPropagations=30666149 nbRevisions=352135197
1251.91 nbUselessRevisions=274777830 nbAssignments=829374 nbFailedAssignments=492565 nbBacktracks=336668
1251.91 nbVisitedNodes=1543642 nbRestartNogoods=267
1251.91 => wckTime=1250.265 cpuTime=1247.14 mem=35M417
1767.42
1767.42 search
1767.42 run=24 nbConstraintChecks=1206145271 nbValidityChecks=2492119647 nbPropagations=45481362 nbRevisions=519807575
1767.42 nbUselessRevisions=405507278 nbAssignments=1185164 nbFailedAssignments=680007 nbBacktracks=505009
1767.42 nbVisitedNodes=2189998 nbRestartNogoods=283
1767.42 => wckTime=1765.778 cpuTime=1759.83 mem=35M417
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node13/watcher-195910-1168070275 -o ROOT/results/node13/solver-195910-1168070275 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/195910-1168070275/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.00 1.99 1.89 4/93 3487
/proc/meminfo: memFree=1287280/2055920 swapFree=4192812/4192956
[pid=3486] ppid=3484 vsize=18540 CPUtime=0
/proc/3486/stat : 3486 (runsolver) R 3484 3486 3138 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155422510 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 269757246759 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/3486/statm: 4635 279 244 17 0 2626 0
[startup+0.103958 s]
/proc/loadavg: 2.00 1.99 1.89 4/93 3487
/proc/meminfo: memFree=1287280/2055920 swapFree=4192812/4192956
[pid=3486] ppid=3484 vsize=914988 CPUtime=0.08
/proc/3486/stat : 3486 (java) R 3484 3486 3138 0 -1 0 2956 0 1 0 7 1 0 0 19 0 8 0 155422510 936947712 2702 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072925576 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3486/statm: 228747 2702 1414 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515012 s]
/proc/loadavg: 2.00 1.99 1.89 4/93 3487
/proc/meminfo: memFree=1287280/2055920 swapFree=4192812/4192956
[pid=3486] ppid=3484 vsize=915328 CPUtime=0.49
/proc/3486/stat : 3486 (java) R 3484 3486 3138 0 -1 0 7412 0 1 0 43 6 0 0 18 0 8 0 155422510 937295872 7151 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073562222 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3486/statm: 228832 7151 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33613 s]
/proc/loadavg: 2.00 1.99 1.89 4/100 3494
/proc/meminfo: memFree=1220280/2055920 swapFree=4192812/4192956
[pid=3486] ppid=3484 vsize=915328 CPUtime=1.3
/proc/3486/stat : 3486 (java) R 3484 3486 3138 0 -1 0 19097 0 1 0 119 11 0 0 24 0 8 0 155422510 937295872 18835 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153440224 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3486/statm: 228832 18835 2160 14 0 215302 0
[pid=3486/tid=3488] ppid=3484 vsize=915328 CPUtime=0.05
/proc/3486/task/3488/stat : 3488 (java) S 3484 3486 3138 0 -1 64 2632 0 0 0 5 0 0 0 17 0 8 0 155422515 937295872 18835 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3489] ppid=3484 vsize=915328 CPUtime=0
/proc/3486/task/3489/stat : 3489 (java) S 3484 3486 3138 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155422515 937295872 18835 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3490] ppid=3484 vsize=915328 CPUtime=0
/proc/3486/task/3490/stat : 3490 (java) S 3484 3486 3138 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155422515 937295872 18835 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3491] ppid=3484 vsize=915328 CPUtime=0
/proc/3486/task/3491/stat : 3491 (java) S 3484 3486 3138 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155422518 937295872 18835 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3492] ppid=3484 vsize=915328 CPUtime=0.11
/proc/3486/task/3492/stat : 3492 (java) S 3484 3486 3138 0 -1 64 321 0 0 0 10 1 0 0 16 0 8 0 155422519 937295872 18835 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3493] ppid=3484 vsize=915328 CPUtime=0
/proc/3486/task/3493/stat : 3493 (java) S 3484 3486 3138 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155422519 937295872 18835 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3494] ppid=3484 vsize=915328 CPUtime=0
/proc/3486/task/3494/stat : 3494 (java) S 3484 3486 3138 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155422519 937295872 18835 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.97434 s]
/proc/loadavg: 2.00 1.99 1.89 3/100 3494
/proc/meminfo: memFree=1204088/2055920 swapFree=4192812/4192956
[pid=3486] ppid=3484 vsize=915416 CPUtime=2.92
/proc/3486/stat : 3486 (java) R 3484 3486 3138 0 -1 0 23451 0 1 0 279 13 0 0 25 0 8 0 155422510 937385984 23186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073758879 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3486/statm: 228854 23186 2521 14 0 215324 0
[pid=3486/tid=3488] ppid=3484 vsize=915416 CPUtime=0.16
/proc/3486/task/3488/stat : 3488 (java) S 3484 3486 3138 0 -1 64 6484 0 0 0 15 1 0 0 17 0 8 0 155422515 937385984 23186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3489] ppid=3484 vsize=915416 CPUtime=0
/proc/3486/task/3489/stat : 3489 (java) S 3484 3486 3138 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155422515 937385984 23186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3490] ppid=3484 vsize=915416 CPUtime=0
/proc/3486/task/3490/stat : 3490 (java) S 3484 3486 3138 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155422515 937385984 23186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3491] ppid=3484 vsize=915416 CPUtime=0
/proc/3486/task/3491/stat : 3491 (java) S 3484 3486 3138 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155422518 937385984 23186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3492] ppid=3484 vsize=915416 CPUtime=0.2
/proc/3486/task/3492/stat : 3492 (java) S 3484 3486 3138 0 -1 64 373 0 0 0 19 1 0 0 15 0 8 0 155422519 937385984 23186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3493] ppid=3484 vsize=915416 CPUtime=0
/proc/3486/task/3493/stat : 3493 (java) S 3484 3486 3138 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155422519 937385984 23186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3494] ppid=3484 vsize=915416 CPUtime=0
/proc/3486/task/3494/stat : 3494 (java) S 3484 3486 3138 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155422519 937385984 23186 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915416
[startup+6.26678 s]
/proc/loadavg: 2.00 1.99 1.89 3/100 3494
/proc/meminfo: memFree=1204088/2055920 swapFree=4192812/4192956
[pid=3486] ppid=3484 vsize=915416 CPUtime=6.19
/proc/3486/stat : 3486 (java) R 3484 3486 3138 0 -1 0 23467 0 1 0 605 14 0 0 25 0 8 0 155422510 937385984 23200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073757075 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3486/statm: 228854 23200 2521 14 0 215324 0
[pid=3486/tid=3488] ppid=3484 vsize=915416 CPUtime=0.16
/proc/3486/task/3488/stat : 3488 (java) S 3484 3486 3138 0 -1 64 6484 0 0 0 15 1 0 0 16 0 8 0 155422515 937385984 23200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3489] ppid=3484 vsize=915416 CPUtime=0
/proc/3486/task/3489/stat : 3489 (java) S 3484 3486 3138 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155422515 937385984 23200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3490] ppid=3484 vsize=915416 CPUtime=0
/proc/3486/task/3490/stat : 3490 (java) S 3484 3486 3138 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155422515 937385984 23200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3491] ppid=3484 vsize=915416 CPUtime=0
/proc/3486/task/3491/stat : 3491 (java) S 3484 3486 3138 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155422518 937385984 23200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3492] ppid=3484 vsize=915416 CPUtime=0.23
/proc/3486/task/3492/stat : 3492 (java) S 3484 3486 3138 0 -1 64 387 0 0 0 22 1 0 0 15 0 8 0 155422519 937385984 23200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3493] ppid=3484 vsize=915416 CPUtime=0
/proc/3486/task/3493/stat : 3493 (java) S 3484 3486 3138 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155422519 937385984 23200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3494] ppid=3484 vsize=915416 CPUtime=0
/proc/3486/task/3494/stat : 3494 (java) S 3484 3486 3138 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155422519 937385984 23200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915416
[startup+12.7486 s]
/proc/loadavg: 2.00 1.99 1.90 3/100 3494
/proc/meminfo: memFree=1204088/2055920 swapFree=4192812/4192956
[pid=3486] ppid=3484 vsize=915416 CPUtime=12.61
/proc/3486/stat : 3486 (java) R 3484 3486 3138 0 -1 0 23472 0 1 0 1247 14 0 0 25 0 8 0 155422510 937385984 23204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073628077 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3486/statm: 228854 23204 2521 14 0 215324 0
[pid=3486/tid=3488] ppid=3484 vsize=915416 CPUtime=0.16
/proc/3486/task/3488/stat : 3488 (java) S 3484 3486 3138 0 -1 64 6484 0 0 0 15 1 0 0 16 0 8 0 155422515 937385984 23204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3489] ppid=3484 vsize=915416 CPUtime=0
/proc/3486/task/3489/stat : 3489 (java) S 3484 3486 3138 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155422515 937385984 23204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3490] ppid=3484 vsize=915416 CPUtime=0
/proc/3486/task/3490/stat : 3490 (java) S 3484 3486 3138 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155422515 937385984 23204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3491] ppid=3484 vsize=915416 CPUtime=0
/proc/3486/task/3491/stat : 3491 (java) S 3484 3486 3138 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155422518 937385984 23204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3492] ppid=3484 vsize=915416 CPUtime=0.24
/proc/3486/task/3492/stat : 3492 (java) S 3484 3486 3138 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 155422519 937385984 23204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3493] ppid=3484 vsize=915416 CPUtime=0
/proc/3486/task/3493/stat : 3493 (java) S 3484 3486 3138 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155422519 937385984 23204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3494] ppid=3484 vsize=915416 CPUtime=0
/proc/3486/task/3494/stat : 3494 (java) S 3484 3486 3138 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155422519 937385984 23204 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) 915416
[startup+25.6284 s]
/proc/loadavg: 2.00 1.99 1.90 3/100 3494
/proc/meminfo: memFree=1204216/2055920 swapFree=4192812/4192956
[pid=3486] ppid=3484 vsize=915416 CPUtime=25.37
/proc/3486/stat : 3486 (java) R 3484 3486 3138 0 -1 0 23472 0 1 0 2523 14 0 0 25 0 8 0 155422510 937385984 23204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073627959 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3486/statm: 228854 23204 2521 14 0 215324 0
[pid=3486/tid=3488] ppid=3484 vsize=915416 CPUtime=0.16
/proc/3486/task/3488/stat : 3488 (java) S 3484 3486 3138 0 -1 64 6484 0 0 0 15 1 0 0 16 0 8 0 155422515 937385984 23204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3489] ppid=3484 vsize=915416 CPUtime=0
/proc/3486/task/3489/stat : 3489 (java) S 3484 3486 3138 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155422515 937385984 23204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3490] ppid=3484 vsize=915416 CPUtime=0
/proc/3486/task/3490/stat : 3490 (java) S 3484 3486 3138 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155422515 937385984 23204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3491] ppid=3484 vsize=915416 CPUtime=0
/proc/3486/task/3491/stat : 3491 (java) S 3484 3486 3138 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155422518 937385984 23204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3492] ppid=3484 vsize=915416 CPUtime=0.24
/proc/3486/task/3492/stat : 3492 (java) S 3484 3486 3138 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 155422519 937385984 23204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3493] ppid=3484 vsize=915416 CPUtime=0
/proc/3486/task/3493/stat : 3493 (java) S 3484 3486 3138 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155422519 937385984 23204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3494] ppid=3484 vsize=915416 CPUtime=0
/proc/3486/task/3494/stat : 3494 (java) S 3484 3486 3138 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155422519 937385984 23204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915416
[startup+51.2588 s]
/proc/loadavg: 2.00 1.99 1.90 3/100 3494
/proc/meminfo: memFree=1204344/2055920 swapFree=4192812/4192956
[pid=3486] ppid=3484 vsize=915416 CPUtime=50.76
/proc/3486/stat : 3486 (java) R 3484 3486 3138 0 -1 0 23473 0 1 0 5062 14 0 0 25 0 8 0 155422510 937385984 23204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073759825 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3486/statm: 228854 23204 2521 14 0 215324 0
[pid=3486/tid=3488] ppid=3484 vsize=915416 CPUtime=0.16
/proc/3486/task/3488/stat : 3488 (java) S 3484 3486 3138 0 -1 64 6484 0 0 0 15 1 0 0 16 0 8 0 155422515 937385984 23204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3489] ppid=3484 vsize=915416 CPUtime=0
/proc/3486/task/3489/stat : 3489 (java) S 3484 3486 3138 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155422515 937385984 23204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3490] ppid=3484 vsize=915416 CPUtime=0
/proc/3486/task/3490/stat : 3490 (java) S 3484 3486 3138 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155422515 937385984 23204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3491] ppid=3484 vsize=915416 CPUtime=0
/proc/3486/task/3491/stat : 3491 (java) S 3484 3486 3138 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155422518 937385984 23204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3492] ppid=3484 vsize=915416 CPUtime=0.24
/proc/3486/task/3492/stat : 3492 (java) S 3484 3486 3138 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 155422519 937385984 23204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3493] ppid=3484 vsize=915416 CPUtime=0
/proc/3486/task/3493/stat : 3493 (java) S 3484 3486 3138 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155422519 937385984 23204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3494] ppid=3484 vsize=915416 CPUtime=0
/proc/3486/task/3494/stat : 3494 (java) S 3484 3486 3138 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155422519 937385984 23204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 915416
[startup+102.518 s]
/proc/loadavg: 2.00 1.99 1.90 3/100 3494
/proc/meminfo: memFree=1204344/2055920 swapFree=4192812/4192956
[pid=3486] ppid=3484 vsize=915416 CPUtime=101.55
/proc/3486/stat : 3486 (java) R 3484 3486 3138 0 -1 0 23473 0 1 0 10141 14 0 0 25 0 8 0 155422510 937385984 23204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073763832 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3486/statm: 228854 23204 2521 14 0 215324 0
[pid=3486/tid=3488] ppid=3484 vsize=915416 CPUtime=0.16
/proc/3486/task/3488/stat : 3488 (java) S 3484 3486 3138 0 -1 64 6484 0 0 0 15 1 0 0 16 0 8 0 155422515 937385984 23204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3489] ppid=3484 vsize=915416 CPUtime=0
/proc/3486/task/3489/stat : 3489 (java) S 3484 3486 3138 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155422515 937385984 23204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3490] ppid=3484 vsize=915416 CPUtime=0
/proc/3486/task/3490/stat : 3490 (java) S 3484 3486 3138 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155422515 937385984 23204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3491] ppid=3484 vsize=915416 CPUtime=0
/proc/3486/task/3491/stat : 3491 (java) S 3484 3486 3138 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155422518 937385984 23204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3492] ppid=3484 vsize=915416 CPUtime=0.24
/proc/3486/task/3492/stat : 3492 (java) S 3484 3486 3138 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 155422519 937385984 23204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3493] ppid=3484 vsize=915416 CPUtime=0
/proc/3486/task/3493/stat : 3493 (java) S 3484 3486 3138 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155422519 937385984 23204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3494] ppid=3484 vsize=915416 CPUtime=0
/proc/3486/task/3494/stat : 3494 (java) S 3484 3486 3138 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155422519 937385984 23204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.55
Current children cumulated vsize (KiB) 915416
[startup+162.584 s]
/proc/loadavg: 2.00 1.99 1.91 3/100 3494
/proc/meminfo: memFree=1204408/2055920 swapFree=4192812/4192956
[pid=3486] ppid=3484 vsize=915416 CPUtime=161.34
/proc/3486/stat : 3486 (java) R 3484 3486 3138 0 -1 0 23473 0 1 0 16119 15 0 0 25 0 8 0 155422510 937385984 23204 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073767360 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1419.71
Current children cumulated vsize (KiB) 915416
[startup+1483.8 s]
/proc/loadavg: 2.00 2.00 1.94 3/100 3752
/proc/meminfo: memFree=1194864/2055920 swapFree=4192812/4192956
[pid=3486] ppid=3484 vsize=915416 CPUtime=1479.48
/proc/3486/stat : 3486 (java) R 3484 3486 3138 0 -1 0 23475 0 1 0 147922 26 0 0 25 0 8 0 155422510 937385984 23206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803399 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3486/statm: 228854 23206 2521 14 0 215324 0
[pid=3486/tid=3488] ppid=3484 vsize=915416 CPUtime=0.16
/proc/3486/task/3488/stat : 3488 (java) S 3484 3486 3138 0 -1 64 6484 0 0 0 15 1 0 0 16 0 8 0 155422515 937385984 23206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3489] ppid=3484 vsize=915416 CPUtime=0
/proc/3486/task/3489/stat : 3489 (java) S 3484 3486 3138 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155422515 937385984 23206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3490] ppid=3484 vsize=915416 CPUtime=0
/proc/3486/task/3490/stat : 3490 (java) S 3484 3486 3138 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155422515 937385984 23206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3491] ppid=3484 vsize=915416 CPUtime=0
/proc/3486/task/3491/stat : 3491 (java) S 3484 3486 3138 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155422518 937385984 23206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3492] ppid=3484 vsize=915416 CPUtime=0.25
/proc/3486/task/3492/stat : 3492 (java) S 3484 3486 3138 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 155422519 937385984 23206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3486/tid=3493] ppid=3484 vsize=915416 CPUtime=0
/proc/3486/task/3493/stat : 3493 (java) S 3484 3486 3138 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155422519 937385984 23206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3494] ppid=3484 vsize=915416 CPUtime=0
/proc/3486/task/3494/stat : 3494 (java) S 3484 3486 3138 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155422519 937385984 23206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1479.48
Current children cumulated vsize (KiB) 915416
[startup+1543.88 s]
/proc/loadavg: 2.00 2.00 1.94 3/100 3752
/proc/meminfo: memFree=1194864/2055920 swapFree=4192812/4192956
[pid=3486] ppid=3484 vsize=915416 CPUtime=1539.22
/proc/3486/stat : 3486 (java) R 3484 3486 3138 0 -1 0 23475 0 1 0 153896 26 0 0 25 0 8 0 155422510 937385984 23206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3486/statm: 228854 23206 2521 14 0 215324 0
[pid=3486/tid=3488] ppid=3484 vsize=915416 CPUtime=0.16
/proc/3486/task/3488/stat : 3488 (java) S 3484 3486 3138 0 -1 64 6484 0 0 0 15 1 0 0 16 0 8 0 155422515 937385984 23206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3489] ppid=3484 vsize=915416 CPUtime=0
/proc/3486/task/3489/stat : 3489 (java) S 3484 3486 3138 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155422515 937385984 23206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3490] ppid=3484 vsize=915416 CPUtime=0
/proc/3486/task/3490/stat : 3490 (java) S 3484 3486 3138 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155422515 937385984 23206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3491] ppid=3484 vsize=915416 CPUtime=0
/proc/3486/task/3491/stat : 3491 (java) S 3484 3486 3138 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155422518 937385984 23206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3492] ppid=3484 vsize=915416 CPUtime=0.25
/proc/3486/task/3492/stat : 3492 (java) S 3484 3486 3138 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 155422519 937385984 23206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3486/tid=3493] ppid=3484 vsize=915416 CPUtime=0
/proc/3486/task/3493/stat : 3493 (java) S 3484 3486 3138 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155422519 937385984 23206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3494] ppid=3484 vsize=915416 CPUtime=0
/proc/3486/task/3494/stat : 3494 (java) S 3484 3486 3138 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155422519 937385984 23206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1539.22
Current children cumulated vsize (KiB) 915416
[startup+1603.97 s]
/proc/loadavg: 2.00 2.00 1.94 3/100 3752
/proc/meminfo: memFree=1194864/2055920 swapFree=4192812/4192956
[pid=3486] ppid=3484 vsize=915416 CPUtime=1598.99
/proc/3486/stat : 3486 (java) R 3484 3486 3138 0 -1 0 23475 0 1 0 159873 26 0 0 25 0 8 0 155422510 937385984 23206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073757976 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3486/statm: 228854 23206 2521 14 0 215324 0
[pid=3486/tid=3488] ppid=3484 vsize=915416 CPUtime=0.16
/proc/3486/task/3488/stat : 3488 (java) S 3484 3486 3138 0 -1 64 6484 0 0 0 15 1 0 0 16 0 8 0 155422515 937385984 23206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3489] ppid=3484 vsize=915416 CPUtime=0
/proc/3486/task/3489/stat : 3489 (java) S 3484 3486 3138 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155422515 937385984 23206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3490] ppid=3484 vsize=915416 CPUtime=0
/proc/3486/task/3490/stat : 3490 (java) S 3484 3486 3138 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155422515 937385984 23206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3491] ppid=3484 vsize=915416 CPUtime=0
/proc/3486/task/3491/stat : 3491 (java) S 3484 3486 3138 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155422518 937385984 23206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3492] ppid=3484 vsize=915416 CPUtime=0.25
/proc/3486/task/3492/stat : 3492 (java) S 3484 3486 3138 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 155422519 937385984 23206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3486/tid=3493] ppid=3484 vsize=915416 CPUtime=0
/proc/3486/task/3493/stat : 3493 (java) S 3484 3486 3138 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155422519 937385984 23206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3494] ppid=3484 vsize=915416 CPUtime=0
/proc/3486/task/3494/stat : 3494 (java) S 3484 3486 3138 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155422519 937385984 23206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1598.99
Current children cumulated vsize (KiB) 915416
[startup+1664.06 s]
/proc/loadavg: 2.06 2.02 1.94 3/100 3752
/proc/meminfo: memFree=1194928/2055920 swapFree=4192812/4192956
[pid=3486] ppid=3484 vsize=915416 CPUtime=1658.76
/proc/3486/stat : 3486 (java) R 3484 3486 3138 0 -1 0 23475 0 1 0 165849 27 0 0 25 0 8 0 155422510 937385984 23206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073628020 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3486/statm: 228854 23206 2521 14 0 215324 0
[pid=3486/tid=3488] ppid=3484 vsize=915416 CPUtime=0.16
/proc/3486/task/3488/stat : 3488 (java) S 3484 3486 3138 0 -1 64 6484 0 0 0 15 1 0 0 16 0 8 0 155422515 937385984 23206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3489] ppid=3484 vsize=915416 CPUtime=0
/proc/3486/task/3489/stat : 3489 (java) S 3484 3486 3138 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155422515 937385984 23206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3490] ppid=3484 vsize=915416 CPUtime=0
/proc/3486/task/3490/stat : 3490 (java) S 3484 3486 3138 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155422515 937385984 23206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3491] ppid=3484 vsize=915416 CPUtime=0
/proc/3486/task/3491/stat : 3491 (java) S 3484 3486 3138 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155422518 937385984 23206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3492] ppid=3484 vsize=915416 CPUtime=0.25
/proc/3486/task/3492/stat : 3492 (java) S 3484 3486 3138 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 155422519 937385984 23206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3486/tid=3493] ppid=3484 vsize=915416 CPUtime=0
/proc/3486/task/3493/stat : 3493 (java) S 3484 3486 3138 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155422519 937385984 23206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3494] ppid=3484 vsize=915416 CPUtime=0
/proc/3486/task/3494/stat : 3494 (java) S 3484 3486 3138 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155422519 937385984 23206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1658.76
Current children cumulated vsize (KiB) 915416
[startup+1724.14 s]
/proc/loadavg: 2.02 2.01 1.94 3/100 3752
/proc/meminfo: memFree=1194928/2055920 swapFree=4192812/4192956
[pid=3486] ppid=3484 vsize=915416 CPUtime=1718.5
/proc/3486/stat : 3486 (java) R 3484 3486 3138 0 -1 0 23475 0 1 0 171823 27 0 0 25 0 8 0 155422510 937385984 23206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918504 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3486/statm: 228854 23206 2521 14 0 215324 0
[pid=3486/tid=3488] ppid=3484 vsize=915416 CPUtime=0.16
/proc/3486/task/3488/stat : 3488 (java) S 3484 3486 3138 0 -1 64 6484 0 0 0 15 1 0 0 16 0 8 0 155422515 937385984 23206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3489] ppid=3484 vsize=915416 CPUtime=0
/proc/3486/task/3489/stat : 3489 (java) S 3484 3486 3138 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155422515 937385984 23206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3490] ppid=3484 vsize=915416 CPUtime=0
/proc/3486/task/3490/stat : 3490 (java) S 3484 3486 3138 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155422515 937385984 23206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3491] ppid=3484 vsize=915416 CPUtime=0
/proc/3486/task/3491/stat : 3491 (java) S 3484 3486 3138 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155422518 937385984 23206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3492] ppid=3484 vsize=915416 CPUtime=0.25
/proc/3486/task/3492/stat : 3492 (java) S 3484 3486 3138 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 155422519 937385984 23206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3486/tid=3493] ppid=3484 vsize=915416 CPUtime=0
/proc/3486/task/3493/stat : 3493 (java) S 3484 3486 3138 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155422519 937385984 23206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3494] ppid=3484 vsize=915416 CPUtime=0
/proc/3486/task/3494/stat : 3494 (java) S 3484 3486 3138 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155422519 937385984 23206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1718.5
Current children cumulated vsize (KiB) 915416
[startup+1784.23 s]
/proc/loadavg: 2.01 2.00 1.94 3/100 3752
/proc/meminfo: memFree=1194928/2055920 swapFree=4192812/4192956
[pid=3486] ppid=3484 vsize=915416 CPUtime=1778.27
/proc/3486/stat : 3486 (java) R 3484 3486 3138 0 -1 0 23475 0 1 0 177800 27 0 0 25 0 8 0 155422510 937385984 23206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3486/statm: 228854 23206 2521 14 0 215324 0
[pid=3486/tid=3488] ppid=3484 vsize=915416 CPUtime=0.16
/proc/3486/task/3488/stat : 3488 (java) S 3484 3486 3138 0 -1 64 6484 0 0 0 15 1 0 0 16 0 8 0 155422515 937385984 23206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3489] ppid=3484 vsize=915416 CPUtime=0
/proc/3486/task/3489/stat : 3489 (java) S 3484 3486 3138 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155422515 937385984 23206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3490] ppid=3484 vsize=915416 CPUtime=0
/proc/3486/task/3490/stat : 3490 (java) S 3484 3486 3138 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155422515 937385984 23206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3491] ppid=3484 vsize=915416 CPUtime=0
/proc/3486/task/3491/stat : 3491 (java) S 3484 3486 3138 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155422518 937385984 23206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3492] ppid=3484 vsize=915416 CPUtime=0.25
/proc/3486/task/3492/stat : 3492 (java) S 3484 3486 3138 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 155422519 937385984 23206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3486/tid=3493] ppid=3484 vsize=915416 CPUtime=0
/proc/3486/task/3493/stat : 3493 (java) S 3484 3486 3138 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155422519 937385984 23206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3494] ppid=3484 vsize=915416 CPUtime=0
/proc/3486/task/3494/stat : 3494 (java) S 3484 3486 3138 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155422519 937385984 23206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1778.27
Current children cumulated vsize (KiB) 915416
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1806.15 s]
/proc/loadavg: 2.00 2.00 1.94 3/100 3752
/proc/meminfo: memFree=1194928/2055920 swapFree=4192812/4192956
[pid=3486] ppid=3484 vsize=915416 CPUtime=1800.06
/proc/3486/stat : 3486 (java) R 3484 3486 3138 0 -1 0 23475 0 1 0 179979 27 0 0 25 0 8 0 155422510 937385984 23206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073769423 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3486/statm: 228854 23206 2521 14 0 215324 0
[pid=3486/tid=3488] ppid=3484 vsize=915416 CPUtime=0.16
/proc/3486/task/3488/stat : 3488 (java) S 3484 3486 3138 0 -1 64 6484 0 0 0 15 1 0 0 16 0 8 0 155422515 937385984 23206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3489] ppid=3484 vsize=915416 CPUtime=0
/proc/3486/task/3489/stat : 3489 (java) S 3484 3486 3138 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155422515 937385984 23206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3490] ppid=3484 vsize=915416 CPUtime=0
/proc/3486/task/3490/stat : 3490 (java) S 3484 3486 3138 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155422515 937385984 23206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3491] ppid=3484 vsize=915416 CPUtime=0
/proc/3486/task/3491/stat : 3491 (java) S 3484 3486 3138 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155422518 937385984 23206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3492] ppid=3484 vsize=915416 CPUtime=0.25
/proc/3486/task/3492/stat : 3492 (java) S 3484 3486 3138 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 155422519 937385984 23206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3486/tid=3493] ppid=3484 vsize=915416 CPUtime=0
/proc/3486/task/3493/stat : 3493 (java) S 3484 3486 3138 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155422519 937385984 23206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3486/tid=3494] ppid=3484 vsize=915416 CPUtime=0
/proc/3486/task/3494/stat : 3494 (java) S 3484 3486 3138 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155422519 937385984 23206 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 915416
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1806.21
CPU time (s): 1800.12
CPU user time (s): 1799.83
CPU system time (s): 0.292955
CPU usage (%): 99.6628
Max. virtual memory (cumulated for all children) (KiB): 915416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.83
system time used= 0.292955
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23491
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= 37637
involuntary context switches= 59034
runsolver used 1.84272 s user time and 5.72313 s system time
The end
Begin job on node13 on Sat Jan 6 07:57:55 UTC 2007
IDJOB= 195910
IDBENCH= 3311
FILE ID= node13/195910-1168070275
PBS_JOBID= 3475703
Free space on /tmp= 66315 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24/rand-3-24-24-76-632-40_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/195910-1168070275/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-195910-1168070275 -o ROOT/results/node13/solver-195910-1168070275 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/195910-1168070275/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 2935e3d0ce040fb7a21269106e8b439b
RANDOM SEED= 160287458
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.247
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.247
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: 1287760 kB
Buffers: 70904 kB
Cached: 523960 kB
SwapCached: 0 kB
Active: 404940 kB
Inactive: 268308 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1287760 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4592 kB
Writeback: 0 kB
Mapped: 107312 kB
Slab: 79468 kB
Committed_AS: 4363276 kB
PageTables: 2496 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= 66315 MiB
End job on node13 on Sat Jan 6 08:28:02 UTC 2007