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/210275-1168075048/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.41 nbVariables=294 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.41 => wckTime=0.113 cpuTime=0.1 mem=6M951
0.41
0.41 predicates being loaded...
0.42
0.42 constraints being loaded...
0.67 nbConstraints=238 nbConflictsStructures=4 nbSharedConflictsStructures=234 nbSharedBinaryRepresentations=0
0.67 nbEvaluationManagers=4 nbSharedEvaluationManagers=234 maxDegree=15 maxArity=14
0.67 => wckTime=0.371 cpuTime=0.27 mem=13M778
0.71
0.71 solver IterativeSystematicSolver being built...
0.92 => wckTime=0.623 cpuTime=0.43 mem=19M781
0.94
0.94 preprocessing
0.94 nbConstraintChecks=0 nbPropagations=294 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.94 detectedInconsistency=no
0.94 => wckTime=0.012 cpuTime=0.0 mem=19M781
1.08
1.08 search
1.08 run=0 nbConstraintChecks=17556 nbValidityChecks=316 nbPropagations=592 nbRevisions=555 nbUselessRevisions=248
1.08 nbAssignments=255 nbFailedAssignments=1 nbBacktracks=163 nbVisitedNodes=258 nbRestartNogoods=0 mapSize=1
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.156 cpuTime=0.12 mem=19M781
1.24
1.24 search
1.24 run=1 nbConstraintChecks=63712 nbValidityChecks=883 nbPropagations=1539 nbRevisions=1778
1.24 nbUselessRevisions=784 nbAssignments=526 nbFailedAssignments=3 nbBacktracks=191 nbVisitedNodes=533
1.24 nbRestartNogoods=1 mapSize=4 nbInferences=0 nbTooLargeKeys=0
1.24 => wckTime=0.314 cpuTime=0.27 mem=19M781
1.32
1.32 search
1.32 run=2 nbConstraintChecks=93489 nbValidityChecks=1571 nbPropagations=2813 nbRevisions=3795
1.32 nbUselessRevisions=1771 nbAssignments=656 nbFailedAssignments=4 nbBacktracks=228 nbVisitedNodes=666
1.32 nbRestartNogoods=2 mapSize=6 nbInferences=0 nbTooLargeKeys=0
1.32 => wckTime=0.401 cpuTime=0.35 mem=19M781
1.46
1.46 search
1.46 run=3 nbConstraintChecks=152001 nbValidityChecks=2636 nbPropagations=4474 nbRevisions=6899
1.46 nbUselessRevisions=3424 nbAssignments=798 nbFailedAssignments=6 nbBacktracks=274 nbVisitedNodes=814
1.46 nbRestartNogoods=3 mapSize=11 nbInferences=1 nbTooLargeKeys=0
1.46 => wckTime=0.535 cpuTime=0.48 mem=19M781
1.59
1.59 search
1.59 run=4 nbConstraintChecks=210505 nbValidityChecks=3671 nbPropagations=6522 nbRevisions=11044
1.59 nbUselessRevisions=5698 nbAssignments=953 nbFailedAssignments=8 nbBacktracks=332 nbVisitedNodes=975
1.59 nbRestartNogoods=4 mapSize=16 nbInferences=2 nbTooLargeKeys=0
1.59 => wckTime=0.667 cpuTime=0.61 mem=19M781
1.81
1.81 search
1.81 run=5 nbConstraintChecks=305960 nbValidityChecks=5002 nbPropagations=9047 nbRevisions=16464
1.81 nbUselessRevisions=8721 nbAssignments=1192 nbFailedAssignments=11 nbBacktracks=416 nbVisitedNodes=1223
1.81 nbRestartNogoods=5 mapSize=23 nbInferences=4 nbTooLargeKeys=0
1.81 => wckTime=0.886 cpuTime=0.82 mem=20M756
2.02
2.02 search
2.02 run=6 nbConstraintChecks=393190 nbValidityChecks=6178 nbPropagations=12035 nbRevisions=22987
2.02 nbUselessRevisions=12323 nbAssignments=1455 nbFailedAssignments=14 nbBacktracks=578 nbVisitedNodes=1495
2.02 nbRestartNogoods=7 mapSize=30 nbInferences=5 nbTooLargeKeys=0
2.02 => wckTime=1.095 cpuTime=1.03 mem=20M756
2.87
2.87 search
2.87 run=7 nbConstraintChecks=907500 nbValidityChecks=11772 nbPropagations=16892 nbRevisions=33943
2.87 nbUselessRevisions=18231 nbAssignments=1769 nbFailedAssignments=40 nbBacktracks=750 nbVisitedNodes=1873
2.87 nbRestartNogoods=9 mapSize=79 nbInferences=16 nbTooLargeKeys=0
2.87 => wckTime=1.951 cpuTime=1.86 mem=20M756
3.29
3.29 search
3.29 run=8 nbConstraintChecks=1110001 nbValidityChecks=15437 nbPropagations=22527 nbRevisions=47908
3.29 nbUselessRevisions=26205 nbAssignments=2183 nbFailedAssignments=52 nbBacktracks=1016 nbVisitedNodes=2311
3.29 nbRestartNogoods=14 mapSize=101 nbInferences=16 nbTooLargeKeys=0
3.29 => wckTime=2.366 cpuTime=2.27 mem=20M756
4.08
4.08 search
4.08 run=9 nbConstraintChecks=1543557 nbValidityChecks=23110 nbPropagations=29987 nbRevisions=68140
4.08 nbUselessRevisions=38040 nbAssignments=2778 nbFailedAssignments=85 nbBacktracks=1400 nbVisitedNodes=2974
4.08 nbRestartNogoods=16 mapSize=166 nbInferences=16 nbTooLargeKeys=0
4.08 => wckTime=3.161 cpuTime=3.05 mem=20M756
4.91
4.91 search
4.91 run=10 nbConstraintChecks=1990504 nbValidityChecks=35804 nbPropagations=41040 nbRevisions=100029
4.91 nbUselessRevisions=56944 nbAssignments=3652 nbFailedAssignments=137 nbBacktracks=1994 nbVisitedNodes=3967
4.91 nbRestartNogoods=19 mapSize=280 nbInferences=28 nbTooLargeKeys=0
4.91 => wckTime=3.988 cpuTime=3.86 mem=21M731
6.97
6.97 search
6.97 run=11 nbConstraintChecks=3226362 nbValidityChecks=69148 nbPropagations=59807 nbRevisions=157523
6.97 nbUselessRevisions=90929 nbAssignments=4801 nbFailedAssignments=220 nbBacktracks=2869 nbVisitedNodes=5439
6.97 nbRestartNogoods=24 mapSize=598 nbInferences=28 nbTooLargeKeys=0
6.97 => wckTime=6.044 cpuTime=5.91 mem=21M731
7.61
7.61 search
7.61 run=12 nbConstraintChecks=3360385 nbValidityChecks=124511 nbPropagations=85290 nbRevisions=270033
7.61 nbUselessRevisions=172366 nbAssignments=6556 nbFailedAssignments=415 nbBacktracks=4171 nbVisitedNodes=7630
7.61 nbRestartNogoods=26 mapSize=1027 nbInferences=102 nbTooLargeKeys=0
7.61 => wckTime=6.688 cpuTime=6.55 mem=22M707
10.83
10.83 search
10.83 run=13 nbConstraintChecks=5276901 nbValidityChecks=158752 nbPropagations=116912 nbRevisions=410114
10.83 nbUselessRevisions=273902 nbAssignments=8776 nbFailedAssignments=508 nbBacktracks=6155 nbVisitedNodes=10083
10.83 nbRestartNogoods=32 mapSize=1258 nbInferences=102 nbTooLargeKeys=0
10.83 => wckTime=9.909 cpuTime=9.72 mem=24M657
18.98
18.98 search
18.98 run=14 nbConstraintChecks=10431729 nbValidityChecks=282868 nbPropagations=164765 nbRevisions=666843
18.98 nbUselessRevisions=465695 nbAssignments=12073 nbFailedAssignments=719 nbBacktracks=9100 nbVisitedNodes=14004
18.98 nbRestartNogoods=34 mapSize=1879 nbInferences=102 nbTooLargeKeys=0
18.98 => wckTime=18.055 cpuTime=17.79 mem=26M607
20.56
20.56 search
20.56 run=15 nbConstraintChecks=10611721 nbValidityChecks=494399 nbPropagations=232136 nbRevisions=1134767
20.56 nbUselessRevisions=845715 nbAssignments=17220 nbFailedAssignments=1263 nbBacktracks=13480 nbVisitedNodes=20370
20.56 nbRestartNogoods=37 mapSize=3092 nbInferences=117 nbTooLargeKeys=0
20.56 => wckTime=19.64 cpuTime=19.36 mem=29M533
34.30
34.30 search
34.30 run=16 nbConstraintChecks=19485496 nbValidityChecks=572159 nbPropagations=325466 nbRevisions=1645236
34.30 nbUselessRevisions=1240835 nbAssignments=24321 nbFailedAssignments=1659 nbBacktracks=20048 nbVisitedNodes=28470
34.30 nbRestartNogoods=43 mapSize=4088 nbInferences=117 nbTooLargeKeys=0
34.30 => wckTime=33.373 cpuTime=32.99 mem=32M458
55.76
55.76 search
55.76 run=17 nbConstraintChecks=33087429 nbValidityChecks=698236 nbPropagations=462968 nbRevisions=2224597
55.76 nbUselessRevisions=1660420 nbAssignments=35069 nbFailedAssignments=2412 nbBacktracks=29918 nbVisitedNodes=40922
55.76 nbRestartNogoods=46 mapSize=5789 nbInferences=117 nbTooLargeKeys=0
55.76 => wckTime=54.833 cpuTime=54.31 mem=37M334
78.28
78.28 search
78.28 run=18 nbConstraintChecks=47664089 nbValidityChecks=852282 nbPropagations=653470 nbRevisions=2888806
78.28 nbUselessRevisions=2108674 nbAssignments=50935 nbFailedAssignments=3360 nbBacktracks=44700 nbVisitedNodes=58994
78.28 nbRestartNogoods=49 mapSize=7991 nbInferences=117 nbTooLargeKeys=0
78.28 => wckTime=77.36 cpuTime=76.75 mem=45M136
110.78
110.78 search
110.78 run=19 nbConstraintChecks=68354507 nbValidityChecks=1147386 nbPropagations=936312 nbRevisions=3724154
110.78 nbUselessRevisions=2615647 nbAssignments=74783 nbFailedAssignments=4899 nbBacktracks=66870 nbVisitedNodes=86999
110.78 nbRestartNogoods=53 mapSize=12144 nbInferences=117 nbTooLargeKeys=0
110.78 => wckTime=109.856 cpuTime=109.06 mem=14M488
174.01
174.01 search
174.01 run=20 nbConstraintChecks=110520773 nbValidityChecks=1623796 nbPropagations=1371287 nbRevisions=4825928
174.01 nbUselessRevisions=3215841 nbAssignments=110368 nbFailedAssignments=7098 nbBacktracks=100122
174.01 nbVisitedNodes=128975 nbRestartNogoods=57 mapSize=18531 nbInferences=117 nbTooLargeKeys=0
174.01 => wckTime=173.084 cpuTime=172.01 mem=31M398
209.36
209.37 INFO : Stopping hyperNogood (mapSize=23408, nbTooLargekeys=0, mem=42M339)
240.65
240.65 search
240.65 run=21 nbConstraintChecks=154350253 nbValidityChecks=2443988 nbPropagations=2073281 nbRevisions=6390808
240.65 nbUselessRevisions=3967121 nbAssignments=163909 nbFailedAssignments=10615 nbBacktracks=150007
240.65 nbVisitedNodes=193354 nbRestartNogoods=61
240.65 => wckTime=239.729 cpuTime=238.35 mem=42M339
406.20
406.20 search
406.20 run=22 nbConstraintChecks=270984857 nbValidityChecks=3630012 nbPropagations=3146065 nbRevisions=8620387
406.20 nbUselessRevisions=4944467 nbAssignments=243848 nbFailedAssignments=15589 nbBacktracks=224833
406.20 nbVisitedNodes=288429 nbRestartNogoods=65
406.20 => wckTime=405.273 cpuTime=403.16 mem=42M339
513.94
513.94 search
513.94 run=23 nbConstraintChecks=342726781 nbValidityChecks=5399390 nbPropagations=4780689 nbRevisions=11848706
513.94 nbUselessRevisions=6242987 nbAssignments=363487 nbFailedAssignments=22858 nbBacktracks=337067
513.94 nbVisitedNodes=430727 nbRestartNogoods=70
513.94 => wckTime=513.016 cpuTime=510.42 mem=42M339
515.42
515.42 search
515.42 run=24 nbConstraintChecks=343093392 nbValidityChecks=5847585 nbPropagations=6454004 nbRevisions=15562150
515.42 nbUselessRevisions=7984616 nbAssignments=377241 nbFailedAssignments=25099 nbBacktracks=348286
515.42 nbVisitedNodes=448316 nbRestartNogoods=74
515.42 => wckTime=514.499 cpuTime=511.9 mem=42M339
515.42
515.42 global
515.42 nbConstraintChecks=343093392 nbValidityChecks=5847585 nbPropagations=6454298 nbRevisions=15562150
515.42 nbUselessRevisions=7984616 nbRestartNogoods=74 solvingWckTime=514.5 solvingCpuTime=511.9 expiredTime=no
515.42 totalExploration=no nbFoundSolutions=1 globalCpuTime=512.38
515.42 => wckTime=515.125 cpuTime=512.33 mem=42M339
515.43
515.43 s SATISFIABLE
515.43 v 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0
515.43 d NODES 377241
515.43 d CHECKS 343093392
515.43
515.43 totalWckTime=515.202 totalCpuTime=512.38
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node60/watcher-210275-1168075048 -o ROOT/results/node60/solver-210275-1168075048 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210275-1168075048/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.78 0.91 0.97 3/80 11955
/proc/meminfo: memFree=1007080/2055920 swapFree=4192812/4192956
[pid=11954] ppid=11952 vsize=18540 CPUtime=0
/proc/11954/stat : 11954 (runsolver) R 11952 11954 11782 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155903126 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 271894244647 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/11954/statm: 4635 279 244 17 0 2626 0
[startup+0.103223 s]
/proc/loadavg: 0.78 0.91 0.97 3/80 11955
/proc/meminfo: memFree=1007080/2055920 swapFree=4192812/4192956
[pid=11954] ppid=11952 vsize=914988 CPUtime=0.09
/proc/11954/stat : 11954 (java) R 11952 11954 11782 0 -1 0 3019 0 1 0 7 2 0 0 25 0 8 0 155903126 936947712 2765 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153799154 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11954/statm: 228747 2765 1435 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.511259 s]
/proc/loadavg: 0.78 0.91 0.97 3/80 11955
/proc/meminfo: memFree=1007080/2055920 swapFree=4192812/4192956
[pid=11954] ppid=11952 vsize=915328 CPUtime=0.49
/proc/11954/stat : 11954 (java) R 11952 11954 11782 0 -1 0 7151 0 1 0 44 5 0 0 25 0 8 0 155903126 937295872 6890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11954/statm: 228832 6890 2144 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33634 s]
/proc/loadavg: 0.78 0.91 0.97 3/87 11962
/proc/meminfo: memFree=978352/2055920 swapFree=4192812/4192956
[pid=11954] ppid=11952 vsize=915464 CPUtime=1.31
/proc/11954/stat : 11954 (java) R 11952 11954 11782 0 -1 0 9935 0 1 0 122 9 0 0 25 0 8 0 155903126 937435136 9673 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072926600 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11954/statm: 228866 9673 2532 14 0 215336 0
[pid=11954/tid=11956] ppid=11952 vsize=915464 CPUtime=0.03
/proc/11954/task/11956/stat : 11956 (java) S 11952 11954 11782 0 -1 64 276 0 0 0 3 0 0 0 16 0 8 0 155903129 937435136 9673 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11957] ppid=11952 vsize=915464 CPUtime=0
/proc/11954/task/11957/stat : 11957 (java) S 11952 11954 11782 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155903130 937435136 9673 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11958] ppid=11952 vsize=915464 CPUtime=0
/proc/11954/task/11958/stat : 11958 (java) S 11952 11954 11782 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155903130 937435136 9673 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11959] ppid=11952 vsize=915464 CPUtime=0
/proc/11954/task/11959/stat : 11959 (java) S 11952 11954 11782 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155903133 937435136 9673 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11960] ppid=11952 vsize=915464 CPUtime=0.23
/proc/11954/task/11960/stat : 11960 (java) S 11952 11954 11782 0 -1 64 397 0 0 0 22 1 0 0 15 0 8 0 155903133 937435136 9673 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11961] ppid=11952 vsize=915464 CPUtime=0
/proc/11954/task/11961/stat : 11961 (java) S 11952 11954 11782 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155903133 937435136 9673 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11962] ppid=11952 vsize=915464 CPUtime=0
/proc/11954/task/11962/stat : 11962 (java) S 11952 11954 11782 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155903133 937435136 9673 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915464
[startup+2.9815 s]
/proc/loadavg: 0.78 0.91 0.97 4/87 11962
/proc/meminfo: memFree=977712/2055920 swapFree=4192812/4192956
[pid=11954] ppid=11952 vsize=915464 CPUtime=2.94
/proc/11954/stat : 11954 (java) R 11952 11954 11782 0 -1 0 10090 0 1 0 285 9 0 0 25 0 8 0 155903126 937435136 9826 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073886090 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11954/statm: 228866 9826 2532 14 0 215336 0
[pid=11954/tid=11956] ppid=11952 vsize=915464 CPUtime=0.03
/proc/11954/task/11956/stat : 11956 (java) S 11952 11954 11782 0 -1 64 276 0 0 0 3 0 0 0 17 0 8 0 155903129 937435136 9826 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11957] ppid=11952 vsize=915464 CPUtime=0
/proc/11954/task/11957/stat : 11957 (java) S 11952 11954 11782 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155903130 937435136 9826 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11958] ppid=11952 vsize=915464 CPUtime=0
/proc/11954/task/11958/stat : 11958 (java) S 11952 11954 11782 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155903130 937435136 9826 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11959] ppid=11952 vsize=915464 CPUtime=0
/proc/11954/task/11959/stat : 11959 (java) S 11952 11954 11782 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155903133 937435136 9826 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11960] ppid=11952 vsize=915464 CPUtime=0.26
/proc/11954/task/11960/stat : 11960 (java) S 11952 11954 11782 0 -1 64 412 0 0 0 25 1 0 0 16 0 8 0 155903133 937435136 9826 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11961] ppid=11952 vsize=915464 CPUtime=0
/proc/11954/task/11961/stat : 11961 (java) S 11952 11954 11782 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155903133 937435136 9826 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11962] ppid=11952 vsize=915464 CPUtime=0
/proc/11954/task/11962/stat : 11962 (java) S 11952 11954 11782 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155903133 937435136 9826 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915464
[startup+6.26082 s]
/proc/loadavg: 0.88 0.93 0.97 3/87 11962
/proc/meminfo: memFree=929208/2055920 swapFree=4192812/4192956
[pid=11954] ppid=11952 vsize=915464 CPUtime=6.19
/proc/11954/stat : 11954 (java) R 11952 11954 11782 0 -1 0 10408 0 1 0 610 9 0 0 25 0 8 0 155903126 937435136 10142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073968954 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11954/statm: 228866 10142 2532 14 0 215336 0
[pid=11954/tid=11956] ppid=11952 vsize=915464 CPUtime=0.03
/proc/11954/task/11956/stat : 11956 (java) S 11952 11954 11782 0 -1 64 276 0 0 0 3 0 0 0 16 0 8 0 155903129 937435136 10142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11957] ppid=11952 vsize=915464 CPUtime=0
/proc/11954/task/11957/stat : 11957 (java) S 11952 11954 11782 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155903130 937435136 10142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11958] ppid=11952 vsize=915464 CPUtime=0
/proc/11954/task/11958/stat : 11958 (java) S 11952 11954 11782 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155903130 937435136 10142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11959] ppid=11952 vsize=915464 CPUtime=0
/proc/11954/task/11959/stat : 11959 (java) S 11952 11954 11782 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155903133 937435136 10142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11960] ppid=11952 vsize=915464 CPUtime=0.27
/proc/11954/task/11960/stat : 11960 (java) S 11952 11954 11782 0 -1 64 419 0 0 0 26 1 0 0 16 0 8 0 155903133 937435136 10142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11961] ppid=11952 vsize=915464 CPUtime=0
/proc/11954/task/11961/stat : 11961 (java) S 11952 11954 11782 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155903133 937435136 10142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11962] ppid=11952 vsize=915464 CPUtime=0
/proc/11954/task/11962/stat : 11962 (java) S 11952 11954 11782 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155903133 937435136 10142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915464
[startup+12.7445 s]
/proc/loadavg: 0.97 0.95 0.98 3/87 11962
/proc/meminfo: memFree=926456/2055920 swapFree=4192812/4192956
[pid=11954] ppid=11952 vsize=915464 CPUtime=12.6
/proc/11954/stat : 11954 (java) R 11952 11954 11782 0 -1 0 11090 0 1 0 1251 9 0 0 25 0 8 0 155903126 937435136 10822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073684800 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11954/statm: 228866 10822 2532 14 0 215336 0
[pid=11954/tid=11956] ppid=11952 vsize=915464 CPUtime=0.03
/proc/11954/task/11956/stat : 11956 (java) S 11952 11954 11782 0 -1 64 276 0 0 0 3 0 0 0 16 0 8 0 155903129 937435136 10822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11957] ppid=11952 vsize=915464 CPUtime=0
/proc/11954/task/11957/stat : 11957 (java) S 11952 11954 11782 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155903130 937435136 10822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11958] ppid=11952 vsize=915464 CPUtime=0
/proc/11954/task/11958/stat : 11958 (java) S 11952 11954 11782 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155903130 937435136 10822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11959] ppid=11952 vsize=915464 CPUtime=0
/proc/11954/task/11959/stat : 11959 (java) S 11952 11954 11782 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155903133 937435136 10822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11960] ppid=11952 vsize=915464 CPUtime=0.28
/proc/11954/task/11960/stat : 11960 (java) S 11952 11954 11782 0 -1 64 420 0 0 0 27 1 0 0 16 0 8 0 155903133 937435136 10822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11961] ppid=11952 vsize=915464 CPUtime=0
/proc/11954/task/11961/stat : 11961 (java) S 11952 11954 11782 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155903133 937435136 10822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11962] ppid=11952 vsize=915464 CPUtime=0
/proc/11954/task/11962/stat : 11962 (java) S 11952 11954 11782 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155903133 937435136 10822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915464
[startup+25.5827 s]
/proc/loadavg: 1.20 1.00 0.99 3/87 11962
/proc/meminfo: memFree=921080/2055920 swapFree=4192812/4192956
[pid=11954] ppid=11952 vsize=915464 CPUtime=25.34
/proc/11954/stat : 11954 (java) R 11952 11954 11782 0 -1 0 12486 0 1 0 2524 10 0 0 25 0 8 0 155903126 937435136 12217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073693553 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11954/statm: 228866 12217 2532 14 0 215336 0
[pid=11954/tid=11956] ppid=11952 vsize=915464 CPUtime=0.03
/proc/11954/task/11956/stat : 11956 (java) S 11952 11954 11782 0 -1 64 276 0 0 0 3 0 0 0 16 0 8 0 155903129 937435136 12217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11957] ppid=11952 vsize=915464 CPUtime=0
/proc/11954/task/11957/stat : 11957 (java) S 11952 11954 11782 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155903130 937435136 12217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11958] ppid=11952 vsize=915464 CPUtime=0
/proc/11954/task/11958/stat : 11958 (java) S 11952 11954 11782 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155903130 937435136 12217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11959] ppid=11952 vsize=915464 CPUtime=0
/proc/11954/task/11959/stat : 11959 (java) S 11952 11954 11782 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155903133 937435136 12217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11960] ppid=11952 vsize=915464 CPUtime=0.28
/proc/11954/task/11960/stat : 11960 (java) S 11952 11954 11782 0 -1 64 421 0 0 0 27 1 0 0 16 0 8 0 155903133 937435136 12217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11961] ppid=11952 vsize=915464 CPUtime=0
/proc/11954/task/11961/stat : 11961 (java) S 11952 11954 11782 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155903133 937435136 12217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11962] ppid=11952 vsize=915464 CPUtime=0
/proc/11954/task/11962/stat : 11962 (java) S 11952 11954 11782 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155903133 937435136 12217 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915464
[startup+51.2712 s]
/proc/loadavg: 1.39 1.06 1.01 2/75 11975
/proc/meminfo: memFree=1449944/2055920 swapFree=4192812/4192956
[pid=11954] ppid=11952 vsize=915464 CPUtime=50.85
/proc/11954/stat : 11954 (java) R 11952 11954 11782 0 -1 0 13897 0 1 0 5074 11 0 0 25 0 8 0 155903126 937435136 13628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073689768 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11954/statm: 228866 13628 2532 14 0 215336 0
[pid=11954/tid=11956] ppid=11952 vsize=915464 CPUtime=0.03
/proc/11954/task/11956/stat : 11956 (java) S 11952 11954 11782 0 -1 64 276 0 0 0 3 0 0 0 16 0 8 0 155903129 937435136 13628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11957] ppid=11952 vsize=915464 CPUtime=0
/proc/11954/task/11957/stat : 11957 (java) S 11952 11954 11782 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155903130 937435136 13628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11958] ppid=11952 vsize=915464 CPUtime=0
/proc/11954/task/11958/stat : 11958 (java) S 11952 11954 11782 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155903130 937435136 13628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11959] ppid=11952 vsize=915464 CPUtime=0
/proc/11954/task/11959/stat : 11959 (java) S 11952 11954 11782 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155903133 937435136 13628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11960] ppid=11952 vsize=915464 CPUtime=0.28
/proc/11954/task/11960/stat : 11960 (java) S 11952 11954 11782 0 -1 64 422 0 0 0 27 1 0 0 16 0 8 0 155903133 937435136 13628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11961] ppid=11952 vsize=915464 CPUtime=0
/proc/11954/task/11961/stat : 11961 (java) S 11952 11954 11782 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155903133 937435136 13628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11962] ppid=11952 vsize=915464 CPUtime=0
/proc/11954/task/11962/stat : 11962 (java) S 11952 11954 11782 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155903133 937435136 13628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 915464
[startup+102.553 s]
/proc/loadavg: 1.81 1.22 1.07 3/87 12020
/proc/meminfo: memFree=1325368/2055920 swapFree=4192812/4192956
[pid=11954] ppid=11952 vsize=915464 CPUtime=101.89
/proc/11954/stat : 11954 (java) R 11952 11954 11782 0 -1 0 18920 0 1 0 10176 13 0 0 25 0 8 0 155903126 937435136 18650 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073689154 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11954/statm: 228866 18650 2536 14 0 215336 0
[pid=11954/tid=11956] ppid=11952 vsize=915464 CPUtime=0.05
/proc/11954/task/11956/stat : 11956 (java) S 11952 11954 11782 0 -1 64 1861 0 0 0 5 0 0 0 16 0 8 0 155903129 937435136 18650 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11957] ppid=11952 vsize=915464 CPUtime=0
/proc/11954/task/11957/stat : 11957 (java) S 11952 11954 11782 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155903130 937435136 18650 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11958] ppid=11952 vsize=915464 CPUtime=0
/proc/11954/task/11958/stat : 11958 (java) S 11952 11954 11782 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155903130 937435136 18650 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11959] ppid=11952 vsize=915464 CPUtime=0
/proc/11954/task/11959/stat : 11959 (java) S 11952 11954 11782 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155903133 937435136 18650 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11960] ppid=11952 vsize=915464 CPUtime=0.28
/proc/11954/task/11960/stat : 11960 (java) S 11952 11954 11782 0 -1 64 422 0 0 0 27 1 0 0 16 0 8 0 155903133 937435136 18650 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11961] ppid=11952 vsize=915464 CPUtime=0
/proc/11954/task/11961/stat : 11961 (java) S 11952 11954 11782 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155903133 937435136 18650 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11962] ppid=11952 vsize=915464 CPUtime=0
/proc/11954/task/11962/stat : 11962 (java) S 11952 11954 11782 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155903133 937435136 18650 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.89
Current children cumulated vsize (KiB) 915464
[startup+162.569 s]
/proc/loadavg: 1.93 1.36 1.12 3/87 12020
/proc/meminfo: memFree=1325368/2055920 swapFree=4192812/4192956
[pid=11954] ppid=11952 vsize=915464 CPUtime=161.64
/proc/11954/stat : 11954 (java) R 11952 11954 11782 0 -1 0 18923 0 1 0 16151 13 0 0 25 0 8 0 155903126 937435136 18653 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073743730 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11954/statm: 228866 18653 2536 14 0 215336 0
[pid=11954/tid=11956] ppid=11952 vsize=915464 CPUtime=0.05
/proc/11954/task/11956/stat : 11956 (java) S 11952 11954 11782 0 -1 64 1861 0 0 0 5 0 0 0 16 0 8 0 155903129 937435136 18653 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11957] ppid=11952 vsize=915464 CPUtime=0
/proc/11954/task/11957/stat : 11957 (java) S 11952 11954 11782 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155903130 937435136 18653 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11958] ppid=11952 vsize=915464 CPUtime=0
/proc/11954/task/11958/stat : 11958 (java) S 11952 11954 11782 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155903130 937435136 18653 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11959] ppid=11952 vsize=915464 CPUtime=0
/proc/11954/task/11959/stat : 11959 (java) S 11952 11954 11782 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155903133 937435136 18653 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11960] ppid=11952 vsize=915464 CPUtime=0.28
/proc/11954/task/11960/stat : 11960 (java) S 11952 11954 11782 0 -1 64 422 0 0 0 27 1 0 0 16 0 8 0 155903133 937435136 18653 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11961] ppid=11952 vsize=915464 CPUtime=0
/proc/11954/task/11961/stat : 11961 (java) S 11952 11954 11782 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155903133 937435136 18653 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11962] ppid=11952 vsize=915464 CPUtime=0
/proc/11954/task/11962/stat : 11962 (java) S 11952 11954 11782 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155903133 937435136 18653 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.64
Current children cumulated vsize (KiB) 915464
[startup+222.584 s]
/proc/loadavg: 1.97 1.47 1.18 3/87 12020
/proc/meminfo: memFree=1325304/2055920 swapFree=4192812/4192956
[pid=11954] ppid=11952 vsize=915464 CPUtime=221.39
/proc/11954/stat : 11954 (java) R 11952 11954 11782 0 -1 0 18924 0 1 0 22126 13 0 0 25 0 8 0 155903126 937435136 18654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073684807 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11954/statm: 228866 18654 2536 14 0 215336 0
[pid=11954/tid=11956] ppid=11952 vsize=915464 CPUtime=0.05
/proc/11954/task/11956/stat : 11956 (java) S 11952 11954 11782 0 -1 64 1861 0 0 0 5 0 0 0 16 0 8 0 155903129 937435136 18654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11957] ppid=11952 vsize=915464 CPUtime=0
/proc/11954/task/11957/stat : 11957 (java) S 11952 11954 11782 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155903130 937435136 18654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11958] ppid=11952 vsize=915464 CPUtime=0
/proc/11954/task/11958/stat : 11958 (java) S 11952 11954 11782 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155903130 937435136 18654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11959] ppid=11952 vsize=915464 CPUtime=0
/proc/11954/task/11959/stat : 11959 (java) S 11952 11954 11782 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155903133 937435136 18654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11960] ppid=11952 vsize=915464 CPUtime=0.28
/proc/11954/task/11960/stat : 11960 (java) S 11952 11954 11782 0 -1 64 423 0 0 0 27 1 0 0 16 0 8 0 155903133 937435136 18654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11961] ppid=11952 vsize=915464 CPUtime=0
/proc/11954/task/11961/stat : 11961 (java) S 11952 11954 11782 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155903133 937435136 18654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11962] ppid=11952 vsize=915464 CPUtime=0
/proc/11954/task/11962/stat : 11962 (java) S 11952 11954 11782 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155903133 937435136 18654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 221.39
Current children cumulated vsize (KiB) 915464
[startup+282.597 s]
/proc/loadavg: 1.99 1.57 1.22 3/87 12020
/proc/meminfo: memFree=1325240/2055920 swapFree=4192812/4192956
[pid=11954] ppid=11952 vsize=915464 CPUtime=281.12
/proc/11954/stat : 11954 (java) R 11952 11954 11782 0 -1 0 18925 0 1 0 28099 13 0 0 25 0 8 0 155903126 937435136 18654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073689824 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11954/statm: 228866 18654 2536 14 0 215336 0
[pid=11954/tid=11956] ppid=11952 vsize=915464 CPUtime=0.05
/proc/11954/task/11956/stat : 11956 (java) S 11952 11954 11782 0 -1 64 1861 0 0 0 5 0 0 0 16 0 8 0 155903129 937435136 18654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11957] ppid=11952 vsize=915464 CPUtime=0
/proc/11954/task/11957/stat : 11957 (java) S 11952 11954 11782 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155903130 937435136 18654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11958] ppid=11952 vsize=915464 CPUtime=0
/proc/11954/task/11958/stat : 11958 (java) S 11952 11954 11782 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155903130 937435136 18654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11959] ppid=11952 vsize=915464 CPUtime=0
/proc/11954/task/11959/stat : 11959 (java) S 11952 11954 11782 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155903133 937435136 18654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11960] ppid=11952 vsize=915464 CPUtime=0.28
/proc/11954/task/11960/stat : 11960 (java) S 11952 11954 11782 0 -1 64 423 0 0 0 27 1 0 0 16 0 8 0 155903133 937435136 18654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11961] ppid=11952 vsize=915464 CPUtime=0
/proc/11954/task/11961/stat : 11961 (java) S 11952 11954 11782 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155903133 937435136 18654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11962] ppid=11952 vsize=915464 CPUtime=0
/proc/11954/task/11962/stat : 11962 (java) S 11952 11954 11782 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155903133 937435136 18654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 281.12
Current children cumulated vsize (KiB) 915464
[startup+342.608 s]
/proc/loadavg: 1.99 1.64 1.27 3/87 12020
/proc/meminfo: memFree=1325240/2055920 swapFree=4192812/4192956
[pid=11954] ppid=11952 vsize=915464 CPUtime=340.86
/proc/11954/stat : 11954 (java) R 11952 11954 11782 0 -1 0 18925 0 1 0 34073 13 0 0 25 0 8 0 155903126 937435136 18654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073684803 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11954/statm: 228866 18654 2536 14 0 215336 0
[pid=11954/tid=11956] ppid=11952 vsize=915464 CPUtime=0.05
/proc/11954/task/11956/stat : 11956 (java) S 11952 11954 11782 0 -1 64 1861 0 0 0 5 0 0 0 16 0 8 0 155903129 937435136 18654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11957] ppid=11952 vsize=915464 CPUtime=0
/proc/11954/task/11957/stat : 11957 (java) S 11952 11954 11782 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155903130 937435136 18654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11958] ppid=11952 vsize=915464 CPUtime=0
/proc/11954/task/11958/stat : 11958 (java) S 11952 11954 11782 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155903130 937435136 18654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11959] ppid=11952 vsize=915464 CPUtime=0
/proc/11954/task/11959/stat : 11959 (java) S 11952 11954 11782 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155903133 937435136 18654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11960] ppid=11952 vsize=915464 CPUtime=0.28
/proc/11954/task/11960/stat : 11960 (java) S 11952 11954 11782 0 -1 64 423 0 0 0 27 1 0 0 16 0 8 0 155903133 937435136 18654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11961] ppid=11952 vsize=915464 CPUtime=0
/proc/11954/task/11961/stat : 11961 (java) S 11952 11954 11782 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155903133 937435136 18654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11962] ppid=11952 vsize=915464 CPUtime=0
/proc/11954/task/11962/stat : 11962 (java) S 11952 11954 11782 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155903133 937435136 18654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 340.86
Current children cumulated vsize (KiB) 915464
[startup+402.618 s]
/proc/loadavg: 1.99 1.71 1.31 3/87 12020
/proc/meminfo: memFree=1310904/2055920 swapFree=4192812/4192956
[pid=11954] ppid=11952 vsize=915464 CPUtime=400.61
/proc/11954/stat : 11954 (java) R 11952 11954 11782 0 -1 0 18925 0 1 0 40048 13 0 0 25 0 8 0 155903126 937435136 18654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073686215 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11954/statm: 228866 18654 2536 14 0 215336 0
[pid=11954/tid=11956] ppid=11952 vsize=915464 CPUtime=0.05
/proc/11954/task/11956/stat : 11956 (java) S 11952 11954 11782 0 -1 64 1861 0 0 0 5 0 0 0 16 0 8 0 155903129 937435136 18654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11957] ppid=11952 vsize=915464 CPUtime=0
/proc/11954/task/11957/stat : 11957 (java) S 11952 11954 11782 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155903130 937435136 18654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11958] ppid=11952 vsize=915464 CPUtime=0
/proc/11954/task/11958/stat : 11958 (java) S 11952 11954 11782 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155903130 937435136 18654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11959] ppid=11952 vsize=915464 CPUtime=0
/proc/11954/task/11959/stat : 11959 (java) S 11952 11954 11782 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155903133 937435136 18654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11960] ppid=11952 vsize=915464 CPUtime=0.28
/proc/11954/task/11960/stat : 11960 (java) S 11952 11954 11782 0 -1 64 423 0 0 0 27 1 0 0 16 0 8 0 155903133 937435136 18654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11961] ppid=11952 vsize=915464 CPUtime=0
/proc/11954/task/11961/stat : 11961 (java) S 11952 11954 11782 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155903133 937435136 18654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11962] ppid=11952 vsize=915464 CPUtime=0
/proc/11954/task/11962/stat : 11962 (java) S 11952 11954 11782 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155903133 937435136 18654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 400.61
Current children cumulated vsize (KiB) 915464
[startup+462.63 s]
/proc/loadavg: 1.99 1.76 1.35 3/87 12020
/proc/meminfo: memFree=1310904/2055920 swapFree=4192812/4192956
[pid=11954] ppid=11952 vsize=915464 CPUtime=460.35
/proc/11954/stat : 11954 (java) R 11952 11954 11782 0 -1 0 18925 0 1 0 46021 14 0 0 25 0 8 0 155903126 937435136 18654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073696848 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11954/statm: 228866 18654 2536 14 0 215336 0
[pid=11954/tid=11956] ppid=11952 vsize=915464 CPUtime=0.05
/proc/11954/task/11956/stat : 11956 (java) S 11952 11954 11782 0 -1 64 1861 0 0 0 5 0 0 0 16 0 8 0 155903129 937435136 18654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11957] ppid=11952 vsize=915464 CPUtime=0
/proc/11954/task/11957/stat : 11957 (java) S 11952 11954 11782 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155903130 937435136 18654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11958] ppid=11952 vsize=915464 CPUtime=0
/proc/11954/task/11958/stat : 11958 (java) S 11952 11954 11782 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155903130 937435136 18654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11959] ppid=11952 vsize=915464 CPUtime=0
/proc/11954/task/11959/stat : 11959 (java) S 11952 11954 11782 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155903133 937435136 18654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11960] ppid=11952 vsize=915464 CPUtime=0.28
/proc/11954/task/11960/stat : 11960 (java) S 11952 11954 11782 0 -1 64 423 0 0 0 27 1 0 0 16 0 8 0 155903133 937435136 18654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11961] ppid=11952 vsize=915464 CPUtime=0
/proc/11954/task/11961/stat : 11961 (java) S 11952 11954 11782 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155903133 937435136 18654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11954/tid=11962] ppid=11952 vsize=915464 CPUtime=0
/proc/11954/task/11962/stat : 11962 (java) S 11952 11954 11782 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155903133 937435136 18654 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 460.35
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 515.511
CPU time (s): 512.944
CPU user time (s): 512.791
CPU system time (s): 0.152976
CPU usage (%): 99.502
Max. virtual memory (cumulated for all children) (KiB): 915468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 512.791
system time used= 0.152976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18934
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= 11773
involuntary context switches= 18934
runsolver used 0.45493 s user time and 1.38879 s system time
The end
Begin job on node60 on Sat Jan 6 09:17:29 UTC 2007
IDJOB= 210275
IDBENCH= 4607
FILE ID= node60/210275-1168075048
PBS_JOBID= 3476039
Free space on /tmp= 66548 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/fpga/fpga-14-14.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210275-1168075048/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-210275-1168075048 -o ROOT/results/node60/solver-210275-1168075048 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210275-1168075048/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 81ca4e9df1f63d21efacb391051b5b33
RANDOM SEED= 650401472
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.236
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.236
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: 1007624 kB
Buffers: 47176 kB
Cached: 422568 kB
SwapCached: 0 kB
Active: 544864 kB
Inactive: 427800 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1007624 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1748 kB
Writeback: 0 kB
Mapped: 523080 kB
Slab: 59956 kB
Committed_AS: 4080228 kB
PageTables: 2840 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= 66550 MiB
End job on node60 on Sat Jan 6 09:26:08 UTC 2007