0.40
0.40 Abscon 109 (November, 2006)
0.40
0.40 configuration
0.40 name=mac.xml
0.44
0.44 instance
0.44 name=/tmp/evaluation/206593-1168073928/unknown.xml
0.47
0.47 domains being loaded...
0.47
0.47 variables being loaded...
0.51 nbVariables=28 nbDomainTypes=1 minDomainSize=28 maxDomainSize=28
0.51 => wckTime=0.102 cpuTime=0.09 mem=6M951
0.51
0.51 relations being loaded...
1.67
1.67 constraints being loaded...
2.43 nbConstraints=92 nbRelationTypes=93 nbMergedConstraints=1 nbExtensionStructures=92
2.43 nbSharedExtensionStructures=0 nbConflictsStructures=92 nbSharedConflictsStructures=0
2.43 nbSharedBinaryRepresentations=0 maxDegree=13 maxArity=3
2.43 => wckTime=2.028 cpuTime=1.62 mem=58M32
2.59
2.59 solver IterativeSystematicSolver being built...
2.76 => wckTime=2.355 cpuTime=1.76 mem=65M859
2.77
2.77 preprocessing
2.77 nbConstraintChecks=0 nbPropagations=28 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
2.77 detectedInconsistency=no
2.77 => wckTime=0.0040 cpuTime=0.01 mem=65M859
2.94
2.94 search
2.94 run=0 nbConstraintChecks=51189 nbValidityChecks=107412 nbPropagations=548 nbRevisions=6509
2.94 nbUselessRevisions=5217 nbAssignments=47 nbFailedAssignments=29 nbBacktracks=10 nbVisitedNodes=87
2.94 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
2.94 => wckTime=0.172 cpuTime=0.14 mem=65M859
3.04
3.04 search
3.04 run=1 nbConstraintChecks=99675 nbValidityChecks=194359 nbPropagations=1527 nbRevisions=18289
3.04 nbUselessRevisions=14687 nbAssignments=87 nbFailedAssignments=44 nbBacktracks=25 nbVisitedNodes=151
3.04 nbRestartNogoods=1 mapSize=23 nbInferences=0 nbTooLargeKeys=0
3.04 => wckTime=0.273 cpuTime=0.23 mem=65M859
3.19
3.19 search
3.19 run=2 nbConstraintChecks=175025 nbValidityChecks=344694 nbPropagations=3294 nbRevisions=39793
3.19 nbUselessRevisions=31858 nbAssignments=149 nbFailedAssignments=74 nbBacktracks=48 nbVisitedNodes=258
3.19 nbRestartNogoods=7 mapSize=42 nbInferences=0 nbTooLargeKeys=0
3.19 => wckTime=0.42 cpuTime=0.37 mem=65M859
3.33
3.33 search
3.33 run=3 nbConstraintChecks=259054 nbValidityChecks=509921 nbPropagations=6000 nbRevisions=73183
3.33 nbUselessRevisions=58616 nbAssignments=228 nbFailedAssignments=113 nbBacktracks=81 nbVisitedNodes=396
3.33 nbRestartNogoods=10 mapSize=69 nbInferences=0 nbTooLargeKeys=0
3.33 => wckTime=0.565 cpuTime=0.51 mem=65M859
3.62
3.62 search
3.62 run=4 nbConstraintChecks=424211 nbValidityChecks=848714 nbPropagations=10329 nbRevisions=126422
3.62 nbUselessRevisions=101423 nbAssignments=371 nbFailedAssignments=197 nbBacktracks=131 nbVisitedNodes=655
3.62 nbRestartNogoods=12 mapSize=111 nbInferences=0 nbTooLargeKeys=0
3.62 => wckTime=0.856 cpuTime=0.79 mem=65M859
3.99
3.99 search
3.99 run=5 nbConstraintChecks=633718 nbValidityChecks=1273450 nbPropagations=17157 nbRevisions=209172
3.99 nbUselessRevisions=167541 nbAssignments=541 nbFailedAssignments=282 nbBacktracks=209 nbVisitedNodes=962
3.99 nbRestartNogoods=15 mapSize=183 nbInferences=0 nbTooLargeKeys=0
3.99 => wckTime=1.223 cpuTime=1.16 mem=65M859
4.50
4.50 search
4.50 run=6 nbConstraintChecks=932715 nbValidityChecks=1869641 nbPropagations=27179 nbRevisions=330832
4.50 nbUselessRevisions=264957 nbAssignments=795 nbFailedAssignments=415 nbBacktracks=322 nbVisitedNodes=1417
4.50 nbRestartNogoods=20 mapSize=277 nbInferences=0 nbTooLargeKeys=0
4.50 => wckTime=1.736 cpuTime=1.66 mem=65M859
5.44
5.44 search
5.44 run=7 nbConstraintChecks=1485696 nbValidityChecks=2991214 nbPropagations=42455 nbRevisions=517851
5.44 nbUselessRevisions=414344 nbAssignments=1260 nbFailedAssignments=702 nbBacktracks=493 nbVisitedNodes=2268
5.44 nbRestartNogoods=23 mapSize=413 nbInferences=0 nbTooLargeKeys=0
5.44 => wckTime=2.679 cpuTime=2.59 mem=65M859
6.82
6.82 search
6.82 run=8 nbConstraintChecks=2326825 nbValidityChecks=4653386 nbPropagations=65678 nbRevisions=809536
6.82 nbUselessRevisions=647444 nbAssignments=1896 nbFailedAssignments=1073 nbBacktracks=752 nbVisitedNodes=3454
6.82 nbRestartNogoods=27 mapSize=645 nbInferences=0 nbTooLargeKeys=0
6.82 => wckTime=4.056 cpuTime=3.93 mem=65M859
8.33
8.33 search
8.33 run=9 nbConstraintChecks=3229888 nbValidityChecks=6473720 nbPropagations=98932 nbRevisions=1228119
8.33 nbUselessRevisions=982700 nbAssignments=2712 nbFailedAssignments=1498 nbBacktracks=1136 nbVisitedNodes=4899
8.33 nbRestartNogoods=31 mapSize=962 nbInferences=0 nbTooLargeKeys=0
8.33 => wckTime=5.56 cpuTime=5.42 mem=66M851
8.70
8.70 INFO : Stopping hyperNogood (mapSize=1010, nbTooLargekeys=0, mem=66M851)
11.86
11.86 search
11.86 run=10 nbConstraintChecks=5358148 nbValidityChecks=10863937 nbPropagations=152822 nbRevisions=1903333
11.86 nbUselessRevisions=1522023 nbAssignments=4350 nbFailedAssignments=2554 nbBacktracks=1712 nbVisitedNodes=7995
11.86 nbRestartNogoods=44
11.86 => wckTime=9.095 cpuTime=8.91 mem=66M851
15.73
15.73 search
15.73 run=11 nbConstraintChecks=7644964 nbValidityChecks=15619183 nbPropagations=234992 nbRevisions=2909766
15.73 nbUselessRevisions=2322393 nbAssignments=6369 nbFailedAssignments=3701 nbBacktracks=2576 nbVisitedNodes=11740
15.73 nbRestartNogoods=50
15.73 => wckTime=12.966 cpuTime=12.74 mem=66M851
22.49
22.49 search
22.49 run=12 nbConstraintChecks=11754538 nbValidityChecks=24320906 nbPropagations=363131 nbRevisions=4470349
22.49 nbUselessRevisions=3559714 nbAssignments=9952 nbFailedAssignments=5979 nbBacktracks=3873 nbVisitedNodes=18530
22.49 nbRestartNogoods=56
22.49 => wckTime=19.725 cpuTime=19.44 mem=66M851
30.23
30.23 search
30.23 run=13 nbConstraintChecks=16398331 nbValidityChecks=33623790 nbPropagations=541433 nbRevisions=6650583
30.23 nbUselessRevisions=5291879 nbAssignments=13808 nbFailedAssignments=7881 nbBacktracks=5820 nbVisitedNodes=25376
30.23 nbRestartNogoods=64
30.23 => wckTime=27.462 cpuTime=27.11 mem=66M851
43.26
43.26 search
43.26 run=14 nbConstraintChecks=24431477 nbValidityChecks=49509330 nbPropagations=808021 nbRevisions=9951676
43.26 nbUselessRevisions=7919829 nbAssignments=20853 nbFailedAssignments=12001 nbBacktracks=8739 nbVisitedNodes=38340
43.26 nbRestartNogoods=71
43.26 => wckTime=40.497 cpuTime=40.02 mem=66M851
67.80
67.80 search
67.80 run=15 nbConstraintChecks=39378165 nbValidityChecks=80381496 nbPropagations=1225943 nbRevisions=15147453
67.80 nbUselessRevisions=12065139 nbAssignments=33191 nbFailedAssignments=19952 nbBacktracks=13117
67.80 nbVisitedNodes=61540 nbRestartNogoods=77
67.80 => wckTime=65.038 cpuTime=64.34 mem=66M851
100.06
100.06 search
100.06 run=16 nbConstraintChecks=59026041 nbValidityChecks=121051036 nbPropagations=1872509 nbRevisions=23078144
100.06 nbUselessRevisions=18371758 nbAssignments=49947 nbFailedAssignments=30132 nbBacktracks=19685
100.06 nbVisitedNodes=93053 nbRestartNogoods=92
100.06 => wckTime=97.299 cpuTime=96.3 mem=66M851
140.08
140.08 search
140.08 run=17 nbConstraintChecks=83537696 nbValidityChecks=169432674 nbPropagations=2790700 nbRevisions=34392014
140.08 nbUselessRevisions=27380768 nbAssignments=71801 nbFailedAssignments=42126 nbBacktracks=29537
140.08 nbVisitedNodes=132544 nbRestartNogoods=109
140.08 => wckTime=137.319 cpuTime=135.87 mem=66M851
212.16
212.16 search
212.16 run=18 nbConstraintChecks=127241647 nbValidityChecks=256592995 nbPropagations=4148546 nbRevisions=51285763
212.16 nbUselessRevisions=40831790 nbAssignments=105330 nbFailedAssignments=60869 nbBacktracks=44315
212.16 nbVisitedNodes=193908 nbRestartNogoods=122
212.16 => wckTime=209.396 cpuTime=207.16 mem=66M851
305.69
305.69 search
305.69 run=19 nbConstraintChecks=183176973 nbValidityChecks=369389241 nbPropagations=6094762 nbRevisions=75497918
305.69 nbUselessRevisions=60131309 nbAssignments=151702 nbFailedAssignments=85064 nbBacktracks=66483
305.69 nbVisitedNodes=277155 nbRestartNogoods=135
305.70 => wckTime=302.93 cpuTime=299.78 mem=66M851
491.18
491.18 search
491.18 run=20 nbConstraintChecks=295919528 nbValidityChecks=600243456 nbPropagations=9179040 nbRevisions=114076654
491.18 nbUselessRevisions=90893770 nbAssignments=240441 nbFailedAssignments=140545 nbBacktracks=99735
491.18 nbVisitedNodes=443651 nbRestartNogoods=157
491.18 => wckTime=488.416 cpuTime=483.55 mem=66M851
737.58
737.58 search
737.58 run=21 nbConstraintChecks=448283759 nbValidityChecks=914992891 nbPropagations=14039523 nbRevisions=173945035
737.58 nbUselessRevisions=138444343 nbAssignments=375349 nbFailedAssignments=225567 nbBacktracks=149614
737.58 nbVisitedNodes=698594 nbRestartNogoods=188
737.58 => wckTime=734.811 cpuTime=727.93 mem=66M851
1036.32
1036.33 search
1036.33 run=22 nbConstraintChecks=641941049 nbValidityChecks=1304816665 nbPropagations=20906759 nbRevisions=258541041
1036.33 nbUselessRevisions=205706270 nbAssignments=530593 nbFailedAssignments=305983 nbBacktracks=224434
1036.33 nbVisitedNodes=976837 nbRestartNogoods=204
1036.33 => wckTime=1033.56 cpuTime=1026.57 mem=66M851
1544.61
1544.62 search
1544.62 run=23 nbConstraintChecks=976878650 nbValidityChecks=1968686935 nbPropagations=31167285 nbRevisions=385757380
1544.62 nbUselessRevisions=306882083 nbAssignments=795921 nbFailedAssignments=459076 nbBacktracks=336662
1544.62 nbVisitedNodes=1464857 nbRestartNogoods=231
1544.62 => wckTime=1541.85 cpuTime=1534.68 mem=66M851
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node33/watcher-206593-1168073928 -o ROOT/results/node33/solver-206593-1168073928 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206593-1168073928/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.07 2.02 1.83 2/80 10308
/proc/meminfo: memFree=1020096/2055920 swapFree=4192224/4192956
[pid=10307] ppid=10305 vsize=18540 CPUtime=0
/proc/10307/stat : 10307 (runsolver) R 10305 10307 9938 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155786684 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 210824129831 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/10307/statm: 4635 279 244 17 0 2626 0
[startup+0.103027 s]
/proc/loadavg: 2.07 2.02 1.83 2/80 10308
/proc/meminfo: memFree=1020096/2055920 swapFree=4192224/4192956
[pid=10307] ppid=10305 vsize=12076 CPUtime=0
/proc/10307/stat : 10307 (java) D 10305 10307 9938 0 -1 0 789 0 1 0 0 0 0 0 17 0 1 0 155786684 12365824 538 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/10307/statm: 3019 538 443 14 0 1602 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12076
[startup+0.515109 s]
/proc/loadavg: 2.07 2.02 1.83 2/80 10308
/proc/meminfo: memFree=1020096/2055920 swapFree=4192224/4192956
[pid=10307] ppid=10305 vsize=915328 CPUtime=0.4
/proc/10307/stat : 10307 (java) R 10305 10307 9938 0 -1 0 6116 0 1 0 36 4 0 0 18 0 8 0 155786684 937295872 5855 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152161212 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10307/statm: 228832 5855 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 915328
[startup+1.33928 s]
/proc/loadavg: 2.06 2.02 1.83 4/87 10315
/proc/meminfo: memFree=953480/2055920 swapFree=4192224/4192956
[pid=10307] ppid=10305 vsize=915328 CPUtime=1.21
/proc/10307/stat : 10307 (java) R 10305 10307 9938 0 -1 0 19099 0 1 0 111 10 0 0 25 0 8 0 155786684 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073456047 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10307/statm: 228832 18837 2149 14 0 215302 0
[pid=10307/tid=10309] ppid=10305 vsize=915328 CPUtime=0.05
/proc/10307/task/10309/stat : 10309 (java) S 10305 10307 9938 0 -1 64 2681 0 0 0 4 1 0 0 17 0 8 0 155786697 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10310] ppid=10305 vsize=915328 CPUtime=0
/proc/10307/task/10310/stat : 10310 (java) S 10305 10307 9938 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155786697 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10311] ppid=10305 vsize=915328 CPUtime=0
/proc/10307/task/10311/stat : 10311 (java) S 10305 10307 9938 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155786697 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10312] ppid=10305 vsize=915328 CPUtime=0
/proc/10307/task/10312/stat : 10312 (java) S 10305 10307 9938 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155786700 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10313] ppid=10305 vsize=915328 CPUtime=0.08
/proc/10307/task/10313/stat : 10313 (java) S 10305 10307 9938 0 -1 64 308 0 0 0 8 0 0 0 16 0 8 0 155786700 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10314] ppid=10305 vsize=915328 CPUtime=0
/proc/10307/task/10314/stat : 10314 (java) S 10305 10307 9938 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155786701 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10315] ppid=10305 vsize=915328 CPUtime=0
/proc/10307/task/10315/stat : 10315 (java) S 10305 10307 9938 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155786701 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 915328
[startup+2.97662 s]
/proc/loadavg: 2.06 2.02 1.83 4/87 10315
/proc/meminfo: memFree=926280/2055920 swapFree=4192224/4192956
[pid=10307] ppid=10305 vsize=915440 CPUtime=2.83
/proc/10307/stat : 10307 (java) R 10305 10307 9938 0 -1 0 32556 0 1 0 266 17 0 0 25 0 8 0 155786684 937410560 32290 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629987 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10307/statm: 228860 32290 2521 14 0 215330 0
[pid=10307/tid=10309] ppid=10305 vsize=915440 CPUtime=0.45
/proc/10307/task/10309/stat : 10309 (java) S 10305 10307 9938 0 -1 64 15583 0 0 0 39 6 0 0 16 0 8 0 155786697 937410560 32290 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10310] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10310/stat : 10310 (java) S 10305 10307 9938 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155786697 937410560 32290 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10311] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10311/stat : 10311 (java) S 10305 10307 9938 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155786697 937410560 32290 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10312] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10312/stat : 10312 (java) S 10305 10307 9938 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155786700 937410560 32290 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10313] ppid=10305 vsize=915440 CPUtime=0.18
/proc/10307/task/10313/stat : 10313 (java) S 10305 10307 9938 0 -1 64 374 0 0 0 18 0 0 0 15 0 8 0 155786700 937410560 32290 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10314] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10314/stat : 10314 (java) S 10305 10307 9938 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155786701 937410560 32290 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10315] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10315/stat : 10315 (java) S 10305 10307 9938 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155786701 937410560 32290 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 915440
[startup+6.17828 s]
/proc/loadavg: 2.06 2.01 1.83 3/87 10315
/proc/meminfo: memFree=900360/2055920 swapFree=4192224/4192956
[pid=10307] ppid=10305 vsize=915440 CPUtime=6.01
/proc/10307/stat : 10307 (java) R 10305 10307 9938 0 -1 0 32579 0 1 0 583 18 0 0 25 0 8 0 155786684 937410560 32310 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629940 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10307/statm: 228860 32310 2521 14 0 215330 0
[pid=10307/tid=10309] ppid=10305 vsize=915440 CPUtime=0.45
/proc/10307/task/10309/stat : 10309 (java) S 10305 10307 9938 0 -1 64 15583 0 0 0 39 6 0 0 17 0 8 0 155786697 937410560 32310 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10310] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10310/stat : 10310 (java) S 10305 10307 9938 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155786697 937410560 32310 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10311] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10311/stat : 10311 (java) S 10305 10307 9938 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155786697 937410560 32310 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10312] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10312/stat : 10312 (java) S 10305 10307 9938 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155786700 937410560 32310 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10313] ppid=10305 vsize=915440 CPUtime=0.24
/proc/10307/task/10313/stat : 10313 (java) S 10305 10307 9938 0 -1 64 396 0 0 0 23 1 0 0 16 0 8 0 155786700 937410560 32310 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10314] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10314/stat : 10314 (java) S 10305 10307 9938 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155786701 937410560 32310 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10315] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10315/stat : 10315 (java) S 10305 10307 9938 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155786701 937410560 32310 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.01
Current children cumulated vsize (KiB) 915440
[startup+12.6556 s]
/proc/loadavg: 2.05 2.01 1.83 3/87 10315
/proc/meminfo: memFree=900504/2055920 swapFree=4192224/4192956
[pid=10307] ppid=10305 vsize=915440 CPUtime=12.42
/proc/10307/stat : 10307 (java) R 10305 10307 9938 0 -1 0 32588 0 1 0 1224 18 0 0 25 0 8 0 155786684 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629997 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10307/statm: 228860 32317 2521 14 0 215330 0
[pid=10307/tid=10309] ppid=10305 vsize=915440 CPUtime=0.45
/proc/10307/task/10309/stat : 10309 (java) S 10305 10307 9938 0 -1 64 15583 0 0 0 39 6 0 0 16 0 8 0 155786697 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10310] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10310/stat : 10310 (java) S 10305 10307 9938 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155786697 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10311] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10311/stat : 10311 (java) S 10305 10307 9938 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155786697 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10312] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10312/stat : 10312 (java) S 10305 10307 9938 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155786700 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10313] ppid=10305 vsize=915440 CPUtime=0.25
/proc/10307/task/10313/stat : 10313 (java) S 10305 10307 9938 0 -1 64 404 0 0 0 24 1 0 0 16 0 8 0 155786700 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10314] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10314/stat : 10314 (java) S 10305 10307 9938 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155786701 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10315] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10315/stat : 10315 (java) S 10305 10307 9938 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155786701 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.42
Current children cumulated vsize (KiB) 915440
[startup+25.5273 s]
/proc/loadavg: 2.04 2.01 1.83 3/87 10315
/proc/meminfo: memFree=900696/2055920 swapFree=4192224/4192956
[pid=10307] ppid=10305 vsize=915440 CPUtime=25.18
/proc/10307/stat : 10307 (java) R 10305 10307 9938 0 -1 0 32588 0 1 0 2500 18 0 0 25 0 8 0 155786684 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10307/statm: 228860 32317 2521 14 0 215330 0
[pid=10307/tid=10309] ppid=10305 vsize=915440 CPUtime=0.45
/proc/10307/task/10309/stat : 10309 (java) S 10305 10307 9938 0 -1 64 15583 0 0 0 39 6 0 0 16 0 8 0 155786697 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10310] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10310/stat : 10310 (java) S 10305 10307 9938 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155786697 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10311] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10311/stat : 10311 (java) S 10305 10307 9938 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155786697 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10312] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10312/stat : 10312 (java) S 10305 10307 9938 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155786700 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10313] ppid=10305 vsize=915440 CPUtime=0.25
/proc/10307/task/10313/stat : 10313 (java) S 10305 10307 9938 0 -1 64 404 0 0 0 24 1 0 0 16 0 8 0 155786700 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10314] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10314/stat : 10314 (java) S 10305 10307 9938 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155786701 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10315] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10315/stat : 10315 (java) S 10305 10307 9938 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155786701 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.18
Current children cumulated vsize (KiB) 915440
[startup+51.1555 s]
/proc/loadavg: 2.02 2.01 1.84 3/87 10315
/proc/meminfo: memFree=900696/2055920 swapFree=4192224/4192956
[pid=10307] ppid=10305 vsize=915440 CPUtime=50.57
/proc/10307/stat : 10307 (java) R 10305 10307 9938 0 -1 0 32588 0 1 0 5039 18 0 0 25 0 8 0 155786684 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073834059 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10307/statm: 228860 32317 2521 14 0 215330 0
[pid=10307/tid=10309] ppid=10305 vsize=915440 CPUtime=0.45
/proc/10307/task/10309/stat : 10309 (java) S 10305 10307 9938 0 -1 64 15583 0 0 0 39 6 0 0 16 0 8 0 155786697 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10310] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10310/stat : 10310 (java) S 10305 10307 9938 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155786697 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10311] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10311/stat : 10311 (java) S 10305 10307 9938 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155786697 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10312] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10312/stat : 10312 (java) S 10305 10307 9938 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155786700 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10313] ppid=10305 vsize=915440 CPUtime=0.25
/proc/10307/task/10313/stat : 10313 (java) S 10305 10307 9938 0 -1 64 404 0 0 0 24 1 0 0 16 0 8 0 155786700 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10314] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10314/stat : 10314 (java) S 10305 10307 9938 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155786701 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10315] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10315/stat : 10315 (java) S 10305 10307 9938 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155786701 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.57
Current children cumulated vsize (KiB) 915440
[startup+102.413 s]
/proc/loadavg: 2.05 2.02 1.85 3/87 10315
/proc/meminfo: memFree=900760/2055920 swapFree=4192224/4192956
[pid=10307] ppid=10305 vsize=915440 CPUtime=101.35
/proc/10307/stat : 10307 (java) R 10305 10307 9938 0 -1 0 32589 0 1 0 10117 18 0 0 25 0 8 0 155786684 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073664884 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10307/statm: 228860 32317 2521 14 0 215330 0
[pid=10307/tid=10309] ppid=10305 vsize=915440 CPUtime=0.45
/proc/10307/task/10309/stat : 10309 (java) S 10305 10307 9938 0 -1 64 15583 0 0 0 39 6 0 0 16 0 8 0 155786697 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10310] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10310/stat : 10310 (java) S 10305 10307 9938 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155786697 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10311] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10311/stat : 10311 (java) S 10305 10307 9938 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155786697 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10312] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10312/stat : 10312 (java) S 10305 10307 9938 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155786700 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10313] ppid=10305 vsize=915440 CPUtime=0.25
/proc/10307/task/10313/stat : 10313 (java) S 10305 10307 9938 0 -1 64 404 0 0 0 24 1 0 0 16 0 8 0 155786700 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10314] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10314/stat : 10314 (java) S 10305 10307 9938 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155786701 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10315] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10315/stat : 10315 (java) S 10305 10307 9938 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155786701 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.35
Current children cumulated vsize (KiB) 915440
[startup+162.427 s]
/proc/loadavg: 2.17 2.06 1.87 3/93 10431
/proc/meminfo: memFree=899400/2055920 swapFree=4192224/4192956
[pid=10307] ppid=10305 vsize=915440 CPUtime=160.69
/proc/10307/stat : 10307 (java) R 10305 10307 9938 0 -1 0 32589 0 1 0 16050 19 0 0 25 0 8 0 155786684 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1415.54
Current children cumulated vsize (KiB) 915440
[startup+1482.71 s]
/proc/loadavg: 1.00 1.08 1.40 2/72 10587
/proc/meminfo: memFree=1033568/2055920 swapFree=4192224/4192956
[pid=10307] ppid=10305 vsize=915440 CPUtime=1475.53
/proc/10307/stat : 10307 (java) R 10305 10307 9938 0 -1 0 32590 0 1 0 147531 22 0 0 25 0 8 0 155786684 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10307/statm: 228860 32318 2521 14 0 215330 0
[pid=10307/tid=10309] ppid=10305 vsize=915440 CPUtime=0.45
/proc/10307/task/10309/stat : 10309 (java) S 10305 10307 9938 0 -1 64 15583 0 0 0 39 6 0 0 16 0 8 0 155786697 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10310] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10310/stat : 10310 (java) S 10305 10307 9938 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155786697 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10311] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10311/stat : 10311 (java) S 10305 10307 9938 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155786697 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10312] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10312/stat : 10312 (java) S 10305 10307 9938 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155786700 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10313] ppid=10305 vsize=915440 CPUtime=0.26
/proc/10307/task/10313/stat : 10313 (java) S 10305 10307 9938 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 155786700 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10314] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10314/stat : 10314 (java) S 10305 10307 9938 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155786701 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10315] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10315/stat : 10315 (java) S 10305 10307 9938 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155786701 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1475.53
Current children cumulated vsize (KiB) 915440
[startup+1542.72 s]
/proc/loadavg: 1.00 1.06 1.37 2/72 10587
/proc/meminfo: memFree=1033568/2055920 swapFree=4192224/4192956
[pid=10307] ppid=10305 vsize=915440 CPUtime=1535.52
/proc/10307/stat : 10307 (java) R 10305 10307 9938 0 -1 0 32590 0 1 0 153530 22 0 0 25 0 8 0 155786684 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10307/statm: 228860 32318 2521 14 0 215330 0
[pid=10307/tid=10309] ppid=10305 vsize=915440 CPUtime=0.45
/proc/10307/task/10309/stat : 10309 (java) S 10305 10307 9938 0 -1 64 15583 0 0 0 39 6 0 0 16 0 8 0 155786697 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10310] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10310/stat : 10310 (java) S 10305 10307 9938 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155786697 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10311] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10311/stat : 10311 (java) S 10305 10307 9938 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155786697 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10312] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10312/stat : 10312 (java) S 10305 10307 9938 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155786700 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10313] ppid=10305 vsize=915440 CPUtime=0.26
/proc/10307/task/10313/stat : 10313 (java) S 10305 10307 9938 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 155786700 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10314] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10314/stat : 10314 (java) S 10305 10307 9938 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155786701 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10315] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10315/stat : 10315 (java) S 10305 10307 9938 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155786701 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1535.52
Current children cumulated vsize (KiB) 915440
[startup+1602.74 s]
/proc/loadavg: 1.08 1.06 1.35 2/72 10587
/proc/meminfo: memFree=1033504/2055920 swapFree=4192224/4192956
[pid=10307] ppid=10305 vsize=915440 CPUtime=1595.51
/proc/10307/stat : 10307 (java) R 10305 10307 9938 0 -1 0 32590 0 1 0 159529 22 0 0 25 0 8 0 155786684 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629890 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10307/statm: 228860 32318 2521 14 0 215330 0
[pid=10307/tid=10309] ppid=10305 vsize=915440 CPUtime=0.45
/proc/10307/task/10309/stat : 10309 (java) S 10305 10307 9938 0 -1 64 15583 0 0 0 39 6 0 0 16 0 8 0 155786697 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10310] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10310/stat : 10310 (java) S 10305 10307 9938 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155786697 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10311] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10311/stat : 10311 (java) S 10305 10307 9938 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155786697 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10312] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10312/stat : 10312 (java) S 10305 10307 9938 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155786700 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10313] ppid=10305 vsize=915440 CPUtime=0.26
/proc/10307/task/10313/stat : 10313 (java) S 10305 10307 9938 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 155786700 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10314] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10314/stat : 10314 (java) S 10305 10307 9938 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155786701 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10315] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10315/stat : 10315 (java) S 10305 10307 9938 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155786701 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1595.51
Current children cumulated vsize (KiB) 915440
[startup+1662.76 s]
/proc/loadavg: 1.03 1.05 1.32 2/72 10587
/proc/meminfo: memFree=1033504/2055920 swapFree=4192224/4192956
[pid=10307] ppid=10305 vsize=915440 CPUtime=1655.52
/proc/10307/stat : 10307 (java) R 10305 10307 9938 0 -1 0 32590 0 1 0 165529 23 0 0 25 0 8 0 155786684 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336166 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10307/statm: 228860 32318 2521 14 0 215330 0
[pid=10307/tid=10309] ppid=10305 vsize=915440 CPUtime=0.45
/proc/10307/task/10309/stat : 10309 (java) S 10305 10307 9938 0 -1 64 15583 0 0 0 39 6 0 0 16 0 8 0 155786697 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10310] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10310/stat : 10310 (java) S 10305 10307 9938 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155786697 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10311] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10311/stat : 10311 (java) S 10305 10307 9938 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155786697 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10312] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10312/stat : 10312 (java) S 10305 10307 9938 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155786700 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10313] ppid=10305 vsize=915440 CPUtime=0.26
/proc/10307/task/10313/stat : 10313 (java) S 10305 10307 9938 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 155786700 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10314] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10314/stat : 10314 (java) S 10305 10307 9938 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155786701 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10315] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10315/stat : 10315 (java) S 10305 10307 9938 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155786701 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1655.52
Current children cumulated vsize (KiB) 915440
[startup+1722.77 s]
/proc/loadavg: 1.01 1.04 1.30 2/72 10587
/proc/meminfo: memFree=1033504/2055920 swapFree=4192224/4192956
[pid=10307] ppid=10305 vsize=915440 CPUtime=1715.51
/proc/10307/stat : 10307 (java) R 10305 10307 9938 0 -1 0 32590 0 1 0 171528 23 0 0 25 0 8 0 155786684 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629966 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10307/statm: 228860 32318 2521 14 0 215330 0
[pid=10307/tid=10309] ppid=10305 vsize=915440 CPUtime=0.45
/proc/10307/task/10309/stat : 10309 (java) S 10305 10307 9938 0 -1 64 15583 0 0 0 39 6 0 0 16 0 8 0 155786697 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10310] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10310/stat : 10310 (java) S 10305 10307 9938 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155786697 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10311] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10311/stat : 10311 (java) S 10305 10307 9938 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155786697 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10312] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10312/stat : 10312 (java) S 10305 10307 9938 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155786700 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10313] ppid=10305 vsize=915440 CPUtime=0.26
/proc/10307/task/10313/stat : 10313 (java) S 10305 10307 9938 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 155786700 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10314] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10314/stat : 10314 (java) S 10305 10307 9938 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155786701 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10315] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10315/stat : 10315 (java) S 10305 10307 9938 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155786701 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1715.51
Current children cumulated vsize (KiB) 915440
[startup+1782.78 s]
/proc/loadavg: 1.00 1.03 1.28 2/72 10587
/proc/meminfo: memFree=1033504/2055920 swapFree=4192224/4192956
[pid=10307] ppid=10305 vsize=915440 CPUtime=1775.49
/proc/10307/stat : 10307 (java) R 10305 10307 9938 0 -1 0 32590 0 1 0 177526 23 0 0 25 0 8 0 155786684 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629872 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10307/statm: 228860 32318 2521 14 0 215330 0
[pid=10307/tid=10309] ppid=10305 vsize=915440 CPUtime=0.45
/proc/10307/task/10309/stat : 10309 (java) S 10305 10307 9938 0 -1 64 15583 0 0 0 39 6 0 0 16 0 8 0 155786697 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10310] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10310/stat : 10310 (java) S 10305 10307 9938 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155786697 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10311] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10311/stat : 10311 (java) S 10305 10307 9938 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155786697 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10312] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10312/stat : 10312 (java) S 10305 10307 9938 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155786700 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10313] ppid=10305 vsize=915440 CPUtime=0.26
/proc/10307/task/10313/stat : 10313 (java) S 10305 10307 9938 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 155786700 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10314] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10314/stat : 10314 (java) S 10305 10307 9938 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155786701 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10315] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10315/stat : 10315 (java) S 10305 10307 9938 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155786701 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1775.49
Current children cumulated vsize (KiB) 915440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1807.34 s]
/proc/loadavg: 1.00 1.03 1.27 2/72 10587
/proc/meminfo: memFree=1033440/2055920 swapFree=4192224/4192956
[pid=10307] ppid=10305 vsize=915440 CPUtime=1800.03
/proc/10307/stat : 10307 (java) R 10305 10307 9938 0 -1 0 32590 0 1 0 179980 23 0 0 25 0 8 0 155786684 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073861803 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10307/statm: 228860 32318 2521 14 0 215330 0
[pid=10307/tid=10309] ppid=10305 vsize=915440 CPUtime=0.45
/proc/10307/task/10309/stat : 10309 (java) S 10305 10307 9938 0 -1 64 15583 0 0 0 39 6 0 0 16 0 8 0 155786697 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10310] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10310/stat : 10310 (java) S 10305 10307 9938 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155786697 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10311] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10311/stat : 10311 (java) S 10305 10307 9938 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155786697 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10312] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10312/stat : 10312 (java) S 10305 10307 9938 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155786700 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10313] ppid=10305 vsize=915440 CPUtime=0.26
/proc/10307/task/10313/stat : 10313 (java) S 10305 10307 9938 0 -1 64 405 0 0 0 25 1 0 0 16 0 8 0 155786700 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10314] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10314/stat : 10314 (java) S 10305 10307 9938 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155786701 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10307/tid=10315] ppid=10305 vsize=915440 CPUtime=0
/proc/10307/task/10315/stat : 10315 (java) S 10305 10307 9938 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155786701 937410560 32318 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 915440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1807.4
CPU time (s): 1800.1
CPU user time (s): 1799.84
CPU system time (s): 0.254961
CPU usage (%): 99.5961
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.84
system time used= 0.254961
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32607
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= 37729
involuntary context switches= 37271
runsolver used 2.26865 s user time and 4.80827 s system time
The end
Begin job on node33 on Sat Jan 6 08:58:48 UTC 2007
IDJOB= 206593
IDBENCH= 4220
FILE ID= node33/206593-1168073928
PBS_JOBID= 3475966
Free space on /tmp= 66542 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28/rand-3-28-28-93-632-27_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206593-1168073928/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node33/watcher-206593-1168073928 -o ROOT/results/node33/solver-206593-1168073928 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206593-1168073928/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 515d716182a383524298f355d85cb43c
RANDOM SEED= 296055402
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.281
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.281
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: 1020576 kB
Buffers: 42912 kB
Cached: 768288 kB
SwapCached: 448 kB
Active: 237968 kB
Inactive: 713620 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1020576 kB
SwapTotal: 4192956 kB
SwapFree: 4192224 kB
Dirty: 7480 kB
Writeback: 0 kB
Mapped: 159824 kB
Slab: 68848 kB
Committed_AS: 3447756 kB
PageTables: 2048 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= 66549 MiB
End job on node33 on Sat Jan 6 09:28:56 UTC 2007