0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=mac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/230022-1168081015/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=50 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.39 => wckTime=0.096 cpuTime=0.09 mem=6M951
0.39
0.39 relations being loaded...
0.53
0.53 constraints being loaded...
0.66 nbConstraints=469 nbRelationTypes=469 nbExtensionStructures=469 nbSharedExtensionStructures=0
0.66 nbConflictsStructures=469 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2545 maxDegree=25
0.66 maxArity=2
0.66 => wckTime=0.364 cpuTime=0.29 mem=17M827
0.70
0.70 solver IterativeSystematicSolver being built...
0.84 => wckTime=0.546 cpuTime=0.41 mem=15M369
0.85
0.85 preprocessing
0.85 nbConstraintChecks=0 nbPropagations=50 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.85 detectedInconsistency=no
0.85 => wckTime=0.0080 cpuTime=0.01 mem=15M369
0.90
0.90 search
0.90 run=0 nbConstraintChecks=59357 nbPropagations=702 nbRevisions=8226 nbUselessRevisions=6643 nbAssignments=30
0.90 nbFailedAssignments=10 nbBacktracks=11 nbVisitedNodes=48 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.90 nbTooLargeKeys=0
0.90 => wckTime=0.054 cpuTime=0.04 mem=15M369
0.92
0.92 search
0.92 run=1 nbConstraintChecks=117284 nbPropagations=2090 nbRevisions=25782 nbUselessRevisions=20908
0.92 nbAssignments=65 nbFailedAssignments=20 nbBacktracks=27 nbVisitedNodes=103 nbRestartNogoods=2 mapSize=26
0.92 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.076 cpuTime=0.05 mem=15M369
0.94
0.94 search
0.94 run=2 nbConstraintChecks=180058 nbPropagations=4211 nbRevisions=53074 nbUselessRevisions=43254
0.94 nbAssignments=102 nbFailedAssignments=28 nbBacktracks=49 nbVisitedNodes=159 nbRestartNogoods=3 mapSize=41
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.092 cpuTime=0.06 mem=15M369
0.96
0.96 search
0.96 run=3 nbConstraintChecks=285360 nbPropagations=7594 nbRevisions=97752 nbUselessRevisions=79808
0.96 nbAssignments=162 nbFailedAssignments=45 nbBacktracks=82 nbVisitedNodes=256 nbRestartNogoods=4 mapSize=67
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.112 cpuTime=0.08 mem=15M369
0.99
0.99 search
0.99 run=4 nbConstraintChecks=454548 nbPropagations=12859 nbRevisions=169944 nbUselessRevisions=138655
0.99 nbAssignments=259 nbFailedAssignments=78 nbBacktracks=133 nbVisitedNodes=416 nbRestartNogoods=8 mapSize=109
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.142 cpuTime=0.11 mem=15M369
1.02
1.02 search
1.02 run=5 nbConstraintChecks=630628 nbPropagations=20271 nbRevisions=272758 nbUselessRevisions=222694
1.02 nbAssignments=389 nbFailedAssignments=122 nbBacktracks=209 nbVisitedNodes=617 nbRestartNogoods=13 mapSize=161
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.177 cpuTime=0.14 mem=15M369
1.08
1.08 search
1.08 run=6 nbConstraintChecks=948152 nbPropagations=31537 nbRevisions=433484 nbUselessRevisions=354607
1.08 nbAssignments=588 nbFailedAssignments=199 nbBacktracks=323 nbVisitedNodes=956 nbRestartNogoods=17 mapSize=258
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.232 cpuTime=0.19 mem=15M369
1.15
1.15 search
1.15 run=7 nbConstraintChecks=1335928 nbPropagations=47843 nbRevisions=670070 nbUselessRevisions=548956
1.15 nbAssignments=862 nbFailedAssignments=293 nbBacktracks=493 nbVisitedNodes=1407 nbRestartNogoods=19 mapSize=386
1.15 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.303 cpuTime=0.26 mem=15M369
1.26
1.26 search
1.26 run=8 nbConstraintChecks=1988827 nbPropagations=72081 nbRevisions=1025591 nbUselessRevisions=841253
1.26 nbAssignments=1285 nbFailedAssignments=443 nbBacktracks=754 nbVisitedNodes=2111 nbRestartNogoods=26
1.26 mapSize=597 nbInferences=0 nbTooLargeKeys=0
1.26 => wckTime=0.416 cpuTime=0.37 mem=15M369
1.42
1.42 search
1.42 run=9 nbConstraintChecks=2937234 nbPropagations=107893 nbRevisions=1561077 nbUselessRevisions=1282014
1.42 nbAssignments=1912 nbFailedAssignments=675 nbBacktracks=1140 nbVisitedNodes=3162 nbRestartNogoods=34
1.42 mapSize=905 nbInferences=0 nbTooLargeKeys=0
1.42 => wckTime=0.579 cpuTime=0.52 mem=15M369
1.48
1.48 INFO : Stopping hyperNogood (mapSize=1004, nbTooLargekeys=0, mem=15M369)
1.66
1.66 search
1.66 run=10 nbConstraintChecks=4523239 nbPropagations=162164 nbRevisions=2386164 nbUselessRevisions=1960752
1.66 nbAssignments=2853 nbFailedAssignments=1029 nbBacktracks=1717 nbVisitedNodes=4758 nbRestartNogoods=38
1.66 => wckTime=0.819 cpuTime=0.75 mem=15M369
1.99
1.99 search
1.99 run=11 nbConstraintChecks=6953020 nbPropagations=243052 nbRevisions=3625006 nbUselessRevisions=2977596
1.99 nbAssignments=4240 nbFailedAssignments=1544 nbBacktracks=2581 nbVisitedNodes=7097 nbRestartNogoods=43
1.99 => wckTime=1.15 cpuTime=1.08 mem=15M369
2.53
2.53 search
2.53 run=12 nbConstraintChecks=10800514 nbPropagations=368255 nbRevisions=5569819 nbUselessRevisions=4576991
2.53 nbAssignments=6457 nbFailedAssignments=2453 nbBacktracks=3880 nbVisitedNodes=10972 nbRestartNogoods=49
2.53 => wckTime=1.687 cpuTime=1.62 mem=15M369
3.26
3.26 search
3.26 run=13 nbConstraintChecks=15899436 nbPropagations=553613 nbRevisions=8461097 nbUselessRevisions=6955056
3.26 nbAssignments=9628 nbFailedAssignments=3669 nbBacktracks=5826 nbVisitedNodes=16386 nbRestartNogoods=55
3.26 => wckTime=2.418 cpuTime=2.35 mem=15M369
4.45
4.45 search
4.45 run=14 nbConstraintChecks=24394226 nbPropagations=837210 nbRevisions=12889001 nbUselessRevisions=10596239
4.45 nbAssignments=14582 nbFailedAssignments=5692 nbBacktracks=8749 nbVisitedNodes=25010 nbRestartNogoods=61
4.45 => wckTime=3.606 cpuTime=3.54 mem=15M369
6.10
6.10 search
6.10 run=15 nbConstraintChecks=35990424 nbPropagations=1257115 nbRevisions=19482418 nbUselessRevisions=16022250
6.10 nbAssignments=21647 nbFailedAssignments=8370 nbBacktracks=13129 nbVisitedNodes=37089 nbRestartNogoods=70
6.10 => wckTime=5.255 cpuTime=5.19 mem=15M369
8.63
8.63 search
8.63 run=16 nbConstraintChecks=53570512 nbPropagations=1887658 nbRevisions=29352977 nbUselessRevisions=24144054
8.63 nbAssignments=32517 nbFailedAssignments=12664 nbBacktracks=19698 nbVisitedNodes=55784 nbRestartNogoods=77
8.63 => wckTime=7.79 cpuTime=7.72 mem=15M369
12.16
12.16 search
12.16 run=17 nbConstraintChecks=77840994 nbPropagations=2810161 nbRevisions=43773849 nbUselessRevisions=36002772
12.16 nbAssignments=48274 nbFailedAssignments=18559 nbBacktracks=29550 nbVisitedNodes=82413 nbRestartNogoods=81
12.16 => wckTime=11.316 cpuTime=11.24 mem=15M369
17.80
17.80 search
17.80 run=18 nbConstraintChecks=118115261 nbPropagations=4203411 nbRevisions=65552866 nbUselessRevisions=53910635
17.80 nbAssignments=72207 nbFailedAssignments=27701 nbBacktracks=44329 nbVisitedNodes=123338 nbRestartNogoods=90
17.80 => wckTime=16.958 cpuTime=16.88 mem=15M369
26.08
26.08 search
26.08 run=19 nbConstraintChecks=176380980 nbPropagations=6281287 nbRevisions=97872810 nbUselessRevisions=80443637
26.08 nbAssignments=107558 nbFailedAssignments=40873 nbBacktracks=66497 nbVisitedNodes=183416 nbRestartNogoods=102
26.08 => wckTime=25.24 cpuTime=25.13 mem=15M369
38.35
38.36 search
38.36 run=20 nbConstraintChecks=262202739 nbPropagations=9376698 nbRevisions=146208769 nbUselessRevisions=120168294
38.36 nbAssignments=160981 nbFailedAssignments=61035 nbBacktracks=99750 nbVisitedNodes=274481 nbRestartNogoods=119
38.36 => wckTime=37.511 cpuTime=37.39 mem=15M369
56.35
56.35 search
56.35 run=21 nbConstraintChecks=389034419 nbPropagations=13956791 nbRevisions=217876534 nbUselessRevisions=179077878
56.35 nbAssignments=239948 nbFailedAssignments=90111 nbBacktracks=149628 nbVisitedNodes=408080 nbRestartNogoods=125
56.35 => wckTime=55.509 cpuTime=55.39 mem=15M369
84.15
84.15 search
84.15 run=22 nbConstraintChecks=586658401 nbPropagations=20839479 nbRevisions=325629453 nbUselessRevisions=267686364
84.15 nbAssignments=359440 nbFailedAssignments=134773 nbBacktracks=224448 nbVisitedNodes=611685 nbRestartNogoods=141
84.15 => wckTime=83.306 cpuTime=83.16 mem=15M369
126.54
126.54 search
126.54 run=23 nbConstraintChecks=886642733 nbPropagations=31218966 nbRevisions=488395264 nbUselessRevisions=401525327
126.54 nbAssignments=540160 nbFailedAssignments=203256 nbBacktracks=336675 nbVisitedNodes=920180 nbRestartNogoods=159
126.54 => wckTime=125.696 cpuTime=125.54 mem=15M369
188.78
188.78 search
188.78 run=24 nbConstraintChecks=1329522599 nbPropagations=46746977 nbRevisions=731409451 nbUselessRevisions=601307223
188.78 nbAssignments=809119 nbFailedAssignments=303866 nbBacktracks=505016 nbVisitedNodes=1377685 nbRestartNogoods=174
188.78 => wckTime=187.935 cpuTime=187.7 mem=15M369
288.60
288.60 search
288.60 run=25 nbConstraintChecks=2060713031 nbPropagations=70398130 nbRevisions=1100959417
288.60 nbUselessRevisions=904595651 nbAssignments=1217052 nbFailedAssignments=459279 nbBacktracks=757527
288.60 nbVisitedNodes=2074234 nbRestartNogoods=183
288.60 => wckTime=287.759 cpuTime=287.39 mem=15M369
331.12
331.12 search
331.12 run=26 nbConstraintChecks=2359597418 nbPropagations=97547453 nbRevisions=1525520182
331.12 nbUselessRevisions=1253125805 nbAssignments=1402022 nbFailedAssignments=526991 nbBacktracks=874735
331.12 nbVisitedNodes=2387503 nbRestartNogoods=201
331.12 => wckTime=330.277 cpuTime=329.87 mem=15M369
331.12
331.12 global
331.12 nbConstraintChecks=2359597418 nbPropagations=97547503 nbRevisions=1525520182 nbUselessRevisions=1253125805
331.12 nbRestartNogoods=201 solvingWckTime=330.278 solvingCpuTime=329.87 expiredTime=no totalExploration=no
331.12 nbFoundSolutions=1 globalCpuTime=330.32
331.12 => wckTime=330.827 cpuTime=330.28 mem=15M369
331.13
331.13 s SATISFIABLE
331.13 v 12 0 9 12 21 9 12 1 18 5 10 10 16 18 20 3 0 13 5 5 15 20 9 6 6 10 20 6 17 18 0 22 18 15 14 9 22 3 9 12 6 22 10 16 18 12 20 17 2 13
331.13 d NODES 1402022
331.13 d CHECKS 2359597418
331.13
331.13 totalWckTime=330.901 totalCpuTime=330.32
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node75/watcher-230022-1168081015 -o ROOT/results/node75/solver-230022-1168081015 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/230022-1168081015/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.04 0.39 0.77 1/68 24000
/proc/meminfo: memFree=1715968/2055920 swapFree=4184496/4192956
[pid=23999] ppid=23997 vsize=1500 CPUtime=0
/proc/23999/stat : 23999 (java) R 23997 23999 23593 0 -1 0 88 0 0 0 0 0 0 0 19 0 1 0 156501610 1536000 69 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 6702774 0 0 4096 0 0 0 0 17 1 0 0
/proc/23999/statm: 363 65 49 14 0 8 0
[startup+0.102591 s]
/proc/loadavg: 0.04 0.39 0.77 1/68 24000
/proc/meminfo: memFree=1715968/2055920 swapFree=4184496/4192956
[pid=23999] ppid=23997 vsize=914988 CPUtime=0.08
/proc/23999/stat : 23999 (java) R 23997 23999 23593 0 -1 0 2981 0 1 0 6 2 0 0 17 0 8 0 156501610 936947712 2727 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154016819 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23999/statm: 228747 2727 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.510638 s]
/proc/loadavg: 0.04 0.39 0.77 1/68 24000
/proc/meminfo: memFree=1715968/2055920 swapFree=4184496/4192956
[pid=23999] ppid=23997 vsize=915328 CPUtime=0.48
/proc/23999/stat : 23999 (java) S 23997 23999 23593 0 -1 0 7240 0 1 0 44 4 0 0 16 0 8 0 156501610 937295872 6979 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23999/statm: 228832 6979 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33273 s]
/proc/loadavg: 0.11 0.40 0.77 2/75 24008
/proc/meminfo: memFree=1688328/2055920 swapFree=4184496/4192956
[pid=23999] ppid=23997 vsize=915460 CPUtime=1.3
/proc/23999/stat : 23999 (java) R 23997 23999 23593 0 -1 0 9611 0 1 0 124 6 0 0 16 0 8 0 156501610 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073847164 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23999/statm: 228865 9349 2513 14 0 215335 0
[pid=23999/tid=24002] ppid=23997 vsize=915460 CPUtime=0.03
/proc/23999/task/24002/stat : 24002 (java) S 23997 23999 23593 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 156501614 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23999/tid=24003] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24003/stat : 24003 (java) S 23997 23999 23593 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156501615 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24004] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24004/stat : 24004 (java) S 23997 23999 23593 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156501615 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24005] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24005/stat : 24005 (java) S 23997 23999 23593 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156501618 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24006] ppid=23997 vsize=915460 CPUtime=0.19
/proc/23999/task/24006/stat : 24006 (java) S 23997 23999 23593 0 -1 64 386 0 0 0 19 0 0 0 16 0 8 0 156501618 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24007] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24007/stat : 24007 (java) S 23997 23999 23593 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156501618 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24008] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24008/stat : 24008 (java) S 23997 23999 23593 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156501618 937431040 9349 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915460
[startup+2.98492 s]
/proc/loadavg: 0.11 0.40 0.77 2/75 24008
/proc/meminfo: memFree=1688200/2055920 swapFree=4184496/4192956
[pid=23999] ppid=23997 vsize=915460 CPUtime=2.96
/proc/23999/stat : 23999 (java) R 23997 23999 23593 0 -1 0 9624 0 1 0 289 7 0 0 17 0 8 0 156501610 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073828587 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23999/statm: 228865 9359 2513 14 0 215335 0
[pid=23999/tid=24002] ppid=23997 vsize=915460 CPUtime=0.03
/proc/23999/task/24002/stat : 24002 (java) S 23997 23999 23593 0 -1 64 410 0 0 0 3 0 0 0 17 0 8 0 156501614 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23999/tid=24003] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24003/stat : 24003 (java) S 23997 23999 23593 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156501615 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24004] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24004/stat : 24004 (java) S 23997 23999 23593 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156501615 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24005] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24005/stat : 24005 (java) S 23997 23999 23593 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156501618 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24006] ppid=23997 vsize=915460 CPUtime=0.21
/proc/23999/task/24006/stat : 24006 (java) S 23997 23999 23593 0 -1 64 397 0 0 0 21 0 0 0 15 0 8 0 156501618 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24007] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24007/stat : 24007 (java) S 23997 23999 23593 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156501618 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24008] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24008/stat : 24008 (java) S 23997 23999 23593 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156501618 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915460
[startup+6.26331 s]
/proc/loadavg: 0.18 0.41 0.77 2/75 24008
/proc/meminfo: memFree=1688200/2055920 swapFree=4184496/4192956
[pid=23999] ppid=23997 vsize=915460 CPUtime=6.24
/proc/23999/stat : 23999 (java) R 23997 23999 23593 0 -1 0 9624 0 1 0 617 7 0 0 22 0 8 0 156501610 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073811792 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23999/statm: 228865 9359 2513 14 0 215335 0
[pid=23999/tid=24002] ppid=23997 vsize=915460 CPUtime=0.03
/proc/23999/task/24002/stat : 24002 (java) S 23997 23999 23593 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 156501614 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23999/tid=24003] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24003/stat : 24003 (java) S 23997 23999 23593 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156501615 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24004] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24004/stat : 24004 (java) S 23997 23999 23593 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156501615 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24005] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24005/stat : 24005 (java) S 23997 23999 23593 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156501618 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24006] ppid=23997 vsize=915460 CPUtime=0.21
/proc/23999/task/24006/stat : 24006 (java) S 23997 23999 23593 0 -1 64 397 0 0 0 21 0 0 0 15 0 8 0 156501618 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24007] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24007/stat : 24007 (java) S 23997 23999 23593 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156501618 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24008] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24008/stat : 24008 (java) S 23997 23999 23593 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156501618 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915460
[startup+12.7451 s]
/proc/loadavg: 0.25 0.42 0.77 2/75 24011
/proc/meminfo: memFree=1687944/2055920 swapFree=4184496/4192956
[pid=23999] ppid=23997 vsize=915460 CPUtime=12.71
/proc/23999/stat : 23999 (java) R 23997 23999 23593 0 -1 0 9624 0 1 0 1264 7 0 0 25 0 8 0 156501610 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073812559 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23999/statm: 228865 9359 2513 14 0 215335 0
[pid=23999/tid=24002] ppid=23997 vsize=915460 CPUtime=0.03
/proc/23999/task/24002/stat : 24002 (java) S 23997 23999 23593 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 156501614 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23999/tid=24003] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24003/stat : 24003 (java) S 23997 23999 23593 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156501615 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24004] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24004/stat : 24004 (java) S 23997 23999 23593 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156501615 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24005] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24005/stat : 24005 (java) S 23997 23999 23593 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156501618 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24006] ppid=23997 vsize=915460 CPUtime=0.21
/proc/23999/task/24006/stat : 24006 (java) S 23997 23999 23593 0 -1 64 397 0 0 0 21 0 0 0 16 0 8 0 156501618 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24007] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24007/stat : 24007 (java) S 23997 23999 23593 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156501618 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24008] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24008/stat : 24008 (java) S 23997 23999 23593 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156501618 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915460
[startup+25.5776 s]
/proc/loadavg: 0.36 0.44 0.78 3/87 24053
/proc/meminfo: memFree=1679072/2055920 swapFree=4184496/4192956
[pid=23999] ppid=23997 vsize=915460 CPUtime=25.51
/proc/23999/stat : 23999 (java) R 23997 23999 23593 0 -1 0 9624 0 1 0 2544 7 0 0 25 0 8 0 156501610 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073850898 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23999/statm: 228865 9359 2513 14 0 215335 0
[pid=23999/tid=24002] ppid=23997 vsize=915460 CPUtime=0.03
/proc/23999/task/24002/stat : 24002 (java) S 23997 23999 23593 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 156501614 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23999/tid=24003] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24003/stat : 24003 (java) S 23997 23999 23593 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156501615 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24004] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24004/stat : 24004 (java) S 23997 23999 23593 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156501615 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24005] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24005/stat : 24005 (java) S 23997 23999 23593 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156501618 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24006] ppid=23997 vsize=915460 CPUtime=0.21
/proc/23999/task/24006/stat : 24006 (java) S 23997 23999 23593 0 -1 64 397 0 0 0 21 0 0 0 16 0 8 0 156501618 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24007] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24007/stat : 24007 (java) S 23997 23999 23593 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156501618 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24008] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24008/stat : 24008 (java) S 23997 23999 23593 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156501618 937431040 9359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 915460
[startup+51.2766 s]
/proc/loadavg: 1.06 0.60 0.82 3/87 24053
/proc/meminfo: memFree=1657888/2055920 swapFree=4184496/4192956
[pid=23999] ppid=23997 vsize=915460 CPUtime=51.2
/proc/23999/stat : 23999 (java) R 23997 23999 23593 0 -1 0 9626 0 1 0 5113 7 0 0 25 0 8 0 156501610 937431040 9360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073821811 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23999/statm: 228865 9360 2513 14 0 215335 0
[pid=23999/tid=24002] ppid=23997 vsize=915460 CPUtime=0.03
/proc/23999/task/24002/stat : 24002 (java) S 23997 23999 23593 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 156501614 937431040 9360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23999/tid=24003] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24003/stat : 24003 (java) S 23997 23999 23593 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156501615 937431040 9360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24004] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24004/stat : 24004 (java) S 23997 23999 23593 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156501615 937431040 9360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24005] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24005/stat : 24005 (java) S 23997 23999 23593 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156501618 937431040 9360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24006] ppid=23997 vsize=915460 CPUtime=0.21
/proc/23999/task/24006/stat : 24006 (java) S 23997 23999 23593 0 -1 64 398 0 0 0 21 0 0 0 16 0 8 0 156501618 937431040 9360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23999/tid=24007] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24007/stat : 24007 (java) S 23997 23999 23593 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156501618 937431040 9360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24008] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24008/stat : 24008 (java) S 23997 23999 23593 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156501618 937431040 9360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.2
Current children cumulated vsize (KiB) 915460
[startup+102.556 s]
/proc/loadavg: 1.20 0.72 0.85 2/75 24061
/proc/meminfo: memFree=1685640/2055920 swapFree=4184496/4192956
[pid=23999] ppid=23997 vsize=915460 CPUtime=102.45
/proc/23999/stat : 23999 (java) R 23997 23999 23593 0 -1 0 9626 0 1 0 10238 7 0 0 25 0 8 0 156501610 937431040 9360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073835305 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23999/statm: 228865 9360 2513 14 0 215335 0
[pid=23999/tid=24002] ppid=23997 vsize=915460 CPUtime=0.03
/proc/23999/task/24002/stat : 24002 (java) S 23997 23999 23593 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 156501614 937431040 9360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23999/tid=24003] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24003/stat : 24003 (java) S 23997 23999 23593 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156501615 937431040 9360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24004] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24004/stat : 24004 (java) S 23997 23999 23593 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156501615 937431040 9360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24005] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24005/stat : 24005 (java) S 23997 23999 23593 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156501618 937431040 9360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24006] ppid=23997 vsize=915460 CPUtime=0.21
/proc/23999/task/24006/stat : 24006 (java) S 23997 23999 23593 0 -1 64 398 0 0 0 21 0 0 0 16 0 8 0 156501618 937431040 9360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23999/tid=24007] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24007/stat : 24007 (java) S 23997 23999 23593 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156501618 937431040 9360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24008] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24008/stat : 24008 (java) S 23997 23999 23593 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156501618 937431040 9360 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.45
Current children cumulated vsize (KiB) 915460
[startup+162.556 s]
/proc/loadavg: 1.07 0.77 0.85 2/75 24109
/proc/meminfo: memFree=1685192/2055920 swapFree=4184496/4192956
[pid=23999] ppid=23997 vsize=915460 CPUtime=162.38
/proc/23999/stat : 23999 (java) R 23997 23999 23593 0 -1 0 9627 0 1 0 16231 7 0 0 25 0 8 0 156501610 937431040 9361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073835404 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23999/statm: 228865 9361 2513 14 0 215335 0
[pid=23999/tid=24002] ppid=23997 vsize=915460 CPUtime=0.03
/proc/23999/task/24002/stat : 24002 (java) S 23997 23999 23593 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 156501614 937431040 9361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23999/tid=24003] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24003/stat : 24003 (java) S 23997 23999 23593 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156501615 937431040 9361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24004] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24004/stat : 24004 (java) S 23997 23999 23593 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156501615 937431040 9361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24005] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24005/stat : 24005 (java) S 23997 23999 23593 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156501618 937431040 9361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24006] ppid=23997 vsize=915460 CPUtime=0.21
/proc/23999/task/24006/stat : 24006 (java) S 23997 23999 23593 0 -1 64 399 0 0 0 21 0 0 0 16 0 8 0 156501618 937431040 9361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23999/tid=24007] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24007/stat : 24007 (java) S 23997 23999 23593 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156501618 937431040 9361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24008] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24008/stat : 24008 (java) S 23997 23999 23593 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156501618 937431040 9361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.38
Current children cumulated vsize (KiB) 915460
[startup+222.657 s]
/proc/loadavg: 1.02 0.81 0.86 2/75 24118
/proc/meminfo: memFree=1687176/2055920 swapFree=4184496/4192956
[pid=23999] ppid=23997 vsize=915460 CPUtime=222.47
/proc/23999/stat : 23999 (java) R 23997 23999 23593 0 -1 0 9627 0 1 0 22239 8 0 0 25 0 8 0 156501610 937431040 9361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073839252 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23999/statm: 228865 9361 2513 14 0 215335 0
[pid=23999/tid=24002] ppid=23997 vsize=915460 CPUtime=0.03
/proc/23999/task/24002/stat : 24002 (java) S 23997 23999 23593 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 156501614 937431040 9361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23999/tid=24003] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24003/stat : 24003 (java) S 23997 23999 23593 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156501615 937431040 9361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24004] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24004/stat : 24004 (java) S 23997 23999 23593 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156501615 937431040 9361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24005] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24005/stat : 24005 (java) S 23997 23999 23593 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156501618 937431040 9361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24006] ppid=23997 vsize=915460 CPUtime=0.21
/proc/23999/task/24006/stat : 24006 (java) S 23997 23999 23593 0 -1 64 399 0 0 0 21 0 0 0 16 0 8 0 156501618 937431040 9361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23999/tid=24007] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24007/stat : 24007 (java) S 23997 23999 23593 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156501618 937431040 9361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24008] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24008/stat : 24008 (java) S 23997 23999 23593 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156501618 937431040 9361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.47
Current children cumulated vsize (KiB) 915460
[startup+282.682 s]
/proc/loadavg: 1.01 0.84 0.86 2/81 24327
/proc/meminfo: memFree=1683000/2055920 swapFree=4184496/4192956
[pid=23999] ppid=23997 vsize=915460 CPUtime=282.36
/proc/23999/stat : 23999 (java) R 23997 23999 23593 0 -1 0 9627 0 1 0 28227 9 0 0 25 0 8 0 156501610 937431040 9361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073884923 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23999/statm: 228865 9361 2513 14 0 215335 0
[pid=23999/tid=24002] ppid=23997 vsize=915460 CPUtime=0.03
/proc/23999/task/24002/stat : 24002 (java) S 23997 23999 23593 0 -1 64 410 0 0 0 3 0 0 0 16 0 8 0 156501614 937431040 9361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23999/tid=24003] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24003/stat : 24003 (java) S 23997 23999 23593 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156501615 937431040 9361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24004] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24004/stat : 24004 (java) S 23997 23999 23593 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156501615 937431040 9361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24005] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24005/stat : 24005 (java) S 23997 23999 23593 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156501618 937431040 9361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24006] ppid=23997 vsize=915460 CPUtime=0.21
/proc/23999/task/24006/stat : 24006 (java) S 23997 23999 23593 0 -1 64 399 0 0 0 21 0 0 0 16 0 8 0 156501618 937431040 9361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23999/tid=24007] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24007/stat : 24007 (java) S 23997 23999 23593 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156501618 937431040 9361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23999/tid=24008] ppid=23997 vsize=915460 CPUtime=0
/proc/23999/task/24008/stat : 24008 (java) S 23997 23999 23593 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156501618 937431040 9361 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.36
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 331.153
CPU time (s): 330.783
CPU user time (s): 330.682
CPU system time (s): 0.100984
CPU usage (%): 99.8881
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 330.682
system time used= 0.100984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9634
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= 7569
involuntary context switches= 3086
runsolver used 0.366944 s user time and 0.874867 s system time
The end
Begin job on node75 on Sat Jan 6 10:57:00 UTC 2007
IDJOB= 230022
IDBENCH= 6392
FILE ID= node75/230022-1168081015
PBS_JOBID= 3476173
Free space on /tmp= 66548 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23-fcd/rand-2-50-23-587-230-fcd-35_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/230022-1168081015/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node75/watcher-230022-1168081015 -o ROOT/results/node75/solver-230022-1168081015 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/230022-1168081015/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d74f0c4a9a4840e9de539f7a96e8ced4
RANDOM SEED= 884422439
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.218
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.218
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1716448 kB
Buffers: 6232 kB
Cached: 268808 kB
SwapCached: 2468 kB
Active: 92184 kB
Inactive: 197220 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1716448 kB
SwapTotal: 4192956 kB
SwapFree: 4184496 kB
Dirty: 2128 kB
Writeback: 0 kB
Mapped: 20476 kB
Slab: 35728 kB
Committed_AS: 3120516 kB
PageTables: 1636 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= 66546 MiB
End job on node75 on Sat Jan 6 11:02:35 UTC 2007