0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=mac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/229908-1168081012/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.40 nbVariables=50 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.40 => wckTime=0.097 cpuTime=0.07 mem=6M951
0.40
0.40 relations being loaded...
0.54
0.54 constraints being loaded...
0.67 nbConstraints=467 nbRelationTypes=467 nbExtensionStructures=467 nbSharedExtensionStructures=0
0.67 nbConflictsStructures=467 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2450 maxDegree=28
0.67 maxArity=2
0.67 => wckTime=0.37 cpuTime=0.27 mem=17M695
0.71
0.71 solver IterativeSystematicSolver being built...
0.86 => wckTime=0.561 cpuTime=0.39 mem=15M366
0.87
0.87 preprocessing
0.87 nbConstraintChecks=0 nbPropagations=50 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.87 detectedInconsistency=no
0.87 => wckTime=0.0080 cpuTime=0.01 mem=15M366
0.92
0.92 search
0.92 run=0 nbConstraintChecks=42691 nbPropagations=556 nbRevisions=6230 nbUselessRevisions=5139 nbAssignments=25
0.92 nbFailedAssignments=5 nbBacktracks=11 nbVisitedNodes=39 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.92 nbTooLargeKeys=0
0.92 => wckTime=0.054 cpuTime=0.03 mem=15M366
0.94
0.94 search
0.94 run=1 nbConstraintChecks=106129 nbPropagations=1896 nbRevisions=22774 nbUselessRevisions=18739
0.94 nbAssignments=61 nbFailedAssignments=15 nbBacktracks=28 nbVisitedNodes=94 nbRestartNogoods=2 mapSize=22
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.08 cpuTime=0.06 mem=15M366
0.97
0.97 search
0.97 run=2 nbConstraintChecks=198646 nbPropagations=4387 nbRevisions=55690 nbUselessRevisions=45954
0.97 nbAssignments=112 nbFailedAssignments=32 nbBacktracks=51 nbVisitedNodes=179 nbRestartNogoods=4 mapSize=43
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.104 cpuTime=0.08 mem=15M366
0.99
0.99 search
0.99 run=3 nbConstraintChecks=334492 nbPropagations=8309 nbRevisions=108864 nbUselessRevisions=89593
0.99 nbAssignments=183 nbFailedAssignments=57 nbBacktracks=87 nbVisitedNodes=295 nbRestartNogoods=8 mapSize=75
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.128 cpuTime=0.1 mem=15M366
1.02
1.02 search
1.02 run=4 nbConstraintChecks=481713 nbPropagations=14159 nbRevisions=189060 nbUselessRevisions=155462
1.02 nbAssignments=277 nbFailedAssignments=88 nbBacktracks=140 nbVisitedNodes=449 nbRestartNogoods=12 mapSize=117
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.158 cpuTime=0.13 mem=15M366
1.07
1.07 search
1.07 run=5 nbConstraintChecks=724906 nbPropagations=22840 nbRevisions=311669 nbUselessRevisions=256155
1.07 nbAssignments=417 nbFailedAssignments=140 nbBacktracks=218 nbVisitedNodes=688 nbRestartNogoods=16 mapSize=183
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.201 cpuTime=0.17 mem=15M366
1.12
1.12 search
1.12 run=6 nbConstraintChecks=1026084 nbPropagations=35156 nbRevisions=488579 nbUselessRevisions=401575
1.12 nbAssignments=611 nbFailedAssignments=209 nbBacktracks=332 nbVisitedNodes=1005 nbRestartNogoods=19 mapSize=274
1.12 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.255 cpuTime=0.22 mem=15M366
1.20
1.20 search
1.20 run=7 nbConstraintChecks=1486999 nbPropagations=53207 nbRevisions=755611 nbUselessRevisions=621459
1.20 nbAssignments=908 nbFailedAssignments=327 nbBacktracks=502 nbVisitedNodes=1515 nbRestartNogoods=24 mapSize=411
1.20 nbInferences=0 nbTooLargeKeys=0
1.20 => wckTime=0.342 cpuTime=0.3 mem=15M366
1.32
1.32 search
1.32 run=8 nbConstraintChecks=2130020 nbPropagations=79076 nbRevisions=1140501 nbUselessRevisions=938195
1.32 nbAssignments=1325 nbFailedAssignments=475 nbBacktracks=760 nbVisitedNodes=2201 nbRestartNogoods=27
1.32 mapSize=617 nbInferences=0 nbTooLargeKeys=0
1.32 => wckTime=0.454 cpuTime=0.41 mem=15M366
1.51
1.51 search
1.51 run=9 nbConstraintChecks=3303813 nbPropagations=118456 nbRevisions=1734747 nbUselessRevisions=1425841
1.51 nbAssignments=2005 nbFailedAssignments=761 nbBacktracks=1144 nbVisitedNodes=3398 nbRestartNogoods=33
1.51 mapSize=954 nbInferences=0 nbTooLargeKeys=0
1.51 => wckTime=0.646 cpuTime=0.58 mem=15M366
1.56
1.56 INFO : Stopping hyperNogood (mapSize=1042, nbTooLargekeys=0, mem=15M366)
1.74
1.74 search
1.74 run=10 nbConstraintChecks=4784493 nbPropagations=176130 nbRevisions=2617606 nbUselessRevisions=2151896
1.74 nbAssignments=2976 nbFailedAssignments=1146 nbBacktracks=1720 nbVisitedNodes=5058 nbRestartNogoods=40
1.74 => wckTime=0.879 cpuTime=0.81 mem=15M366
2.04
2.04 search
2.04 run=11 nbConstraintChecks=6784547 nbPropagations=259866 nbRevisions=3892162 nbUselessRevisions=3200890
2.04 nbAssignments=4340 nbFailedAssignments=1635 nbBacktracks=2585 nbVisitedNodes=7386 nbRestartNogoods=43
2.04 => wckTime=1.175 cpuTime=1.1 mem=15M366
2.52
2.52 search
2.52 run=12 nbConstraintChecks=10118830 nbPropagations=384065 nbRevisions=5800812 nbUselessRevisions=4772805
2.52 nbAssignments=6440 nbFailedAssignments=2425 nbBacktracks=3884 nbVisitedNodes=10954 nbRestartNogoods=51
2.52 => wckTime=1.657 cpuTime=1.58 mem=15M366
3.28
3.28 search
3.28 run=13 nbConstraintChecks=15732116 nbPropagations=571317 nbRevisions=8702058 nbUselessRevisions=7156463
3.28 nbAssignments=9698 nbFailedAssignments=3725 nbBacktracks=5836 nbVisitedNodes=16536 nbRestartNogoods=58
3.28 => wckTime=2.42 cpuTime=2.34 mem=15M366
4.32
4.32 search
4.32 run=14 nbConstraintChecks=22726001 nbPropagations=848356 nbRevisions=12978545 nbUselessRevisions=10675888
4.32 nbAssignments=14356 nbFailedAssignments=5455 nbBacktracks=8758 nbVisitedNodes=24438 nbRestartNogoods=60
4.32 => wckTime=3.461 cpuTime=3.37 mem=15M366
6.09
6.09 search
6.09 run=15 nbConstraintChecks=35550073 nbPropagations=1270726 nbRevisions=19541499 nbUselessRevisions=16070417
6.09 nbAssignments=21669 nbFailedAssignments=8381 nbBacktracks=13137 nbVisitedNodes=37109 nbRestartNogoods=64
6.09 => wckTime=5.228 cpuTime=5.13 mem=15M366
8.55
8.55 search
8.55 run=16 nbConstraintChecks=52484248 nbPropagations=1904410 nbRevisions=29323632 nbUselessRevisions=24109018
8.55 nbAssignments=32346 nbFailedAssignments=12477 nbBacktracks=19707 nbVisitedNodes=55365 nbRestartNogoods=73
8.55 => wckTime=7.686 cpuTime=7.58 mem=15M366
12.28
12.28 search
12.28 run=17 nbConstraintChecks=78709752 nbPropagations=2852512 nbRevisions=44014814 nbUselessRevisions=36190386
12.28 nbAssignments=48113 nbFailedAssignments=18384 nbBacktracks=29561 nbVisitedNodes=82436 nbRestartNogoods=78
12.28 => wckTime=11.415 cpuTime=11.3 mem=15M366
17.74
17.74 search
17.74 run=18 nbConstraintChecks=116440822 nbPropagations=4265356 nbRevisions=65935155 nbUselessRevisions=54227896
17.74 nbAssignments=72099 nbFailedAssignments=27579 nbBacktracks=44341 nbVisitedNodes=123514 nbRestartNogoods=84
17.74 => wckTime=16.876 cpuTime=16.7 mem=15M366
26.64
26.64 search
26.64 run=19 nbConstraintChecks=183179325 nbPropagations=6400918 nbRevisions=99335786 nbUselessRevisions=81660667
26.64 nbAssignments=108269 nbFailedAssignments=41570 nbBacktracks=66509 nbVisitedNodes=185651 nbRestartNogoods=94
26.64 => wckTime=25.781 cpuTime=25.57 mem=15M366
38.25
38.25 search
38.25 run=20 nbConstraintChecks=262580769 nbPropagations=9540342 nbRevisions=148104268 nbUselessRevisions=121757290
38.25 nbAssignments=160484 nbFailedAssignments=60521 nbBacktracks=99763 nbVisitedNodes=274085 nbRestartNogoods=106
38.25 => wckTime=37.386 cpuTime=37.13 mem=15M366
55.91
55.91 search
55.91 run=21 nbConstraintChecks=384681186 nbPropagations=14173626 nbRevisions=220290363 nbUselessRevisions=181150133
55.91 nbAssignments=239915 nbFailedAssignments=90062 nbBacktracks=149644 nbVisitedNodes=409432 nbRestartNogoods=121
55.91 => wckTime=55.044 cpuTime=54.72 mem=15M366
82.64
82.64 search
82.64 run=22 nbConstraintChecks=570982074 nbPropagations=21093836 nbRevisions=327950569 nbUselessRevisions=269774451
82.64 nbAssignments=359181 nbFailedAssignments=134498 nbBacktracks=224465 nbVisitedNodes=612859 nbRestartNogoods=133
82.64 => wckTime=81.779 cpuTime=81.32 mem=15M366
127.49
127.49 search
127.49 run=23 nbConstraintChecks=900674798 nbPropagations=31691144 nbRevisions=494307461 nbUselessRevisions=406664082
127.49 nbAssignments=542045 nbFailedAssignments=205127 nbBacktracks=336692 nbVisitedNodes=928870 nbRestartNogoods=143
127.49 => wckTime=126.628 cpuTime=125.96 mem=15M366
187.91
187.91 search
187.91 run=24 nbConstraintChecks=1328341363 nbPropagations=47417316 nbRevisions=739137639 nbUselessRevisions=607963861
187.91 nbAssignments=804818 nbFailedAssignments=299548 nbBacktracks=505035 nbVisitedNodes=1373470 nbRestartNogoods=155
187.91 => wckTime=187.052 cpuTime=186.12 mem=15M366
282.00
282.00 search
282.00 run=25 nbConstraintChecks=1983899713 nbPropagations=71155090 nbRevisions=1108564228
282.00 nbUselessRevisions=911840886 nbAssignments=1216323 nbFailedAssignments=458531 nbBacktracks=757546
282.00 nbVisitedNodes=2081484 nbRestartNogoods=171
282.00 => wckTime=281.142 cpuTime=279.71 mem=15M366
398.20
398.20 search
398.20 run=26 nbConstraintChecks=2806955628 nbPropagations=104623121 nbRevisions=1634501953
398.20 nbUselessRevisions=1345181793 nbAssignments=1719545 nbFailedAssignments=650461 nbBacktracks=1068788
398.20 nbVisitedNodes=2944437 nbRestartNogoods=181
398.20 => wckTime=397.333 cpuTime=395.71 mem=15M366
398.20
398.20 global
398.20 nbConstraintChecks=2806955628 nbPropagations=104623171 nbRevisions=1634501953 nbUselessRevisions=1345181793
398.20 nbRestartNogoods=181 solvingWckTime=397.334 solvingCpuTime=395.72 expiredTime=no totalExploration=no
398.20 nbFoundSolutions=1 globalCpuTime=396.17
398.20 => wckTime=397.898 cpuTime=396.11 mem=15M366
398.20
398.20 s SATISFIABLE
398.20 v 20 18 16 18 11 13 5 21 17 8 14 10 1 11 0 17 4 17 12 17 11 18 11 0 7 8 20 16 9 16 14 11 19 22 11 0 2 8 6 19 11 15 14 14 13 15 18 16 16 20
398.20 d NODES 1719545
398.20 d CHECKS 2806955628
398.20
398.20 totalWckTime=397.973 totalCpuTime=396.17
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node45/watcher-229908-1168081012 -o ROOT/results/node45/solver-229908-1168081012 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229908-1168081012/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: 0.10 0.40 0.75 6/73 23763
/proc/meminfo: memFree=1406744/2055920 swapFree=4184004/4192956
[pid=23762] ppid=23756 vsize=168 CPUtime=0
/proc/23762/stat : 23762 (java) R 23756 23762 23514 0 -1 0 39 0 0 0 0 0 0 0 18 0 1 0 156500900 172032 23 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4727588 0 0 4096 0 0 0 0 17 0 0 0
/proc/23762/statm: 42 23 18 14 0 2 0
[startup+0.107129 s]
/proc/loadavg: 0.10 0.40 0.75 6/73 23763
/proc/meminfo: memFree=1406744/2055920 swapFree=4184004/4192956
[pid=23762] ppid=23756 vsize=914988 CPUtime=0.08
/proc/23762/stat : 23762 (java) R 23756 23762 23514 0 -1 0 3001 0 1 0 7 1 0 0 22 0 8 0 156500900 936947712 2747 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073443179 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23762/statm: 228747 2747 1428 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.516204 s]
/proc/loadavg: 0.10 0.40 0.75 6/73 23763
/proc/meminfo: memFree=1406744/2055920 swapFree=4184004/4192956
[pid=23762] ppid=23756 vsize=915328 CPUtime=0.48
/proc/23762/stat : 23762 (java) R 23756 23762 23514 0 -1 0 7222 0 1 0 45 3 0 0 25 0 8 0 156500900 937295872 6961 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23762/statm: 228832 6961 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.34035 s]
/proc/loadavg: 0.10 0.40 0.75 3/87 23777
/proc/meminfo: memFree=1351528/2055920 swapFree=4184004/4192956
[pid=23762] ppid=23756 vsize=915460 CPUtime=1.3
/proc/23762/stat : 23762 (java) R 23756 23762 23514 0 -1 0 9619 0 1 0 124 6 0 0 25 0 8 0 156500900 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073856530 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23762/statm: 228865 9357 2513 14 0 215335 0
[pid=23762/tid=23764] ppid=23756 vsize=915460 CPUtime=0.03
/proc/23762/task/23764/stat : 23764 (java) S 23756 23762 23514 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 156500905 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23766] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23766/stat : 23766 (java) S 23756 23762 23514 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156500905 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23767] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23767/stat : 23767 (java) S 23756 23762 23514 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156500905 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23770] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23770/stat : 23770 (java) S 23756 23762 23514 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156500908 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23771] ppid=23756 vsize=915460 CPUtime=0.21
/proc/23762/task/23771/stat : 23771 (java) S 23756 23762 23514 0 -1 64 382 0 0 0 20 1 0 0 15 0 8 0 156500908 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23772] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23772/stat : 23772 (java) S 23756 23762 23514 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156500908 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23773] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23773/stat : 23773 (java) S 23756 23762 23514 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156500908 937431040 9357 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915460
[startup+2.97864 s]
/proc/loadavg: 0.26 0.43 0.75 3/87 23777
/proc/meminfo: memFree=1351336/2055920 swapFree=4184004/4192956
[pid=23762] ppid=23756 vsize=915460 CPUtime=2.93
/proc/23762/stat : 23762 (java) R 23756 23762 23514 0 -1 0 9634 0 1 0 287 6 0 0 25 0 8 0 156500900 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073835232 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23762/statm: 228865 9371 2513 14 0 215335 0
[pid=23762/tid=23764] ppid=23756 vsize=915460 CPUtime=0.03
/proc/23762/task/23764/stat : 23764 (java) S 23756 23762 23514 0 -1 64 408 0 0 0 3 0 0 0 17 0 8 0 156500905 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23766] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23766/stat : 23766 (java) S 23756 23762 23514 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156500905 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23767] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23767/stat : 23767 (java) S 23756 23762 23514 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156500905 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23770] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23770/stat : 23770 (java) S 23756 23762 23514 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156500908 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23771] ppid=23756 vsize=915460 CPUtime=0.23
/proc/23762/task/23771/stat : 23771 (java) S 23756 23762 23514 0 -1 64 396 0 0 0 22 1 0 0 15 0 8 0 156500908 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23772] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23772/stat : 23772 (java) S 23756 23762 23514 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156500908 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23773] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23773/stat : 23773 (java) S 23756 23762 23514 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156500908 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915460
[startup+6.27724 s]
/proc/loadavg: 0.26 0.43 0.75 4/87 23777
/proc/meminfo: memFree=1351336/2055920 swapFree=4184004/4192956
[pid=23762] ppid=23756 vsize=915460 CPUtime=6.22
/proc/23762/stat : 23762 (java) R 23756 23762 23514 0 -1 0 9635 0 1 0 616 6 0 0 25 0 8 0 156500900 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073874394 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23762/statm: 228865 9371 2513 14 0 215335 0
[pid=23762/tid=23764] ppid=23756 vsize=915460 CPUtime=0.03
/proc/23762/task/23764/stat : 23764 (java) S 23756 23762 23514 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 156500905 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23766] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23766/stat : 23766 (java) S 23756 23762 23514 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156500905 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23767] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23767/stat : 23767 (java) S 23756 23762 23514 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156500905 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23770] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23770/stat : 23770 (java) S 23756 23762 23514 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156500908 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23771] ppid=23756 vsize=915460 CPUtime=0.23
/proc/23762/task/23771/stat : 23771 (java) S 23756 23762 23514 0 -1 64 396 0 0 0 22 1 0 0 16 0 8 0 156500908 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23772] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23772/stat : 23772 (java) S 23756 23762 23514 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156500908 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23773] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23773/stat : 23773 (java) S 23756 23762 23514 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156500908 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915460
[startup+12.7514 s]
/proc/loadavg: 0.52 0.48 0.77 3/87 23777
/proc/meminfo: memFree=1351336/2055920 swapFree=4184004/4192956
[pid=23762] ppid=23756 vsize=915460 CPUtime=12.66
/proc/23762/stat : 23762 (java) R 23756 23762 23514 0 -1 0 9635 0 1 0 1260 6 0 0 25 0 8 0 156500900 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813708 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23762/statm: 228865 9371 2513 14 0 215335 0
[pid=23762/tid=23764] ppid=23756 vsize=915460 CPUtime=0.03
/proc/23762/task/23764/stat : 23764 (java) S 23756 23762 23514 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 156500905 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23766] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23766/stat : 23766 (java) S 23756 23762 23514 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156500905 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23767] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23767/stat : 23767 (java) S 23756 23762 23514 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156500905 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23770] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23770/stat : 23770 (java) S 23756 23762 23514 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156500908 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23771] ppid=23756 vsize=915460 CPUtime=0.23
/proc/23762/task/23771/stat : 23771 (java) S 23756 23762 23514 0 -1 64 396 0 0 0 22 1 0 0 16 0 8 0 156500908 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23772] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23772/stat : 23772 (java) S 23756 23762 23514 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156500908 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23773] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23773/stat : 23773 (java) S 23756 23762 23514 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156500908 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915460
[startup+25.6107 s]
/proc/loadavg: 0.75 0.53 0.78 3/87 23777
/proc/meminfo: memFree=1351400/2055920 swapFree=4184004/4192956
[pid=23762] ppid=23756 vsize=915460 CPUtime=25.44
/proc/23762/stat : 23762 (java) R 23756 23762 23514 0 -1 0 9635 0 1 0 2538 6 0 0 25 0 8 0 156500900 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813708 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23762/statm: 228865 9371 2513 14 0 215335 0
[pid=23762/tid=23764] ppid=23756 vsize=915460 CPUtime=0.03
/proc/23762/task/23764/stat : 23764 (java) S 23756 23762 23514 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 156500905 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23766] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23766/stat : 23766 (java) S 23756 23762 23514 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156500905 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23767] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23767/stat : 23767 (java) S 23756 23762 23514 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156500905 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23770] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23770/stat : 23770 (java) S 23756 23762 23514 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156500908 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23771] ppid=23756 vsize=915460 CPUtime=0.23
/proc/23762/task/23771/stat : 23771 (java) S 23756 23762 23514 0 -1 64 396 0 0 0 22 1 0 0 16 0 8 0 156500908 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23772] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23772/stat : 23772 (java) S 23756 23762 23514 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156500908 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23773] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23773/stat : 23773 (java) S 23756 23762 23514 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156500908 937431040 9371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 915460
[startup+51.2164 s]
/proc/loadavg: 1.18 0.65 0.81 3/87 23777
/proc/meminfo: memFree=1351464/2055920 swapFree=4184004/4192956
[pid=23762] ppid=23756 vsize=915460 CPUtime=50.95
/proc/23762/stat : 23762 (java) R 23756 23762 23514 0 -1 0 9637 0 1 0 5089 6 0 0 25 0 8 0 156500900 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073822956 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23762/statm: 228865 9372 2513 14 0 215335 0
[pid=23762/tid=23764] ppid=23756 vsize=915460 CPUtime=0.03
/proc/23762/task/23764/stat : 23764 (java) S 23756 23762 23514 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 156500905 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23766] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23766/stat : 23766 (java) S 23756 23762 23514 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156500905 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23767] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23767/stat : 23767 (java) S 23756 23762 23514 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156500905 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23770] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23770/stat : 23770 (java) S 23756 23762 23514 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156500908 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23771] ppid=23756 vsize=915460 CPUtime=0.23
/proc/23762/task/23771/stat : 23771 (java) S 23756 23762 23514 0 -1 64 397 0 0 0 22 1 0 0 16 0 8 0 156500908 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23772] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23772/stat : 23772 (java) S 23756 23762 23514 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156500908 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23773] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23773/stat : 23773 (java) S 23756 23762 23514 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156500908 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 915460
[startup+102.419 s]
/proc/loadavg: 1.64 0.85 0.87 3/87 23777
/proc/meminfo: memFree=1351464/2055920 swapFree=4184004/4192956
[pid=23762] ppid=23756 vsize=915460 CPUtime=101.93
/proc/23762/stat : 23762 (java) R 23756 23762 23514 0 -1 0 9637 0 1 0 10186 7 0 0 25 0 8 0 156500900 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073823706 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23762/statm: 228865 9372 2513 14 0 215335 0
[pid=23762/tid=23764] ppid=23756 vsize=915460 CPUtime=0.03
/proc/23762/task/23764/stat : 23764 (java) S 23756 23762 23514 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 156500905 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23766] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23766/stat : 23766 (java) S 23756 23762 23514 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156500905 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23767] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23767/stat : 23767 (java) S 23756 23762 23514 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156500905 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23770] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23770/stat : 23770 (java) S 23756 23762 23514 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156500908 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23771] ppid=23756 vsize=915460 CPUtime=0.23
/proc/23762/task/23771/stat : 23771 (java) S 23756 23762 23514 0 -1 64 397 0 0 0 22 1 0 0 16 0 8 0 156500908 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23772] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23772/stat : 23772 (java) S 23756 23762 23514 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156500908 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23773] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23773/stat : 23773 (java) S 23756 23762 23514 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156500908 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.93
Current children cumulated vsize (KiB) 915460
[startup+162.465 s]
/proc/loadavg: 1.87 1.06 0.94 3/87 23777
/proc/meminfo: memFree=1351400/2055920 swapFree=4184004/4192956
[pid=23762] ppid=23756 vsize=915460 CPUtime=161.68
/proc/23762/stat : 23762 (java) R 23756 23762 23514 0 -1 0 9637 0 1 0 16161 7 0 0 25 0 8 0 156500900 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918484 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23762/statm: 228865 9372 2513 14 0 215335 0
[pid=23762/tid=23764] ppid=23756 vsize=915460 CPUtime=0.03
/proc/23762/task/23764/stat : 23764 (java) S 23756 23762 23514 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 156500905 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23766] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23766/stat : 23766 (java) S 23756 23762 23514 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156500905 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23767] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23767/stat : 23767 (java) S 23756 23762 23514 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156500905 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23770] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23770/stat : 23770 (java) S 23756 23762 23514 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156500908 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23771] ppid=23756 vsize=915460 CPUtime=0.23
/proc/23762/task/23771/stat : 23771 (java) S 23756 23762 23514 0 -1 64 397 0 0 0 22 1 0 0 16 0 8 0 156500908 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23772] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23772/stat : 23772 (java) S 23756 23762 23514 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156500908 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23773] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23773/stat : 23773 (java) S 23756 23762 23514 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156500908 937431040 9372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.68
Current children cumulated vsize (KiB) 915460
[startup+222.507 s]
/proc/loadavg: 1.95 1.23 1.00 3/87 23777
/proc/meminfo: memFree=1351464/2055920 swapFree=4184004/4192956
[pid=23762] ppid=23756 vsize=915460 CPUtime=221.46
/proc/23762/stat : 23762 (java) R 23756 23762 23514 0 -1 0 9638 0 1 0 22139 7 0 0 25 0 8 0 156500900 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073839617 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23762/statm: 228865 9373 2513 14 0 215335 0
[pid=23762/tid=23764] ppid=23756 vsize=915460 CPUtime=0.03
/proc/23762/task/23764/stat : 23764 (java) S 23756 23762 23514 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 156500905 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23766] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23766/stat : 23766 (java) S 23756 23762 23514 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156500905 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23767] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23767/stat : 23767 (java) S 23756 23762 23514 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156500905 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23770] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23770/stat : 23770 (java) S 23756 23762 23514 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156500908 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23771] ppid=23756 vsize=915460 CPUtime=0.24
/proc/23762/task/23771/stat : 23771 (java) S 23756 23762 23514 0 -1 64 398 0 0 0 23 1 0 0 16 0 8 0 156500908 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23772] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23772/stat : 23772 (java) S 23756 23762 23514 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156500908 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23773] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23773/stat : 23773 (java) S 23756 23762 23514 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156500908 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 221.46
Current children cumulated vsize (KiB) 915460
[startup+282.574 s]
/proc/loadavg: 2.04 1.38 1.07 3/93 23915
/proc/meminfo: memFree=1350040/2055920 swapFree=4184004/4192956
[pid=23762] ppid=23756 vsize=915460 CPUtime=281.19
/proc/23762/stat : 23762 (java) R 23756 23762 23514 0 -1 0 9638 0 1 0 28107 12 0 0 25 0 8 0 156500900 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073814064 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23762/statm: 228865 9373 2513 14 0 215335 0
[pid=23762/tid=23764] ppid=23756 vsize=915460 CPUtime=0.03
/proc/23762/task/23764/stat : 23764 (java) S 23756 23762 23514 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 156500905 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23766] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23766/stat : 23766 (java) S 23756 23762 23514 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156500905 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23767] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23767/stat : 23767 (java) S 23756 23762 23514 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156500905 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23770] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23770/stat : 23770 (java) S 23756 23762 23514 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156500908 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23771] ppid=23756 vsize=915460 CPUtime=0.24
/proc/23762/task/23771/stat : 23771 (java) S 23756 23762 23514 0 -1 64 398 0 0 0 23 1 0 0 16 0 8 0 156500908 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23772] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23772/stat : 23772 (java) S 23756 23762 23514 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156500908 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23773] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23773/stat : 23773 (java) S 23756 23762 23514 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156500908 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 281.19
Current children cumulated vsize (KiB) 915460
[startup+342.631 s]
/proc/loadavg: 1.48 1.35 1.08 2/75 23986
/proc/meminfo: memFree=1381232/2055920 swapFree=4184004/4192956
[pid=23762] ppid=23756 vsize=915460 CPUtime=341.11
/proc/23762/stat : 23762 (java) R 23756 23762 23514 0 -1 0 9638 0 1 0 34095 16 0 0 25 0 8 0 156500900 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073823827 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23762/statm: 228865 9373 2513 14 0 215335 0
[pid=23762/tid=23764] ppid=23756 vsize=915460 CPUtime=0.03
/proc/23762/task/23764/stat : 23764 (java) S 23756 23762 23514 0 -1 64 408 0 0 0 3 0 0 0 16 0 8 0 156500905 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23766] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23766/stat : 23766 (java) S 23756 23762 23514 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156500905 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23767] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23767/stat : 23767 (java) S 23756 23762 23514 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156500905 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23770] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23770/stat : 23770 (java) S 23756 23762 23514 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156500908 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23771] ppid=23756 vsize=915460 CPUtime=0.24
/proc/23762/task/23771/stat : 23771 (java) S 23756 23762 23514 0 -1 64 398 0 0 0 23 1 0 0 16 0 8 0 156500908 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23772] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23772/stat : 23772 (java) S 23756 23762 23514 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156500908 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23762/tid=23773] ppid=23756 vsize=915460 CPUtime=0
/proc/23762/task/23773/stat : 23773 (java) S 23756 23762 23514 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156500908 937431040 9373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 341.11
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 398.239
CPU time (s): 396.648
CPU user time (s): 396.473
CPU system time (s): 0.174973
CPU usage (%): 99.6005
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 396.473
system time used= 0.174973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9646
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= 9249
involuntary context switches= 13865
runsolver used 0.463929 s user time and 1.2878 s system time
The end
Begin job on node45 on Sat Jan 6 10:56:54 UTC 2007
IDJOB= 229908
IDBENCH= 6376
FILE ID= node45/229908-1168081012
PBS_JOBID= 3476182
Free space on /tmp= 66542 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23-fcd/rand-2-50-23-587-230-fcd-45_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229908-1168081012/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node45/watcher-229908-1168081012 -o ROOT/results/node45/solver-229908-1168081012 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/229908-1168081012/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 677c8b2fc95fbc432e1737c709f72654
RANDOM SEED= 88810350
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.259
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.259
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: 1409624 kB
Buffers: 49320 kB
Cached: 510972 kB
SwapCached: 2748 kB
Active: 54060 kB
Inactive: 520492 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1409624 kB
SwapTotal: 4192956 kB
SwapFree: 4184004 kB
Dirty: 2384 kB
Writeback: 0 kB
Mapped: 20432 kB
Slab: 57424 kB
Committed_AS: 2684396 kB
PageTables: 1632 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= 66541 MiB
End job on node45 on Sat Jan 6 11:03:39 UTC 2007