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/231950-1168081210/unknown.xml
0.45
0.45 domains being loaded...
0.45
0.45 variables being loaded...
0.49 nbVariables=25 nbDomainTypes=1 minDomainSize=25 maxDomainSize=25
0.49 => wckTime=0.093 cpuTime=0.08 mem=6M951
0.49
0.49 relations being loaded...
0.59
0.59 constraints being loaded...
0.70 nbConstraints=300 nbRelationTypes=300 nbExtensionStructures=300 nbSharedExtensionStructures=0
0.70 nbConflictsStructures=300 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=896 maxDegree=24
0.70 maxArity=2
0.70 => wckTime=0.308 cpuTime=0.23 mem=13M778
0.74
0.74 solver IterativeSystematicSolver being built...
0.89 => wckTime=0.496 cpuTime=0.35 mem=14M79
0.89
0.89 preprocessing
0.89 nbConstraintChecks=0 nbPropagations=25 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.89 detectedInconsistency=no
0.89 => wckTime=0.0040 cpuTime=0.0 mem=14M79
0.94
0.94 search
0.94 run=0 nbConstraintChecks=41552 nbPropagations=489 nbRevisions=8225 nbUselessRevisions=7167 nbAssignments=25
0.94 nbFailedAssignments=10 nbBacktracks=10 nbVisitedNodes=45 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.94 nbTooLargeKeys=0
0.94 => wckTime=0.051 cpuTime=0.03 mem=15M120
0.96
0.96 search
0.96 run=1 nbConstraintChecks=96353 nbPropagations=1576 nbRevisions=27673 nbUselessRevisions=24049 nbAssignments=61
0.96 nbFailedAssignments=26 nbBacktracks=25 nbVisitedNodes=108 nbRestartNogoods=2 mapSize=25 nbInferences=0
0.96 nbTooLargeKeys=0
0.96 => wckTime=0.071 cpuTime=0.04 mem=15M120
0.98
0.98 search
0.98 run=2 nbConstraintChecks=160100 nbPropagations=3413 nbRevisions=60919 nbUselessRevisions=52875
0.98 nbAssignments=109 nbFailedAssignments=48 nbBacktracks=47 nbVisitedNodes=195 nbRestartNogoods=6 mapSize=47
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.093 cpuTime=0.06 mem=15M120
1.01
1.01 search
1.01 run=3 nbConstraintChecks=250152 nbPropagations=6337 nbRevisions=114455 nbUselessRevisions=99420
1.01 nbAssignments=178 nbFailedAssignments=77 nbBacktracks=80 nbVisitedNodes=318 nbRestartNogoods=7 mapSize=80
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.116 cpuTime=0.08 mem=15M120
1.03
1.03 search
1.04 run=4 nbConstraintChecks=406930 nbPropagations=10981 nbRevisions=201499 nbUselessRevisions=174916
1.04 nbAssignments=284 nbFailedAssignments=127 nbBacktracks=132 nbVisitedNodes=518 nbRestartNogoods=11 mapSize=132
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.145 cpuTime=0.1 mem=15M120
1.08
1.08 search
1.08 run=5 nbConstraintChecks=616933 nbPropagations=17968 nbRevisions=335195 nbUselessRevisions=291008
1.08 nbAssignments=442 nbFailedAssignments=203 nbBacktracks=207 nbVisitedNodes=804 nbRestartNogoods=14 mapSize=206
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.187 cpuTime=0.14 mem=15M120
1.15
1.15 search
1.15 run=6 nbConstraintChecks=982771 nbPropagations=28676 nbRevisions=547086 nbUselessRevisions=475029
1.15 nbAssignments=677 nbFailedAssignments=320 nbBacktracks=320 nbVisitedNodes=1240 nbRestartNogoods=23 mapSize=319
1.15 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.256 cpuTime=0.2 mem=15M120
1.23
1.23 search
1.23 run=7 nbConstraintChecks=1469045 nbPropagations=44633 nbRevisions=867161 nbUselessRevisions=753197
1.23 nbAssignments=1026 nbFailedAssignments=492 nbBacktracks=491 nbVisitedNodes=1886 nbRestartNogoods=29
1.23 mapSize=486 nbInferences=0 nbTooLargeKeys=0
1.23 => wckTime=0.341 cpuTime=0.28 mem=15M120
1.36
1.36 search
1.36 run=8 nbConstraintChecks=2161169 nbPropagations=68112 nbRevisions=1343755 nbUselessRevisions=1167629
1.36 nbAssignments=1528 nbFailedAssignments=733 nbBacktracks=747 nbVisitedNodes=2821 nbRestartNogoods=36
1.36 mapSize=739 nbInferences=0 nbTooLargeKeys=0
1.36 => wckTime=0.468 cpuTime=0.4 mem=15M120
1.49
1.49 INFO : Stopping hyperNogood (mapSize=1037, nbTooLargekeys=0, mem=15M120)
1.52
1.52 search
1.52 run=9 nbConstraintChecks=3194990 nbPropagations=103122 nbRevisions=2054839 nbUselessRevisions=1786336
1.52 nbAssignments=2293 nbFailedAssignments=1107 nbBacktracks=1132 nbVisitedNodes=4242 nbRestartNogoods=45
1.52 => wckTime=0.634 cpuTime=0.56 mem=15M120
1.78
1.78 search
1.78 run=10 nbConstraintChecks=4857329 nbPropagations=155859 nbRevisions=3138953 nbUselessRevisions=2729846
1.78 nbAssignments=3460 nbFailedAssignments=1694 nbBacktracks=1708 nbVisitedNodes=6422 nbRestartNogoods=53
1.78 => wckTime=0.887 cpuTime=0.8 mem=15M120
2.12
2.12 search
2.12 run=11 nbConstraintChecks=7189722 nbPropagations=234063 nbRevisions=4742329 nbUselessRevisions=4125473
2.12 nbAssignments=5135 nbFailedAssignments=2500 nbBacktracks=2572 nbVisitedNodes=9521 nbRestartNogoods=64
2.12 => wckTime=1.226 cpuTime=1.13 mem=15M120
2.65
2.65 search
2.65 run=12 nbConstraintChecks=10955700 nbPropagations=352160 nbRevisions=7178746 nbUselessRevisions=6246379
2.65 nbAssignments=7728 nbFailedAssignments=3790 nbBacktracks=3871 nbVisitedNodes=14349 nbRestartNogoods=76
2.65 => wckTime=1.76 cpuTime=1.66 mem=15M120
3.45
3.45 search
3.45 run=13 nbConstraintChecks=16591877 nbPropagations=530135 nbRevisions=10862824 nbUselessRevisions=9452673
3.45 nbAssignments=11613 nbFailedAssignments=5724 nbBacktracks=5817 nbVisitedNodes=21589 nbRestartNogoods=81
3.45 => wckTime=2.562 cpuTime=2.45 mem=15M120
4.64
4.64 search
4.64 run=14 nbConstraintChecks=24971153 nbPropagations=797405 nbRevisions=16416886 nbUselessRevisions=14289057
4.64 nbAssignments=17416 nbFailedAssignments=8603 nbBacktracks=8736 nbVisitedNodes=32435 nbRestartNogoods=90
4.64 => wckTime=3.753 cpuTime=3.63 mem=15M120
6.34
6.34 search
6.34 run=15 nbConstraintChecks=36869937 nbPropagations=1194273 nbRevisions=24647356 nbUselessRevisions=21457600
6.34 nbAssignments=25926 nbFailedAssignments=12727 nbBacktracks=13116 nbVisitedNodes=48277 nbRestartNogoods=106
6.34 => wckTime=5.454 cpuTime=5.33 mem=15M120
8.93
8.93 search
8.93 run=16 nbConstraintChecks=54733109 nbPropagations=1785119 nbRevisions=36929938 nbUselessRevisions=32164595
8.93 nbAssignments=38688 nbFailedAssignments=18915 nbBacktracks=19685 nbVisitedNodes=72027 nbRestartNogoods=116
8.93 => wckTime=8.04 cpuTime=7.89 mem=15M120
12.88
12.88 search
12.88 run=17 nbConstraintChecks=82305246 nbPropagations=2670954 nbRevisions=55355117 nbUselessRevisions=48222005
12.88 nbAssignments=57906 nbFailedAssignments=28276 nbBacktracks=29537 nbVisitedNodes=107865 nbRestartNogoods=128
12.88 => wckTime=11.987 cpuTime=11.81 mem=15M120
18.75
18.75 search
18.75 run=18 nbConstraintChecks=123115598 nbPropagations=3996674 nbRevisions=82942142 nbUselessRevisions=72268564
18.75 nbAssignments=86633 nbFailedAssignments=42220 nbBacktracks=44315 nbVisitedNodes=161354 nbRestartNogoods=134
18.75 => wckTime=17.861 cpuTime=17.64 mem=15M120
27.75
27.75 search
27.75 run=19 nbConstraintChecks=186878711 nbPropagations=5996222 nbRevisions=124719146 nbUselessRevisions=108684979
27.75 nbAssignments=130353 nbFailedAssignments=63767 nbBacktracks=66483 nbVisitedNodes=242918 nbRestartNogoods=150
27.75 => wckTime=26.863 cpuTime=26.57 mem=15M120
41.24
41.24 search
41.24 run=20 nbConstraintChecks=280162069 nbPropagations=8999599 nbRevisions=187449964 nbUselessRevisions=163374980
41.24 nbAssignments=195875 nbFailedAssignments=96033 nbBacktracks=99735 nbVisitedNodes=365224 nbRestartNogoods=162
41.24 => wckTime=40.348 cpuTime=39.91 mem=15M120
61.55
61.55 search
61.55 run=21 nbConstraintChecks=422740395 nbPropagations=13511156 nbRevisions=281939418 nbUselessRevisions=245768498
61.55 nbAssignments=293650 nbFailedAssignments=143923 nbBacktracks=149613 nbVisitedNodes=547423 nbRestartNogoods=179
61.55 => wckTime=60.66 cpuTime=60.02 mem=15M120
91.78
91.78 search
91.78 run=22 nbConstraintChecks=633855428 nbPropagations=20272846 nbRevisions=423780538 nbUselessRevisions=369494489
91.78 nbAssignments=440098 nbFailedAssignments=215548 nbBacktracks=224433 nbVisitedNodes=820355 nbRestartNogoods=191
91.78 => wckTime=90.886 cpuTime=89.93 mem=15M120
139.23
139.23 search
139.23 run=23 nbConstraintChecks=956643574 nbPropagations=30436553 nbRevisions=637210829 nbUselessRevisions=555658627
139.23 nbAssignments=660660 nbFailedAssignments=323878 nbBacktracks=336661 nbVisitedNodes=1231109 nbRestartNogoods=206
139.23 => wckTime=138.335 cpuTime=137.22 mem=15M120
211.39
211.39 search
211.39 run=24 nbConstraintChecks=1442416977 nbPropagations=45704770 nbRevisions=958495790 nbUselessRevisions=835945611
211.39 nbAssignments=990824 nbFailedAssignments=485696 nbBacktracks=505002 nbVisitedNodes=1846390 nbRestartNogoods=221
211.39 => wckTime=210.499 cpuTime=209.34 mem=15M120
321.58
321.58 search
321.59 run=25 nbConstraintChecks=2185395436 nbPropagations=68709447 nbRevisions=1444291873
321.59 nbUselessRevisions=1259870226 nbAssignments=1489324 nbFailedAssignments=731680 nbBacktracks=757513
321.59 nbVisitedNodes=2776280 nbRestartNogoods=242
321.59 => wckTime=320.695 cpuTime=319.29 mem=15M120
488.62
488.62 search
488.62 run=26 nbConstraintChecks=3307975484 nbPropagations=103339259 nbRevisions=2178188772
488.62 nbUselessRevisions=1900456261 nbAssignments=2235123 nbFailedAssignments=1098707 nbBacktracks=1136280
488.62 nbVisitedNodes=4167942 nbRestartNogoods=258
488.62 => wckTime=487.733 cpuTime=485.54 mem=15M120
515.45
515.45 search
515.45 run=27 nbConstraintChecks=3489842688 nbPropagations=139825628 nbRevisions=2952071118
515.45 nbUselessRevisions=2575979368 nbAssignments=2353737 nbFailedAssignments=1157654 nbBacktracks=1195948
515.46 nbVisitedNodes=4389487 nbRestartNogoods=276
515.46 => wckTime=514.565 cpuTime=512.24 mem=15M120
515.46
515.46 global
515.46 nbConstraintChecks=3489842688 nbPropagations=139825653 nbRevisions=2952071118 nbUselessRevisions=2575979368
515.46 nbRestartNogoods=276 solvingWckTime=514.566 solvingCpuTime=512.24 expiredTime=no totalExploration=yes
515.46 nbFoundSolutions=0 globalCpuTime=512.65
515.46 => wckTime=515.065 cpuTime=512.6 mem=15M120
515.46
515.46 s UNSATISFIABLE
515.46 d NODES 2353737
515.46 d CHECKS 3489842688
515.46
515.46 totalWckTime=515.141 totalCpuTime=512.65
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node40/watcher-231950-1168081210 -o ROOT/results/node40/solver-231950-1168081210 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/231950-1168081210/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.00 1.01 1.14 3/80 27695
/proc/meminfo: memFree=1654296/2055920 swapFree=4192812/4192956
[pid=27694] ppid=27692 vsize=18540 CPUtime=0
/proc/27694/stat : 27694 (runsolver) R 27692 27694 27571 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 156521799 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 264519609639 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/27694/statm: 4635 279 244 17 0 2626 0
[startup+0.10208 s]
/proc/loadavg: 1.00 1.01 1.14 3/80 27695
/proc/meminfo: memFree=1654296/2055920 swapFree=4192812/4192956
[pid=27694] ppid=27692 vsize=911488 CPUtime=0.06
/proc/27694/stat : 27694 (java) D 27692 27694 27571 0 -1 0 2637 0 1 0 6 0 0 0 25 0 8 0 156521799 933363712 2384 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27694/statm: 227872 2384 1284 14 0 215051 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 911488
[startup+0.510132 s]
/proc/loadavg: 1.00 1.01 1.14 3/80 27695
/proc/meminfo: memFree=1654296/2055920 swapFree=4192812/4192956
[pid=27694] ppid=27692 vsize=915328 CPUtime=0.39
/proc/27694/stat : 27694 (java) R 27692 27694 27571 0 -1 0 6140 0 1 0 35 4 0 0 21 0 8 0 156521799 937295872 5879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27694/statm: 228832 5879 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 915328
[startup+1.33224 s]
/proc/loadavg: 1.08 1.03 1.15 3/87 27702
/proc/meminfo: memFree=1630112/2055920 swapFree=4192812/4192956
[pid=27694] ppid=27692 vsize=915456 CPUtime=1.2
/proc/27694/stat : 27694 (java) R 27692 27694 27571 0 -1 0 8747 0 1 0 115 5 0 0 25 0 8 0 156521799 937426944 8485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073810923 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27694/statm: 228864 8485 2513 14 0 215334 0
[pid=27694/tid=27696] ppid=27692 vsize=915456 CPUtime=0.03
/proc/27694/task/27696/stat : 27696 (java) S 27692 27694 27571 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 156521804 937426944 8485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27697] ppid=27692 vsize=915456 CPUtime=0
/proc/27694/task/27697/stat : 27697 (java) S 27692 27694 27571 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156521804 937426944 8485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27698] ppid=27692 vsize=915456 CPUtime=0
/proc/27694/task/27698/stat : 27698 (java) S 27692 27694 27571 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156521804 937426944 8485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27699] ppid=27692 vsize=915456 CPUtime=0
/proc/27694/task/27699/stat : 27699 (java) S 27692 27694 27571 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156521807 937426944 8485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27700] ppid=27692 vsize=915456 CPUtime=0.19
/proc/27694/task/27700/stat : 27700 (java) S 27692 27694 27571 0 -1 64 375 0 0 0 18 1 0 0 15 0 8 0 156521807 937426944 8485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27701] ppid=27692 vsize=915456 CPUtime=0
/proc/27694/task/27701/stat : 27701 (java) S 27692 27694 27571 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156521807 937426944 8485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27702] ppid=27692 vsize=915456 CPUtime=0
/proc/27694/task/27702/stat : 27702 (java) S 27692 27694 27571 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156521807 937426944 8485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 915456
[startup+2.96944 s]
/proc/loadavg: 1.08 1.03 1.15 3/87 27702
/proc/meminfo: memFree=1629984/2055920 swapFree=4192812/4192956
[pid=27694] ppid=27692 vsize=915456 CPUtime=2.82
/proc/27694/stat : 27694 (java) R 27692 27694 27571 0 -1 0 8761 0 1 0 277 5 0 0 25 0 8 0 156521799 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073797324 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27694/statm: 228864 8498 2513 14 0 215334 0
[pid=27694/tid=27696] ppid=27692 vsize=915456 CPUtime=0.03
/proc/27694/task/27696/stat : 27696 (java) S 27692 27694 27571 0 -1 64 324 0 0 0 3 0 0 0 17 0 8 0 156521804 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27697] ppid=27692 vsize=915456 CPUtime=0
/proc/27694/task/27697/stat : 27697 (java) S 27692 27694 27571 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156521804 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27698] ppid=27692 vsize=915456 CPUtime=0
/proc/27694/task/27698/stat : 27698 (java) S 27692 27694 27571 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156521804 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27699] ppid=27692 vsize=915456 CPUtime=0
/proc/27694/task/27699/stat : 27699 (java) S 27692 27694 27571 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156521807 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27700] ppid=27692 vsize=915456 CPUtime=0.22
/proc/27694/task/27700/stat : 27700 (java) S 27692 27694 27571 0 -1 64 388 0 0 0 21 1 0 0 15 0 8 0 156521807 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27701] ppid=27692 vsize=915456 CPUtime=0
/proc/27694/task/27701/stat : 27701 (java) S 27692 27694 27571 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156521807 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27702] ppid=27692 vsize=915456 CPUtime=0
/proc/27694/task/27702/stat : 27702 (java) S 27692 27694 27571 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156521807 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 915456
[startup+6.27187 s]
/proc/loadavg: 1.08 1.03 1.15 3/87 27702
/proc/meminfo: memFree=1629984/2055920 swapFree=4192812/4192956
[pid=27694] ppid=27692 vsize=915456 CPUtime=6.1
/proc/27694/stat : 27694 (java) R 27692 27694 27571 0 -1 0 8762 0 1 0 605 5 0 0 25 0 8 0 156521799 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788762 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27694/statm: 228864 8498 2513 14 0 215334 0
[pid=27694/tid=27696] ppid=27692 vsize=915456 CPUtime=0.03
/proc/27694/task/27696/stat : 27696 (java) S 27692 27694 27571 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 156521804 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27697] ppid=27692 vsize=915456 CPUtime=0
/proc/27694/task/27697/stat : 27697 (java) S 27692 27694 27571 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156521804 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27698] ppid=27692 vsize=915456 CPUtime=0
/proc/27694/task/27698/stat : 27698 (java) S 27692 27694 27571 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156521804 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27699] ppid=27692 vsize=915456 CPUtime=0
/proc/27694/task/27699/stat : 27699 (java) S 27692 27694 27571 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156521807 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27700] ppid=27692 vsize=915456 CPUtime=0.22
/proc/27694/task/27700/stat : 27700 (java) S 27692 27694 27571 0 -1 64 388 0 0 0 21 1 0 0 16 0 8 0 156521807 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27701] ppid=27692 vsize=915456 CPUtime=0
/proc/27694/task/27701/stat : 27701 (java) S 27692 27694 27571 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156521807 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27702] ppid=27692 vsize=915456 CPUtime=0
/proc/27694/task/27702/stat : 27702 (java) S 27692 27694 27571 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156521807 937426944 8498 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915456
[startup+12.7357 s]
/proc/loadavg: 1.22 1.06 1.16 3/87 27702
/proc/meminfo: memFree=1629984/2055920 swapFree=4192812/4192956
[pid=27694] ppid=27692 vsize=915456 CPUtime=12.52
/proc/27694/stat : 27694 (java) R 27692 27694 27571 0 -1 0 8765 0 1 0 1246 6 0 0 25 0 8 0 156521799 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073787782 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27694/statm: 228864 8500 2513 14 0 215334 0
[pid=27694/tid=27696] ppid=27692 vsize=915456 CPUtime=0.03
/proc/27694/task/27696/stat : 27696 (java) S 27692 27694 27571 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 156521804 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27697] ppid=27692 vsize=915456 CPUtime=0
/proc/27694/task/27697/stat : 27697 (java) S 27692 27694 27571 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156521804 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27698] ppid=27692 vsize=915456 CPUtime=0
/proc/27694/task/27698/stat : 27698 (java) S 27692 27694 27571 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156521804 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27699] ppid=27692 vsize=915456 CPUtime=0
/proc/27694/task/27699/stat : 27699 (java) S 27692 27694 27571 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156521807 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27700] ppid=27692 vsize=915456 CPUtime=0.22
/proc/27694/task/27700/stat : 27700 (java) S 27692 27694 27571 0 -1 64 390 0 0 0 21 1 0 0 16 0 8 0 156521807 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27701] ppid=27692 vsize=915456 CPUtime=0
/proc/27694/task/27701/stat : 27701 (java) S 27692 27694 27571 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156521807 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27702] ppid=27692 vsize=915456 CPUtime=0
/proc/27694/task/27702/stat : 27702 (java) S 27692 27694 27571 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156521807 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 915456
[startup+25.5884 s]
/proc/loadavg: 1.34 1.09 1.16 3/87 27702
/proc/meminfo: memFree=1630048/2055920 swapFree=4192812/4192956
[pid=27694] ppid=27692 vsize=915456 CPUtime=25.28
/proc/27694/stat : 27694 (java) R 27692 27694 27571 0 -1 0 8765 0 1 0 2522 6 0 0 25 0 8 0 156521799 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073796213 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27694/statm: 228864 8500 2513 14 0 215334 0
[pid=27694/tid=27696] ppid=27692 vsize=915456 CPUtime=0.03
/proc/27694/task/27696/stat : 27696 (java) S 27692 27694 27571 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 156521804 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27697] ppid=27692 vsize=915456 CPUtime=0
/proc/27694/task/27697/stat : 27697 (java) S 27692 27694 27571 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156521804 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27698] ppid=27692 vsize=915456 CPUtime=0
/proc/27694/task/27698/stat : 27698 (java) S 27692 27694 27571 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156521804 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27699] ppid=27692 vsize=915456 CPUtime=0
/proc/27694/task/27699/stat : 27699 (java) S 27692 27694 27571 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156521807 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27700] ppid=27692 vsize=915456 CPUtime=0.22
/proc/27694/task/27700/stat : 27700 (java) S 27692 27694 27571 0 -1 64 390 0 0 0 21 1 0 0 16 0 8 0 156521807 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27701] ppid=27692 vsize=915456 CPUtime=0
/proc/27694/task/27701/stat : 27701 (java) S 27692 27694 27571 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156521807 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27702] ppid=27692 vsize=915456 CPUtime=0
/proc/27694/task/27702/stat : 27702 (java) S 27692 27694 27571 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156521807 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 915456
[startup+51.2887 s]
/proc/loadavg: 1.57 1.16 1.19 3/93 27776
/proc/meminfo: memFree=1628888/2055920 swapFree=4192812/4192956
[pid=27694] ppid=27692 vsize=915456 CPUtime=50.71
/proc/27694/stat : 27694 (java) R 27692 27694 27571 0 -1 0 8765 0 1 0 5062 9 0 0 25 0 8 0 156521799 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073796303 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27694/statm: 228864 8500 2513 14 0 215334 0
[pid=27694/tid=27696] ppid=27692 vsize=915456 CPUtime=0.03
/proc/27694/task/27696/stat : 27696 (java) S 27692 27694 27571 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 156521804 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27697] ppid=27692 vsize=915456 CPUtime=0
/proc/27694/task/27697/stat : 27697 (java) S 27692 27694 27571 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156521804 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27698] ppid=27692 vsize=915456 CPUtime=0
/proc/27694/task/27698/stat : 27698 (java) S 27692 27694 27571 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156521804 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27699] ppid=27692 vsize=915456 CPUtime=0
/proc/27694/task/27699/stat : 27699 (java) S 27692 27694 27571 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156521807 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27700] ppid=27692 vsize=915456 CPUtime=0.22
/proc/27694/task/27700/stat : 27700 (java) S 27692 27694 27571 0 -1 64 390 0 0 0 21 1 0 0 16 0 8 0 156521807 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27701] ppid=27692 vsize=915456 CPUtime=0
/proc/27694/task/27701/stat : 27701 (java) S 27692 27694 27571 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156521807 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27702] ppid=27692 vsize=915456 CPUtime=0
/proc/27694/task/27702/stat : 27702 (java) S 27692 27694 27571 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156521807 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 915456
[startup+102.49 s]
/proc/loadavg: 1.83 1.30 1.23 3/93 27858
/proc/meminfo: memFree=1628848/2055920 swapFree=4192812/4192956
[pid=27694] ppid=27692 vsize=915456 CPUtime=101.39
/proc/27694/stat : 27694 (java) R 27692 27694 27571 0 -1 0 8765 0 1 0 10124 15 0 0 25 0 8 0 156521799 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073797380 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27694/statm: 228864 8500 2513 14 0 215334 0
[pid=27694/tid=27696] ppid=27692 vsize=915456 CPUtime=0.03
/proc/27694/task/27696/stat : 27696 (java) S 27692 27694 27571 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 156521804 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27697] ppid=27692 vsize=915456 CPUtime=0
/proc/27694/task/27697/stat : 27697 (java) S 27692 27694 27571 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156521804 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27698] ppid=27692 vsize=915456 CPUtime=0
/proc/27694/task/27698/stat : 27698 (java) S 27692 27694 27571 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156521804 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27699] ppid=27692 vsize=915456 CPUtime=0
/proc/27694/task/27699/stat : 27699 (java) S 27692 27694 27571 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156521807 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27700] ppid=27692 vsize=915456 CPUtime=0.22
/proc/27694/task/27700/stat : 27700 (java) S 27692 27694 27571 0 -1 64 390 0 0 0 21 1 0 0 16 0 8 0 156521807 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27701] ppid=27692 vsize=915456 CPUtime=0
/proc/27694/task/27701/stat : 27701 (java) S 27692 27694 27571 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156521807 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27702] ppid=27692 vsize=915456 CPUtime=0
/proc/27694/task/27702/stat : 27702 (java) S 27692 27694 27571 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156521807 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.39
Current children cumulated vsize (KiB) 915456
[startup+162.495 s]
/proc/loadavg: 1.30 1.24 1.21 2/75 27946
/proc/meminfo: memFree=1715840/2055920 swapFree=4192812/4192956
[pid=27694] ppid=27692 vsize=915456 CPUtime=161.31
/proc/27694/stat : 27694 (java) R 27692 27694 27571 0 -1 0 8765 0 1 0 16116 15 0 0 25 0 8 0 156521799 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073824203 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27694/statm: 228864 8500 2513 14 0 215334 0
[pid=27694/tid=27696] ppid=27692 vsize=915456 CPUtime=0.03
/proc/27694/task/27696/stat : 27696 (java) S 27692 27694 27571 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 156521804 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27697] ppid=27692 vsize=915456 CPUtime=0
/proc/27694/task/27697/stat : 27697 (java) S 27692 27694 27571 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156521804 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27698] ppid=27692 vsize=915456 CPUtime=0
/proc/27694/task/27698/stat : 27698 (java) S 27692 27694 27571 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156521804 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27699] ppid=27692 vsize=915456 CPUtime=0
/proc/27694/task/27699/stat : 27699 (java) S 27692 27694 27571 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156521807 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27700] ppid=27692 vsize=915456 CPUtime=0.22
/proc/27694/task/27700/stat : 27700 (java) S 27692 27694 27571 0 -1 64 390 0 0 0 21 1 0 0 16 0 8 0 156521807 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27701] ppid=27692 vsize=915456 CPUtime=0
/proc/27694/task/27701/stat : 27701 (java) S 27692 27694 27571 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156521807 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27702] ppid=27692 vsize=915456 CPUtime=0
/proc/27694/task/27702/stat : 27702 (java) S 27692 27694 27571 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156521807 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.31
Current children cumulated vsize (KiB) 915456
[startup+222.534 s]
/proc/loadavg: 1.71 1.37 1.25 3/87 27958
/proc/meminfo: memFree=1612640/2055920 swapFree=4192812/4192956
[pid=27694] ppid=27692 vsize=915456 CPUtime=221.34
/proc/27694/stat : 27694 (java) R 27692 27694 27571 0 -1 0 8765 0 1 0 22118 16 0 0 25 0 8 0 156521799 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073797927 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27694/statm: 228864 8500 2513 14 0 215334 0
[pid=27694/tid=27696] ppid=27692 vsize=915456 CPUtime=0.03
/proc/27694/task/27696/stat : 27696 (java) S 27692 27694 27571 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 156521804 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27697] ppid=27692 vsize=915456 CPUtime=0
/proc/27694/task/27697/stat : 27697 (java) S 27692 27694 27571 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156521804 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27698] ppid=27692 vsize=915456 CPUtime=0
/proc/27694/task/27698/stat : 27698 (java) S 27692 27694 27571 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156521804 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27699] ppid=27692 vsize=915456 CPUtime=0
/proc/27694/task/27699/stat : 27699 (java) S 27692 27694 27571 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156521807 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27700] ppid=27692 vsize=915456 CPUtime=0.22
/proc/27694/task/27700/stat : 27700 (java) S 27692 27694 27571 0 -1 64 390 0 0 0 21 1 0 0 16 0 8 0 156521807 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27694/tid=27701] ppid=27692 vsize=915456 CPUtime=0
/proc/27694/task/27701/stat : 27701 (java) S 27692 27694 27571 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156521807 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27702] ppid=27692 vsize=915456 CPUtime=0
/proc/27694/task/27702/stat : 27702 (java) S 27692 27694 27571 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156521807 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 221.34
Current children cumulated vsize (KiB) 915456
[startup+282.588 s]
/proc/loadavg: 1.82 1.46 1.29 3/87 28048
/proc/meminfo: memFree=1681760/2055920 swapFree=4192812/4192956
[pid=27694] ppid=27692 vsize=915456 CPUtime=281.33
/proc/27694/stat : 27694 (java) R 27692 27694 27571 0 -1 0 8765 0 1 0 28116 17 0 0 25 0 8 0 156521799 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073810949 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27694/statm: 228864 8500 2513 14 0 215334 0
[pid=27694/tid=27696] ppid=27692 vsize=915456 CPUtime=0.03
/proc/27694/task/27696/stat : 27696 (java) S 27692 27694 27571 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 156521804 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27697] ppid=27692 vsize=915456 CPUtime=0
/proc/27694/task/27697/stat : 27697 (java) S 27692 27694 27571 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156521804 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27698] ppid=27692 vsize=915456 CPUtime=0
/proc/27694/task/27698/stat : 27698 (java) S 27692 27694 27571 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156521804 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27699] ppid=27692 vsize=915456 CPUtime=0
/proc/27694/task/27699/stat : 27699 (java) S 27692 27694 27571 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156521807 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27700] ppid=27692 vsize=915456 CPUtime=0.22
/proc/27694/task/27700/stat : 27700 (java) S 27692 27694 27571 0 -1 64 390 0 0 0 21 1 0 0 16 0 8 0 156521807 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27694/tid=27701] ppid=27692 vsize=915456 CPUtime=0
/proc/27694/task/27701/stat : 27701 (java) S 27692 27694 27571 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156521807 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27702] ppid=27692 vsize=915456 CPUtime=0
/proc/27694/task/27702/stat : 27702 (java) S 27692 27694 27571 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156521807 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 281.33
Current children cumulated vsize (KiB) 915456
[startup+342.621 s]
/proc/loadavg: 1.96 1.57 1.34 3/87 28048
/proc/meminfo: memFree=1651936/2055920 swapFree=4192812/4192956
[pid=27694] ppid=27692 vsize=915456 CPUtime=341.08
/proc/27694/stat : 27694 (java) R 27692 27694 27571 0 -1 0 8765 0 1 0 34091 17 0 0 25 0 8 0 156521799 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795361 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27694/statm: 228864 8500 2513 14 0 215334 0
[pid=27694/tid=27696] ppid=27692 vsize=915456 CPUtime=0.03
/proc/27694/task/27696/stat : 27696 (java) S 27692 27694 27571 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 156521804 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27697] ppid=27692 vsize=915456 CPUtime=0
/proc/27694/task/27697/stat : 27697 (java) S 27692 27694 27571 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156521804 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27698] ppid=27692 vsize=915456 CPUtime=0
/proc/27694/task/27698/stat : 27698 (java) S 27692 27694 27571 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156521804 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27699] ppid=27692 vsize=915456 CPUtime=0
/proc/27694/task/27699/stat : 27699 (java) S 27692 27694 27571 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156521807 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27700] ppid=27692 vsize=915456 CPUtime=0.22
/proc/27694/task/27700/stat : 27700 (java) S 27692 27694 27571 0 -1 64 390 0 0 0 21 1 0 0 16 0 8 0 156521807 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27694/tid=27701] ppid=27692 vsize=915456 CPUtime=0
/proc/27694/task/27701/stat : 27701 (java) S 27692 27694 27571 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156521807 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27702] ppid=27692 vsize=915456 CPUtime=0
/proc/27694/task/27702/stat : 27702 (java) R 27692 27694 27571 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156521807 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 341.08
Current children cumulated vsize (KiB) 915456
[startup+402.685 s]
/proc/loadavg: 1.98 1.65 1.38 3/87 28048
/proc/meminfo: memFree=1651872/2055920 swapFree=4192812/4192956
[pid=27694] ppid=27692 vsize=915456 CPUtime=400.85
/proc/27694/stat : 27694 (java) R 27692 27694 27571 0 -1 0 8765 0 1 0 40068 17 0 0 25 0 8 0 156521799 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795184 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27694/statm: 228864 8500 2513 14 0 215334 0
[pid=27694/tid=27696] ppid=27692 vsize=915456 CPUtime=0.03
/proc/27694/task/27696/stat : 27696 (java) S 27692 27694 27571 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 156521804 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27697] ppid=27692 vsize=915456 CPUtime=0
/proc/27694/task/27697/stat : 27697 (java) S 27692 27694 27571 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156521804 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27698] ppid=27692 vsize=915456 CPUtime=0
/proc/27694/task/27698/stat : 27698 (java) S 27692 27694 27571 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156521804 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27699] ppid=27692 vsize=915456 CPUtime=0
/proc/27694/task/27699/stat : 27699 (java) S 27692 27694 27571 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156521807 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27700] ppid=27692 vsize=915456 CPUtime=0.22
/proc/27694/task/27700/stat : 27700 (java) S 27692 27694 27571 0 -1 64 390 0 0 0 21 1 0 0 16 0 8 0 156521807 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27694/tid=27701] ppid=27692 vsize=915456 CPUtime=0
/proc/27694/task/27701/stat : 27701 (java) S 27692 27694 27571 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156521807 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27702] ppid=27692 vsize=915456 CPUtime=0
/proc/27694/task/27702/stat : 27702 (java) S 27692 27694 27571 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156521807 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 400.85
Current children cumulated vsize (KiB) 915456
[startup+462.747 s]
/proc/loadavg: 1.99 1.71 1.41 3/87 28048
/proc/meminfo: memFree=1651232/2055920 swapFree=4192812/4192956
[pid=27694] ppid=27692 vsize=915456 CPUtime=460.64
/proc/27694/stat : 27694 (java) R 27692 27694 27571 0 -1 0 8765 0 1 0 46046 18 0 0 25 0 8 0 156521799 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073814401 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27694/statm: 228864 8500 2513 14 0 215334 0
[pid=27694/tid=27696] ppid=27692 vsize=915456 CPUtime=0.03
/proc/27694/task/27696/stat : 27696 (java) S 27692 27694 27571 0 -1 64 324 0 0 0 3 0 0 0 16 0 8 0 156521804 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27697] ppid=27692 vsize=915456 CPUtime=0
/proc/27694/task/27697/stat : 27697 (java) S 27692 27694 27571 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156521804 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27698] ppid=27692 vsize=915456 CPUtime=0
/proc/27694/task/27698/stat : 27698 (java) S 27692 27694 27571 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156521804 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27699] ppid=27692 vsize=915456 CPUtime=0
/proc/27694/task/27699/stat : 27699 (java) S 27692 27694 27571 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156521807 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27700] ppid=27692 vsize=915456 CPUtime=0.22
/proc/27694/task/27700/stat : 27700 (java) S 27692 27694 27571 0 -1 64 390 0 0 0 21 1 0 0 16 0 8 0 156521807 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27694/tid=27701] ppid=27692 vsize=915456 CPUtime=0
/proc/27694/task/27701/stat : 27701 (java) S 27692 27694 27571 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156521807 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27694/tid=27702] ppid=27692 vsize=915456 CPUtime=0
/proc/27694/task/27702/stat : 27702 (java) S 27692 27694 27571 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156521807 937426944 8500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 460.64
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 515.521
CPU time (s): 513.121
CPU user time (s): 512.932
CPU system time (s): 0.188971
CPU usage (%): 99.5344
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 512.932
system time used= 0.188971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8797
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= 11575
involuntary context switches= 9129
runsolver used 0.498924 s user time and 1.40379 s system time
The end
Begin job on node40 on Sat Jan 6 11:00:20 UTC 2007
IDJOB= 231950
IDBENCH= 6493
FILE ID= node40/231950-1168081210
PBS_JOBID= 3476199
Free space on /tmp= 66541 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-25/rand-25-25-300-147-50021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/231950-1168081210/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node40/watcher-231950-1168081210 -o ROOT/results/node40/solver-231950-1168081210 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/231950-1168081210/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 6e0cd599045b4119b48c7ab3c5e0399c
RANDOM SEED= 800329831
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.239
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.239
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: 1655032 kB
Buffers: 20976 kB
Cached: 204036 kB
SwapCached: 0 kB
Active: 154148 kB
Inactive: 176108 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1655032 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1992 kB
Writeback: 0 kB
Mapped: 125464 kB
Slab: 55860 kB
Committed_AS: 3773624 kB
PageTables: 1992 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= 66543 MiB
End job on node40 on Sat Jan 6 11:09:00 UTC 2007