0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=mac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/210418-1168075067/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.40 nbVariables=215 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.40 => wckTime=0.106 cpuTime=0.08 mem=6M951
0.40
0.40 predicates being loaded...
0.41
0.41 constraints being loaded...
0.58 nbConstraints=178 nbConflictsStructures=6 nbSharedConflictsStructures=172 nbSharedBinaryRepresentations=0
0.58 nbEvaluationManagers=6 nbSharedEvaluationManagers=172 maxDegree=12 maxArity=13
0.58 => wckTime=0.288 cpuTime=0.2 mem=10M852
0.62
0.62 solver IterativeSystematicSolver being built...
0.81 => wckTime=0.516 cpuTime=0.36 mem=17M663
0.82
0.82 preprocessing
0.82 nbConstraintChecks=0 nbPropagations=215 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.82 detectedInconsistency=no
0.82 => wckTime=0.0080 cpuTime=0.0 mem=17M663
0.90
0.90 search
0.90 run=0 nbConstraintChecks=2802 nbValidityChecks=234 nbPropagations=434 nbRevisions=413 nbUselessRevisions=188
0.90 nbAssignments=183 nbFailedAssignments=1 nbBacktracks=117 nbVisitedNodes=186 nbRestartNogoods=0 mapSize=1
0.90 nbInferences=0 nbTooLargeKeys=0
0.90 => wckTime=0.087 cpuTime=0.06 mem=17M663
0.95
0.95 search
0.95 run=1 nbConstraintChecks=9123 nbValidityChecks=669 nbPropagations=1132 nbRevisions=1327 nbUselessRevisions=597
0.95 nbAssignments=379 nbFailedAssignments=3 nbBacktracks=139 nbVisitedNodes=386 nbRestartNogoods=1 mapSize=4
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.141 cpuTime=0.11 mem=17M663
0.99
0.99 search
0.99 run=2 nbConstraintChecks=13398 nbValidityChecks=1194 nbPropagations=2072 nbRevisions=2834
0.99 nbUselessRevisions=1347 nbAssignments=478 nbFailedAssignments=4 nbBacktracks=171 nbVisitedNodes=488
0.99 nbRestartNogoods=2 mapSize=6 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.175 cpuTime=0.13 mem=17M663
1.02
1.02 search
1.02 run=3 nbConstraintChecks=21305 nbValidityChecks=2001 nbPropagations=3302 nbRevisions=5153
1.02 nbUselessRevisions=2597 nbAssignments=585 nbFailedAssignments=6 nbBacktracks=208 nbVisitedNodes=601
1.02 nbRestartNogoods=3 mapSize=11 nbInferences=1 nbTooLargeKeys=0
1.02 => wckTime=0.21 cpuTime=0.17 mem=17M663
1.08
1.08 search
1.08 run=4 nbConstraintChecks=33898 nbValidityChecks=3071 nbPropagations=4906 nbRevisions=8505
1.08 nbUselessRevisions=4474 nbAssignments=749 nbFailedAssignments=9 nbBacktracks=265 nbVisitedNodes=774
1.08 nbRestartNogoods=4 mapSize=18 nbInferences=3 nbTooLargeKeys=0
1.08 => wckTime=0.267 cpuTime=0.22 mem=17M663
1.14
1.14 search
1.14 run=5 nbConstraintChecks=45469 nbValidityChecks=4037 nbPropagations=6873 nbRevisions=12774
1.14 nbUselessRevisions=6864 nbAssignments=931 nbFailedAssignments=12 nbBacktracks=373 nbVisitedNodes=965
1.14 nbRestartNogoods=6 mapSize=25 nbInferences=4 nbTooLargeKeys=0
1.14 => wckTime=0.326 cpuTime=0.27 mem=17M663
1.21
1.21 search
1.21 run=6 nbConstraintChecks=60219 nbValidityChecks=6090 nbPropagations=9612 nbRevisions=18813
1.21 nbUselessRevisions=10249 nbAssignments=1191 nbFailedAssignments=16 nbBacktracks=491 nbVisitedNodes=1246
1.21 nbRestartNogoods=8 mapSize=42 nbInferences=16 nbTooLargeKeys=0
1.21 => wckTime=0.4 cpuTime=0.34 mem=17M663
1.34
1.34 search
1.34 run=7 nbConstraintChecks=116017 nbValidityChecks=9825 nbPropagations=13336 nbRevisions=27756
1.34 nbUselessRevisions=15355 nbAssignments=1473 nbFailedAssignments=37 nbBacktracks=679 nbVisitedNodes=1576
1.34 nbRestartNogoods=12 mapSize=86 nbInferences=16 nbTooLargeKeys=0
1.34 => wckTime=0.533 cpuTime=0.47 mem=18M638
1.45
1.45 search
1.45 run=8 nbConstraintChecks=136507 nbValidityChecks=13111 nbPropagations=17961 nbRevisions=39424
1.45 nbUselessRevisions=22162 nbAssignments=1870 nbFailedAssignments=50 nbBacktracks=948 nbVisitedNodes=1998
1.45 nbRestartNogoods=13 mapSize=106 nbInferences=16 nbTooLargeKeys=0
1.45 => wckTime=0.642 cpuTime=0.56 mem=18M638
1.63
1.63 search
1.63 run=9 nbConstraintChecks=213077 nbValidityChecks=18828 nbPropagations=24099 nbRevisions=55105
1.63 nbUselessRevisions=31122 nbAssignments=2417 nbFailedAssignments=81 nbBacktracks=1340 nbVisitedNodes=2614
1.63 nbRestartNogoods=18 mapSize=168 nbInferences=16 nbTooLargeKeys=0
1.63 => wckTime=0.823 cpuTime=0.74 mem=18M638
1.98
1.98 search
1.98 run=10 nbConstraintChecks=422234 nbValidityChecks=30945 nbPropagations=33758 nbRevisions=79581
1.98 nbUselessRevisions=44491 nbAssignments=3163 nbFailedAssignments=153 nbBacktracks=1924 nbVisitedNodes=3541
1.98 nbRestartNogoods=22 mapSize=337 nbInferences=16 nbTooLargeKeys=0
1.98 => wckTime=1.164 cpuTime=1.07 mem=18M638
2.37
2.37 search
2.37 run=11 nbConstraintChecks=655719 nbValidityChecks=46069 nbPropagations=47842 nbRevisions=115857
2.37 nbUselessRevisions=63924 nbAssignments=4244 nbFailedAssignments=247 nbBacktracks=2816 nbVisitedNodes=4834
2.37 nbRestartNogoods=23 mapSize=545 nbInferences=16 nbTooLargeKeys=0
2.37 => wckTime=1.562 cpuTime=1.46 mem=18M638
2.93
2.93 search
2.93 run=12 nbConstraintChecks=942805 nbValidityChecks=71205 nbPropagations=67172 nbRevisions=172772
2.93 nbUselessRevisions=98048 nbAssignments=5748 nbFailedAssignments=348 nbBacktracks=4121 nbVisitedNodes=6568
2.93 nbRestartNogoods=24 mapSize=764 nbInferences=16 nbTooLargeKeys=0
2.93 => wckTime=2.117 cpuTime=2.02 mem=19M613
3.86
3.86 search
3.86 run=13 nbConstraintChecks=1482779 nbValidityChecks=135669 nbPropagations=99689 nbRevisions=278830
3.86 nbUselessRevisions=165631 nbAssignments=7939 nbFailedAssignments=498 nbBacktracks=6069 nbVisitedNodes=9422
3.86 nbRestartNogoods=26 mapSize=1422 nbInferences=16 nbTooLargeKeys=0
3.86 => wckTime=3.05 cpuTime=2.94 mem=19M613
5.15
5.15 search
5.15 run=14 nbConstraintChecks=2290133 nbValidityChecks=177958 nbPropagations=145450 nbRevisions=408946
5.15 nbUselessRevisions=241955 nbAssignments=11212 nbFailedAssignments=746 nbBacktracks=9001 nbVisitedNodes=13424
5.15 nbRestartNogoods=28 mapSize=2148 nbInferences=16 nbTooLargeKeys=0
5.15 => wckTime=4.34 cpuTime=4.23 mem=20M588
7.22
7.22 INFO : Stopping hyperNogood (mapSize=3204, nbTooLargekeys=0, mem=21M564)
7.30
7.30 search
7.30 run=15 nbConstraintChecks=3700891 nbValidityChecks=237056 nbPropagations=209700 nbRevisions=572266
7.30 nbUselessRevisions=330838 nbAssignments=16137 nbFailedAssignments=1212 nbBacktracks=13380 nbVisitedNodes=19456
7.30 nbRestartNogoods=31
7.30 => wckTime=6.492 cpuTime=6.36 mem=21M564
9.85
9.85 search
9.85 run=16 nbConstraintChecks=5540737 nbValidityChecks=334306 nbPropagations=304941 nbRevisions=791096
9.85 nbUselessRevisions=439397 nbAssignments=23397 nbFailedAssignments=1809 nbBacktracks=19969 nbVisitedNodes=28382
9.85 nbRestartNogoods=33
9.85 => wckTime=9.043 cpuTime=8.9 mem=21M564
13.23
13.23 search
13.23 run=17 nbConstraintChecks=7985416 nbValidityChecks=447177 nbPropagations=437461 nbRevisions=1073608
13.23 nbUselessRevisions=570959 nbAssignments=34107 nbFailedAssignments=2569 nbBacktracks=29829 nbVisitedNodes=41112
13.23 nbRestartNogoods=34
13.23 => wckTime=12.423 cpuTime=12.27 mem=21M564
17.53
17.53 search
17.53 run=18 nbConstraintChecks=11009417 nbValidityChecks=600223 nbPropagations=624482 nbRevisions=1443335
17.53 nbUselessRevisions=734453 nbAssignments=50169 nbFailedAssignments=3765 nbBacktracks=44614 nbVisitedNodes=60030
17.53 nbRestartNogoods=37
17.53 => wckTime=16.717 cpuTime=16.55 mem=21M564
26.53
26.53 search
26.53 run=19 nbConstraintChecks=17619937 nbValidityChecks=935507 nbPropagations=917485 nbRevisions=2007184
26.53 nbUselessRevisions=970116 nbAssignments=74610 nbFailedAssignments=5933 nbBacktracks=66789 nbVisitedNodes=90539
26.53 nbRestartNogoods=39
26.53 => wckTime=25.722 cpuTime=25.52 mem=21M564
39.42
39.42 search
39.42 run=20 nbConstraintChecks=26908919 nbValidityChecks=1429045 nbPropagations=1372135 nbRevisions=2852701
39.42 nbUselessRevisions=1309349 nbAssignments=111143 nbFailedAssignments=9101 nbBacktracks=100056
39.42 nbVisitedNodes=135902 nbRestartNogoods=43
39.42 => wckTime=38.611 cpuTime=38.33 mem=21M564
59.27
59.27 search
59.27 run=21 nbConstraintChecks=41247607 nbValidityChecks=2212988 nbPropagations=2080463 nbRevisions=4148859
59.27 nbUselessRevisions=1813221 nbAssignments=166288 nbFailedAssignments=14281 nbBacktracks=149939
59.27 nbVisitedNodes=205637 nbRestartNogoods=47
59.27 => wckTime=58.454 cpuTime=58.1 mem=21M564
79.89
79.89 search
79.89 run=22 nbConstraintChecks=55296126 nbValidityChecks=3197575 nbPropagations=3111835 nbRevisions=6013949
79.89 nbUselessRevisions=2515753 nbAssignments=249017 nbFailedAssignments=22086 nbBacktracks=224768
79.89 nbVisitedNodes=308248 nbRestartNogoods=50
79.89 => wckTime=79.079 cpuTime=78.62 mem=21M564
123.96
123.96 search
123.96 run=23 nbConstraintChecks=87202521 nbValidityChecks=4903634 nbPropagations=4690203 nbRevisions=8862186
123.96 nbUselessRevisions=3582671 nbAssignments=372885 nbFailedAssignments=33624 nbBacktracks=337001
123.96 nbVisitedNodes=463876 nbRestartNogoods=54
123.96 => wckTime=123.149 cpuTime=122.48 mem=21M564
182.48
182.48 search
182.48 run=24 nbConstraintChecks=128403433 nbValidityChecks=7469122 nbPropagations=7120760 nbRevisions=13179364
182.48 nbUselessRevisions=5172546 nbAssignments=558504 nbFailedAssignments=50792 nbBacktracks=505347
182.48 nbVisitedNodes=697138 nbRestartNogoods=58
182.48 => wckTime=181.674 cpuTime=180.74 mem=21M564
273.63
273.63 search
273.63 run=25 nbConstraintChecks=193145243 nbValidityChecks=11810882 nbPropagations=10719482 nbRevisions=20511015
273.63 nbUselessRevisions=8503219 nbAssignments=839898 nbFailedAssignments=79503 nbBacktracks=757867
273.63 nbVisitedNodes=1049265 nbRestartNogoods=64
273.63 => wckTime=272.815 cpuTime=271.47 mem=21M564
405.65
405.65 search
405.65 run=26 nbConstraintChecks=286139256 nbValidityChecks=17778976 nbPropagations=16294097 nbRevisions=31251990
405.65 nbUselessRevisions=13037278 nbAssignments=1256315 nbFailedAssignments=117049 nbBacktracks=1136636
405.65 nbVisitedNodes=1575288 nbRestartNogoods=86
405.65 => wckTime=404.84 cpuTime=402.88 mem=21M564
521.87
521.87 search
521.87 run=27 nbConstraintChecks=369852527 nbValidityChecks=23162648 nbPropagations=23362869 nbRevisions=45629111
521.87 nbUselessRevisions=19592315 nbAssignments=1601947 nbFailedAssignments=151984 nbBacktracks=1447118
521.87 nbVisitedNodes=2009951 nbRestartNogoods=92
521.87 => wckTime=521.056 cpuTime=518.95 mem=21M564
521.87
521.87 global
521.87 nbConstraintChecks=369852527 nbValidityChecks=23162648 nbPropagations=23363084 nbRevisions=45629111
521.87 nbUselessRevisions=19592315 nbRestartNogoods=92 solvingWckTime=521.057 solvingCpuTime=518.95 expiredTime=no
521.87 totalExploration=no nbFoundSolutions=1 globalCpuTime=519.36
521.87 => wckTime=521.574 cpuTime=519.31 mem=21M564
521.87
521.87 s SATISFIABLE
521.87 v 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 1 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 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 0 0 1 0 0 0 0 0 0 1 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 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0
521.87 d NODES 1601947
521.87 d CHECKS 369852527
521.87
521.87 totalWckTime=521.652 totalCpuTime=519.37
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node43/watcher-210418-1168075067 -o ROOT/results/node43/solver-210418-1168075067 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210418-1168075067/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.36 1.74 1.83 3/80 7476
/proc/meminfo: memFree=1590352/2055920 swapFree=4192812/4192956
[pid=7475] ppid=7473 vsize=220 CPUtime=0
/proc/7475/stat : 7475 (java) R 7473 7475 7106 0 -1 0 224 0 0 0 0 0 0 0 18 0 1 0 155906092 225280 31 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4693241 0 0 4096 0 0 0 0 17 0 0 0
/proc/7475/statm: 73 33 26 14 0 5 0
[startup+0.107645 s]
/proc/loadavg: 1.36 1.74 1.83 3/80 7476
/proc/meminfo: memFree=1590352/2055920 swapFree=4192812/4192956
[pid=7475] ppid=7473 vsize=914988 CPUtime=0.09
/proc/7475/stat : 7475 (java) R 7473 7475 7106 0 -1 0 3075 0 1 0 7 2 0 0 23 0 8 0 155906092 936947712 2821 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7475/statm: 228747 2821 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515705 s]
/proc/loadavg: 1.36 1.74 1.83 3/80 7476
/proc/meminfo: memFree=1590352/2055920 swapFree=4192812/4192956
[pid=7475] ppid=7473 vsize=915460 CPUtime=0.49
/proc/7475/stat : 7475 (java) R 7473 7475 7106 0 -1 0 7016 0 1 0 44 5 0 0 25 0 8 0 155906092 937431040 6755 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073640126 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7475/statm: 228866 6755 2164 14 0 215336 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915460
[startup+1.33684 s]
/proc/loadavg: 1.41 1.74 1.83 3/87 7483
/proc/meminfo: memFree=1563608/2055920 swapFree=4192812/4192956
[pid=7475] ppid=7473 vsize=915460 CPUtime=1.31
/proc/7475/stat : 7475 (java) R 7473 7475 7106 0 -1 0 9445 0 1 0 124 7 0 0 25 0 8 0 155906092 937431040 9183 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073679718 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7475/statm: 228865 9183 2532 14 0 215335 0
[pid=7475/tid=7477] ppid=7473 vsize=915460 CPUtime=0.02
/proc/7475/task/7477/stat : 7477 (java) S 7473 7475 7106 0 -1 64 214 0 0 0 2 0 0 0 16 0 8 0 155906095 937431040 9183 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7478] ppid=7473 vsize=915460 CPUtime=0
/proc/7475/task/7478/stat : 7478 (java) S 7473 7475 7106 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155906096 937431040 9183 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7479] ppid=7473 vsize=915460 CPUtime=0
/proc/7475/task/7479/stat : 7479 (java) S 7473 7475 7106 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155906096 937431040 9183 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7480] ppid=7473 vsize=915460 CPUtime=0
/proc/7475/task/7480/stat : 7480 (java) S 7473 7475 7106 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155906099 937431040 9183 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7481] ppid=7473 vsize=915460 CPUtime=0.21
/proc/7475/task/7481/stat : 7481 (java) S 7473 7475 7106 0 -1 64 383 0 0 0 20 1 0 0 15 0 8 0 155906099 937431040 9183 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7482] ppid=7473 vsize=915460 CPUtime=0
/proc/7475/task/7482/stat : 7482 (java) S 7473 7475 7106 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155906099 937431040 9183 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7483] ppid=7473 vsize=915460 CPUtime=0
/proc/7475/task/7483/stat : 7483 (java) S 7473 7475 7106 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155906099 937431040 9183 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) 915460
[startup+2.97611 s]
/proc/loadavg: 1.41 1.74 1.83 3/87 7483
/proc/meminfo: memFree=1562776/2055920 swapFree=4192812/4192956
[pid=7475] ppid=7473 vsize=915460 CPUtime=2.94
/proc/7475/stat : 7475 (java) R 7473 7475 7106 0 -1 0 9742 0 1 0 286 8 0 0 25 0 8 0 155906092 937431040 9478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073833524 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7475/statm: 228865 9478 2532 14 0 215335 0
[pid=7475/tid=7477] ppid=7473 vsize=915460 CPUtime=0.02
/proc/7475/task/7477/stat : 7477 (java) S 7473 7475 7106 0 -1 64 214 0 0 0 2 0 0 0 17 0 8 0 155906095 937431040 9478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7478] ppid=7473 vsize=915460 CPUtime=0
/proc/7475/task/7478/stat : 7478 (java) S 7473 7475 7106 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155906096 937431040 9478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7479] ppid=7473 vsize=915460 CPUtime=0
/proc/7475/task/7479/stat : 7479 (java) S 7473 7475 7106 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155906096 937431040 9478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7480] ppid=7473 vsize=915460 CPUtime=0
/proc/7475/task/7480/stat : 7480 (java) S 7473 7475 7106 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155906099 937431040 9479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7481] ppid=7473 vsize=915460 CPUtime=0.24
/proc/7475/task/7481/stat : 7481 (java) S 7473 7475 7106 0 -1 64 399 0 0 0 23 1 0 0 15 0 8 0 155906099 937431040 9479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7482] ppid=7473 vsize=915460 CPUtime=0
/proc/7475/task/7482/stat : 7482 (java) S 7473 7475 7106 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155906099 937431040 9479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7483] ppid=7473 vsize=915460 CPUtime=0
/proc/7475/task/7483/stat : 7483 (java) S 7473 7475 7106 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155906099 937431040 9479 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) 915460
[startup+6.27566 s]
/proc/loadavg: 1.46 1.75 1.83 3/87 7483
/proc/meminfo: memFree=1560664/2055920 swapFree=4192812/4192956
[pid=7475] ppid=7473 vsize=915460 CPUtime=6.23
/proc/7475/stat : 7475 (java) R 7473 7475 7106 0 -1 0 10211 0 1 0 615 8 0 0 25 0 8 0 155906092 937431040 9946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073826843 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7475/statm: 228865 9946 2532 14 0 215335 0
[pid=7475/tid=7477] ppid=7473 vsize=915460 CPUtime=0.02
/proc/7475/task/7477/stat : 7477 (java) S 7473 7475 7106 0 -1 64 214 0 0 0 2 0 0 0 16 0 8 0 155906095 937431040 9946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7478] ppid=7473 vsize=915460 CPUtime=0
/proc/7475/task/7478/stat : 7478 (java) S 7473 7475 7106 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155906096 937431040 9946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7479] ppid=7473 vsize=915460 CPUtime=0
/proc/7475/task/7479/stat : 7479 (java) S 7473 7475 7106 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155906096 937431040 9946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7480] ppid=7473 vsize=915460 CPUtime=0
/proc/7475/task/7480/stat : 7480 (java) S 7473 7475 7106 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155906099 937431040 9946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7481] ppid=7473 vsize=915460 CPUtime=0.24
/proc/7475/task/7481/stat : 7481 (java) S 7473 7475 7106 0 -1 64 399 0 0 0 23 1 0 0 16 0 8 0 155906099 937431040 9946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7482] ppid=7473 vsize=915460 CPUtime=0
/proc/7475/task/7482/stat : 7482 (java) S 7473 7475 7106 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155906099 937431040 9946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7483] ppid=7473 vsize=915460 CPUtime=0
/proc/7475/task/7483/stat : 7483 (java) S 7473 7475 7106 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155906099 937431040 9946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915460
[startup+12.7537 s]
/proc/loadavg: 1.50 1.75 1.83 3/87 7483
/proc/meminfo: memFree=1559896/2055920 swapFree=4192812/4192956
[pid=7475] ppid=7473 vsize=915460 CPUtime=12.68
/proc/7475/stat : 7475 (java) R 7473 7475 7106 0 -1 0 10331 0 1 0 1260 8 0 0 25 0 8 0 155906092 937431040 10065 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073816672 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7475/statm: 228865 10065 2532 14 0 215335 0
[pid=7475/tid=7477] ppid=7473 vsize=915460 CPUtime=0.02
/proc/7475/task/7477/stat : 7477 (java) S 7473 7475 7106 0 -1 64 214 0 0 0 2 0 0 0 16 0 8 0 155906095 937431040 10065 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7478] ppid=7473 vsize=915460 CPUtime=0
/proc/7475/task/7478/stat : 7478 (java) S 7473 7475 7106 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155906096 937431040 10065 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7479] ppid=7473 vsize=915460 CPUtime=0
/proc/7475/task/7479/stat : 7479 (java) S 7473 7475 7106 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155906096 937431040 10065 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7480] ppid=7473 vsize=915460 CPUtime=0
/proc/7475/task/7480/stat : 7480 (java) S 7473 7475 7106 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155906099 937431040 10065 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7481] ppid=7473 vsize=915460 CPUtime=0.24
/proc/7475/task/7481/stat : 7481 (java) S 7473 7475 7106 0 -1 64 401 0 0 0 23 1 0 0 17 0 8 0 155906099 937431040 10065 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7482] ppid=7473 vsize=915460 CPUtime=0
/proc/7475/task/7482/stat : 7482 (java) S 7473 7475 7106 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155906099 937431040 10065 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7483] ppid=7473 vsize=915460 CPUtime=0
/proc/7475/task/7483/stat : 7483 (java) S 7473 7475 7106 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155906099 937431040 10065 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915460
[startup+25.6259 s]
/proc/loadavg: 1.58 1.76 1.83 3/87 7483
/proc/meminfo: memFree=1559896/2055920 swapFree=4192812/4192956
[pid=7475] ppid=7473 vsize=915460 CPUtime=25.5
/proc/7475/stat : 7475 (java) R 7473 7475 7106 0 -1 0 10336 0 1 0 2542 8 0 0 25 0 8 0 155906092 937431040 10070 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7475/statm: 228865 10070 2532 14 0 215335 0
[pid=7475/tid=7477] ppid=7473 vsize=915460 CPUtime=0.02
/proc/7475/task/7477/stat : 7477 (java) S 7473 7475 7106 0 -1 64 214 0 0 0 2 0 0 0 16 0 8 0 155906095 937431040 10070 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7478] ppid=7473 vsize=915460 CPUtime=0
/proc/7475/task/7478/stat : 7478 (java) S 7473 7475 7106 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155906096 937431040 10070 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7479] ppid=7473 vsize=915460 CPUtime=0
/proc/7475/task/7479/stat : 7479 (java) S 7473 7475 7106 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155906096 937431040 10070 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7480] ppid=7473 vsize=915460 CPUtime=0
/proc/7475/task/7480/stat : 7480 (java) S 7473 7475 7106 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155906099 937431040 10070 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7481] ppid=7473 vsize=915460 CPUtime=0.24
/proc/7475/task/7481/stat : 7481 (java) S 7473 7475 7106 0 -1 64 401 0 0 0 23 1 0 0 17 0 8 0 155906099 937431040 10070 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7482] ppid=7473 vsize=915460 CPUtime=0
/proc/7475/task/7482/stat : 7482 (java) S 7473 7475 7106 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155906099 937431040 10070 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7483] ppid=7473 vsize=915460 CPUtime=0
/proc/7475/task/7483/stat : 7483 (java) S 7473 7475 7106 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155906099 937431040 10070 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 915460
[startup+51.2521 s]
/proc/loadavg: 1.74 1.78 1.83 3/87 7483
/proc/meminfo: memFree=1559832/2055920 swapFree=4192812/4192956
[pid=7475] ppid=7473 vsize=915460 CPUtime=51
/proc/7475/stat : 7475 (java) R 7473 7475 7106 0 -1 0 10343 0 1 0 5091 9 0 0 25 0 8 0 155906092 937431040 10077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073648835 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7475/statm: 228865 10077 2532 14 0 215335 0
[pid=7475/tid=7477] ppid=7473 vsize=915460 CPUtime=0.02
/proc/7475/task/7477/stat : 7477 (java) S 7473 7475 7106 0 -1 64 214 0 0 0 2 0 0 0 16 0 8 0 155906095 937431040 10077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7478] ppid=7473 vsize=915460 CPUtime=0
/proc/7475/task/7478/stat : 7478 (java) S 7473 7475 7106 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155906096 937431040 10077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7479] ppid=7473 vsize=915460 CPUtime=0
/proc/7475/task/7479/stat : 7479 (java) S 7473 7475 7106 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155906096 937431040 10077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7480] ppid=7473 vsize=915460 CPUtime=0
/proc/7475/task/7480/stat : 7480 (java) S 7473 7475 7106 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155906099 937431040 10077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7481] ppid=7473 vsize=915460 CPUtime=0.25
/proc/7475/task/7481/stat : 7481 (java) S 7473 7475 7106 0 -1 64 402 0 0 0 24 1 0 0 16 0 8 0 155906099 937431040 10077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7482] ppid=7473 vsize=915460 CPUtime=0
/proc/7475/task/7482/stat : 7482 (java) S 7473 7475 7106 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155906099 937431040 10077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7483] ppid=7473 vsize=915460 CPUtime=0
/proc/7475/task/7483/stat : 7483 (java) S 7473 7475 7106 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155906099 937431040 10077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 915460
[startup+102.498 s]
/proc/loadavg: 1.94 1.83 1.84 3/87 7483
/proc/meminfo: memFree=1559832/2055920 swapFree=4192812/4192956
[pid=7475] ppid=7473 vsize=915460 CPUtime=102.01
/proc/7475/stat : 7475 (java) R 7473 7475 7106 0 -1 0 10348 0 1 0 10192 9 0 0 25 0 8 0 155906092 937431040 10082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073637011 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7475/statm: 228865 10082 2532 14 0 215335 0
[pid=7475/tid=7477] ppid=7473 vsize=915460 CPUtime=0.02
/proc/7475/task/7477/stat : 7477 (java) S 7473 7475 7106 0 -1 64 214 0 0 0 2 0 0 0 16 0 8 0 155906095 937431040 10082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7478] ppid=7473 vsize=915460 CPUtime=0
/proc/7475/task/7478/stat : 7478 (java) S 7473 7475 7106 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155906096 937431040 10082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7479] ppid=7473 vsize=915460 CPUtime=0
/proc/7475/task/7479/stat : 7479 (java) S 7473 7475 7106 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155906096 937431040 10082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7480] ppid=7473 vsize=915460 CPUtime=0
/proc/7475/task/7480/stat : 7480 (java) S 7473 7475 7106 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155906099 937431040 10082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7481] ppid=7473 vsize=915460 CPUtime=0.25
/proc/7475/task/7481/stat : 7481 (java) S 7473 7475 7106 0 -1 64 402 0 0 0 24 1 0 0 16 0 8 0 155906099 937431040 10082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7482] ppid=7473 vsize=915460 CPUtime=0
/proc/7475/task/7482/stat : 7482 (java) S 7473 7475 7106 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155906099 937431040 10082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7483] ppid=7473 vsize=915460 CPUtime=0
/proc/7475/task/7483/stat : 7483 (java) S 7473 7475 7106 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155906099 937431040 10082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.01
Current children cumulated vsize (KiB) 915460
[startup+162.499 s]
/proc/loadavg: 2.02 1.87 1.85 3/87 7483
/proc/meminfo: memFree=1559768/2055920 swapFree=4192812/4192956
[pid=7475] ppid=7473 vsize=915460 CPUtime=161.72
/proc/7475/stat : 7475 (java) R 7473 7475 7106 0 -1 0 10351 0 1 0 16163 9 0 0 25 0 8 0 155906092 937431040 10085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479193 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7475/statm: 228865 10085 2532 14 0 215335 0
[pid=7475/tid=7477] ppid=7473 vsize=915460 CPUtime=0.02
/proc/7475/task/7477/stat : 7477 (java) S 7473 7475 7106 0 -1 64 214 0 0 0 2 0 0 0 16 0 8 0 155906095 937431040 10085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7478] ppid=7473 vsize=915460 CPUtime=0
/proc/7475/task/7478/stat : 7478 (java) S 7473 7475 7106 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155906096 937431040 10085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7479] ppid=7473 vsize=915460 CPUtime=0
/proc/7475/task/7479/stat : 7479 (java) S 7473 7475 7106 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155906096 937431040 10085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7480] ppid=7473 vsize=915460 CPUtime=0
/proc/7475/task/7480/stat : 7480 (java) S 7473 7475 7106 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155906099 937431040 10085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7481] ppid=7473 vsize=915460 CPUtime=0.25
/proc/7475/task/7481/stat : 7481 (java) S 7473 7475 7106 0 -1 64 402 0 0 0 24 1 0 0 16 0 8 0 155906099 937431040 10085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7482] ppid=7473 vsize=915460 CPUtime=0
/proc/7475/task/7482/stat : 7482 (java) S 7473 7475 7106 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155906099 937431040 10085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7483] ppid=7473 vsize=915460 CPUtime=0
/proc/7475/task/7483/stat : 7483 (java) S 7473 7475 7106 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155906099 937431040 10085 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.72
Current children cumulated vsize (KiB) 915460
[startup+222.593 s]
/proc/loadavg: 2.00 1.89 1.86 3/87 7483
/proc/meminfo: memFree=1559704/2055920 swapFree=4192812/4192956
[pid=7475] ppid=7473 vsize=915460 CPUtime=221.55
/proc/7475/stat : 7475 (java) R 7473 7475 7106 0 -1 0 10354 0 1 0 22145 10 0 0 25 0 8 0 155906092 937431040 10088 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073646986 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7475/statm: 228865 10088 2532 14 0 215335 0
[pid=7475/tid=7477] ppid=7473 vsize=915460 CPUtime=0.02
/proc/7475/task/7477/stat : 7477 (java) S 7473 7475 7106 0 -1 64 214 0 0 0 2 0 0 0 16 0 8 0 155906095 937431040 10088 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7478] ppid=7473 vsize=915460 CPUtime=0
/proc/7475/task/7478/stat : 7478 (java) S 7473 7475 7106 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155906096 937431040 10088 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7479] ppid=7473 vsize=915460 CPUtime=0
/proc/7475/task/7479/stat : 7479 (java) S 7473 7475 7106 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155906096 937431040 10088 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7480] ppid=7473 vsize=915460 CPUtime=0
/proc/7475/task/7480/stat : 7480 (java) S 7473 7475 7106 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155906099 937431040 10088 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7481] ppid=7473 vsize=915460 CPUtime=0.25
/proc/7475/task/7481/stat : 7481 (java) S 7473 7475 7106 0 -1 64 402 0 0 0 24 1 0 0 16 0 8 0 155906099 937431040 10088 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7482] ppid=7473 vsize=915460 CPUtime=0
/proc/7475/task/7482/stat : 7482 (java) S 7473 7475 7106 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155906099 937431040 10088 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7483] ppid=7473 vsize=915460 CPUtime=0
/proc/7475/task/7483/stat : 7483 (java) S 7473 7475 7106 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155906099 937431040 10088 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 221.55
Current children cumulated vsize (KiB) 915460
[startup+282.691 s]
/proc/loadavg: 2.00 1.91 1.87 3/87 7483
/proc/meminfo: memFree=1559768/2055920 swapFree=4192812/4192956
[pid=7475] ppid=7473 vsize=915460 CPUtime=281.38
/proc/7475/stat : 7475 (java) R 7473 7475 7106 0 -1 0 10360 0 1 0 28128 10 0 0 25 0 8 0 155906092 937431040 10094 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073650097 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7475/statm: 228865 10094 2532 14 0 215335 0
[pid=7475/tid=7477] ppid=7473 vsize=915460 CPUtime=0.02
/proc/7475/task/7477/stat : 7477 (java) S 7473 7475 7106 0 -1 64 214 0 0 0 2 0 0 0 16 0 8 0 155906095 937431040 10094 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7478] ppid=7473 vsize=915460 CPUtime=0
/proc/7475/task/7478/stat : 7478 (java) S 7473 7475 7106 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155906096 937431040 10094 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7479] ppid=7473 vsize=915460 CPUtime=0
/proc/7475/task/7479/stat : 7479 (java) S 7473 7475 7106 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155906096 937431040 10094 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7480] ppid=7473 vsize=915460 CPUtime=0
/proc/7475/task/7480/stat : 7480 (java) S 7473 7475 7106 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155906099 937431040 10094 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7481] ppid=7473 vsize=915460 CPUtime=0.25
/proc/7475/task/7481/stat : 7481 (java) S 7473 7475 7106 0 -1 64 402 0 0 0 24 1 0 0 16 0 8 0 155906099 937431040 10094 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7482] ppid=7473 vsize=915460 CPUtime=0
/proc/7475/task/7482/stat : 7482 (java) S 7473 7475 7106 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155906099 937431040 10094 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7483] ppid=7473 vsize=915460 CPUtime=0
/proc/7475/task/7483/stat : 7483 (java) S 7473 7475 7106 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155906099 937431040 10094 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 281.38
Current children cumulated vsize (KiB) 915460
[startup+342.788 s]
/proc/loadavg: 2.06 1.94 1.88 3/87 7483
/proc/meminfo: memFree=1559704/2055920 swapFree=4192812/4192956
[pid=7475] ppid=7473 vsize=915460 CPUtime=341.19
/proc/7475/stat : 7475 (java) R 7473 7475 7106 0 -1 0 10360 0 1 0 34109 10 0 0 25 0 8 0 155906092 937431040 10094 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073648140 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7475/statm: 228865 10094 2532 14 0 215335 0
[pid=7475/tid=7477] ppid=7473 vsize=915460 CPUtime=0.02
/proc/7475/task/7477/stat : 7477 (java) S 7473 7475 7106 0 -1 64 214 0 0 0 2 0 0 0 16 0 8 0 155906095 937431040 10094 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7478] ppid=7473 vsize=915460 CPUtime=0
/proc/7475/task/7478/stat : 7478 (java) S 7473 7475 7106 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155906096 937431040 10094 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7479] ppid=7473 vsize=915460 CPUtime=0
/proc/7475/task/7479/stat : 7479 (java) S 7473 7475 7106 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155906096 937431040 10094 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7480] ppid=7473 vsize=915460 CPUtime=0
/proc/7475/task/7480/stat : 7480 (java) S 7473 7475 7106 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155906099 937431040 10094 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7481] ppid=7473 vsize=915460 CPUtime=0.25
/proc/7475/task/7481/stat : 7481 (java) S 7473 7475 7106 0 -1 64 402 0 0 0 24 1 0 0 16 0 8 0 155906099 937431040 10094 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7482] ppid=7473 vsize=915460 CPUtime=0
/proc/7475/task/7482/stat : 7482 (java) S 7473 7475 7106 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155906099 937431040 10094 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7483] ppid=7473 vsize=915460 CPUtime=0
/proc/7475/task/7483/stat : 7483 (java) S 7473 7475 7106 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155906099 937431040 10094 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 341.19
Current children cumulated vsize (KiB) 915460
[startup+402.89 s]
/proc/loadavg: 2.02 1.95 1.88 3/87 7483
/proc/meminfo: memFree=1559640/2055920 swapFree=4192812/4192956
[pid=7475] ppid=7473 vsize=915460 CPUtime=401.02
/proc/7475/stat : 7475 (java) R 7473 7475 7106 0 -1 0 10360 0 1 0 40092 10 0 0 25 0 8 0 155906092 937431040 10094 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073648039 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7475/statm: 228865 10094 2532 14 0 215335 0
[pid=7475/tid=7477] ppid=7473 vsize=915460 CPUtime=0.02
/proc/7475/task/7477/stat : 7477 (java) S 7473 7475 7106 0 -1 64 214 0 0 0 2 0 0 0 16 0 8 0 155906095 937431040 10094 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7478] ppid=7473 vsize=915460 CPUtime=0
/proc/7475/task/7478/stat : 7478 (java) S 7473 7475 7106 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155906096 937431040 10094 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7479] ppid=7473 vsize=915460 CPUtime=0
/proc/7475/task/7479/stat : 7479 (java) S 7473 7475 7106 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155906096 937431040 10094 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7480] ppid=7473 vsize=915460 CPUtime=0
/proc/7475/task/7480/stat : 7480 (java) S 7473 7475 7106 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155906099 937431040 10094 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7481] ppid=7473 vsize=915460 CPUtime=0.25
/proc/7475/task/7481/stat : 7481 (java) S 7473 7475 7106 0 -1 64 402 0 0 0 24 1 0 0 16 0 8 0 155906099 937431040 10094 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7482] ppid=7473 vsize=915460 CPUtime=0
/proc/7475/task/7482/stat : 7482 (java) S 7473 7475 7106 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155906099 937431040 10094 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7483] ppid=7473 vsize=915460 CPUtime=0
/proc/7475/task/7483/stat : 7483 (java) S 7473 7475 7106 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155906099 937431040 10094 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 401.02
Current children cumulated vsize (KiB) 915460
[startup+462.984 s]
/proc/loadavg: 1.93 1.92 1.88 3/87 7651
/proc/meminfo: memFree=1177176/2055920 swapFree=4192812/4192956
[pid=7475] ppid=7473 vsize=915460 CPUtime=461.01
/proc/7475/stat : 7475 (java) R 7473 7475 7106 0 -1 0 10363 0 1 0 46084 17 0 0 25 0 8 0 155906092 937431040 10097 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073644414 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/7475/statm: 228865 10097 2532 14 0 215335 0
[pid=7475/tid=7477] ppid=7473 vsize=915460 CPUtime=0.02
/proc/7475/task/7477/stat : 7477 (java) S 7473 7475 7106 0 -1 64 214 0 0 0 2 0 0 0 16 0 8 0 155906095 937431040 10097 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7478] ppid=7473 vsize=915460 CPUtime=0
/proc/7475/task/7478/stat : 7478 (java) S 7473 7475 7106 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155906096 937431040 10097 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7479] ppid=7473 vsize=915460 CPUtime=0
/proc/7475/task/7479/stat : 7479 (java) S 7473 7475 7106 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155906096 937431040 10097 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7480] ppid=7473 vsize=915460 CPUtime=0
/proc/7475/task/7480/stat : 7480 (java) S 7473 7475 7106 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155906099 937431040 10097 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7481] ppid=7473 vsize=915460 CPUtime=0.25
/proc/7475/task/7481/stat : 7481 (java) S 7473 7475 7106 0 -1 64 402 0 0 0 24 1 0 0 16 0 8 0 155906099 937431040 10097 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7482] ppid=7473 vsize=915460 CPUtime=0
/proc/7475/task/7482/stat : 7482 (java) S 7473 7475 7106 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155906099 937431040 10097 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7475/tid=7483] ppid=7473 vsize=915460 CPUtime=0
/proc/7475/task/7483/stat : 7483 (java) S 7473 7475 7106 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155906099 937431040 10097 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 461.01
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 521.89
CPU time (s): 519.865
CPU user time (s): 519.674
CPU system time (s): 0.19097
CPU usage (%): 99.612
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 519.674
system time used= 0.19097
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10458
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= 11836
involuntary context switches= 18941
runsolver used 0.568913 s user time and 1.73574 s system time
The end
Begin job on node43 on Sat Jan 6 09:17:50 UTC 2007
IDJOB= 210418
IDBENCH= 4618
FILE ID= node43/210418-1168075067
PBS_JOBID= 3476026
Free space on /tmp= 66480 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/fpga/fpga-13-11.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210418-1168075067/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-210418-1168075067 -o ROOT/results/node43/solver-210418-1168075067 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210418-1168075067/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= e3cf89f494b402d682900d8c1ff0cbd2
RANDOM SEED= 68088209
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.278
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.278
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: 1590832 kB
Buffers: 26152 kB
Cached: 293652 kB
SwapCached: 0 kB
Active: 130256 kB
Inactive: 267540 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1590832 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1792 kB
Writeback: 0 kB
Mapped: 98184 kB
Slab: 52632 kB
Committed_AS: 3709584 kB
PageTables: 1916 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= 66473 MiB
End job on node43 on Sat Jan 6 09:26:32 UTC 2007