0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=esac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/231977-1168318892/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.39 nbVariables=25 nbDomainTypes=1 minDomainSize=25 maxDomainSize=25
0.39 => wckTime=0.093 cpuTime=0.09 mem=6M951
0.39
0.39 relations being loaded...
0.49
0.49 constraints being loaded...
0.60 nbConstraints=300 nbRelationTypes=300 nbExtensionStructures=300 nbSharedExtensionStructures=0
0.60 nbConflictsStructures=300 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=900 maxDegree=24
0.60 maxArity=2
0.60 => wckTime=0.309 cpuTime=0.23 mem=13M778
0.64
0.64 solver IterativeSystematicSolver being built...
0.79 => wckTime=0.499 cpuTime=0.35 mem=15M170
0.84
0.84 preprocessing
0.84 nbConstraintChecks=46100 nbPropagations=571 nbRevisions=5920 nbUselessRevisions=5260 nbSingletonTests=29
0.84 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
0.84 => wckTime=0.047 cpuTime=0.02 mem=15M170
0.86
0.86 search
0.86 run=0 nbConstraintChecks=41211 nbPropagations=1024 nbRevisions=13602 nbUselessRevisions=11843 nbAssignments=30
0.86 nbFailedAssignments=14 nbBacktracks=11 nbVisitedNodes=52 nbRestartNogoods=0 mapSize=11 nbInferences=0
0.86 nbTooLargeKeys=0
0.86 => wckTime=0.07 cpuTime=0.04 mem=15M170
0.88
0.88 search
0.88 run=1 nbConstraintChecks=85336 nbPropagations=2603 nbRevisions=36731 nbUselessRevisions=32027 nbAssignments=68
0.88 nbFailedAssignments=31 nbBacktracks=26 nbVisitedNodes=116 nbRestartNogoods=2 mapSize=25 nbInferences=0
0.88 nbTooLargeKeys=0
0.88 => wckTime=0.087 cpuTime=0.05 mem=15M170
0.90
0.90 search
0.90 run=2 nbConstraintChecks=154068 nbPropagations=4958 nbRevisions=74066 nbUselessRevisions=64517
0.90 nbAssignments=118 nbFailedAssignments=54 nbBacktracks=48 nbVisitedNodes=206 nbRestartNogoods=6 mapSize=47
0.90 nbInferences=0 nbTooLargeKeys=0
0.90 => wckTime=0.105 cpuTime=0.07 mem=15M170
0.92
0.92 search
0.92 run=3 nbConstraintChecks=248148 nbPropagations=8457 nbRevisions=133006 nbUselessRevisions=115842
0.92 nbAssignments=189 nbFailedAssignments=86 nbBacktracks=82 nbVisitedNodes=334 nbRestartNogoods=8 mapSize=80
0.92 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.128 cpuTime=0.09 mem=15M170
0.95
0.95 search
0.95 run=4 nbConstraintChecks=371735 nbPropagations=13448 nbRevisions=220734 nbUselessRevisions=192271
0.95 nbAssignments=286 nbFailedAssignments=128 nbBacktracks=132 nbVisitedNodes=510 nbRestartNogoods=10 mapSize=129
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.153 cpuTime=0.11 mem=15M170
0.99
0.99 search
0.99 run=5 nbConstraintChecks=624156 nbPropagations=21034 nbRevisions=361680 nbUselessRevisions=314950
0.99 nbAssignments=449 nbFailedAssignments=211 nbBacktracks=207 nbVisitedNodes=813 nbRestartNogoods=15 mapSize=204
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.199 cpuTime=0.15 mem=15M170
1.05
1.05 search
1.05 run=6 nbConstraintChecks=963598 nbPropagations=32363 nbRevisions=576093 nbUselessRevisions=501703
1.05 nbAssignments=679 nbFailedAssignments=311 nbBacktracks=321 nbVisitedNodes=1222 nbRestartNogoods=20 mapSize=317
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.257 cpuTime=0.21 mem=15M170
1.13
1.13 search
1.13 run=7 nbConstraintChecks=1444253 nbPropagations=48933 nbRevisions=898170 nbUselessRevisions=781968
1.13 nbAssignments=1016 nbFailedAssignments=471 nbBacktracks=492 nbVisitedNodes=1851 nbRestartNogoods=24
1.13 mapSize=484 nbInferences=0 nbTooLargeKeys=0
1.13 => wckTime=0.336 cpuTime=0.29 mem=15M170
1.26
1.26 search
1.26 run=8 nbConstraintChecks=2175668 nbPropagations=73529 nbRevisions=1380729 nbUselessRevisions=1202066
1.26 nbAssignments=1526 nbFailedAssignments=706 nbBacktracks=748 nbVisitedNodes=2779 nbRestartNogoods=33
1.26 mapSize=737 nbInferences=0 nbTooLargeKeys=0
1.26 => wckTime=0.468 cpuTime=0.41 mem=15M170
1.39
1.39 INFO : Stopping hyperNogood (mapSize=1032, nbTooLargekeys=0, mem=15M170)
1.43
1.43 search
1.43 run=9 nbConstraintChecks=3212321 nbPropagations=109559 nbRevisions=2099945 nbUselessRevisions=1828757
1.43 nbAssignments=2283 nbFailedAssignments=1073 nbBacktracks=1132 nbVisitedNodes=4185 nbRestartNogoods=41
1.43 => wckTime=0.635 cpuTime=0.57 mem=15M170
1.68
1.68 search
1.68 run=10 nbConstraintChecks=4881303 nbPropagations=163374 nbRevisions=3190465 nbUselessRevisions=2778712
1.68 nbAssignments=3449 nbFailedAssignments=1659 nbBacktracks=1708 nbVisitedNodes=6357 nbRestartNogoods=54
1.68 => wckTime=0.886 cpuTime=0.81 mem=15M170
2.03
2.03 search
2.03 run=11 nbConstraintChecks=7322595 nbPropagations=243436 nbRevisions=4822392 nbUselessRevisions=4200007
2.03 nbAssignments=5164 nbFailedAssignments=2504 nbBacktracks=2572 nbVisitedNodes=9558 nbRestartNogoods=58
2.03 => wckTime=1.235 cpuTime=1.15 mem=15M170
2.56
2.56 search
2.56 run=12 nbConstraintChecks=11128091 nbPropagations=363839 nbRevisions=7302425 nbUselessRevisions=6360432
2.56 nbAssignments=7760 nbFailedAssignments=3798 nbBacktracks=3869 nbVisitedNodes=14406 nbRestartNogoods=66
2.56 => wckTime=1.767 cpuTime=1.68 mem=15M170
3.31
3.31 search
3.31 run=13 nbConstraintChecks=16396499 nbPropagations=541859 nbRevisions=10959282 nbUselessRevisions=9544071
3.31 nbAssignments=11596 nbFailedAssignments=5683 nbBacktracks=5815 nbVisitedNodes=21539 nbRestartNogoods=80
3.31 => wckTime=2.518 cpuTime=2.43 mem=15M170
4.47
4.47 search
4.47 run=14 nbConstraintChecks=24659189 nbPropagations=808317 nbRevisions=16451903 nbUselessRevisions=14326715
4.47 nbAssignments=17382 nbFailedAssignments=8544 nbBacktracks=8734 nbVisitedNodes=32350 nbRestartNogoods=83
4.47 => wckTime=3.675 cpuTime=3.58 mem=15M170
6.14
6.14 search
6.14 run=15 nbConstraintChecks=36387322 nbPropagations=1203190 nbRevisions=24598931 nbUselessRevisions=21425221
6.14 nbAssignments=25831 nbFailedAssignments=12611 nbBacktracks=13113 nbVisitedNodes=48073 nbRestartNogoods=102
6.14 => wckTime=5.351 cpuTime=5.24 mem=15M170
8.68
8.68 search
8.68 run=16 nbConstraintChecks=54138441 nbPropagations=1792137 nbRevisions=36748816 nbUselessRevisions=32012866
8.68 nbAssignments=38658 nbFailedAssignments=18862 nbBacktracks=19682 nbVisitedNodes=71930 nbRestartNogoods=114
8.68 => wckTime=7.885 cpuTime=7.76 mem=15M170
12.61
12.61 search
12.61 run=17 nbConstraintChecks=81739379 nbPropagations=2676563 nbRevisions=55066012 nbUselessRevisions=47977955
12.61 nbAssignments=57876 nbFailedAssignments=28211 nbBacktracks=29534 nbVisitedNodes=107705 nbRestartNogoods=124
12.61 => wckTime=11.818 cpuTime=11.65 mem=15M170
18.54
18.54 search
18.54 run=18 nbConstraintChecks=123757596 nbPropagations=4009326 nbRevisions=82735516 nbUselessRevisions=72091700
18.54 nbAssignments=87075 nbFailedAssignments=42626 nbBacktracks=44314 nbVisitedNodes=162237 nbRestartNogoods=130
18.54 => wckTime=17.75 cpuTime=17.55 mem=15M170
27.46
27.46 search
27.46 run=19 nbConstraintChecks=187669852 nbPropagations=6018557 nbRevisions=124591654 nbUselessRevisions=108570417
27.46 nbAssignments=130794 nbFailedAssignments=64172 nbBacktracks=66482 nbVisitedNodes=243857 nbRestartNogoods=140
27.46 => wckTime=26.666 cpuTime=26.42 mem=15M170
40.84
40.84 search
40.84 run=20 nbConstraintChecks=282720465 nbPropagations=9037135 nbRevisions=187575310 nbUselessRevisions=163461275
40.84 nbAssignments=196206 nbFailedAssignments=96325 nbBacktracks=99735 nbVisitedNodes=365918 nbRestartNogoods=160
40.84 => wckTime=40.046 cpuTime=39.73 mem=15M170
61.01
61.01 search
61.01 run=21 nbConstraintChecks=426091251 nbPropagations=13573636 nbRevisions=282538926 nbUselessRevisions=246253463
61.01 nbAssignments=294560 nbFailedAssignments=144795 nbBacktracks=149613 nbVisitedNodes=549492 nbRestartNogoods=181
61.01 => wckTime=60.214 cpuTime=59.77 mem=15M170
90.98
90.98 search
90.98 run=22 nbConstraintChecks=641074355 nbPropagations=20375766 nbRevisions=425152626 nbUselessRevisions=370622195
90.98 nbAssignments=441599 nbFailedAssignments=217012 nbBacktracks=224431 nbVisitedNodes=823676 nbRestartNogoods=213
90.98 => wckTime=90.188 cpuTime=89.62 mem=15M170
136.07
136.07 search
136.07 run=23 nbConstraintChecks=963239046 nbPropagations=30578623 nbRevisions=639412011 nbUselessRevisions=557512818
136.07 nbAssignments=662227 nbFailedAssignments=325408 nbBacktracks=336658 nbVisitedNodes=1235012 nbRestartNogoods=223
136.07 => wckTime=135.275 cpuTime=134.49 mem=15M170
204.71
204.71 search
204.71 run=24 nbConstraintChecks=1456457558 nbPropagations=45936531 nbRevisions=962900071 nbUselessRevisions=839719738
204.71 nbAssignments=995224 nbFailedAssignments=490060 nbBacktracks=504999 nbVisitedNodes=1856353 nbRestartNogoods=235
204.71 => wckTime=203.918 cpuTime=202.8 mem=15M170
308.38
308.38 search
308.38 run=25 nbConstraintChecks=2204471971 nbPropagations=69064993 nbRevisions=1451469435
308.38 nbUselessRevisions=1265981755 nbAssignments=1495014 nbFailedAssignments=737333 nbBacktracks=757511
308.38 nbVisitedNodes=2789142 nbRestartNogoods=250
308.38 => wckTime=307.584 cpuTime=305.99 mem=15M170
466.21
466.21 search
466.21 run=26 nbConstraintChecks=3352760226 nbPropagations=103954415 nbRevisions=2191607987
466.21 nbUselessRevisions=1911823539 nbAssignments=2246291 nbFailedAssignments=1109837 nbBacktracks=1136278
466.21 nbVisitedNodes=4192020 nbRestartNogoods=276
466.21 => wckTime=465.415 cpuTime=463.32 mem=15M170
523.20
523.20 search
523.20 run=27 nbConstraintChecks=3766905957 nbPropagations=143064160 nbRevisions=3022862580
523.20 nbUselessRevisions=2637293839 nbAssignments=2515566 nbFailedAssignments=1243524 nbBacktracks=1271861
523.20 nbVisitedNodes=4695101 nbRestartNogoods=292
523.20 => wckTime=522.403 cpuTime=520.24 mem=15M170
523.20
523.20 global
523.20 nbConstraintChecks=3766952057 nbPropagations=143064731 nbRevisions=3022868500 nbUselessRevisions=2637299099
523.20 nbRestartNogoods=292 solvingWckTime=522.405 solvingCpuTime=520.24 expiredTime=no totalExploration=yes
523.20 nbFoundSolutions=0 globalCpuTime=520.63
523.20 => wckTime=522.907 cpuTime=520.59 mem=15M170
523.21
523.21 s UNSATISFIABLE
523.21 d NODES 2515566
523.21 d CHECKS 3766952057
523.21
523.21 totalWckTime=522.986 totalCpuTime=520.64
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node12/watcher-231977-1168318892 -o ROOT/results/node12/solver-231977-1168318892 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/231977-1168318892/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.34 1.65 1.73 4/94 28384
/proc/meminfo: memFree=1453112/2055920 swapFree=4160348/4192956
[pid=28383] ppid=28381 vsize=1488 CPUtime=0
/proc/28383/stat : 28383 (java) R 28381 28383 28314 0 -1 0 236 0 0 0 0 0 0 0 18 0 1 0 180284281 1523712 42 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 9697933 0 0 4096 0 0 0 0 17 0 0 0
/proc/28383/statm: 375 51 40 14 0 8 0
[startup+0.108222 s]
/proc/loadavg: 1.34 1.65 1.73 4/94 28384
/proc/meminfo: memFree=1453112/2055920 swapFree=4160348/4192956
[pid=28383] ppid=28381 vsize=914988 CPUtime=0.09
/proc/28383/stat : 28383 (java) R 28381 28383 28314 0 -1 0 3077 0 1 0 8 1 0 0 24 0 8 0 180284281 936947712 2823 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155770466 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28383/statm: 228747 2823 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.516293 s]
/proc/loadavg: 1.34 1.65 1.73 4/94 28384
/proc/meminfo: memFree=1453112/2055920 swapFree=4160348/4192956
[pid=28383] ppid=28381 vsize=915328 CPUtime=0.5
/proc/28383/stat : 28383 (java) R 28381 28383 28314 0 -1 0 7150 0 1 0 45 5 0 0 25 0 8 0 180284281 937295872 6889 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072944238 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28383/statm: 228832 6889 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33844 s]
/proc/loadavg: 1.34 1.65 1.73 3/101 28391
/proc/meminfo: memFree=1428928/2055920 swapFree=4160348/4192956
[pid=28383] ppid=28381 vsize=915456 CPUtime=1.31
/proc/28383/stat : 28383 (java) R 28381 28383 28314 0 -1 0 8774 0 1 0 124 7 0 0 25 0 8 0 180284281 937426944 8512 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336163 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28383/statm: 228864 8512 2524 14 0 215334 0
[pid=28383/tid=28385] ppid=28381 vsize=915456 CPUtime=0.03
/proc/28383/task/28385/stat : 28385 (java) S 28381 28383 28314 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 180284285 937426944 8512 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28386] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28386/stat : 28386 (java) S 28381 28383 28314 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180284285 937426944 8512 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28387] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28387/stat : 28387 (java) S 28381 28383 28314 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180284285 937426944 8512 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28388] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28388/stat : 28388 (java) S 28381 28383 28314 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180284288 937426944 8512 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28389] ppid=28381 vsize=915456 CPUtime=0.21
/proc/28383/task/28389/stat : 28389 (java) S 28381 28383 28314 0 -1 64 385 0 0 0 20 1 0 0 16 0 8 0 180284288 937426944 8512 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28390] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28390/stat : 28390 (java) S 28381 28383 28314 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 180284288 937426944 8512 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28391] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28391/stat : 28391 (java) S 28381 28383 28314 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180284288 937426944 8512 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915456
[startup+2.98574 s]
/proc/loadavg: 1.39 1.66 1.73 3/101 28397
/proc/meminfo: memFree=1428736/2055920 swapFree=4160348/4192956
[pid=28383] ppid=28381 vsize=915456 CPUtime=2.95
/proc/28383/stat : 28383 (java) R 28381 28383 28314 0 -1 0 8781 0 1 0 288 7 0 0 25 0 8 0 180284281 937426944 8518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073812431 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28383/statm: 228864 8518 2524 14 0 215334 0
[pid=28383/tid=28385] ppid=28381 vsize=915456 CPUtime=0.03
/proc/28383/task/28385/stat : 28385 (java) S 28381 28383 28314 0 -1 64 322 0 0 0 3 0 0 0 17 0 8 0 180284285 937426944 8518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28386] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28386/stat : 28386 (java) S 28381 28383 28314 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180284285 937426944 8518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28387] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28387/stat : 28387 (java) S 28381 28383 28314 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180284285 937426944 8518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28388] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28388/stat : 28388 (java) S 28381 28383 28314 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180284288 937426944 8518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28389] ppid=28381 vsize=915456 CPUtime=0.22
/proc/28383/task/28389/stat : 28389 (java) S 28381 28383 28314 0 -1 64 391 0 0 0 21 1 0 0 15 0 8 0 180284288 937426944 8518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28390] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28390/stat : 28390 (java) S 28381 28383 28314 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 180284288 937426944 8518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28391] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28391/stat : 28391 (java) S 28381 28383 28314 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180284288 937426944 8518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915456
[startup+6.28133 s]
/proc/loadavg: 1.39 1.66 1.73 3/101 28409
/proc/meminfo: memFree=1428736/2055920 swapFree=4160348/4192956
[pid=28383] ppid=28381 vsize=915456 CPUtime=6.23
/proc/28383/stat : 28383 (java) R 28381 28383 28314 0 -1 0 8782 0 1 0 615 8 0 0 25 0 8 0 180284281 937426944 8518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073806361 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28383/statm: 228864 8518 2524 14 0 215334 0
[pid=28383/tid=28385] ppid=28381 vsize=915456 CPUtime=0.03
/proc/28383/task/28385/stat : 28385 (java) S 28381 28383 28314 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 180284285 937426944 8518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28386] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28386/stat : 28386 (java) S 28381 28383 28314 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180284285 937426944 8518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28387] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28387/stat : 28387 (java) S 28381 28383 28314 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180284285 937426944 8518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28388] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28388/stat : 28388 (java) S 28381 28383 28314 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180284288 937426944 8518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28389] ppid=28381 vsize=915456 CPUtime=0.22
/proc/28383/task/28389/stat : 28389 (java) S 28381 28383 28314 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 180284288 937426944 8518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28390] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28390/stat : 28390 (java) S 28381 28383 28314 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 180284288 937426944 8518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28391] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28391/stat : 28391 (java) S 28381 28383 28314 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180284288 937426944 8518 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915456
[startup+12.7705 s]
/proc/loadavg: 1.49 1.67 1.73 3/101 28413
/proc/meminfo: memFree=1428672/2055920 swapFree=4160348/4192956
[pid=28383] ppid=28381 vsize=915456 CPUtime=12.64
/proc/28383/stat : 28383 (java) R 28381 28383 28314 0 -1 0 8785 0 1 0 1256 8 0 0 25 0 8 0 180284281 937426944 8520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073791812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28383/statm: 228864 8520 2524 14 0 215334 0
[pid=28383/tid=28385] ppid=28381 vsize=915456 CPUtime=0.03
/proc/28383/task/28385/stat : 28385 (java) S 28381 28383 28314 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 180284285 937426944 8520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28386] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28386/stat : 28386 (java) S 28381 28383 28314 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180284285 937426944 8520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28387] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28387/stat : 28387 (java) S 28381 28383 28314 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180284285 937426944 8520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28388] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28388/stat : 28388 (java) S 28381 28383 28314 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180284288 937426944 8520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28389] ppid=28381 vsize=915456 CPUtime=0.22
/proc/28383/task/28389/stat : 28389 (java) S 28381 28383 28314 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 180284288 937426944 8520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28390] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28390/stat : 28390 (java) S 28381 28383 28314 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 180284288 937426944 8520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28391] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28391/stat : 28391 (java) S 28381 28383 28314 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180284288 937426944 8520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 915456
[startup+25.6458 s]
/proc/loadavg: 1.56 1.68 1.73 3/101 28421
/proc/meminfo: memFree=1428672/2055920 swapFree=4160348/4192956
[pid=28383] ppid=28381 vsize=915456 CPUtime=25.46
/proc/28383/stat : 28383 (java) R 28381 28383 28314 0 -1 0 8787 0 1 0 2536 10 0 0 25 0 8 0 180284281 937426944 8522 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073806358 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28383/statm: 228864 8522 2524 14 0 215334 0
[pid=28383/tid=28385] ppid=28381 vsize=915456 CPUtime=0.03
/proc/28383/task/28385/stat : 28385 (java) S 28381 28383 28314 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 180284285 937426944 8522 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28386] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28386/stat : 28386 (java) S 28381 28383 28314 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180284285 937426944 8522 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28387] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28387/stat : 28387 (java) S 28381 28383 28314 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180284285 937426944 8522 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28388] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28388/stat : 28388 (java) S 28381 28383 28314 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180284288 937426944 8522 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28389] ppid=28381 vsize=915456 CPUtime=0.22
/proc/28383/task/28389/stat : 28389 (java) S 28381 28383 28314 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 180284288 937426944 8522 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28390] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28390/stat : 28390 (java) S 28381 28383 28314 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 180284288 937426944 8522 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28391] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28391/stat : 28391 (java) S 28381 28383 28314 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180284288 937426944 8522 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 915456
[startup+51.2924 s]
/proc/loadavg: 1.71 1.70 1.74 3/101 28445
/proc/meminfo: memFree=1428736/2055920 swapFree=4160348/4192956
[pid=28383] ppid=28381 vsize=915456 CPUtime=50.98
/proc/28383/stat : 28383 (java) R 28381 28383 28314 0 -1 0 8793 0 1 0 5085 13 0 0 25 0 8 0 180284281 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073796217 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28383/statm: 228864 8528 2524 14 0 215334 0
[pid=28383/tid=28385] ppid=28381 vsize=915456 CPUtime=0.03
/proc/28383/task/28385/stat : 28385 (java) S 28381 28383 28314 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 180284285 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28386] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28386/stat : 28386 (java) S 28381 28383 28314 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180284285 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28387] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28387/stat : 28387 (java) S 28381 28383 28314 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180284285 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28388] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28388/stat : 28388 (java) S 28381 28383 28314 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180284288 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28389] ppid=28381 vsize=915456 CPUtime=0.22
/proc/28383/task/28389/stat : 28389 (java) S 28381 28383 28314 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 180284288 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28390] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28390/stat : 28390 (java) S 28381 28383 28314 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 180284288 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28391] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28391/stat : 28391 (java) S 28381 28383 28314 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180284288 937426944 8528 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 915456
[startup+102.563 s]
/proc/loadavg: 1.97 1.78 1.76 3/95 28471
/proc/meminfo: memFree=1429888/2055920 swapFree=4160348/4192956
[pid=28383] ppid=28381 vsize=915456 CPUtime=101.96
/proc/28383/stat : 28383 (java) R 28381 28383 28314 0 -1 0 8799 0 1 0 10182 14 0 0 25 0 8 0 180284281 937426944 8534 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073796400 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28383/statm: 228864 8534 2524 14 0 215334 0
[pid=28383/tid=28385] ppid=28381 vsize=915456 CPUtime=0.03
/proc/28383/task/28385/stat : 28385 (java) S 28381 28383 28314 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 180284285 937426944 8534 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28386] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28386/stat : 28386 (java) S 28381 28383 28314 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180284285 937426944 8534 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28387] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28387/stat : 28387 (java) S 28381 28383 28314 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180284285 937426944 8534 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28388] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28388/stat : 28388 (java) S 28381 28383 28314 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180284288 937426944 8534 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28389] ppid=28381 vsize=915456 CPUtime=0.22
/proc/28383/task/28389/stat : 28389 (java) S 28381 28383 28314 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 180284288 937426944 8534 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28390] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28390/stat : 28390 (java) S 28381 28383 28314 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 180284288 937426944 8534 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28391] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28391/stat : 28391 (java) S 28381 28383 28314 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180284288 937426944 8534 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.96
Current children cumulated vsize (KiB) 915456
[startup+162.58 s]
/proc/loadavg: 2.06 1.83 1.78 3/95 28471
/proc/meminfo: memFree=1429888/2055920 swapFree=4160348/4192956
[pid=28383] ppid=28381 vsize=915456 CPUtime=161.71
/proc/28383/stat : 28383 (java) R 28381 28383 28314 0 -1 0 8801 0 1 0 16157 14 0 0 25 0 8 0 180284281 937426944 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073846300 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28383/statm: 228864 8536 2524 14 0 215334 0
[pid=28383/tid=28385] ppid=28381 vsize=915456 CPUtime=0.03
/proc/28383/task/28385/stat : 28385 (java) S 28381 28383 28314 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 180284285 937426944 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28386] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28386/stat : 28386 (java) S 28381 28383 28314 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180284285 937426944 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28387] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28387/stat : 28387 (java) S 28381 28383 28314 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180284285 937426944 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28388] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28388/stat : 28388 (java) S 28381 28383 28314 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180284288 937426944 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28389] ppid=28381 vsize=915456 CPUtime=0.22
/proc/28383/task/28389/stat : 28389 (java) S 28381 28383 28314 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 180284288 937426944 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28390] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28390/stat : 28390 (java) S 28381 28383 28314 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 180284288 937426944 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28391] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28391/stat : 28391 (java) S 28381 28383 28314 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180284288 937426944 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.71
Current children cumulated vsize (KiB) 915456
[startup+222.597 s]
/proc/loadavg: 2.07 1.88 1.80 3/95 28471
/proc/meminfo: memFree=1429888/2055920 swapFree=4160348/4192956
[pid=28383] ppid=28381 vsize=915456 CPUtime=221.45
/proc/28383/stat : 28383 (java) R 28381 28383 28314 0 -1 0 8804 0 1 0 22131 14 0 0 25 0 8 0 180284281 937426944 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073796340 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28383/statm: 228864 8539 2524 14 0 215334 0
[pid=28383/tid=28385] ppid=28381 vsize=915456 CPUtime=0.03
/proc/28383/task/28385/stat : 28385 (java) S 28381 28383 28314 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 180284285 937426944 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28386] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28386/stat : 28386 (java) S 28381 28383 28314 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180284285 937426944 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28387] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28387/stat : 28387 (java) S 28381 28383 28314 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180284285 937426944 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28388] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28388/stat : 28388 (java) S 28381 28383 28314 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180284288 937426944 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28389] ppid=28381 vsize=915456 CPUtime=0.22
/proc/28383/task/28389/stat : 28389 (java) S 28381 28383 28314 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 180284288 937426944 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28390] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28390/stat : 28390 (java) S 28381 28383 28314 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 180284288 937426944 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28391] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28391/stat : 28391 (java) S 28381 28383 28314 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180284288 937426944 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 221.45
Current children cumulated vsize (KiB) 915456
[startup+282.613 s]
/proc/loadavg: 2.02 1.90 1.81 3/95 28471
/proc/meminfo: memFree=1429888/2055920 swapFree=4160348/4192956
[pid=28383] ppid=28381 vsize=915456 CPUtime=281.18
/proc/28383/stat : 28383 (java) R 28381 28383 28314 0 -1 0 8804 0 1 0 28104 14 0 0 25 0 8 0 180284281 937426944 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073802688 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28383/statm: 228864 8539 2524 14 0 215334 0
[pid=28383/tid=28385] ppid=28381 vsize=915456 CPUtime=0.03
/proc/28383/task/28385/stat : 28385 (java) S 28381 28383 28314 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 180284285 937426944 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28386] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28386/stat : 28386 (java) S 28381 28383 28314 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180284285 937426944 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28387] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28387/stat : 28387 (java) S 28381 28383 28314 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180284285 937426944 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28388] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28388/stat : 28388 (java) S 28381 28383 28314 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180284288 937426944 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28389] ppid=28381 vsize=915456 CPUtime=0.22
/proc/28383/task/28389/stat : 28389 (java) S 28381 28383 28314 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 180284288 937426944 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28390] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28390/stat : 28390 (java) S 28381 28383 28314 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 180284288 937426944 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28391] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28391/stat : 28391 (java) S 28381 28383 28314 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180284288 937426944 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 281.18
Current children cumulated vsize (KiB) 915456
[startup+342.624 s]
/proc/loadavg: 2.01 1.91 1.82 3/95 28471
/proc/meminfo: memFree=1429888/2055920 swapFree=4160348/4192956
[pid=28383] ppid=28381 vsize=915456 CPUtime=340.91
/proc/28383/stat : 28383 (java) R 28381 28383 28314 0 -1 0 8806 0 1 0 34077 14 0 0 25 0 8 0 180284281 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073802679 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28383/statm: 228864 8541 2524 14 0 215334 0
[pid=28383/tid=28385] ppid=28381 vsize=915456 CPUtime=0.03
/proc/28383/task/28385/stat : 28385 (java) S 28381 28383 28314 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 180284285 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28386] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28386/stat : 28386 (java) S 28381 28383 28314 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180284285 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28387] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28387/stat : 28387 (java) S 28381 28383 28314 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180284285 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28388] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28388/stat : 28388 (java) S 28381 28383 28314 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180284288 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28389] ppid=28381 vsize=915456 CPUtime=0.22
/proc/28383/task/28389/stat : 28389 (java) S 28381 28383 28314 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 180284288 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28390] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28390/stat : 28390 (java) S 28381 28383 28314 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 180284288 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28391] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28391/stat : 28391 (java) S 28381 28383 28314 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180284288 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 340.91
Current children cumulated vsize (KiB) 915456
[startup+402.64 s]
/proc/loadavg: 2.06 1.94 1.83 4/101 28546
/proc/meminfo: memFree=1376912/2055920 swapFree=4160348/4192956
[pid=28383] ppid=28381 vsize=915456 CPUtime=400.67
/proc/28383/stat : 28383 (java) R 28381 28383 28314 0 -1 0 8806 0 1 0 40052 15 0 0 25 0 8 0 180284281 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073803638 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28383/statm: 228864 8541 2524 14 0 215334 0
[pid=28383/tid=28385] ppid=28381 vsize=915456 CPUtime=0.03
/proc/28383/task/28385/stat : 28385 (java) S 28381 28383 28314 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 180284285 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28386] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28386/stat : 28386 (java) S 28381 28383 28314 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180284285 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28387] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28387/stat : 28387 (java) S 28381 28383 28314 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180284285 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28388] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28388/stat : 28388 (java) S 28381 28383 28314 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180284288 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28389] ppid=28381 vsize=915456 CPUtime=0.22
/proc/28383/task/28389/stat : 28389 (java) S 28381 28383 28314 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 180284288 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28390] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28390/stat : 28390 (java) S 28381 28383 28314 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 180284288 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28391] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28391/stat : 28391 (java) S 28381 28383 28314 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180284288 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 400.67
Current children cumulated vsize (KiB) 915456
[startup+462.664 s]
/proc/loadavg: 2.02 1.95 1.84 4/94 28547
/proc/meminfo: memFree=1395720/2055920 swapFree=4160348/4192956
[pid=28383] ppid=28381 vsize=915456 CPUtime=460.62
/proc/28383/stat : 28383 (java) R 28381 28383 28314 0 -1 0 8806 0 1 0 46047 15 0 0 25 0 8 0 180284281 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073804894 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28383/statm: 228864 8541 2524 14 0 215334 0
[pid=28383/tid=28385] ppid=28381 vsize=915456 CPUtime=0.03
/proc/28383/task/28385/stat : 28385 (java) S 28381 28383 28314 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 180284285 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28386] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28386/stat : 28386 (java) S 28381 28383 28314 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180284285 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28387] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28387/stat : 28387 (java) S 28381 28383 28314 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180284285 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28388] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28388/stat : 28388 (java) S 28381 28383 28314 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180284288 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28389] ppid=28381 vsize=915456 CPUtime=0.22
/proc/28383/task/28389/stat : 28389 (java) S 28381 28383 28314 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 180284288 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28390] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28390/stat : 28390 (java) S 28381 28383 28314 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 180284288 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28391] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28391/stat : 28391 (java) S 28381 28383 28314 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180284288 937426944 8541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 460.62
Current children cumulated vsize (KiB) 915456
[startup+522.69 s]
/proc/loadavg: 2.07 1.97 1.85 3/94 28547
/proc/meminfo: memFree=1393736/2055920 swapFree=4160348/4192956
[pid=28383] ppid=28381 vsize=915456 CPUtime=520.57
/proc/28383/stat : 28383 (java) R 28381 28383 28314 0 -1 0 8809 0 1 0 52042 15 0 0 25 0 8 0 180284281 937426944 8544 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073806358 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28383/statm: 228864 8544 2524 14 0 215334 0
[pid=28383/tid=28385] ppid=28381 vsize=915456 CPUtime=0.03
/proc/28383/task/28385/stat : 28385 (java) S 28381 28383 28314 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 180284285 937426944 8544 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28386] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28386/stat : 28386 (java) S 28381 28383 28314 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180284285 937426944 8544 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28387] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28387/stat : 28387 (java) S 28381 28383 28314 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180284285 937426944 8544 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28388] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28388/stat : 28388 (java) S 28381 28383 28314 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180284288 937426944 8544 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28389] ppid=28381 vsize=915456 CPUtime=0.22
/proc/28383/task/28389/stat : 28389 (java) S 28381 28383 28314 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 180284288 937426944 8544 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28390] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28390/stat : 28390 (java) S 28381 28383 28314 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 180284288 937426944 8544 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28383/tid=28391] ppid=28381 vsize=915456 CPUtime=0
/proc/28383/task/28391/stat : 28391 (java) S 28381 28383 28314 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180284288 937426944 8544 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 520.57
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 523.259
CPU time (s): 521.111
CPU user time (s): 520.946
CPU system time (s): 0.164974
CPU usage (%): 99.5895
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 520.946
system time used= 0.164974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8901
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= 11752
involuntary context switches= 26832
runsolver used 0.554915 s user time and 1.80373 s system time
The end
Begin job on node12 on Tue Jan 9 05:01:32 UTC 2007
IDJOB= 231977
IDBENCH= 6494
FILE ID= node12/231977-1168318892
PBS_JOBID= 3502672
Free space on /tmp= 66561 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-25/rand-25-25-300-147-57021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/231977-1168318892/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-231977-1168318892 -o ROOT/results/node12/solver-231977-1168318892 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/231977-1168318892/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 770b28076b75602aacb655be9a055a98
RANDOM SEED= 338652520
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.265
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.265
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: 1453592 kB
Buffers: 97988 kB
Cached: 408684 kB
SwapCached: 5164 kB
Active: 337468 kB
Inactive: 207380 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1453592 kB
SwapTotal: 4192956 kB
SwapFree: 4160348 kB
Dirty: 2096 kB
Writeback: 0 kB
Mapped: 49468 kB
Slab: 42072 kB
Committed_AS: 5308052 kB
PageTables: 2336 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= 66559 MiB
End job on node12 on Tue Jan 9 05:10:16 UTC 2007