0.41
0.41 Abscon 109 (November, 2006)
0.41
0.41 configuration
0.41 name=mac.xml
0.44
0.44 instance
0.44 name=/tmp/evaluation/202742-1168072666/unknown.xml
0.48
0.48 domains being loaded...
0.48
0.48 variables being loaded...
0.52 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.52 => wckTime=0.102 cpuTime=0.09 mem=6M951
0.52
0.52 relations being loaded...
0.62
0.62 constraints being loaded...
0.74 nbConstraints=333 nbRelationTypes=333 nbExtensionStructures=333 nbSharedExtensionStructures=0
0.74 nbConflictsStructures=333 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2755 maxDegree=21
0.74 maxArity=2
0.74 => wckTime=0.329 cpuTime=0.23 mem=12M803
0.78
0.78 solver IterativeSystematicSolver being built...
0.94 => wckTime=0.525 cpuTime=0.36 mem=13M917
0.95
0.95 preprocessing
0.95 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.95 detectedInconsistency=no
0.95 => wckTime=0.0050 cpuTime=0.0 mem=13M917
0.99
0.99 search
0.99 run=0 nbConstraintChecks=27525 nbPropagations=465 nbRevisions=4328 nbUselessRevisions=3567 nbAssignments=25
0.99 nbFailedAssignments=4 nbBacktracks=11 nbVisitedNodes=35 nbRestartNogoods=0 mapSize=6 nbInferences=0
0.99 nbTooLargeKeys=0
0.99 => wckTime=0.049 cpuTime=0.03 mem=14M892
1.02
1.02 search
1.02 run=1 nbConstraintChecks=69329 nbPropagations=1575 nbRevisions=16090 nbUselessRevisions=13255 nbAssignments=59
1.02 nbFailedAssignments=14 nbBacktracks=26 nbVisitedNodes=89 nbRestartNogoods=3 mapSize=19 nbInferences=0
1.02 nbTooLargeKeys=0
1.02 => wckTime=0.074 cpuTime=0.04 mem=14M892
1.04
1.04 search
1.04 run=2 nbConstraintChecks=120050 nbPropagations=3446 nbRevisions=37073 nbUselessRevisions=30478
1.04 nbAssignments=104 nbFailedAssignments=28 nbBacktracks=48 nbVisitedNodes=160 nbRestartNogoods=6 mapSize=37
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.096 cpuTime=0.06 mem=14M892
1.06
1.06 search
1.06 run=3 nbConstraintChecks=203591 nbPropagations=6550 nbRevisions=73455 nbUselessRevisions=60217
1.06 nbAssignments=171 nbFailedAssignments=51 nbBacktracks=83 nbVisitedNodes=270 nbRestartNogoods=10 mapSize=66
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.114 cpuTime=0.07 mem=14M892
1.08
1.08 search
1.08 run=4 nbConstraintChecks=318298 nbPropagations=11376 nbRevisions=131952 nbUselessRevisions=107815
1.08 nbAssignments=263 nbFailedAssignments=84 nbBacktracks=133 nbVisitedNodes=426 nbRestartNogoods=12 mapSize=109
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.14 cpuTime=0.1 mem=14M892
1.12
1.12 search
1.12 run=5 nbConstraintChecks=473262 nbPropagations=18543 nbRevisions=221408 nbUselessRevisions=180551
1.12 nbAssignments=399 nbFailedAssignments=136 nbBacktracks=209 nbVisitedNodes=657 nbRestartNogoods=16 mapSize=169
1.12 nbInferences=0 nbTooLargeKeys=0
1.12 => wckTime=0.176 cpuTime=0.13 mem=14M892
1.17
1.17 search
1.17 run=6 nbConstraintChecks=724520 nbPropagations=29347 nbRevisions=359599 nbUselessRevisions=292481
1.17 nbAssignments=595 nbFailedAssignments=210 nbBacktracks=323 nbVisitedNodes=994 nbRestartNogoods=21 mapSize=265
1.17 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.232 cpuTime=0.18 mem=14M892
1.25
1.25 search
1.25 run=7 nbConstraintChecks=1157476 nbPropagations=46036 nbRevisions=580001 nbUselessRevisions=470741
1.25 nbAssignments=898 nbFailedAssignments=335 nbBacktracks=494 nbVisitedNodes=1534 nbRestartNogoods=28 mapSize=418
1.25 nbInferences=0 nbTooLargeKeys=0
1.25 => wckTime=0.313 cpuTime=0.26 mem=14M892
1.37
1.37 search
1.37 run=8 nbConstraintChecks=1754835 nbPropagations=71061 nbRevisions=916572 nbUselessRevisions=742920
1.37 nbAssignments=1365 nbFailedAssignments=539 nbBacktracks=750 nbVisitedNodes=2340 nbRestartNogoods=36
1.37 mapSize=632 nbInferences=0 nbTooLargeKeys=0
1.37 => wckTime=0.431 cpuTime=0.37 mem=14M892
1.54
1.54 search
1.54 run=9 nbConstraintChecks=2581179 nbPropagations=107876 nbRevisions=1410863 nbUselessRevisions=1142068
1.54 nbAssignments=2021 nbFailedAssignments=803 nbBacktracks=1135 nbVisitedNodes=3485 nbRestartNogoods=42
1.54 mapSize=972 nbInferences=0 nbTooLargeKeys=0
1.54 => wckTime=0.594 cpuTime=0.52 mem=14M892
1.57
1.57 INFO : Stopping hyperNogood (mapSize=1029, nbTooLargekeys=0, mem=14M892)
1.75
1.75 search
1.75 run=10 nbConstraintChecks=3730259 nbPropagations=161528 nbRevisions=2124785 nbUselessRevisions=1717308
1.75 nbAssignments=2944 nbFailedAssignments=1141 nbBacktracks=1712 nbVisitedNodes=5073 nbRestartNogoods=48
1.75 => wckTime=0.805 cpuTime=0.71 mem=14M892
2.06
2.06 search
2.06 run=11 nbConstraintChecks=5626628 nbPropagations=242474 nbRevisions=3222748 nbUselessRevisions=2604377
2.06 nbAssignments=4432 nbFailedAssignments=1757 nbBacktracks=2577 nbVisitedNodes=7695 nbRestartNogoods=55
2.06 => wckTime=1.118 cpuTime=1.02 mem=14M892
2.47
2.47 search
2.47 run=12 nbConstraintChecks=8106825 nbPropagations=359507 nbRevisions=4809929 nbUselessRevisions=3885866
2.47 nbAssignments=6521 nbFailedAssignments=2538 nbBacktracks=3877 nbVisitedNodes=11273 nbRestartNogoods=64
2.47 => wckTime=1.528 cpuTime=1.43 mem=14M892
3.11
3.11 search
3.11 run=13 nbConstraintChecks=12031468 nbPropagations=533793 nbRevisions=7170502 nbUselessRevisions=5790816
3.11 nbAssignments=9729 nbFailedAssignments=3790 nbBacktracks=5823 nbVisitedNodes=16821 nbRestartNogoods=70
3.11 => wckTime=2.169 cpuTime=2.06 mem=14M892
4.05
4.05 search
4.05 run=14 nbConstraintChecks=17847488 nbPropagations=792007 nbRevisions=10657253 nbUselessRevisions=8603311
4.05 nbAssignments=14444 nbFailedAssignments=5578 nbBacktracks=8742 nbVisitedNodes=24911 nbRestartNogoods=82
4.05 => wckTime=3.112 cpuTime=2.99 mem=14M892
5.57
5.57 search
5.57 run=15 nbConstraintChecks=27180307 nbPropagations=1185939 nbRevisions=16005146 nbUselessRevisions=12921752
5.57 nbAssignments=21837 nbFailedAssignments=8586 nbBacktracks=13120 nbVisitedNodes=37911 nbRestartNogoods=85
5.57 => wckTime=4.632 cpuTime=4.5 mem=14M892
7.75
7.75 search
7.75 run=16 nbConstraintChecks=40821769 nbPropagations=1771981 nbRevisions=23938945 nbUselessRevisions=19314137
7.75 nbAssignments=32516 nbFailedAssignments=12689 nbBacktracks=19690 nbVisitedNodes=56318 nbRestartNogoods=93
7.75 => wckTime=6.81 cpuTime=6.66 mem=14M892
10.98
10.98 search
10.98 run=17 nbConstraintChecks=60442435 nbPropagations=2644586 nbRevisions=35854075 nbUselessRevisions=28943030
10.98 nbAssignments=48828 nbFailedAssignments=19144 nbBacktracks=29542 nbVisitedNodes=84485 nbRestartNogoods=104
10.98 => wckTime=10.04 cpuTime=9.86 mem=14M892
15.88
15.88 search
15.88 run=18 nbConstraintChecks=90462256 nbPropagations=3947579 nbRevisions=53569883 nbUselessRevisions=43239102
15.88 nbAssignments=72652 nbFailedAssignments=28181 nbBacktracks=44322 nbVisitedNodes=125363 nbRestartNogoods=115
15.88 => wckTime=14.935 cpuTime=14.7 mem=14M892
23.16
23.16 search
23.16 run=19 nbConstraintChecks=134742904 nbPropagations=5897802 nbRevisions=80126314 nbUselessRevisions=64697595
23.16 nbAssignments=108940 nbFailedAssignments=42288 nbBacktracks=66496 nbVisitedNodes=188206 nbRestartNogoods=124
23.16 => wckTime=22.221 cpuTime=21.92 mem=14M892
34.54
34.54 search
34.54 run=20 nbConstraintChecks=204644515 nbPropagations=8851182 nbRevisions=120570303 nbUselessRevisions=97418682
34.54 nbAssignments=164281 nbFailedAssignments=64368 nbBacktracks=99749 nbVisitedNodes=284562 nbRestartNogoods=134
34.54 => wckTime=33.603 cpuTime=33.2 mem=14M892
50.77
50.77 search
50.77 run=21 nbConstraintChecks=303477051 nbPropagations=13247441 nbRevisions=180652138 nbUselessRevisions=146008595
50.77 nbAssignments=245363 nbFailedAssignments=95563 nbBacktracks=149629 nbVisitedNodes=424353 nbRestartNogoods=149
50.77 => wckTime=49.833 cpuTime=49.29 mem=14M892
76.14
76.14 search
76.14 run=22 nbConstraintChecks=459682048 nbPropagations=19882831 nbRevisions=271163768 nbUselessRevisions=219141177
76.14 nbAssignments=368939 nbFailedAssignments=144311 nbBacktracks=224450 nbVisitedNodes=639121 nbRestartNogoods=163
76.14 => wckTime=75.2 cpuTime=74.42 mem=14M892
112.84
112.84 search
112.84 run=23 nbConstraintChecks=685058391 nbPropagations=29770634 nbRevisions=405909813 nbUselessRevisions=328040678
112.84 nbAssignments=551002 nbFailedAssignments=214140 nbBacktracks=336677 nbVisitedNodes=952429 nbRestartNogoods=174
112.84 => wckTime=111.903 cpuTime=110.78 mem=14M892
170.20
170.20 search
170.20 run=24 nbConstraintChecks=1041968413 nbPropagations=44683673 nbRevisions=609605257 nbUselessRevisions=492615843
170.20 nbAssignments=827042 nbFailedAssignments=321831 nbBacktracks=505019 nbVisitedNodes=1430374 nbRestartNogoods=187
170.20 => wckTime=169.256 cpuTime=167.6 mem=14M892
250.33
250.33 search
250.33 run=25 nbConstraintChecks=1568143202 nbPropagations=67054358 nbRevisions=915211572 nbUselessRevisions=739505105
250.33 nbAssignments=1237537 nbFailedAssignments=479805 nbBacktracks=757533 nbVisitedNodes=2139043
250.33 nbRestartNogoods=196
250.33 => wckTime=249.384 cpuTime=247.42 mem=14M892
369.20
369.20 search
369.20 run=26 nbConstraintChecks=2371448288 nbPropagations=100681105 nbRevisions=1375558561
369.20 nbUselessRevisions=1111400342 nbAssignments=1852241 nbFailedAssignments=715737 nbBacktracks=1136300
369.20 nbVisitedNodes=3200975 nbRestartNogoods=210
369.20 => wckTime=368.258 cpuTime=366.14 mem=14M892
381.34
381.34 search
381.34 run=27 nbConstraintChecks=2454505480 nbPropagations=135453385 nbRevisions=1851645788
381.34 nbUselessRevisions=1495978139 nbAssignments=1914574 nbFailedAssignments=739671 nbBacktracks=1174700
381.35 nbVisitedNodes=3308652 nbRestartNogoods=217
381.35 => wckTime=380.403 cpuTime=378.28 mem=14M892
381.35
381.35 global
381.35 nbConstraintChecks=2454505480 nbPropagations=135453425 nbRevisions=1851645788 nbUselessRevisions=1495978139
381.35 nbRestartNogoods=217 solvingWckTime=380.405 solvingCpuTime=378.28 expiredTime=no totalExploration=yes
381.35 nbFoundSolutions=0 globalCpuTime=378.69
381.35 => wckTime=380.934 cpuTime=378.64 mem=14M892
381.35
381.35 s UNSATISFIABLE
381.35 d NODES 1914574
381.35 d CHECKS 2454505480
381.35
381.35 totalWckTime=381.016 totalCpuTime=378.69
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node19/watcher-202742-1168072666 -o ROOT/results/node19/solver-202742-1168072666 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202742-1168072666/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.86 1.90 1.94 3/93 21969
/proc/meminfo: memFree=1265432/2055920 swapFree=4171232/4192956
[pid=21968] ppid=21966 vsize=18540 CPUtime=0
/proc/21968/stat : 21968 (runsolver) R 21966 21968 21621 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 155661259 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 255236566311 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/21968/statm: 4635 279 244 17 0 2626 0
[startup+0.107549 s]
/proc/loadavg: 1.86 1.90 1.94 3/93 21969
/proc/meminfo: memFree=1265432/2055920 swapFree=4171232/4192956
[pid=21968] ppid=21966 vsize=907676 CPUtime=0.04
/proc/21968/stat : 21968 (java) R 21966 21968 21621 0 -1 0 2314 0 1 0 3 1 0 0 16 0 4 0 155661259 929460224 2061 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155590134 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/21968/statm: 226919 2061 1159 14 0 214502 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 907676
[startup+0.515625 s]
/proc/loadavg: 1.86 1.90 1.94 3/93 21969
/proc/meminfo: memFree=1265432/2055920 swapFree=4171232/4192956
[pid=21968] ppid=21966 vsize=915328 CPUtime=0.4
/proc/21968/stat : 21968 (java) R 21966 21968 21621 0 -1 0 6099 0 1 0 36 4 0 0 18 0 8 0 155661259 937295872 5838 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21968/statm: 228832 5838 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 915328
[startup+1.33678 s]
/proc/loadavg: 1.86 1.90 1.94 3/100 21976
/proc/meminfo: memFree=1241888/2055920 swapFree=4171232/4192956
[pid=21968] ppid=21966 vsize=915456 CPUtime=1.21
/proc/21968/stat : 21968 (java) R 21966 21968 21621 0 -1 0 8614 0 1 0 115 6 0 0 23 0 8 0 155661259 937426944 8352 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073800913 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21968/statm: 228864 8352 2513 14 0 215334 0
[pid=21968/tid=21970] ppid=21966 vsize=915456 CPUtime=0.03
/proc/21968/task/21970/stat : 21970 (java) S 21966 21968 21621 0 -1 64 285 0 0 0 3 0 0 0 16 0 8 0 155661268 937426944 8352 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21968/tid=21971] ppid=21966 vsize=915456 CPUtime=0
/proc/21968/task/21971/stat : 21971 (java) S 21966 21968 21621 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155661268 937426944 8352 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21968/tid=21972] ppid=21966 vsize=915456 CPUtime=0
/proc/21968/task/21972/stat : 21972 (java) S 21966 21968 21621 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155661268 937426944 8352 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21968/tid=21973] ppid=21966 vsize=915456 CPUtime=0
/proc/21968/task/21973/stat : 21973 (java) S 21966 21968 21621 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155661276 937426944 8352 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21968/tid=21974] ppid=21966 vsize=915456 CPUtime=0.21
/proc/21968/task/21974/stat : 21974 (java) S 21966 21968 21621 0 -1 64 376 0 0 0 20 1 0 0 15 0 8 0 155661276 937426944 8352 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21968/tid=21975] ppid=21966 vsize=915456 CPUtime=0
/proc/21968/task/21975/stat : 21975 (java) S 21966 21968 21621 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155661276 937426944 8352 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21968/tid=21976] ppid=21966 vsize=915456 CPUtime=0
/proc/21968/task/21976/stat : 21976 (java) S 21966 21968 21621 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155661276 937426944 8352 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 915456
[startup+2.97508 s]
/proc/loadavg: 1.86 1.90 1.94 3/100 21976
/proc/meminfo: memFree=1241504/2055920 swapFree=4171232/4192956
[pid=21968] ppid=21966 vsize=915456 CPUtime=2.83
/proc/21968/stat : 21968 (java) R 21966 21968 21621 0 -1 0 8666 0 1 0 277 6 0 0 25 0 8 0 155661259 937426944 8403 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918603 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21968/statm: 228864 8403 2513 14 0 215334 0
[pid=21968/tid=21970] ppid=21966 vsize=915456 CPUtime=0.03
/proc/21968/task/21970/stat : 21970 (java) S 21966 21968 21621 0 -1 64 285 0 0 0 3 0 0 0 16 0 8 0 155661268 937426944 8403 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21968/tid=21971] ppid=21966 vsize=915456 CPUtime=0
/proc/21968/task/21971/stat : 21971 (java) S 21966 21968 21621 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155661268 937426944 8403 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21968/tid=21972] ppid=21966 vsize=915456 CPUtime=0
/proc/21968/task/21972/stat : 21972 (java) S 21966 21968 21621 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155661268 937426944 8403 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21968/tid=21973] ppid=21966 vsize=915456 CPUtime=0
/proc/21968/task/21973/stat : 21973 (java) S 21966 21968 21621 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155661276 937426944 8403 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21968/tid=21974] ppid=21966 vsize=915456 CPUtime=0.24
/proc/21968/task/21974/stat : 21974 (java) S 21966 21968 21621 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 155661276 937426944 8403 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21968/tid=21975] ppid=21966 vsize=915456 CPUtime=0
/proc/21968/task/21975/stat : 21975 (java) S 21966 21968 21621 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155661276 937426944 8403 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21968/tid=21976] ppid=21966 vsize=915456 CPUtime=0
/proc/21968/task/21976/stat : 21976 (java) S 21966 21968 21621 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155661276 937426944 8403 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 915456
[startup+6.27171 s]
/proc/loadavg: 1.87 1.91 1.94 3/100 21976
/proc/meminfo: memFree=1241504/2055920 swapFree=4171232/4192956
[pid=21968] ppid=21966 vsize=915456 CPUtime=6.09
/proc/21968/stat : 21968 (java) R 21966 21968 21621 0 -1 0 8673 0 1 0 603 6 0 0 25 0 8 0 155661259 937426944 8410 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073835526 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21968/statm: 228864 8410 2513 14 0 215334 0
[pid=21968/tid=21970] ppid=21966 vsize=915456 CPUtime=0.03
/proc/21968/task/21970/stat : 21970 (java) S 21966 21968 21621 0 -1 64 285 0 0 0 3 0 0 0 16 0 8 0 155661268 937426944 8410 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21968/tid=21971] ppid=21966 vsize=915456 CPUtime=0
/proc/21968/task/21971/stat : 21971 (java) S 21966 21968 21621 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155661268 937426944 8410 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21968/tid=21972] ppid=21966 vsize=915456 CPUtime=0
/proc/21968/task/21972/stat : 21972 (java) S 21966 21968 21621 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155661268 937426944 8410 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21968/tid=21973] ppid=21966 vsize=915456 CPUtime=0
/proc/21968/task/21973/stat : 21973 (java) S 21966 21968 21621 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155661276 937426944 8410 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21968/tid=21974] ppid=21966 vsize=915456 CPUtime=0.24
/proc/21968/task/21974/stat : 21974 (java) S 21966 21968 21621 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 155661276 937426944 8410 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21968/tid=21975] ppid=21966 vsize=915456 CPUtime=0
/proc/21968/task/21975/stat : 21975 (java) S 21966 21968 21621 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155661276 937426944 8410 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21968/tid=21976] ppid=21966 vsize=915456 CPUtime=0
/proc/21968/task/21976/stat : 21976 (java) R 21966 21968 21621 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155661276 937426944 8410 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 915456
[startup+12.7479 s]
/proc/loadavg: 1.88 1.91 1.94 3/100 21976
/proc/meminfo: memFree=1241456/2055920 swapFree=4171232/4192956
[pid=21968] ppid=21966 vsize=915456 CPUtime=12.51
/proc/21968/stat : 21968 (java) R 21966 21968 21621 0 -1 0 8678 0 1 0 1245 6 0 0 25 0 8 0 155661259 937426944 8415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827492 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21968/statm: 228864 8415 2513 14 0 215334 0
[pid=21968/tid=21970] ppid=21966 vsize=915456 CPUtime=0.03
/proc/21968/task/21970/stat : 21970 (java) S 21966 21968 21621 0 -1 64 285 0 0 0 3 0 0 0 16 0 8 0 155661268 937426944 8415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21968/tid=21971] ppid=21966 vsize=915456 CPUtime=0
/proc/21968/task/21971/stat : 21971 (java) S 21966 21968 21621 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155661268 937426944 8415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21968/tid=21972] ppid=21966 vsize=915456 CPUtime=0
/proc/21968/task/21972/stat : 21972 (java) S 21966 21968 21621 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155661268 937426944 8415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21968/tid=21973] ppid=21966 vsize=915456 CPUtime=0
/proc/21968/task/21973/stat : 21973 (java) S 21966 21968 21621 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155661276 937426944 8415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21968/tid=21974] ppid=21966 vsize=915456 CPUtime=0.24
/proc/21968/task/21974/stat : 21974 (java) S 21966 21968 21621 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 155661276 937426944 8415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21968/tid=21975] ppid=21966 vsize=915456 CPUtime=0
/proc/21968/task/21975/stat : 21975 (java) S 21966 21968 21621 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155661276 937426944 8415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21968/tid=21976] ppid=21966 vsize=915456 CPUtime=0
/proc/21968/task/21976/stat : 21976 (java) S 21966 21968 21621 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155661276 937426944 8415 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 915456
[startup+25.6093 s]
/proc/loadavg: 1.91 1.91 1.94 3/100 21976
/proc/meminfo: memFree=1241456/2055920 swapFree=4171232/4192956
[pid=21968] ppid=21966 vsize=915456 CPUtime=25.25
/proc/21968/stat : 21968 (java) R 21966 21968 21621 0 -1 0 8685 0 1 0 2519 6 0 0 25 0 8 0 155661259 937426944 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794527 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21968/statm: 228864 8421 2513 14 0 215334 0
[pid=21968/tid=21970] ppid=21966 vsize=915456 CPUtime=0.03
/proc/21968/task/21970/stat : 21970 (java) S 21966 21968 21621 0 -1 64 285 0 0 0 3 0 0 0 16 0 8 0 155661268 937426944 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21968/tid=21971] ppid=21966 vsize=915456 CPUtime=0
/proc/21968/task/21971/stat : 21971 (java) S 21966 21968 21621 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155661268 937426944 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21968/tid=21972] ppid=21966 vsize=915456 CPUtime=0
/proc/21968/task/21972/stat : 21972 (java) S 21966 21968 21621 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155661268 937426944 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21968/tid=21973] ppid=21966 vsize=915456 CPUtime=0
/proc/21968/task/21973/stat : 21973 (java) S 21966 21968 21621 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155661276 937426944 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21968/tid=21974] ppid=21966 vsize=915456 CPUtime=0.25
/proc/21968/task/21974/stat : 21974 (java) S 21966 21968 21621 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 155661276 937426944 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21968/tid=21975] ppid=21966 vsize=915456 CPUtime=0
/proc/21968/task/21975/stat : 21975 (java) S 21966 21968 21621 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155661276 937426944 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21968/tid=21976] ppid=21966 vsize=915456 CPUtime=0
/proc/21968/task/21976/stat : 21976 (java) S 21966 21968 21621 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155661276 937426944 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 915456
[startup+51.2132 s]
/proc/loadavg: 1.94 1.92 1.94 3/100 21976
/proc/meminfo: memFree=1241456/2055920 swapFree=4171232/4192956
[pid=21968] ppid=21966 vsize=915456 CPUtime=50.61
/proc/21968/stat : 21968 (java) R 21966 21968 21621 0 -1 0 8690 0 1 0 5055 6 0 0 25 0 8 0 155661259 937426944 8426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073860411 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21968/statm: 228864 8426 2513 14 0 215334 0
[pid=21968/tid=21970] ppid=21966 vsize=915456 CPUtime=0.03
/proc/21968/task/21970/stat : 21970 (java) S 21966 21968 21621 0 -1 64 285 0 0 0 3 0 0 0 16 0 8 0 155661268 937426944 8426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21968/tid=21971] ppid=21966 vsize=915456 CPUtime=0
/proc/21968/task/21971/stat : 21971 (java) S 21966 21968 21621 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155661268 937426944 8426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21968/tid=21972] ppid=21966 vsize=915456 CPUtime=0
/proc/21968/task/21972/stat : 21972 (java) S 21966 21968 21621 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155661268 937426944 8426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21968/tid=21973] ppid=21966 vsize=915456 CPUtime=0
/proc/21968/task/21973/stat : 21973 (java) S 21966 21968 21621 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155661276 937426944 8426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21968/tid=21974] ppid=21966 vsize=915456 CPUtime=0.25
/proc/21968/task/21974/stat : 21974 (java) S 21966 21968 21621 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 155661276 937426944 8426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21968/tid=21975] ppid=21966 vsize=915456 CPUtime=0
/proc/21968/task/21975/stat : 21975 (java) S 21966 21968 21621 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155661276 937426944 8426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21968/tid=21976] ppid=21966 vsize=915456 CPUtime=0
/proc/21968/task/21976/stat : 21976 (java) S 21966 21968 21621 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155661276 937426944 8426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 915456
[startup+102.416 s]
/proc/loadavg: 2.04 1.94 1.95 3/100 21976
/proc/meminfo: memFree=1241456/2055920 swapFree=4171232/4192956
[pid=21968] ppid=21966 vsize=915456 CPUtime=101.34
/proc/21968/stat : 21968 (java) R 21966 21968 21621 0 -1 0 8693 0 1 0 10128 6 0 0 25 0 8 0 155661259 937426944 8429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073795521 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21968/statm: 228864 8429 2513 14 0 215334 0
[pid=21968/tid=21970] ppid=21966 vsize=915456 CPUtime=0.03
/proc/21968/task/21970/stat : 21970 (java) S 21966 21968 21621 0 -1 64 285 0 0 0 3 0 0 0 16 0 8 0 155661268 937426944 8429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21968/tid=21971] ppid=21966 vsize=915456 CPUtime=0
/proc/21968/task/21971/stat : 21971 (java) S 21966 21968 21621 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155661268 937426944 8429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21968/tid=21972] ppid=21966 vsize=915456 CPUtime=0
/proc/21968/task/21972/stat : 21972 (java) S 21966 21968 21621 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155661268 937426944 8429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21968/tid=21973] ppid=21966 vsize=915456 CPUtime=0
/proc/21968/task/21973/stat : 21973 (java) S 21966 21968 21621 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155661276 937426944 8429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21968/tid=21974] ppid=21966 vsize=915456 CPUtime=0.25
/proc/21968/task/21974/stat : 21974 (java) S 21966 21968 21621 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 155661276 937426944 8429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21968/tid=21975] ppid=21966 vsize=915456 CPUtime=0
/proc/21968/task/21975/stat : 21975 (java) S 21966 21968 21621 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155661276 937426944 8429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21968/tid=21976] ppid=21966 vsize=915456 CPUtime=0
/proc/21968/task/21976/stat : 21976 (java) S 21966 21968 21621 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155661276 937426944 8429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.34
Current children cumulated vsize (KiB) 915456
[startup+162.466 s]
/proc/loadavg: 2.01 1.95 1.95 3/100 21976
/proc/meminfo: memFree=1241456/2055920 swapFree=4171232/4192956
[pid=21968] ppid=21966 vsize=915456 CPUtime=160.84
/proc/21968/stat : 21968 (java) R 21966 21968 21621 0 -1 0 8695 0 1 0 16077 7 0 0 25 0 8 0 155661259 937426944 8431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073810678 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21968/statm: 228864 8431 2513 14 0 215334 0
[pid=21968/tid=21970] ppid=21966 vsize=915456 CPUtime=0.03
/proc/21968/task/21970/stat : 21970 (java) S 21966 21968 21621 0 -1 64 285 0 0 0 3 0 0 0 16 0 8 0 155661268 937426944 8431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21968/tid=21971] ppid=21966 vsize=915456 CPUtime=0
/proc/21968/task/21971/stat : 21971 (java) S 21966 21968 21621 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155661268 937426944 8431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21968/tid=21972] ppid=21966 vsize=915456 CPUtime=0
/proc/21968/task/21972/stat : 21972 (java) S 21966 21968 21621 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155661268 937426944 8431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21968/tid=21973] ppid=21966 vsize=915456 CPUtime=0
/proc/21968/task/21973/stat : 21973 (java) S 21966 21968 21621 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155661276 937426944 8431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21968/tid=21974] ppid=21966 vsize=915456 CPUtime=0.25
/proc/21968/task/21974/stat : 21974 (java) S 21966 21968 21621 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 155661276 937426944 8431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21968/tid=21975] ppid=21966 vsize=915456 CPUtime=0
/proc/21968/task/21975/stat : 21975 (java) S 21966 21968 21621 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155661276 937426944 8431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21968/tid=21976] ppid=21966 vsize=915456 CPUtime=0
/proc/21968/task/21976/stat : 21976 (java) S 21966 21968 21621 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155661276 937426944 8431 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.84
Current children cumulated vsize (KiB) 915456
[startup+222.542 s]
/proc/loadavg: 1.95 1.94 1.94 3/100 22066
/proc/meminfo: memFree=1133872/2055920 swapFree=4171232/4192956
[pid=21968] ppid=21966 vsize=915456 CPUtime=220.58
/proc/21968/stat : 21968 (java) R 21966 21968 21621 0 -1 0 8698 0 1 0 22048 10 0 0 25 0 8 0 155661259 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073800907 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21968/statm: 228864 8434 2513 14 0 215334 0
[pid=21968/tid=21970] ppid=21966 vsize=915456 CPUtime=0.03
/proc/21968/task/21970/stat : 21970 (java) S 21966 21968 21621 0 -1 64 285 0 0 0 3 0 0 0 16 0 8 0 155661268 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21968/tid=21971] ppid=21966 vsize=915456 CPUtime=0
/proc/21968/task/21971/stat : 21971 (java) S 21966 21968 21621 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155661268 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21968/tid=21972] ppid=21966 vsize=915456 CPUtime=0
/proc/21968/task/21972/stat : 21972 (java) S 21966 21968 21621 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155661268 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21968/tid=21973] ppid=21966 vsize=915456 CPUtime=0
/proc/21968/task/21973/stat : 21973 (java) S 21966 21968 21621 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155661276 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21968/tid=21974] ppid=21966 vsize=915456 CPUtime=0.25
/proc/21968/task/21974/stat : 21974 (java) S 21966 21968 21621 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 155661276 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21968/tid=21975] ppid=21966 vsize=915456 CPUtime=0
/proc/21968/task/21975/stat : 21975 (java) S 21966 21968 21621 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155661276 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21968/tid=21976] ppid=21966 vsize=915456 CPUtime=0
/proc/21968/task/21976/stat : 21976 (java) R 21966 21968 21621 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155661276 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.58
Current children cumulated vsize (KiB) 915456
[startup+282.547 s]
/proc/loadavg: 2.05 1.96 1.95 3/100 22066
/proc/meminfo: memFree=1133936/2055920 swapFree=4171232/4192956
[pid=21968] ppid=21966 vsize=915456 CPUtime=280.49
/proc/21968/stat : 21968 (java) R 21966 21968 21621 0 -1 0 8700 0 1 0 28039 10 0 0 25 0 8 0 155661259 937426944 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073817989 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21968/statm: 228864 8436 2513 14 0 215334 0
[pid=21968/tid=21970] ppid=21966 vsize=915456 CPUtime=0.03
/proc/21968/task/21970/stat : 21970 (java) S 21966 21968 21621 0 -1 64 285 0 0 0 3 0 0 0 16 0 8 0 155661268 937426944 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21968/tid=21971] ppid=21966 vsize=915456 CPUtime=0
/proc/21968/task/21971/stat : 21971 (java) S 21966 21968 21621 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155661268 937426944 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21968/tid=21972] ppid=21966 vsize=915456 CPUtime=0
/proc/21968/task/21972/stat : 21972 (java) S 21966 21968 21621 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155661268 937426944 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21968/tid=21973] ppid=21966 vsize=915456 CPUtime=0
/proc/21968/task/21973/stat : 21973 (java) S 21966 21968 21621 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155661276 937426944 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21968/tid=21974] ppid=21966 vsize=915456 CPUtime=0.25
/proc/21968/task/21974/stat : 21974 (java) S 21966 21968 21621 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 155661276 937426944 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21968/tid=21975] ppid=21966 vsize=915456 CPUtime=0
/proc/21968/task/21975/stat : 21975 (java) S 21966 21968 21621 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155661276 937426944 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21968/tid=21976] ppid=21966 vsize=915456 CPUtime=0
/proc/21968/task/21976/stat : 21976 (java) S 21966 21968 21621 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155661276 937426944 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 280.49
Current children cumulated vsize (KiB) 915456
[startup+342.553 s]
/proc/loadavg: 2.07 1.98 1.95 3/100 22066
/proc/meminfo: memFree=1134000/2055920 swapFree=4171232/4192956
[pid=21968] ppid=21966 vsize=915456 CPUtime=340.44
/proc/21968/stat : 21968 (java) R 21966 21968 21621 0 -1 0 8700 0 1 0 34033 11 0 0 25 0 8 0 155661259 937426944 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073795452 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21968/statm: 228864 8436 2513 14 0 215334 0
[pid=21968/tid=21970] ppid=21966 vsize=915456 CPUtime=0.03
/proc/21968/task/21970/stat : 21970 (java) S 21966 21968 21621 0 -1 64 285 0 0 0 3 0 0 0 16 0 8 0 155661268 937426944 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21968/tid=21971] ppid=21966 vsize=915456 CPUtime=0
/proc/21968/task/21971/stat : 21971 (java) S 21966 21968 21621 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155661268 937426944 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21968/tid=21972] ppid=21966 vsize=915456 CPUtime=0
/proc/21968/task/21972/stat : 21972 (java) S 21966 21968 21621 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155661268 937426944 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21968/tid=21973] ppid=21966 vsize=915456 CPUtime=0
/proc/21968/task/21973/stat : 21973 (java) S 21966 21968 21621 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155661276 937426944 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21968/tid=21974] ppid=21966 vsize=915456 CPUtime=0.25
/proc/21968/task/21974/stat : 21974 (java) S 21966 21968 21621 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 155661276 937426944 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21968/tid=21975] ppid=21966 vsize=915456 CPUtime=0
/proc/21968/task/21975/stat : 21975 (java) S 21966 21968 21621 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155661276 937426944 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21968/tid=21976] ppid=21966 vsize=915456 CPUtime=0
/proc/21968/task/21976/stat : 21976 (java) S 21966 21968 21621 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155661276 937426944 8436 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 340.44
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 381.407
CPU time (s): 379.2
CPU user time (s): 379.083
CPU system time (s): 0.116982
CPU usage (%): 99.4215
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 379.083
system time used= 0.116982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8792
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= 8811
involuntary context switches= 14541
runsolver used 0.513921 s user time and 1.19082 s system time
The end
Begin job on node19 on Sat Jan 6 08:37:46 UTC 2007
IDJOB= 202742
IDBENCH= 3880
FILE ID= node19/202742-1168072666
PBS_JOBID= 3475748
Free space on /tmp= 66310 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19/rand-2-40-19-443-230-7_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202742-1168072666/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-202742-1168072666 -o ROOT/results/node19/solver-202742-1168072666 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202742-1168072666/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= a8611361fc071f36f209f12d9cff780e
RANDOM SEED= 66244579
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.260
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.260
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: 1265912 kB
Buffers: 70012 kB
Cached: 559560 kB
SwapCached: 10036 kB
Active: 296464 kB
Inactive: 392928 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1265912 kB
SwapTotal: 4192956 kB
SwapFree: 4171232 kB
Dirty: 1944 kB
Writeback: 0 kB
Mapped: 79136 kB
Slab: 85232 kB
Committed_AS: 4356628 kB
PageTables: 2476 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= 66304 MiB
End job on node19 on Sat Jan 6 08:44:08 UTC 2007