0.57
0.57 Abscon 109 (November, 2006)
0.57
0.57 configuration
0.57 name=esac.xml
0.65
0.65 instance
0.65 name=/tmp/evaluation/240200-1168370002/unknown.xml
0.69
0.69 domains being loaded...
0.69
0.69 variables being loaded...
0.78 nbVariables=400 nbDomainTypes=21 minDomainSize=1 maxDomainSize=20
0.78 => wckTime=0.207 cpuTime=0.12 mem=7M894
0.78
0.78 relations being loaded...
0.78
0.78 constraints being loaded...
1.16 nbConstraints=5540 nbRelationTypes=22 nbSingletonDomainVariables=213 nbExtensionStructures=41
1.16 nbSharedExtensionStructures=5499 nbConflictsStructures=41 nbSharedConflictsStructures=5499
1.16 nbSharedBinaryRepresentations=858 maxDegree=38 maxArity=2
1.16 => wckTime=0.591 cpuTime=0.39 mem=24M473
1.25
1.25 solver IterativeSystematicSolver being built...
1.44 => wckTime=0.867 cpuTime=0.56 mem=18M374
1.60
1.60 preprocessing
1.60 nbConstraintChecks=88728 nbPropagations=2355 nbRevisions=19949 nbUselessRevisions=15249 nbSingletonTests=487
1.60 nbEffectiveSingletonTests=0 nbESACBranches=9 nbRemovedValues=2928 detectedInconsistency=no
1.60 => wckTime=0.157 cpuTime=0.12 mem=18M374
1.67
1.67 search
1.67 run=0 nbConstraintChecks=5057 nbPropagations=2785 nbRevisions=21514 nbUselessRevisions=16206 nbAssignments=284
1.67 nbFailedAssignments=5 nbBacktracks=28 nbVisitedNodes=294 nbRestartNogoods=0 mapSize=6 nbInferences=0
1.67 nbTooLargeKeys=0
1.68 => wckTime=0.23 cpuTime=0.18 mem=19M347
1.73
1.73 search
1.73 run=1 nbConstraintChecks=13973 nbPropagations=6299 nbRevisions=46350 nbUselessRevisions=34827
1.73 nbAssignments=604 nbFailedAssignments=11 nbBacktracks=44 nbVisitedNodes=584 nbRestartNogoods=3 mapSize=13
1.73 nbInferences=0 nbTooLargeKeys=0
1.73 => wckTime=0.283 cpuTime=0.23 mem=19M347
1.78
1.78 search
1.78 run=2 nbConstraintChecks=19399 nbPropagations=10257 nbRevisions=72890 nbUselessRevisions=54478
1.78 nbAssignments=881 nbFailedAssignments=17 nbBacktracks=66 nbVisitedNodes=873 nbRestartNogoods=5 mapSize=24
1.78 nbInferences=0 nbTooLargeKeys=0
1.78 => wckTime=0.333 cpuTime=0.28 mem=20M320
1.84
1.84 search
1.84 run=3 nbConstraintChecks=29115 nbPropagations=14917 nbRevisions=102682 nbUselessRevisions=76117
1.84 nbAssignments=1185 nbFailedAssignments=30 nbBacktracks=100 nbVisitedNodes=1204 nbRestartNogoods=6 mapSize=47
1.84 nbInferences=0 nbTooLargeKeys=0
1.84 => wckTime=0.394 cpuTime=0.32 mem=20M320
1.92
1.92 search
1.92 run=4 nbConstraintChecks=49606 nbPropagations=21082 nbRevisions=141306 nbUselessRevisions=104577
1.92 nbAssignments=1597 nbFailedAssignments=38 nbBacktracks=161 nbVisitedNodes=1537 nbRestartNogoods=10 mapSize=64
1.92 nbInferences=0 nbTooLargeKeys=0
1.92 => wckTime=0.47 cpuTime=0.39 mem=20M320
1.98
1.98 search
1.98 run=5 nbConstraintChecks=68132 nbPropagations=28350 nbRevisions=186749 nbUselessRevisions=137446
1.98 nbAssignments=1960 nbFailedAssignments=57 nbBacktracks=262 nbVisitedNodes=1933 nbRestartNogoods=11 mapSize=96
1.98 nbInferences=0 nbTooLargeKeys=0
1.98 => wckTime=0.537 cpuTime=0.45 mem=21M294
2.04
2.04 search
2.04 run=6 nbConstraintChecks=88385 nbPropagations=36991 nbRevisions=239352 nbUselessRevisions=174757
2.04 nbAssignments=2367 nbFailedAssignments=84 nbBacktracks=380 nbVisitedNodes=2395 nbRestartNogoods=12 mapSize=149
2.04 nbInferences=0 nbTooLargeKeys=0
2.04 => wckTime=0.598 cpuTime=0.51 mem=21M294
2.12
2.12 search
2.12 run=7 nbConstraintChecks=120417 nbPropagations=47628 nbRevisions=304609 nbUselessRevisions=220629
2.12 nbAssignments=2833 nbFailedAssignments=112 nbBacktracks=561 nbVisitedNodes=2925 nbRestartNogoods=14
2.12 mapSize=211 nbInferences=0 nbTooLargeKeys=0
2.12 => wckTime=0.673 cpuTime=0.58 mem=21M294
2.21
2.21 search
2.21 run=8 nbConstraintChecks=158404 nbPropagations=60815 nbRevisions=384219 nbUselessRevisions=275731
2.21 nbAssignments=3423 nbFailedAssignments=167 nbBacktracks=824 nbVisitedNodes=3617 nbRestartNogoods=16
2.21 mapSize=308 nbInferences=0 nbTooLargeKeys=0
2.21 => wckTime=0.764 cpuTime=0.67 mem=22M267
2.35
2.35 search
2.35 run=9 nbConstraintChecks=229660 nbPropagations=78186 nbRevisions=491559 nbUselessRevisions=349997
2.35 nbAssignments=4223 nbFailedAssignments=247 nbBacktracks=1213 nbVisitedNodes=4484 nbRestartNogoods=21
2.35 mapSize=442 nbInferences=0 nbTooLargeKeys=0
2.35 => wckTime=0.907 cpuTime=0.81 mem=22M267
2.51
2.51 search
2.51 run=10 nbConstraintChecks=308354 nbPropagations=99750 nbRevisions=632721 nbUselessRevisions=448815
2.51 nbAssignments=5109 nbFailedAssignments=352 nbBacktracks=1796 nbVisitedNodes=5560 nbRestartNogoods=25
2.51 mapSize=623 nbInferences=0 nbTooLargeKeys=0
2.51 => wckTime=1.068 cpuTime=0.96 mem=23M240
2.78
2.78 search
2.78 run=11 nbConstraintChecks=483568 nbPropagations=127710 nbRevisions=879821 nbUselessRevisions=639556
2.78 nbAssignments=6487 nbFailedAssignments=485 nbBacktracks=2673 nbVisitedNodes=6860 nbRestartNogoods=32
2.78 mapSize=857 nbInferences=0 nbTooLargeKeys=0
2.78 => wckTime=1.338 cpuTime=1.23 mem=23M240
2.97
2.97 INFO : Stopping hyperNogood (mapSize=1013, nbTooLargekeys=0, mem=24M214)
3.11
3.11 search
3.11 run=12 nbConstraintChecks=676015 nbPropagations=163549 nbRevisions=1245527 nbUselessRevisions=933480
3.11 nbAssignments=8027 nbFailedAssignments=619 nbBacktracks=3974 nbVisitedNodes=8607 nbRestartNogoods=35
3.11 => wckTime=1.664 cpuTime=1.55 mem=24M214
3.58
3.58 search
3.58 run=13 nbConstraintChecks=1084640 nbPropagations=213803 nbRevisions=1867867 nbUselessRevisions=1451945
3.58 nbAssignments=10329 nbFailedAssignments=926 nbBacktracks=5930 nbVisitedNodes=11515 nbRestartNogoods=41
3.58 => wckTime=2.135 cpuTime=2.01 mem=24M214
4.31
4.31 search
4.31 run=14 nbConstraintChecks=1729280 nbPropagations=287229 nbRevisions=2886124 nbUselessRevisions=2314055
4.31 nbAssignments=13750 nbFailedAssignments=1374 nbBacktracks=8851 nbVisitedNodes=15831 nbRestartNogoods=45
4.31 => wckTime=2.866 cpuTime=2.74 mem=24M214
5.59
5.59 search
5.59 run=15 nbConstraintChecks=2895593 nbPropagations=403455 nbRevisions=4616476 nbUselessRevisions=3794545
5.59 nbAssignments=19246 nbFailedAssignments=2438 nbBacktracks=13231 nbVisitedNodes=23291 nbRestartNogoods=54
5.59 => wckTime=4.148 cpuTime=4.02 mem=24M214
7.78
7.78 search
7.78 run=16 nbConstraintChecks=5023936 nbPropagations=598593 nbRevisions=7613379 nbUselessRevisions=6369364
7.78 nbAssignments=27992 nbFailedAssignments=4401 nbBacktracks=19800 nbVisitedNodes=35361 nbRestartNogoods=68
7.78 => wckTime=6.338 cpuTime=6.19 mem=24M214
11.23
11.23 search
11.23 run=17 nbConstraintChecks=8396760 nbPropagations=915932 nbRevisions=12567605 nbUselessRevisions=10632572
11.23 nbAssignments=41428 nbFailedAssignments=7939 nbBacktracks=29663 nbVisitedNodes=54966 nbRestartNogoods=74
11.23 => wckTime=9.783 cpuTime=9.62 mem=24M214
16.84
16.84 search
16.84 run=18 nbConstraintChecks=14726172 nbPropagations=1440642 nbRevisions=21570223 nbUselessRevisions=18461078
16.84 nbAssignments=60600 nbFailedAssignments=12290 nbBacktracks=44442 nbVisitedNodes=82527 nbRestartNogoods=78
16.84 => wckTime=15.398 cpuTime=15.21 mem=24M214
24.95
24.95 search
24.95 run=19 nbConstraintChecks=23458567 nbPropagations=2256760 nbRevisions=36147132 nbUselessRevisions=31209480
24.95 nbAssignments=88721 nbFailedAssignments=18203 nbBacktracks=66610 nbVisitedNodes=121916 nbRestartNogoods=90
24.95 => wckTime=23.508 cpuTime=23.28 mem=24M214
36.95
36.95 search
36.95 run=20 nbConstraintChecks=36525718 nbPropagations=3511346 nbRevisions=58902640 nbUselessRevisions=51113848
36.95 nbAssignments=131849 nbFailedAssignments=27743 nbBacktracks=99866 nbVisitedNodes=183068 nbRestartNogoods=102
36.95 => wckTime=35.501 cpuTime=35.21 mem=24M214
55.02
55.02 search
55.02 run=21 nbConstraintChecks=55860318 nbPropagations=5417701 nbRevisions=93776047 nbUselessRevisions=81660731
55.02 nbAssignments=194540 nbFailedAssignments=40501 nbBacktracks=149749 nbVisitedNodes=269667 nbRestartNogoods=109
55.02 => wckTime=53.572 cpuTime=53.21 mem=24M214
81.32
81.32 search
81.32 run=22 nbConstraintChecks=83472264 nbPropagations=8262163 nbRevisions=146030171 nbUselessRevisions=127442015
81.32 nbAssignments=288438 nbFailedAssignments=59537 nbBacktracks=224569 nbVisitedNodes=400624 nbRestartNogoods=119
81.32 => wckTime=79.878 cpuTime=79.39 mem=24M214
122.59
122.59 search
122.59 run=23 nbConstraintChecks=129063111 nbPropagations=12608456 nbRevisions=227444304 nbUselessRevisions=198968651
122.59 nbAssignments=430557 nbFailedAssignments=89180 nbBacktracks=336800 nbVisitedNodes=599143 nbRestartNogoods=136
122.59 => wckTime=121.15 cpuTime=120.46 mem=24M214
179.78
179.78 search
179.78 run=24 nbConstraintChecks=189047631 nbPropagations=18967777 nbRevisions=346899173 nbUselessRevisions=304002646
179.78 nbAssignments=641678 nbFailedAssignments=131917 nbBacktracks=505155 nbVisitedNodes=889491 nbRestartNogoods=145
179.78 => wckTime=178.338 cpuTime=177.38 mem=24M214
269.92
269.92 search
269.92 run=25 nbConstraintChecks=287022888 nbPropagations=28552872 nbRevisions=528813507 nbUselessRevisions=464136808
269.92 nbAssignments=958459 nbFailedAssignments=196136 nbBacktracks=757672 nbVisitedNodes=1331450 nbRestartNogoods=155
269.92 => wckTime=268.479 cpuTime=267.1 mem=24M214
404.79
404.79 search
404.79 run=26 nbConstraintChecks=428541471 nbPropagations=43005492 nbRevisions=799015943 nbUselessRevisions=701649757
404.79 nbAssignments=1445447 nbFailedAssignments=304278 nbBacktracks=1136445 nbVisitedNodes=2021250
404.79 nbRestartNogoods=168
404.79 => wckTime=403.345 cpuTime=401.33 mem=24M214
605.47
605.47 search
605.47 run=27 nbConstraintChecks=644334611 nbPropagations=64687697 nbRevisions=1206035436
605.47 nbUselessRevisions=1059668383 nbAssignments=2162402 nbFailedAssignments=452844 nbBacktracks=1704597
605.47 nbVisitedNodes=3026983 nbRestartNogoods=188
605.47 => wckTime=604.03 cpuTime=601.09 mem=24M214
902.04
902.04 search
902.04 run=28 nbConstraintChecks=951820719 nbPropagations=96913851 nbRevisions=1803446062
902.04 nbUselessRevisions=1584160778 nbAssignments=3249559 nbFailedAssignments=687579 nbBacktracks=2556824
902.04 nbVisitedNodes=4550789 nbRestartNogoods=199
902.04 => wckTime=900.598 cpuTime=896.27 mem=24M214
1336.60
1336.60 search
1336.60 run=29 nbConstraintChecks=1403254167 nbPropagations=144801743 nbRevisions=2685960154
1336.60 nbUselessRevisions=2358976901 nbAssignments=4875065 nbFailedAssignments=1034641 nbBacktracks=3835164
1336.60 nbVisitedNodes=6830956 nbRestartNogoods=208
1336.60 => wckTime=1335.159 cpuTime=1328.79 mem=24M214
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node18/watcher-240200-1168370002 -o ROOT/results/node18/solver-240200-1168370002 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/240200-1168370002/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.27 1.76 1.91 4/88 18983
/proc/meminfo: memFree=1721136/2055920 swapFree=4192812/4192956
[pid=18982] ppid=18980 vsize=18540 CPUtime=0
/proc/18982/stat : 18982 (runsolver) R 18980 18982 18915 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 185394905 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 227848809767 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/18982/statm: 4635 279 244 17 0 2626 0
[startup+0.107861 s]
/proc/loadavg: 1.27 1.76 1.91 4/88 18983
/proc/meminfo: memFree=1721136/2055920 swapFree=4192812/4192956
[pid=18982] ppid=18980 vsize=913068 CPUtime=0.07
/proc/18982/stat : 18982 (java) S 18980 18982 18915 0 -1 0 2887 0 1 0 6 1 0 0 17 0 8 0 185394905 934981632 2633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18982/statm: 228267 2633 1396 14 0 215168 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 913068
[startup+0.515899 s]
/proc/loadavg: 1.27 1.76 1.91 4/88 18983
/proc/meminfo: memFree=1721136/2055920 swapFree=4192812/4192956
[pid=18982] ppid=18980 vsize=915148 CPUtime=0.27
/proc/18982/stat : 18982 (java) R 18980 18982 18915 0 -1 0 4930 0 7 0 24 3 0 0 18 0 8 0 185394905 937111552 4682 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072897167 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18982/statm: 228787 4682 1939 14 0 215275 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 915148
[startup+1.33979 s]
/proc/loadavg: 1.27 1.76 1.91 3/95 18990
/proc/meminfo: memFree=1686264/2055920 swapFree=4192812/4192956
[pid=18982] ppid=18980 vsize=915676 CPUtime=1.01
/proc/18982/stat : 18982 (java) R 18980 18982 18915 0 -1 0 11901 0 11 0 92 9 0 0 21 0 8 0 185394905 937652224 11648 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18982/statm: 228919 11648 2480 14 0 215389 0
[pid=18982/tid=18984] ppid=18980 vsize=915676 CPUtime=0.06
/proc/18982/task/18984/stat : 18984 (java) S 18980 18982 18915 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 185394910 937652224 11648 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18985] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18985/stat : 18985 (java) S 18980 18982 18915 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185394910 937652224 11648 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18986] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18986/stat : 18986 (java) S 18980 18982 18915 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185394910 937652224 11648 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18987] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18987/stat : 18987 (java) S 18980 18982 18915 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185394913 937652224 11648 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18988] ppid=18980 vsize=915676 CPUtime=0.19
/proc/18982/task/18988/stat : 18988 (java) S 18980 18982 18915 0 -1 64 436 0 0 0 18 1 0 0 15 0 8 0 185394913 937652224 11648 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18989] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18989/stat : 18989 (java) S 18980 18982 18915 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185394913 937652224 11648 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18990] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18990/stat : 18990 (java) S 18980 18982 18915 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 185394914 937652224 11648 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 915676
[startup+2.99314 s]
/proc/loadavg: 1.27 1.76 1.91 3/95 18990
/proc/meminfo: memFree=1681208/2055920 swapFree=4192812/4192956
[pid=18982] ppid=18980 vsize=915676 CPUtime=2.65
/proc/18982/stat : 18982 (java) R 18980 18982 18915 0 -1 0 12031 0 11 0 255 10 0 0 25 0 8 0 185394905 937652224 11777 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073982360 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18982/statm: 228919 11777 2524 14 0 215389 0
[pid=18982/tid=18984] ppid=18980 vsize=915676 CPUtime=0.06
/proc/18982/task/18984/stat : 18984 (java) S 18980 18982 18915 0 -1 64 903 0 0 0 6 0 0 0 17 0 8 0 185394910 937652224 11777 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18985] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18985/stat : 18985 (java) S 18980 18982 18915 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185394910 937652224 11777 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18986] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18986/stat : 18986 (java) S 18980 18982 18915 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185394910 937652224 11777 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18987] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18987/stat : 18987 (java) S 18980 18982 18915 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185394913 937652224 11777 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18988] ppid=18980 vsize=915676 CPUtime=0.31
/proc/18982/task/18988/stat : 18988 (java) S 18980 18982 18915 0 -1 64 487 0 0 0 29 2 0 0 15 0 8 0 185394913 937652224 11777 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18989] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18989/stat : 18989 (java) S 18980 18982 18915 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185394913 937652224 11777 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18990] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18990/stat : 18990 (java) S 18980 18982 18915 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 185394914 937652224 11777 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.65
Current children cumulated vsize (KiB) 915676
[startup+6.28545 s]
/proc/loadavg: 1.33 1.77 1.91 3/95 18990
/proc/meminfo: memFree=1681080/2055920 swapFree=4192812/4192956
[pid=18982] ppid=18980 vsize=915676 CPUtime=5.93
/proc/18982/stat : 18982 (java) R 18980 18982 18915 0 -1 0 12035 0 11 0 582 11 0 0 25 0 8 0 185394905 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073939248 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18982/statm: 228919 11779 2524 14 0 215389 0
[pid=18982/tid=18984] ppid=18980 vsize=915676 CPUtime=0.06
/proc/18982/task/18984/stat : 18984 (java) S 18980 18982 18915 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 185394910 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18985] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18985/stat : 18985 (java) S 18980 18982 18915 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185394910 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18986] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18986/stat : 18986 (java) S 18980 18982 18915 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185394910 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18987] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18987/stat : 18987 (java) S 18980 18982 18915 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185394913 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18988] ppid=18980 vsize=915676 CPUtime=0.32
/proc/18982/task/18988/stat : 18988 (java) S 18980 18982 18915 0 -1 64 490 0 0 0 30 2 0 0 16 0 8 0 185394913 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18989] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18989/stat : 18989 (java) S 18980 18982 18915 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185394913 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18990] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18990/stat : 18990 (java) S 18980 18982 18915 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 185394914 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 915676
[startup+12.7821 s]
/proc/loadavg: 1.38 1.77 1.91 3/95 18990
/proc/meminfo: memFree=1681208/2055920 swapFree=4192812/4192956
[pid=18982] ppid=18980 vsize=915676 CPUtime=12.39
/proc/18982/stat : 18982 (java) R 18980 18982 18915 0 -1 0 12035 0 11 0 1228 11 0 0 25 0 8 0 185394905 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073954838 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18982/statm: 228919 11779 2524 14 0 215389 0
[pid=18982/tid=18984] ppid=18980 vsize=915676 CPUtime=0.06
/proc/18982/task/18984/stat : 18984 (java) S 18980 18982 18915 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 185394910 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18985] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18985/stat : 18985 (java) S 18980 18982 18915 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185394910 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18986] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18986/stat : 18986 (java) S 18980 18982 18915 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185394910 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18987] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18987/stat : 18987 (java) S 18980 18982 18915 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185394913 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18988] ppid=18980 vsize=915676 CPUtime=0.32
/proc/18982/task/18988/stat : 18988 (java) S 18980 18982 18915 0 -1 64 490 0 0 0 30 2 0 0 16 0 8 0 185394913 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18989] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18989/stat : 18989 (java) S 18980 18982 18915 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185394913 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18990] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18990/stat : 18990 (java) S 18980 18982 18915 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 185394914 937652224 11779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.39
Current children cumulated vsize (KiB) 915676
[startup+25.6353 s]
/proc/loadavg: 1.52 1.78 1.91 3/95 18990
/proc/meminfo: memFree=1681344/2055920 swapFree=4192812/4192956
[pid=18982] ppid=18980 vsize=915676 CPUtime=25.19
/proc/18982/stat : 18982 (java) R 18980 18982 18915 0 -1 0 12036 0 11 0 2508 11 0 0 25 0 8 0 185394905 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073960442 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18982/statm: 228919 11780 2524 14 0 215389 0
[pid=18982/tid=18984] ppid=18980 vsize=915676 CPUtime=0.06
/proc/18982/task/18984/stat : 18984 (java) S 18980 18982 18915 0 -1 64 903 0 0 0 6 0 0 0 17 0 8 0 185394910 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18985] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18985/stat : 18985 (java) S 18980 18982 18915 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185394910 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18986] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18986/stat : 18986 (java) S 18980 18982 18915 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185394910 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18987] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18987/stat : 18987 (java) S 18980 18982 18915 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185394913 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18988] ppid=18980 vsize=915676 CPUtime=0.32
/proc/18982/task/18988/stat : 18988 (java) S 18980 18982 18915 0 -1 64 491 0 0 0 30 2 0 0 16 0 8 0 185394913 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18989] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18989/stat : 18989 (java) S 18980 18982 18915 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185394913 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18990] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18990/stat : 18990 (java) S 18980 18982 18915 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 185394914 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.19
Current children cumulated vsize (KiB) 915676
[startup+51.2748 s]
/proc/loadavg: 1.68 1.80 1.91 3/95 18990
/proc/meminfo: memFree=1681408/2055920 swapFree=4192812/4192956
[pid=18982] ppid=18980 vsize=915676 CPUtime=50.7
/proc/18982/stat : 18982 (java) R 18980 18982 18915 0 -1 0 12037 0 11 0 5059 11 0 0 25 0 8 0 185394905 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074009471 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18982/statm: 228919 11780 2524 14 0 215389 0
[pid=18982/tid=18984] ppid=18980 vsize=915676 CPUtime=0.06
/proc/18982/task/18984/stat : 18984 (java) S 18980 18982 18915 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 185394910 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18985] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18985/stat : 18985 (java) S 18980 18982 18915 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185394910 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18986] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18986/stat : 18986 (java) S 18980 18982 18915 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185394910 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18987] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18987/stat : 18987 (java) S 18980 18982 18915 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185394913 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18988] ppid=18980 vsize=915676 CPUtime=0.32
/proc/18982/task/18988/stat : 18988 (java) S 18980 18982 18915 0 -1 64 491 0 0 0 30 2 0 0 16 0 8 0 185394913 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18989] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18989/stat : 18989 (java) S 18980 18982 18915 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185394913 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18990] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18990/stat : 18990 (java) S 18980 18982 18915 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 185394914 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 915676
[startup+102.552 s]
/proc/loadavg: 1.86 1.83 1.91 3/95 18990
/proc/meminfo: memFree=1681472/2055920 swapFree=4192812/4192956
[pid=18982] ppid=18980 vsize=915676 CPUtime=101.74
/proc/18982/stat : 18982 (java) R 18980 18982 18915 0 -1 0 12037 0 11 0 10163 11 0 0 25 0 8 0 185394905 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073972960 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18982/statm: 228919 11780 2524 14 0 215389 0
[pid=18982/tid=18984] ppid=18980 vsize=915676 CPUtime=0.06
/proc/18982/task/18984/stat : 18984 (java) S 18980 18982 18915 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 185394910 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18985] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18985/stat : 18985 (java) S 18980 18982 18915 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185394910 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18986] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18986/stat : 18986 (java) S 18980 18982 18915 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185394910 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18987] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18987/stat : 18987 (java) S 18980 18982 18915 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185394913 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18988] ppid=18980 vsize=915676 CPUtime=0.32
/proc/18982/task/18988/stat : 18988 (java) S 18980 18982 18915 0 -1 64 491 0 0 0 30 2 0 0 16 0 8 0 185394913 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18989] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18989/stat : 18989 (java) S 18980 18982 18915 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185394913 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18990] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18990/stat : 18990 (java) S 18980 18982 18915 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 185394914 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.74
Current children cumulated vsize (KiB) 915676
[startup+162.58 s]
/proc/loadavg: 1.95 1.85 1.91 3/95 18990
/proc/meminfo: memFree=1681472/2055920 swapFree=4192812/4192956
[pid=18982] ppid=18980 vsize=915676 CPUtime=161.49
/proc/18982/stat : 18982 (java) R 18980 18982 18915 0 -1 0 12037 0 11 0 16137 12 0 0 25 0 8 0 185394905 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073954551 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1416.24
Current children cumulated vsize (KiB) 915676
[startup+1483.25 s]
/proc/loadavg: 2.01 2.00 1.93 3/95 18992
/proc/meminfo: memFree=1680968/2055920 swapFree=4192812/4192956
[pid=18982] ppid=18980 vsize=915676 CPUtime=1475.99
/proc/18982/stat : 18982 (java) R 18980 18982 18915 0 -1 0 12037 0 11 0 147577 22 0 0 25 0 8 0 185394905 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073951556 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18982/statm: 228919 11780 2524 14 0 215389 0
[pid=18982/tid=18984] ppid=18980 vsize=915676 CPUtime=0.06
/proc/18982/task/18984/stat : 18984 (java) S 18980 18982 18915 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 185394910 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18985] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18985/stat : 18985 (java) S 18980 18982 18915 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185394910 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18986] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18986/stat : 18986 (java) S 18980 18982 18915 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185394910 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18987] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18987/stat : 18987 (java) S 18980 18982 18915 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185394913 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18988] ppid=18980 vsize=915676 CPUtime=0.32
/proc/18982/task/18988/stat : 18988 (java) S 18980 18982 18915 0 -1 64 491 0 0 0 30 2 0 0 16 0 8 0 185394913 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18989] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18989/stat : 18989 (java) S 18980 18982 18915 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185394913 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18990] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18990/stat : 18990 (java) S 18980 18982 18915 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 185394914 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1475.99
Current children cumulated vsize (KiB) 915676
[startup+1543.28 s]
/proc/loadavg: 2.00 2.00 1.93 3/95 18992
/proc/meminfo: memFree=1680840/2055920 swapFree=4192812/4192956
[pid=18982] ppid=18980 vsize=915676 CPUtime=1535.73
/proc/18982/stat : 18982 (java) R 18980 18982 18915 0 -1 0 12037 0 11 0 153551 22 0 0 25 0 8 0 185394905 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073960325 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18982/statm: 228919 11780 2524 14 0 215389 0
[pid=18982/tid=18984] ppid=18980 vsize=915676 CPUtime=0.06
/proc/18982/task/18984/stat : 18984 (java) S 18980 18982 18915 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 185394910 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18985] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18985/stat : 18985 (java) S 18980 18982 18915 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185394910 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18986] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18986/stat : 18986 (java) S 18980 18982 18915 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185394910 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18987] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18987/stat : 18987 (java) S 18980 18982 18915 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185394913 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18988] ppid=18980 vsize=915676 CPUtime=0.32
/proc/18982/task/18988/stat : 18988 (java) S 18980 18982 18915 0 -1 64 491 0 0 0 30 2 0 0 16 0 8 0 185394913 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18989] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18989/stat : 18989 (java) S 18980 18982 18915 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185394913 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18990] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18990/stat : 18990 (java) S 18980 18982 18915 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 185394914 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1535.73
Current children cumulated vsize (KiB) 915676
[startup+1603.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/95 18992
/proc/meminfo: memFree=1680840/2055920 swapFree=4192812/4192956
[pid=18982] ppid=18980 vsize=915676 CPUtime=1595.49
/proc/18982/stat : 18982 (java) R 18980 18982 18915 0 -1 0 12037 0 11 0 159526 23 0 0 25 0 8 0 185394905 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074047815 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18982/statm: 228919 11780 2524 14 0 215389 0
[pid=18982/tid=18984] ppid=18980 vsize=915676 CPUtime=0.06
/proc/18982/task/18984/stat : 18984 (java) S 18980 18982 18915 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 185394910 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18985] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18985/stat : 18985 (java) S 18980 18982 18915 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185394910 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18986] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18986/stat : 18986 (java) S 18980 18982 18915 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185394910 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18987] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18987/stat : 18987 (java) S 18980 18982 18915 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185394913 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18988] ppid=18980 vsize=915676 CPUtime=0.32
/proc/18982/task/18988/stat : 18988 (java) S 18980 18982 18915 0 -1 64 491 0 0 0 30 2 0 0 16 0 8 0 185394913 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18989] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18989/stat : 18989 (java) S 18980 18982 18915 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185394913 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18990] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18990/stat : 18990 (java) S 18980 18982 18915 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 185394914 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1595.49
Current children cumulated vsize (KiB) 915676
[startup+1663.34 s]
/proc/loadavg: 2.00 2.00 1.93 3/95 18992
/proc/meminfo: memFree=1680840/2055920 swapFree=4192812/4192956
[pid=18982] ppid=18980 vsize=915676 CPUtime=1655.24
/proc/18982/stat : 18982 (java) R 18980 18982 18915 0 -1 0 12037 0 11 0 165501 23 0 0 25 0 8 0 185394905 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073952439 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18982/statm: 228919 11780 2524 14 0 215389 0
[pid=18982/tid=18984] ppid=18980 vsize=915676 CPUtime=0.06
/proc/18982/task/18984/stat : 18984 (java) S 18980 18982 18915 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 185394910 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18985] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18985/stat : 18985 (java) S 18980 18982 18915 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185394910 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18986] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18986/stat : 18986 (java) S 18980 18982 18915 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185394910 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18987] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18987/stat : 18987 (java) S 18980 18982 18915 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185394913 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18988] ppid=18980 vsize=915676 CPUtime=0.32
/proc/18982/task/18988/stat : 18988 (java) S 18980 18982 18915 0 -1 64 491 0 0 0 30 2 0 0 16 0 8 0 185394913 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18989] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18989/stat : 18989 (java) S 18980 18982 18915 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185394913 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18990] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18990/stat : 18990 (java) S 18980 18982 18915 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 185394914 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1655.24
Current children cumulated vsize (KiB) 915676
[startup+1723.38 s]
/proc/loadavg: 2.07 2.02 1.94 3/95 18992
/proc/meminfo: memFree=1680840/2055920 swapFree=4192812/4192956
[pid=18982] ppid=18980 vsize=915676 CPUtime=1714.99
/proc/18982/stat : 18982 (java) R 18980 18982 18915 0 -1 0 12037 0 11 0 171475 24 0 0 25 0 8 0 185394905 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073950659 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18982/statm: 228919 11780 2524 14 0 215389 0
[pid=18982/tid=18984] ppid=18980 vsize=915676 CPUtime=0.06
/proc/18982/task/18984/stat : 18984 (java) S 18980 18982 18915 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 185394910 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18985] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18985/stat : 18985 (java) S 18980 18982 18915 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185394910 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18986] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18986/stat : 18986 (java) S 18980 18982 18915 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185394910 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18987] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18987/stat : 18987 (java) S 18980 18982 18915 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185394913 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18988] ppid=18980 vsize=915676 CPUtime=0.32
/proc/18982/task/18988/stat : 18988 (java) S 18980 18982 18915 0 -1 64 491 0 0 0 30 2 0 0 16 0 8 0 185394913 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18989] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18989/stat : 18989 (java) S 18980 18982 18915 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185394913 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18990] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18990/stat : 18990 (java) S 18980 18982 18915 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 185394914 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1714.99
Current children cumulated vsize (KiB) 915676
[startup+1783.41 s]
/proc/loadavg: 1.45 1.86 1.88 2/87 19009
/proc/meminfo: memFree=1717016/2055920 swapFree=4192812/4192956
[pid=18982] ppid=18980 vsize=915676 CPUtime=1774.99
/proc/18982/stat : 18982 (java) R 18980 18982 18915 0 -1 0 12037 0 11 0 177475 24 0 0 25 0 8 0 185394905 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073952454 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18982/statm: 228919 11780 2524 14 0 215389 0
[pid=18982/tid=18984] ppid=18980 vsize=915676 CPUtime=0.06
/proc/18982/task/18984/stat : 18984 (java) S 18980 18982 18915 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 185394910 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18985] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18985/stat : 18985 (java) S 18980 18982 18915 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185394910 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18986] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18986/stat : 18986 (java) S 18980 18982 18915 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185394910 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18987] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18987/stat : 18987 (java) S 18980 18982 18915 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185394913 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18988] ppid=18980 vsize=915676 CPUtime=0.32
/proc/18982/task/18988/stat : 18988 (java) S 18980 18982 18915 0 -1 64 491 0 0 0 30 2 0 0 16 0 8 0 185394913 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18989] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18989/stat : 18989 (java) S 18980 18982 18915 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185394913 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18990] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18990/stat : 18990 (java) S 18980 18982 18915 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 185394914 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1774.99
Current children cumulated vsize (KiB) 915676
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.48 s]
/proc/loadavg: 1.27 1.77 1.85 2/85 19010
/proc/meminfo: memFree=1717304/2055920 swapFree=4192812/4192956
[pid=18982] ppid=18980 vsize=915676 CPUtime=1800.07
/proc/18982/stat : 18982 (java) R 18980 18982 18915 0 -1 0 12037 0 11 0 179982 25 0 0 25 0 8 0 185394905 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073958455 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18982/statm: 228919 11780 2524 14 0 215389 0
[pid=18982/tid=18984] ppid=18980 vsize=915676 CPUtime=0.06
/proc/18982/task/18984/stat : 18984 (java) S 18980 18982 18915 0 -1 64 903 0 0 0 6 0 0 0 16 0 8 0 185394910 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18985] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18985/stat : 18985 (java) S 18980 18982 18915 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 185394910 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18986] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18986/stat : 18986 (java) S 18980 18982 18915 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 185394910 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18987] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18987/stat : 18987 (java) S 18980 18982 18915 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185394913 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18988] ppid=18980 vsize=915676 CPUtime=0.32
/proc/18982/task/18988/stat : 18988 (java) S 18980 18982 18915 0 -1 64 491 0 0 0 30 2 0 0 16 0 8 0 185394913 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18989] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18989/stat : 18989 (java) S 18980 18982 18915 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185394913 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18982/tid=18990] ppid=18980 vsize=915676 CPUtime=0
/proc/18982/task/18990/stat : 18990 (java) S 18980 18982 18915 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 185394914 937652224 11780 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 915676
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1808.53
CPU time (s): 1800.12
CPU user time (s): 1799.87
CPU system time (s): 0.25796
CPU usage (%): 99.5349
Max. virtual memory (cumulated for all children) (KiB): 915780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.87
system time used= 0.25796
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12054
page faults= 11
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37961
involuntary context switches= 72542
runsolver used 2.12268 s user time and 5.82411 s system time
The end
Begin job on node18 on Tue Jan 9 19:13:22 UTC 2007
IDJOB= 240200
IDBENCH= 7112
FILE ID= node18/240200-1168370002
PBS_JOBID= 3503860
Free space on /tmp= 66550 MiB
BENCH NAME= HOME/pub/bench/CPAI06/qcp-qwh/QCP-20/qcp-20-187-2_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/240200-1168370002/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-240200-1168370002 -o ROOT/results/node18/solver-240200-1168370002 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/240200-1168370002/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 2cde9c174dc0457522f3df63c286cf31
RANDOM SEED= 613869198
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.231
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.231
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: 1721552 kB
Buffers: 41648 kB
Cached: 149840 kB
SwapCached: 0 kB
Active: 205688 kB
Inactive: 75420 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1721552 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2324 kB
Writeback: 0 kB
Mapped: 110204 kB
Slab: 38136 kB
Committed_AS: 5700336 kB
PageTables: 2148 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= 66551 MiB
End job on node18 on Tue Jan 9 19:43:31 UTC 2007