0.39
0.39 Abscon 109 (November, 2006)
0.39
0.39 configuration
0.39 name=mac.xml
0.42
0.42 instance
0.42 name=/tmp/evaluation/203634-1168073137/unknown.xml
0.45
0.45 domains being loaded...
0.45
0.45 variables being loaded...
0.49 nbVariables=27 nbDomainTypes=1 minDomainSize=27 maxDomainSize=27
0.49 => wckTime=0.099 cpuTime=0.08 mem=6M951
0.49
0.49 relations being loaded...
0.62
0.62 constraints being loaded...
0.76 nbConstraints=351 nbRelationTypes=351 nbExtensionStructures=351 nbSharedExtensionStructures=0
0.76 nbConflictsStructures=351 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=934 maxDegree=26
0.76 maxArity=2
0.76 => wckTime=0.366 cpuTime=0.27 mem=15M761
0.80
0.80 solver IterativeSystematicSolver being built...
0.95 => wckTime=0.563 cpuTime=0.39 mem=14M250
0.96
0.96 preprocessing
0.96 nbConstraintChecks=0 nbPropagations=27 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.96 detectedInconsistency=no
0.96 => wckTime=0.0050 cpuTime=0.01 mem=14M250
1.01
1.01 search
1.01 run=0 nbConstraintChecks=43228 nbPropagations=480 nbRevisions=8212 nbUselessRevisions=7251 nbAssignments=24
1.01 nbFailedAssignments=7 nbBacktracks=10 nbVisitedNodes=41 nbRestartNogoods=0 mapSize=10 nbInferences=0
1.01 nbTooLargeKeys=0
1.01 => wckTime=0.056 cpuTime=0.03 mem=15M290
1.03
1.03 search
1.03 run=1 nbConstraintChecks=103631 nbPropagations=1575 nbRevisions=28268 nbUselessRevisions=24951
1.03 nbAssignments=60 nbFailedAssignments=22 nbBacktracks=25 nbVisitedNodes=103 nbRestartNogoods=4 mapSize=23
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.078 cpuTime=0.05 mem=15M290
1.06
1.06 search
1.06 run=2 nbConstraintChecks=172738 nbPropagations=3453 nbRevisions=63334 nbUselessRevisions=55823
1.06 nbAssignments=110 nbFailedAssignments=43 nbBacktracks=48 nbVisitedNodes=191 nbRestartNogoods=6 mapSize=46
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.102 cpuTime=0.07 mem=15M290
1.09
1.09 search
1.09 run=3 nbConstraintChecks=288152 nbPropagations=6530 nbRevisions=123213 nbUselessRevisions=108552
1.09 nbAssignments=183 nbFailedAssignments=77 nbBacktracks=81 nbVisitedNodes=321 nbRestartNogoods=8 mapSize=79
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.13 cpuTime=0.09 mem=15M290
1.12
1.12 search
1.12 run=4 nbConstraintChecks=447106 nbPropagations=11296 nbRevisions=218337 nbUselessRevisions=192195
1.12 nbAssignments=292 nbFailedAssignments=130 nbBacktracks=132 nbVisitedNodes=519 nbRestartNogoods=10 mapSize=130
1.12 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.162 cpuTime=0.12 mem=15M290
1.17
1.17 search
1.17 run=5 nbConstraintChecks=664350 nbPropagations=18431 nbRevisions=363324 nbUselessRevisions=319644
1.17 nbAssignments=441 nbFailedAssignments=197 nbBacktracks=208 nbVisitedNodes=789 nbRestartNogoods=13 mapSize=203
1.17 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.214 cpuTime=0.17 mem=15M290
1.24
1.24 search
1.24 run=6 nbConstraintChecks=1014495 nbPropagations=29122 nbRevisions=585773 nbUselessRevisions=515104
1.24 nbAssignments=663 nbFailedAssignments=300 nbBacktracks=321 nbVisitedNodes=1198 nbRestartNogoods=20 mapSize=314
1.24 nbInferences=0 nbTooLargeKeys=0
1.24 => wckTime=0.281 cpuTime=0.23 mem=15M290
1.33
1.33 search
1.33 run=7 nbConstraintChecks=1541065 nbPropagations=45178 nbRevisions=925414 nbUselessRevisions=813375
1.33 nbAssignments=994 nbFailedAssignments=455 nbBacktracks=491 nbVisitedNodes=1814 nbRestartNogoods=26 mapSize=479
1.33 nbInferences=0 nbTooLargeKeys=0
1.33 => wckTime=0.374 cpuTime=0.32 mem=15M290
1.49
1.49 search
1.49 run=8 nbConstraintChecks=2370455 nbPropagations=69378 nbRevisions=1446548 nbUselessRevisions=1271114
1.49 nbAssignments=1500 nbFailedAssignments=698 nbBacktracks=747 nbVisitedNodes=2750 nbRestartNogoods=34
1.49 mapSize=729 nbInferences=0 nbTooLargeKeys=0
1.49 => wckTime=0.535 cpuTime=0.46 mem=15M290
1.64
1.64 INFO : Stopping hyperNogood (mapSize=1022, nbTooLargekeys=0, mem=15M290)
1.68
1.68 search
1.68 run=9 nbConstraintChecks=3474593 nbPropagations=104724 nbRevisions=2212893 nbUselessRevisions=1944070
1.68 nbAssignments=2224 nbFailedAssignments=1031 nbBacktracks=1132 nbVisitedNodes=4074 nbRestartNogoods=39
1.68 => wckTime=0.721 cpuTime=0.64 mem=15M290
2.02
2.02 search
2.02 run=10 nbConstraintChecks=5198548 nbPropagations=157706 nbRevisions=3368307 nbUselessRevisions=2959050
2.02 nbAssignments=3348 nbFailedAssignments=1571 nbBacktracks=1711 nbVisitedNodes=6156 nbRestartNogoods=47
2.02 => wckTime=1.065 cpuTime=0.97 mem=15M290
2.57
2.57 search
2.57 run=11 nbConstraintChecks=7743418 nbPropagations=236190 nbRevisions=5086185 nbUselessRevisions=4467752
2.57 nbAssignments=4989 nbFailedAssignments=2341 nbBacktracks=2575 nbVisitedNodes=9186 nbRestartNogoods=52
2.57 => wckTime=1.617 cpuTime=1.51 mem=15M290
3.43
3.43 search
3.43 run=12 nbConstraintChecks=11695403 nbPropagations=353798 nbRevisions=7677089 nbUselessRevisions=6743048
3.43 nbAssignments=7460 nbFailedAssignments=3508 nbBacktracks=3872 nbVisitedNodes=13763 nbRestartNogoods=60
3.43 => wckTime=2.47 cpuTime=2.36 mem=15M290
4.68
4.68 search
4.68 run=13 nbConstraintChecks=17450972 nbPropagations=529885 nbRevisions=11568886 nbUselessRevisions=10162984
4.68 nbAssignments=11211 nbFailedAssignments=5306 nbBacktracks=5818 nbVisitedNodes=20709 nbRestartNogoods=76
4.68 => wckTime=3.728 cpuTime=3.61 mem=15M290
6.55
6.55 search
6.55 run=14 nbConstraintChecks=26007640 nbPropagations=792871 nbRevisions=17395862 nbUselessRevisions=15284891
6.55 nbAssignments=16794 nbFailedAssignments=7963 nbBacktracks=8737 nbVisitedNodes=31054 nbRestartNogoods=90
6.55 => wckTime=5.597 cpuTime=5.47 mem=15M290
9.44
9.44 search
9.44 run=15 nbConstraintChecks=39477968 nbPropagations=1187919 nbRevisions=26222350 nbUselessRevisions=23046847
9.44 nbAssignments=25162 nbFailedAssignments=11945 nbBacktracks=13116 nbVisitedNodes=46531 nbRestartNogoods=106
9.44 => wckTime=8.482 cpuTime=8.32 mem=15M290
13.80
13.80 search
13.80 run=16 nbConstraintChecks=59558284 nbPropagations=1782182 nbRevisions=39528956 nbUselessRevisions=34744663
13.80 nbAssignments=37898 nbFailedAssignments=18108 nbBacktracks=19687 nbVisitedNodes=70168 nbRestartNogoods=116
13.80 => wckTime=12.841 cpuTime=12.64 mem=15M290
20.10
20.10 search
20.10 run=17 nbConstraintChecks=88357978 nbPropagations=2668471 nbRevisions=59317718 nbUselessRevisions=52137651
20.10 nbAssignments=56711 nbFailedAssignments=27063 nbBacktracks=29539 nbVisitedNodes=104926 nbRestartNogoods=118
20.10 => wckTime=19.145 cpuTime=18.89 mem=15M290
29.67
29.67 search
29.67 run=18 nbConstraintChecks=132294789 nbPropagations=3996294 nbRevisions=88964853 nbUselessRevisions=78196794
29.67 nbAssignments=84973 nbFailedAssignments=40541 nbBacktracks=44317 nbVisitedNodes=157274 nbRestartNogoods=130
29.67 => wckTime=28.712 cpuTime=28.36 mem=15M290
44.01
44.01 search
44.01 run=19 nbConstraintChecks=197697128 nbPropagations=5984587 nbRevisions=133409833 nbUselessRevisions=117276247
44.01 nbAssignments=127474 nbFailedAssignments=60867 nbBacktracks=66486 nbVisitedNodes=236014 nbRestartNogoods=152
44.01 => wckTime=43.058 cpuTime=42.58 mem=15M290
65.76
65.76 search
65.76 run=20 nbConstraintChecks=298703697 nbPropagations=8967838 nbRevisions=200349985 nbUselessRevisions=176143276
65.76 nbAssignments=190816 nbFailedAssignments=90951 nbBacktracks=99738 nbVisitedNodes=353200 nbRestartNogoods=172
65.76 => wckTime=64.801 cpuTime=64.12 mem=15M290
98.52
98.52 search
98.52 run=21 nbConstraintChecks=452658454 nbPropagations=13463250 nbRevisions=301604310 nbUselessRevisions=265195733
98.52 nbAssignments=286518 nbFailedAssignments=136770 nbBacktracks=149616 nbVisitedNodes=530698 nbRestartNogoods=186
98.52 => wckTime=97.569 cpuTime=96.63 mem=15M290
144.73
144.73 search
144.73 run=22 nbConstraintChecks=680265728 nbPropagations=20209235 nbRevisions=453381609 nbUselessRevisions=398650199
144.73 nbAssignments=429702 nbFailedAssignments=205129 nbBacktracks=224434 nbVisitedNodes=795740 nbRestartNogoods=205
144.73 => wckTime=143.775 cpuTime=142.68 mem=15M290
211.83
211.83 search
211.83 run=23 nbConstraintChecks=1016558498 nbPropagations=30308284 nbRevisions=680605260 nbUselessRevisions=598466561
211.83 nbAssignments=644318 nbFailedAssignments=307511 nbBacktracks=336663 nbVisitedNodes=1192803 nbRestartNogoods=213
211.83 => wckTime=210.877 cpuTime=209.72 mem=15M290
314.96
314.96 search
314.96 run=24 nbConstraintChecks=1535267909 nbPropagations=45515059 nbRevisions=1023700597
314.96 nbUselessRevisions=900278628 nbAssignments=967183 nbFailedAssignments=462028 nbBacktracks=505005
314.96 nbVisitedNodes=1791556 nbRestartNogoods=228
314.97 => wckTime=314.009 cpuTime=312.73 mem=15M290
470.72
470.72 search
470.72 run=25 nbConstraintChecks=2313901332 nbPropagations=68374964 nbRevisions=1540313742
470.72 nbUselessRevisions=1354778072 nbAssignments=1452153 nbFailedAssignments=694482 nbBacktracks=757516
470.72 nbVisitedNodes=2690515 nbRestartNogoods=254
470.72 => wckTime=469.762 cpuTime=468.15 mem=15M290
702.92
702.92 search
702.92 run=26 nbConstraintChecks=3484292923 nbPropagations=102737300 nbRevisions=2318133720
702.92 nbUselessRevisions=2039166262 nbAssignments=2181785 nbFailedAssignments=1045340 nbBacktracks=1136283
702.92 nbVisitedNodes=4043931 nbRestartNogoods=283
702.92 => wckTime=701.964 cpuTime=700.12 mem=15M290
836.68
836.68 search
836.68 run=27 nbConstraintChecks=4157663730 nbPropagations=143685725 nbRevisions=3245765022
836.68 nbUselessRevisions=2855462068 nbAssignments=2599948 nbFailedAssignments=1245170 nbBacktracks=1354589
836.68 nbVisitedNodes=4818148 nbRestartNogoods=305
836.68 => wckTime=835.724 cpuTime=833.75 mem=15M290
836.68
836.68 global
836.68 nbConstraintChecks=4157663730 nbPropagations=143685752 nbRevisions=3245765022 nbUselessRevisions=2855462068
836.68 nbRestartNogoods=305 solvingWckTime=835.725 solvingCpuTime=833.75 expiredTime=no totalExploration=no
836.68 nbFoundSolutions=1 globalCpuTime=834.19
836.68 => wckTime=836.291 cpuTime=834.14 mem=15M290
836.68
836.68 s SATISFIABLE
836.68 v 7 5 7 22 11 25 0 8 20 2 3 20 26 10 12 14 14 13 18 24 3 16 15 23 5 26 20
836.68 d NODES 2599948
836.68 d CHECKS 4157663730
836.68
836.68 totalWckTime=836.373 totalCpuTime=834.19
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node5/watcher-203634-1168073137 -o ROOT/results/node5/solver-203634-1168073137 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/203634-1168073137/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.05 2.02 1.94 4/93 5525
/proc/meminfo: memFree=1352896/2055920 swapFree=4192812/4192956
[pid=5524] ppid=5522 vsize=18540 CPUtime=0
/proc/5524/stat : 5524 (runsolver) R 5522 5524 5197 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 135928186 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 226913479975 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/5524/statm: 4635 279 244 17 0 2626 0
[startup+0.107931 s]
/proc/loadavg: 2.05 2.02 1.94 4/93 5525
/proc/meminfo: memFree=1352896/2055920 swapFree=4192812/4192956
[pid=5524] ppid=5522 vsize=914988 CPUtime=0.09
/proc/5524/stat : 5524 (java) R 5522 5524 5197 0 -1 0 2979 0 1 0 8 1 0 0 17 0 8 0 135928186 936947712 2725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072927684 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5524/statm: 228747 2725 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515973 s]
/proc/loadavg: 2.05 2.02 1.94 4/93 5525
/proc/meminfo: memFree=1352896/2055920 swapFree=4192812/4192956
[pid=5524] ppid=5522 vsize=915328 CPUtime=0.42
/proc/5524/stat : 5524 (java) R 5522 5524 5197 0 -1 0 6141 0 1 0 39 3 0 0 18 0 8 0 135928186 937295872 5880 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 8359549 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5524/statm: 228832 5880 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 915328
[startup+1.34007 s]
/proc/loadavg: 2.05 2.02 1.94 3/100 5532
/proc/meminfo: memFree=1326920/2055920 swapFree=4192812/4192956
[pid=5524] ppid=5522 vsize=915456 CPUtime=1.23
/proc/5524/stat : 5524 (java) R 5522 5524 5197 0 -1 0 9193 0 1 0 119 4 0 0 24 0 8 0 135928186 937426944 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073801754 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5524/statm: 228864 8931 2513 14 0 215334 0
[pid=5524/tid=5526] ppid=5522 vsize=915456 CPUtime=0.03
/proc/5524/task/5526/stat : 5526 (java) S 5522 5524 5197 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 135928190 937426944 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5527] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5527/stat : 5527 (java) S 5522 5524 5197 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 135928191 937426944 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5528] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5528/stat : 5528 (java) S 5522 5524 5197 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 135928191 937426944 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5529] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5529/stat : 5529 (java) S 5522 5524 5197 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 135928194 937426944 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5530] ppid=5522 vsize=915456 CPUtime=0.21
/proc/5524/task/5530/stat : 5530 (java) S 5522 5524 5197 0 -1 64 374 0 0 0 21 0 0 0 16 0 8 0 135928194 937426944 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5531] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5531/stat : 5531 (java) S 5522 5524 5197 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 135928194 937426944 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5532] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5532/stat : 5532 (java) S 5522 5524 5197 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 135928194 937426944 8931 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 915456
[startup+2.99325 s]
/proc/loadavg: 2.05 2.02 1.94 3/100 5532
/proc/meminfo: memFree=1326856/2055920 swapFree=4192812/4192956
[pid=5524] ppid=5522 vsize=915456 CPUtime=2.87
/proc/5524/stat : 5524 (java) R 5522 5524 5197 0 -1 0 9209 0 1 0 282 5 0 0 25 0 8 0 135928186 937426944 8946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793877 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5524/statm: 228864 8946 2513 14 0 215334 0
[pid=5524/tid=5526] ppid=5522 vsize=915456 CPUtime=0.03
/proc/5524/task/5526/stat : 5526 (java) S 5522 5524 5197 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 135928190 937426944 8946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5527] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5527/stat : 5527 (java) S 5522 5524 5197 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 135928191 937426944 8946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5528] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5528/stat : 5528 (java) S 5522 5524 5197 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 135928191 937426944 8946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5529] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5529/stat : 5529 (java) S 5522 5524 5197 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 135928194 937426944 8946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5530] ppid=5522 vsize=915456 CPUtime=0.25
/proc/5524/task/5530/stat : 5530 (java) S 5522 5524 5197 0 -1 64 390 0 0 0 24 1 0 0 15 0 8 0 135928194 937426944 8946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5531] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5531/stat : 5531 (java) S 5522 5524 5197 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 135928194 937426944 8946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5532] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5532/stat : 5532 (java) S 5522 5524 5197 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 135928194 937426944 8946 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 915456
[startup+6.28662 s]
/proc/loadavg: 2.05 2.02 1.94 3/100 5532
/proc/meminfo: memFree=1326728/2055920 swapFree=4192812/4192956
[pid=5524] ppid=5522 vsize=915456 CPUtime=6.13
/proc/5524/stat : 5524 (java) R 5522 5524 5197 0 -1 0 9211 0 1 0 608 5 0 0 25 0 8 0 135928186 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073816051 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5524/statm: 228864 8947 2513 14 0 215334 0
[pid=5524/tid=5526] ppid=5522 vsize=915456 CPUtime=0.03
/proc/5524/task/5526/stat : 5526 (java) S 5522 5524 5197 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 135928190 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5527] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5527/stat : 5527 (java) S 5522 5524 5197 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 135928191 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5528] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5528/stat : 5528 (java) S 5522 5524 5197 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 135928191 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5529] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5529/stat : 5529 (java) S 5522 5524 5197 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5530] ppid=5522 vsize=915456 CPUtime=0.25
/proc/5524/task/5530/stat : 5530 (java) S 5522 5524 5197 0 -1 64 391 0 0 0 24 1 0 0 15 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5531] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5531/stat : 5531 (java) S 5522 5524 5197 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5532] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5532/stat : 5532 (java) S 5522 5524 5197 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 915456
[startup+12.7744 s]
/proc/loadavg: 2.04 2.02 1.94 3/100 5532
/proc/meminfo: memFree=1326792/2055920 swapFree=4192812/4192956
[pid=5524] ppid=5522 vsize=915456 CPUtime=12.56
/proc/5524/stat : 5524 (java) R 5522 5524 5197 0 -1 0 9211 0 1 0 1251 5 0 0 25 0 8 0 135928186 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073817828 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5524/statm: 228864 8947 2513 14 0 215334 0
[pid=5524/tid=5526] ppid=5522 vsize=915456 CPUtime=0.03
/proc/5524/task/5526/stat : 5526 (java) S 5522 5524 5197 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 135928190 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5527] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5527/stat : 5527 (java) S 5522 5524 5197 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 135928191 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5528] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5528/stat : 5528 (java) S 5522 5524 5197 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 135928191 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5529] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5529/stat : 5529 (java) S 5522 5524 5197 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5530] ppid=5522 vsize=915456 CPUtime=0.25
/proc/5524/task/5530/stat : 5530 (java) S 5522 5524 5197 0 -1 64 391 0 0 0 24 1 0 0 15 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5531] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5531/stat : 5531 (java) S 5522 5524 5197 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5532] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5532/stat : 5532 (java) S 5522 5524 5197 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 915456
[startup+25.6128 s]
/proc/loadavg: 2.03 2.02 1.94 3/100 5532
/proc/meminfo: memFree=1326920/2055920 swapFree=4192812/4192956
[pid=5524] ppid=5522 vsize=915456 CPUtime=25.27
/proc/5524/stat : 5524 (java) R 5522 5524 5197 0 -1 0 9211 0 1 0 2522 5 0 0 25 0 8 0 135928186 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073807995 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5524/statm: 228864 8947 2513 14 0 215334 0
[pid=5524/tid=5526] ppid=5522 vsize=915456 CPUtime=0.03
/proc/5524/task/5526/stat : 5526 (java) S 5522 5524 5197 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 135928190 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5527] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5527/stat : 5527 (java) S 5522 5524 5197 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 135928191 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5528] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5528/stat : 5528 (java) S 5522 5524 5197 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 135928191 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5529] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5529/stat : 5529 (java) S 5522 5524 5197 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5530] ppid=5522 vsize=915456 CPUtime=0.25
/proc/5524/task/5530/stat : 5530 (java) S 5522 5524 5197 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5531] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5531/stat : 5531 (java) S 5522 5524 5197 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5532] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5532/stat : 5532 (java) S 5522 5524 5197 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 915456
[startup+51.2217 s]
/proc/loadavg: 2.02 2.02 1.94 3/100 5532
/proc/meminfo: memFree=1326984/2055920 swapFree=4192812/4192956
[pid=5524] ppid=5522 vsize=915456 CPUtime=50.65
/proc/5524/stat : 5524 (java) R 5522 5524 5197 0 -1 0 9212 0 1 0 5060 5 0 0 25 0 8 0 135928186 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793967 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5524/statm: 228864 8947 2513 14 0 215334 0
[pid=5524/tid=5526] ppid=5522 vsize=915456 CPUtime=0.03
/proc/5524/task/5526/stat : 5526 (java) S 5522 5524 5197 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 135928190 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5527] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5527/stat : 5527 (java) S 5522 5524 5197 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 135928191 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5528] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5528/stat : 5528 (java) S 5522 5524 5197 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 135928191 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5529] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5529/stat : 5529 (java) S 5522 5524 5197 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5530] ppid=5522 vsize=915456 CPUtime=0.25
/proc/5524/task/5530/stat : 5530 (java) S 5522 5524 5197 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5531] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5531/stat : 5531 (java) S 5522 5524 5197 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5532] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5532/stat : 5532 (java) S 5522 5524 5197 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 915456
[startup+102.428 s]
/proc/loadavg: 1.93 2.00 1.94 3/100 5590
/proc/meminfo: memFree=1301952/2055920 swapFree=4192812/4192956
[pid=5524] ppid=5522 vsize=915456 CPUtime=101.46
/proc/5524/stat : 5524 (java) R 5522 5524 5197 0 -1 0 9212 0 1 0 10139 7 0 0 25 0 8 0 135928186 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073829497 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5524/statm: 228864 8947 2513 14 0 215334 0
[pid=5524/tid=5526] ppid=5522 vsize=915456 CPUtime=0.03
/proc/5524/task/5526/stat : 5526 (java) S 5522 5524 5197 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 135928190 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5527] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5527/stat : 5527 (java) S 5522 5524 5197 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 135928191 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5528] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5528/stat : 5528 (java) S 5522 5524 5197 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 135928191 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5529] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5529/stat : 5529 (java) S 5522 5524 5197 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5530] ppid=5522 vsize=915456 CPUtime=0.25
/proc/5524/task/5530/stat : 5530 (java) S 5522 5524 5197 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5531] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5531/stat : 5531 (java) S 5522 5524 5197 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5532] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5532/stat : 5532 (java) S 5522 5524 5197 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.46
Current children cumulated vsize (KiB) 915456
[startup+162.492 s]
/proc/loadavg: 1.68 1.92 1.91 3/100 5904
/proc/meminfo: memFree=1298704/2055920 swapFree=4192812/4192956
[pid=5524] ppid=5522 vsize=915456 CPUtime=161.37
/proc/5524/stat : 5524 (java) R 5522 5524 5197 0 -1 0 9212 0 1 0 16127 10 0 0 25 0 8 0 135928186 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793912 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
/proc/5524/task/5529/stat : 5529 (java) S 5522 5524 5197 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5530] ppid=5522 vsize=915456 CPUtime=0.25
/proc/5524/task/5530/stat : 5530 (java) S 5522 5524 5197 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5531] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5531/stat : 5531 (java) S 5522 5524 5197 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5532] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5532/stat : 5532 (java) S 5522 5524 5197 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 401.17
Current children cumulated vsize (KiB) 915456
[startup+462.819 s]
/proc/loadavg: 1.73 1.73 1.82 3/100 6644
/proc/meminfo: memFree=1188952/2055920 swapFree=4192812/4192956
[pid=5524] ppid=5522 vsize=915456 CPUtime=461.19
/proc/5524/stat : 5524 (java) R 5522 5524 5197 0 -1 0 9212 0 1 0 46081 38 0 0 25 0 8 0 135928186 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073817810 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5524/statm: 228864 8947 2513 14 0 215334 0
[pid=5524/tid=5526] ppid=5522 vsize=915456 CPUtime=0.03
/proc/5524/task/5526/stat : 5526 (java) S 5522 5524 5197 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 135928190 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5527] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5527/stat : 5527 (java) S 5522 5524 5197 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 135928191 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5528] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5528/stat : 5528 (java) S 5522 5524 5197 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 135928191 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5529] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5529/stat : 5529 (java) S 5522 5524 5197 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5530] ppid=5522 vsize=915456 CPUtime=0.25
/proc/5524/task/5530/stat : 5530 (java) S 5522 5524 5197 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5531] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5531/stat : 5531 (java) S 5522 5524 5197 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5532] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5532/stat : 5532 (java) S 5522 5524 5197 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 461.19
Current children cumulated vsize (KiB) 915456
[startup+522.825 s]
/proc/loadavg: 1.94 1.80 1.83 3/100 6644
/proc/meminfo: memFree=1189080/2055920 swapFree=4192812/4192956
[pid=5524] ppid=5522 vsize=915456 CPUtime=521.14
/proc/5524/stat : 5524 (java) R 5522 5524 5197 0 -1 0 9212 0 1 0 52076 38 0 0 25 0 8 0 135928186 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803254 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5524/statm: 228864 8947 2513 14 0 215334 0
[pid=5524/tid=5526] ppid=5522 vsize=915456 CPUtime=0.03
/proc/5524/task/5526/stat : 5526 (java) S 5522 5524 5197 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 135928190 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5527] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5527/stat : 5527 (java) S 5522 5524 5197 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 135928191 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5528] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5528/stat : 5528 (java) S 5522 5524 5197 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 135928191 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5529] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5529/stat : 5529 (java) S 5522 5524 5197 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5530] ppid=5522 vsize=915456 CPUtime=0.25
/proc/5524/task/5530/stat : 5530 (java) S 5522 5524 5197 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5531] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5531/stat : 5531 (java) S 5522 5524 5197 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5532] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5532/stat : 5532 (java) S 5522 5524 5197 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 521.14
Current children cumulated vsize (KiB) 915456
[startup+582.829 s]
/proc/loadavg: 1.98 1.83 1.83 3/100 6644
/proc/meminfo: memFree=1189080/2055920 swapFree=4192812/4192956
[pid=5524] ppid=5522 vsize=915456 CPUtime=581.06
/proc/5524/stat : 5524 (java) R 5522 5524 5197 0 -1 0 9212 0 1 0 58068 38 0 0 25 0 8 0 135928186 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073816322 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5524/statm: 228864 8947 2513 14 0 215334 0
[pid=5524/tid=5526] ppid=5522 vsize=915456 CPUtime=0.03
/proc/5524/task/5526/stat : 5526 (java) S 5522 5524 5197 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 135928190 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5527] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5527/stat : 5527 (java) S 5522 5524 5197 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 135928191 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5528] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5528/stat : 5528 (java) S 5522 5524 5197 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 135928191 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5529] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5529/stat : 5529 (java) S 5522 5524 5197 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5530] ppid=5522 vsize=915456 CPUtime=0.25
/proc/5524/task/5530/stat : 5530 (java) S 5522 5524 5197 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5531] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5531/stat : 5531 (java) S 5522 5524 5197 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5532] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5532/stat : 5532 (java) S 5522 5524 5197 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 581.06
Current children cumulated vsize (KiB) 915456
[startup+642.833 s]
/proc/loadavg: 2.13 1.91 1.86 3/100 6644
/proc/meminfo: memFree=1189080/2055920 swapFree=4192812/4192956
[pid=5524] ppid=5522 vsize=915456 CPUtime=641.02
/proc/5524/stat : 5524 (java) R 5522 5524 5197 0 -1 0 9212 0 1 0 64063 39 0 0 25 0 8 0 135928186 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336163 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5524/statm: 228864 8947 2513 14 0 215334 0
[pid=5524/tid=5526] ppid=5522 vsize=915456 CPUtime=0.03
/proc/5524/task/5526/stat : 5526 (java) S 5522 5524 5197 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 135928190 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5527] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5527/stat : 5527 (java) S 5522 5524 5197 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 135928191 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5528] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5528/stat : 5528 (java) S 5522 5524 5197 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 135928191 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5529] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5529/stat : 5529 (java) S 5522 5524 5197 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5530] ppid=5522 vsize=915456 CPUtime=0.25
/proc/5524/task/5530/stat : 5530 (java) S 5522 5524 5197 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5531] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5531/stat : 5531 (java) S 5522 5524 5197 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5532] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5532/stat : 5532 (java) S 5522 5524 5197 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 641.02
Current children cumulated vsize (KiB) 915456
[startup+702.84 s]
/proc/loadavg: 2.05 1.93 1.87 3/100 6644
/proc/meminfo: memFree=1189080/2055920 swapFree=4192812/4192956
[pid=5524] ppid=5522 vsize=915456 CPUtime=700.98
/proc/5524/stat : 5524 (java) R 5522 5524 5197 0 -1 0 9212 0 1 0 70059 39 0 0 25 0 8 0 135928186 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073821507 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5524/statm: 228864 8947 2513 14 0 215334 0
[pid=5524/tid=5526] ppid=5522 vsize=915456 CPUtime=0.03
/proc/5524/task/5526/stat : 5526 (java) S 5522 5524 5197 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 135928190 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5527] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5527/stat : 5527 (java) S 5522 5524 5197 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 135928191 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5528] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5528/stat : 5528 (java) S 5522 5524 5197 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 135928191 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5529] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5529/stat : 5529 (java) S 5522 5524 5197 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5530] ppid=5522 vsize=915456 CPUtime=0.25
/proc/5524/task/5530/stat : 5530 (java) S 5522 5524 5197 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5531] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5531/stat : 5531 (java) S 5522 5524 5197 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5532] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5532/stat : 5532 (java) S 5522 5524 5197 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 135928194 937426944 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 700.98
Current children cumulated vsize (KiB) 915456
[startup+762.847 s]
/proc/loadavg: 2.06 1.95 1.88 3/100 6644
/proc/meminfo: memFree=1189080/2055920 swapFree=4192812/4192956
[pid=5524] ppid=5522 vsize=915456 CPUtime=760.91
/proc/5524/stat : 5524 (java) R 5522 5524 5197 0 -1 0 9214 0 1 0 76052 39 0 0 25 0 8 0 135928186 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073833373 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5524/statm: 228864 8949 2513 14 0 215334 0
[pid=5524/tid=5526] ppid=5522 vsize=915456 CPUtime=0.03
/proc/5524/task/5526/stat : 5526 (java) S 5522 5524 5197 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 135928190 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5527] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5527/stat : 5527 (java) S 5522 5524 5197 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 135928191 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5528] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5528/stat : 5528 (java) S 5522 5524 5197 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 135928191 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5529] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5529/stat : 5529 (java) S 5522 5524 5197 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 135928194 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5530] ppid=5522 vsize=915456 CPUtime=0.26
/proc/5524/task/5530/stat : 5530 (java) S 5522 5524 5197 0 -1 64 393 0 0 0 25 1 0 0 16 0 8 0 135928194 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5524/tid=5531] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5531/stat : 5531 (java) S 5522 5524 5197 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 135928194 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5532] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5532/stat : 5532 (java) S 5522 5524 5197 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 135928194 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 760.91
Current children cumulated vsize (KiB) 915456
[startup+822.857 s]
/proc/loadavg: 2.02 1.96 1.89 3/100 6644
/proc/meminfo: memFree=1189080/2055920 swapFree=4192812/4192956
[pid=5524] ppid=5522 vsize=915456 CPUtime=820.86
/proc/5524/stat : 5524 (java) R 5522 5524 5197 0 -1 0 9214 0 1 0 82047 39 0 0 25 0 8 0 135928186 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073808121 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5524/statm: 228864 8949 2513 14 0 215334 0
[pid=5524/tid=5526] ppid=5522 vsize=915456 CPUtime=0.03
/proc/5524/task/5526/stat : 5526 (java) S 5522 5524 5197 0 -1 64 363 0 0 0 3 0 0 0 16 0 8 0 135928190 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5527] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5527/stat : 5527 (java) S 5522 5524 5197 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 135928191 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5528] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5528/stat : 5528 (java) S 5522 5524 5197 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 135928191 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5529] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5529/stat : 5529 (java) S 5522 5524 5197 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 135928194 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5530] ppid=5522 vsize=915456 CPUtime=0.26
/proc/5524/task/5530/stat : 5530 (java) S 5522 5524 5197 0 -1 64 393 0 0 0 25 1 0 0 16 0 8 0 135928194 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5524/tid=5531] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5531/stat : 5531 (java) S 5522 5524 5197 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 135928194 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5524/tid=5532] ppid=5522 vsize=915456 CPUtime=0
/proc/5524/task/5532/stat : 5532 (java) S 5522 5524 5197 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 135928194 937426944 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 820.86
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 836.704
CPU time (s): 834.703
CPU user time (s): 834.304
CPU system time (s): 0.398939
CPU usage (%): 99.7609
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 834.304
system time used= 0.398939
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9221
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= 18071
involuntary context switches= 20708
runsolver used 1.00685 s user time and 2.6396 s system time
The end
Begin job on node5 on Sat Jan 6 08:45:37 UTC 2007
IDJOB= 203634
IDBENCH= 3973
FILE ID= node5/203634-1168073137
PBS_JOBID= 3475736
Free space on /tmp= 66331 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-27/rand-27-27-351-163-63021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/203634-1168073137/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-203634-1168073137 -o ROOT/results/node5/solver-203634-1168073137 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/203634-1168073137/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= b9ccb3dea22c70378a1dd0d024777784
RANDOM SEED= 249592458
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.240
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.240
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: 1353312 kB
Buffers: 55180 kB
Cached: 485420 kB
SwapCached: 0 kB
Active: 235372 kB
Inactive: 377984 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1353312 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2096 kB
Writeback: 0 kB
Mapped: 101752 kB
Slab: 73920 kB
Committed_AS: 3943412 kB
PageTables: 2272 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= 66326 MiB
End job on node5 on Sat Jan 6 08:59:34 UTC 2007