0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/232072-1168319759/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=25 nbDomainTypes=1 minDomainSize=25 maxDomainSize=25
0.42 => wckTime=0.102 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
0.53
0.53 constraints being loaded...
0.66 nbConstraints=300 nbRelationTypes=300 nbExtensionStructures=300 nbSharedExtensionStructures=0
0.66 nbConflictsStructures=300 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=890 maxDegree=24
0.66 maxArity=2
0.66 => wckTime=0.337 cpuTime=0.26 mem=13M778
0.70
0.70 solver IterativeSystematicSolver being built...
0.87 => wckTime=0.546 cpuTime=0.39 mem=15M170
0.92
0.92 preprocessing
0.92 nbConstraintChecks=54925 nbPropagations=685 nbRevisions=6719 nbUselessRevisions=5891 nbSingletonTests=34
0.92 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
0.92 => wckTime=0.046 cpuTime=0.03 mem=15M170
0.94
0.94 search
0.94 run=0 nbConstraintChecks=35052 nbPropagations=1123 nbRevisions=13819 nbUselessRevisions=12068 nbAssignments=24
0.94 nbFailedAssignments=8 nbBacktracks=10 nbVisitedNodes=42 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.94 nbTooLargeKeys=0
0.94 => wckTime=0.07 cpuTime=0.04 mem=15M170
0.96
0.96 search
0.96 run=1 nbConstraintChecks=95584 nbPropagations=2937 nbRevisions=40276 nbUselessRevisions=35206 nbAssignments=64
0.96 nbFailedAssignments=25 nbBacktracks=25 nbVisitedNodes=111 nbRestartNogoods=3 mapSize=25 nbInferences=0
0.96 nbTooLargeKeys=0
0.96 => wckTime=0.091 cpuTime=0.06 mem=15M170
0.98
0.98 search
0.98 run=2 nbConstraintChecks=168108 nbPropagations=5509 nbRevisions=81171 nbUselessRevisions=70856
0.98 nbAssignments=108 nbFailedAssignments=44 nbBacktracks=47 nbVisitedNodes=191 nbRestartNogoods=8 mapSize=47
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.111 cpuTime=0.08 mem=15M170
1.01
1.01 search
1.01 run=3 nbConstraintChecks=250199 nbPropagations=9051 nbRevisions=139972 nbUselessRevisions=122068
1.01 nbAssignments=173 nbFailedAssignments=70 nbBacktracks=82 nbVisitedNodes=304 nbRestartNogoods=9 mapSize=78
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.139 cpuTime=0.09 mem=15M170
1.04
1.04 search
1.04 run=4 nbConstraintChecks=388354 nbPropagations=14166 nbRevisions=229609 nbUselessRevisions=200211
1.04 nbAssignments=274 nbFailedAssignments=115 nbBacktracks=132 nbVisitedNodes=486 nbRestartNogoods=10 mapSize=127
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.168 cpuTime=0.12 mem=15M170
1.08
1.08 search
1.08 run=5 nbConstraintChecks=583104 nbPropagations=21585 nbRevisions=364385 nbUselessRevisions=317741
1.08 nbAssignments=423 nbFailedAssignments=184 nbBacktracks=207 nbVisitedNodes=761 nbRestartNogoods=17 mapSize=199
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.211 cpuTime=0.16 mem=15M170
1.14
1.14 search
1.14 run=6 nbConstraintChecks=856142 nbPropagations=32176 nbRevisions=561772 nbUselessRevisions=489967
1.14 nbAssignments=642 nbFailedAssignments=285 nbBacktracks=320 nbVisitedNodes=1160 nbRestartNogoods=24 mapSize=310
1.14 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.272 cpuTime=0.22 mem=15M170
1.23
1.23 search
1.23 run=7 nbConstraintChecks=1318454 nbPropagations=47777 nbRevisions=859185 nbUselessRevisions=749193
1.23 nbAssignments=969 nbFailedAssignments=436 nbBacktracks=491 nbVisitedNodes=1763 nbRestartNogoods=31 mapSize=477
1.23 nbInferences=0 nbTooLargeKeys=0
1.23 => wckTime=0.356 cpuTime=0.3 mem=15M170
1.36
1.36 search
1.36 run=8 nbConstraintChecks=2007522 nbPropagations=71046 nbRevisions=1311748 nbUselessRevisions=1143036
1.36 nbAssignments=1496 nbFailedAssignments=701 nbBacktracks=749 nbVisitedNodes=2738 nbRestartNogoods=34
1.36 mapSize=733 nbInferences=0 nbTooLargeKeys=0
1.36 => wckTime=0.491 cpuTime=0.43 mem=15M170
1.52
1.52 INFO : Stopping hyperNogood (mapSize=1027, nbTooLargekeys=0, mem=15M170)
1.56
1.56 search
1.56 run=9 nbConstraintChecks=3124588 nbPropagations=106285 nbRevisions=2013319 nbUselessRevisions=1753896
1.56 nbAssignments=2276 nbFailedAssignments=1091 nbBacktracks=1135 nbVisitedNodes=4192 nbRestartNogoods=40
1.56 => wckTime=0.688 cpuTime=0.61 mem=15M170
1.81
1.81 search
1.81 run=10 nbConstraintChecks=4615784 nbPropagations=158023 nbRevisions=3050999 nbUselessRevisions=2658169
1.81 nbAssignments=3353 nbFailedAssignments=1587 nbBacktracks=1711 nbVisitedNodes=6182 nbRestartNogoods=48
1.81 => wckTime=0.94 cpuTime=0.84 mem=15M170
2.18
2.18 search
2.18 run=11 nbConstraintChecks=6911641 nbPropagations=234642 nbRevisions=4606107 nbUselessRevisions=4014018
2.18 nbAssignments=5006 nbFailedAssignments=2371 nbBacktracks=2575 nbVisitedNodes=9242 nbRestartNogoods=60
2.18 => wckTime=1.31 cpuTime=1.21 mem=15M170
2.76
2.76 search
2.76 run=12 nbConstraintChecks=10619590 nbPropagations=350898 nbRevisions=6988488 nbUselessRevisions=6091549
2.76 nbAssignments=7586 nbFailedAssignments=3649 nbBacktracks=3872 nbVisitedNodes=14043 nbRestartNogoods=65
2.76 => wckTime=1.888 cpuTime=1.78 mem=15M170
3.60
3.60 search
3.60 run=13 nbConstraintChecks=15827452 nbPropagations=525050 nbRevisions=10562318 nbUselessRevisions=9207339
3.60 nbAssignments=11417 nbFailedAssignments=5531 nbBacktracks=5818 nbVisitedNodes=21197 nbRestartNogoods=75
3.60 => wckTime=2.726 cpuTime=2.61 mem=15M170
4.82
4.82 search
4.82 run=14 nbConstraintChecks=23541201 nbPropagations=784572 nbRevisions=15888492 nbUselessRevisions=13851710
4.82 nbAssignments=17017 nbFailedAssignments=8207 nbBacktracks=8737 nbVisitedNodes=31637 nbRestartNogoods=81
4.82 => wckTime=3.95 cpuTime=3.82 mem=15M170
6.67
6.67 search
6.67 run=15 nbConstraintChecks=35387083 nbPropagations=1173620 nbRevisions=23889921 nbUselessRevisions=20828237
6.67 nbAssignments=25503 nbFailedAssignments=12312 nbBacktracks=13115 nbVisitedNodes=47448 nbRestartNogoods=97
6.67 => wckTime=5.8 cpuTime=5.66 mem=15M170
9.47
9.47 search
9.47 run=16 nbConstraintChecks=53326152 nbPropagations=1758211 nbRevisions=35925799 nbUselessRevisions=31321726
9.47 nbAssignments=38346 nbFailedAssignments=18582 nbBacktracks=19683 nbVisitedNodes=71352 nbRestartNogoods=108
9.47 => wckTime=8.605 cpuTime=8.43 mem=15M170
13.78
13.78 search
13.78 run=17 nbConstraintChecks=81215091 nbPropagations=2640020 nbRevisions=54197282 nbUselessRevisions=47255594
13.78 nbAssignments=57665 nbFailedAssignments=28044 nbBacktracks=29536 nbVisitedNodes=107373 nbRestartNogoods=119
13.78 => wckTime=12.907 cpuTime=12.69 mem=15M170
20.11
20.11 search
20.12 run=18 nbConstraintChecks=121790598 nbPropagations=3960397 nbRevisions=81565860 nbUselessRevisions=71119901
20.12 nbAssignments=86425 nbFailedAssignments=42021 nbBacktracks=44314 nbVisitedNodes=160864 nbRestartNogoods=132
20.12 => wckTime=19.246 cpuTime=18.97 mem=15M170
29.71
29.71 search
29.71 run=19 nbConstraintChecks=183095901 nbPropagations=5944032 nbRevisions=122710230 nbUselessRevisions=106995771
29.71 nbAssignments=129910 nbFailedAssignments=63333 nbBacktracks=66482 nbVisitedNodes=241957 nbRestartNogoods=148
29.71 => wckTime=28.838 cpuTime=28.47 mem=15M170
44.00
44.00 search
44.00 run=20 nbConstraintChecks=274689123 nbPropagations=8911399 nbRevisions=184464084 nbUselessRevisions=160864405
44.00 nbAssignments=194129 nbFailedAssignments=94295 nbBacktracks=99734 nbVisitedNodes=361409 nbRestartNogoods=166
44.00 => wckTime=43.133 cpuTime=42.64 mem=15M170
65.76
65.76 search
65.76 run=21 nbConstraintChecks=414625909 nbPropagations=13377970 nbRevisions=277618441 nbUselessRevisions=242125203
65.76 nbAssignments=292010 nbFailedAssignments=142292 nbBacktracks=149612 nbVisitedNodes=543967 nbRestartNogoods=183
65.76 => wckTime=64.891 cpuTime=64.19 mem=15M170
98.67
98.67 search
98.67 run=22 nbConstraintChecks=627669618 nbPropagations=20104665 nbRevisions=418217187 nbUselessRevisions=364766172
98.67 nbAssignments=438990 nbFailedAssignments=214449 nbBacktracks=224430 nbVisitedNodes=818049 nbRestartNogoods=205
98.67 => wckTime=97.801 cpuTime=96.76 mem=15M170
147.58
147.58 search
147.58 run=23 nbConstraintChecks=942912251 nbPropagations=30187643 nbRevisions=629380120 nbUselessRevisions=548980787
147.58 nbAssignments=657539 nbFailedAssignments=320766 nbBacktracks=336658 nbVisitedNodes=1224863 nbRestartNogoods=215
147.58 => wckTime=146.709 cpuTime=145.21 mem=15M170
222.70
222.70 search
222.70 run=24 nbConstraintChecks=1431761895 nbPropagations=45399353 nbRevisions=949016862 nbUselessRevisions=827874778
222.70 nbAssignments=988974 nbFailedAssignments=483854 nbBacktracks=504999 nbVisitedNodes=1843108 nbRestartNogoods=229
222.70 => wckTime=221.827 cpuTime=219.3 mem=15M170
334.98
334.98 search
334.98 run=25 nbConstraintChecks=2162103029 nbPropagations=68285496 nbRevisions=1430840301
334.98 nbUselessRevisions=1248338778 nbAssignments=1484525 nbFailedAssignments=726889 nbBacktracks=757510
334.98 nbVisitedNodes=2767459 nbRestartNogoods=247
334.98 => wckTime=334.107 cpuTime=330.1 mem=15M170
504.39
504.39 search
504.39 run=26 nbConstraintChecks=3286954405 nbPropagations=102823902 nbRevisions=2161236879
504.39 nbUselessRevisions=1885870504 nbAssignments=2232505 nbFailedAssignments=1096098 nbBacktracks=1136277
504.39 nbVisitedNodes=4163830 nbRestartNogoods=271
504.39 => wckTime=503.517 cpuTime=497.57 mem=15M170
539.99
539.99 search
539.99 run=27 nbConstraintChecks=3542438000 nbPropagations=139992859 nbRevisions=2948144163
539.99 nbUselessRevisions=2572786124 nbAssignments=2400357 nbFailedAssignments=1179060 nbBacktracks=1221142
539.99 nbVisitedNodes=4477413 nbRestartNogoods=291
539.99 => wckTime=539.123 cpuTime=533.14 mem=15M170
539.99
539.99 global
539.99 nbConstraintChecks=3542492925 nbPropagations=139993544 nbRevisions=2948150882 nbUselessRevisions=2572792015
539.99 nbRestartNogoods=291 solvingWckTime=539.125 solvingCpuTime=533.14 expiredTime=no totalExploration=no
539.99 nbFoundSolutions=1 globalCpuTime=533.59
539.99 => wckTime=539.674 cpuTime=533.53 mem=15M170
540.00
540.00 s SATISFIABLE
540.00 v 5 10 4 22 7 19 19 6 8 20 22 0 18 18 4 2 22 13 15 10 4 6 0 9 13
540.00 d NODES 2400357
540.00 d CHECKS 3542492925
540.00
540.00 totalWckTime=539.757 totalCpuTime=533.6
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node58/watcher-232072-1168319759 -o ROOT/results/node58/solver-232072-1168319759 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/232072-1168319759/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: 2.02 2.02 1.91 4/85 19770
/proc/meminfo: memFree=1361272/2055920 swapFree=4192812/4192956
[pid=19769] ppid=19767 vsize=47416 CPUtime=0
/proc/19769/stat : 19769 (java) D 19767 19769 17180 0 -1 0 1211 0 1 0 0 0 0 0 17 0 1 0 180373937 48553984 960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/19769/statm: 11854 960 760 14 0 1707 0
[startup+0.103751 s]
/proc/loadavg: 2.02 2.02 1.91 4/85 19770
/proc/meminfo: memFree=1361272/2055920 swapFree=4192812/4192956
[pid=19769] ppid=19767 vsize=914988 CPUtime=0.08
/proc/19769/stat : 19769 (java) R 19767 19769 17180 0 -1 0 2962 0 1 0 7 1 0 0 17 0 8 0 180373937 936947712 2708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155839901 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19769/statm: 228747 2708 1417 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511786 s]
/proc/loadavg: 2.02 2.02 1.91 4/85 19770
/proc/meminfo: memFree=1361272/2055920 swapFree=4192812/4192956
[pid=19769] ppid=19767 vsize=915328 CPUtime=0.48
/proc/19769/stat : 19769 (java) R 19767 19769 17180 0 -1 0 6804 0 1 0 44 4 0 0 18 0 8 0 180373937 937295872 6543 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073581019 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19769/statm: 228832 6543 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33285 s]
/proc/loadavg: 2.02 2.02 1.91 3/92 19777
/proc/meminfo: memFree=1337152/2055920 swapFree=4192812/4192956
[pid=19769] ppid=19767 vsize=915456 CPUtime=1.3
/proc/19769/stat : 19769 (java) R 19767 19769 17180 0 -1 0 8764 0 1 0 124 6 0 0 24 0 8 0 180373937 937426944 8502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073832142 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19769/statm: 228864 8502 2524 14 0 215334 0
[pid=19769/tid=19771] ppid=19767 vsize=915456 CPUtime=0.03
/proc/19769/task/19771/stat : 19771 (java) S 19767 19769 17180 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 180373941 937426944 8502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19772] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19772/stat : 19772 (java) S 19767 19769 17180 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 180373941 937426944 8502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19773] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19773/stat : 19773 (java) S 19767 19769 17180 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180373941 937426944 8502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19774] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19774/stat : 19774 (java) S 19767 19769 17180 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 180373945 937426944 8502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19775] ppid=19767 vsize=915456 CPUtime=0.2
/proc/19769/task/19775/stat : 19775 (java) S 19767 19769 17180 0 -1 64 376 0 0 0 20 0 0 0 15 0 8 0 180373945 937426944 8502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19776] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19776/stat : 19776 (java) S 19767 19769 17180 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180373945 937426944 8502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19777] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19777/stat : 19777 (java) S 19767 19769 17180 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180373945 937426944 8502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915456
[startup+2.96999 s]
/proc/loadavg: 2.02 2.02 1.91 3/92 19777
/proc/meminfo: memFree=1336960/2055920 swapFree=4192812/4192956
[pid=19769] ppid=19767 vsize=915456 CPUtime=2.92
/proc/19769/stat : 19769 (java) R 19767 19769 17180 0 -1 0 8781 0 1 0 286 6 0 0 25 0 8 0 180373937 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073809846 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19769/statm: 228864 8517 2524 14 0 215334 0
[pid=19769/tid=19771] ppid=19767 vsize=915456 CPUtime=0.03
/proc/19769/task/19771/stat : 19771 (java) S 19767 19769 17180 0 -1 64 322 0 0 0 3 0 0 0 17 0 8 0 180373941 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19772] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19772/stat : 19772 (java) S 19767 19769 17180 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 180373941 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19773] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19773/stat : 19773 (java) S 19767 19769 17180 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180373941 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19774] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19774/stat : 19774 (java) S 19767 19769 17180 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 180373945 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19775] ppid=19767 vsize=915456 CPUtime=0.23
/proc/19769/task/19775/stat : 19775 (java) S 19767 19769 17180 0 -1 64 392 0 0 0 23 0 0 0 15 0 8 0 180373945 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19776] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19776/stat : 19776 (java) S 19767 19769 17180 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180373945 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19777] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19777/stat : 19777 (java) S 19767 19769 17180 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180373945 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915456
[startup+6.17527 s]
/proc/loadavg: 2.02 2.02 1.91 3/92 19777
/proc/meminfo: memFree=1336960/2055920 swapFree=4192812/4192956
[pid=19769] ppid=19767 vsize=915456 CPUtime=6.09
/proc/19769/stat : 19769 (java) R 19767 19769 17180 0 -1 0 8781 0 1 0 603 6 0 0 25 0 8 0 180373937 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073806280 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19769/statm: 228864 8517 2524 14 0 215334 0
[pid=19769/tid=19771] ppid=19767 vsize=915456 CPUtime=0.03
/proc/19769/task/19771/stat : 19771 (java) S 19767 19769 17180 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 180373941 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19772] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19772/stat : 19772 (java) S 19767 19769 17180 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 180373941 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19773] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19773/stat : 19773 (java) S 19767 19769 17180 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180373941 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19774] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19774/stat : 19774 (java) S 19767 19769 17180 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 180373945 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19775] ppid=19767 vsize=915456 CPUtime=0.23
/proc/19769/task/19775/stat : 19775 (java) S 19767 19769 17180 0 -1 64 392 0 0 0 23 0 0 0 16 0 8 0 180373945 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19776] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19776/stat : 19776 (java) S 19767 19769 17180 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180373945 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19777] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19777/stat : 19777 (java) S 19767 19769 17180 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180373945 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 915456
[startup+12.6638 s]
/proc/loadavg: 2.01 2.02 1.91 3/92 19777
/proc/meminfo: memFree=1336960/2055920 swapFree=4192812/4192956
[pid=19769] ppid=19767 vsize=915456 CPUtime=12.51
/proc/19769/stat : 19769 (java) R 19767 19769 17180 0 -1 0 8781 0 1 0 1245 6 0 0 25 0 8 0 180373937 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073796178 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19769/statm: 228864 8517 2524 14 0 215334 0
[pid=19769/tid=19771] ppid=19767 vsize=915456 CPUtime=0.03
/proc/19769/task/19771/stat : 19771 (java) S 19767 19769 17180 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 180373941 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19772] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19772/stat : 19772 (java) S 19767 19769 17180 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 180373941 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19773] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19773/stat : 19773 (java) S 19767 19769 17180 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180373941 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19774] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19774/stat : 19774 (java) S 19767 19769 17180 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 180373945 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19775] ppid=19767 vsize=915456 CPUtime=0.23
/proc/19769/task/19775/stat : 19775 (java) S 19767 19769 17180 0 -1 64 392 0 0 0 23 0 0 0 16 0 8 0 180373945 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19776] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19776/stat : 19776 (java) S 19767 19769 17180 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180373945 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19777] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19777/stat : 19777 (java) S 19767 19769 17180 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180373945 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 915456
[startup+25.541 s]
/proc/loadavg: 2.01 2.02 1.91 3/92 19777
/proc/meminfo: memFree=1336960/2055920 swapFree=4192812/4192956
[pid=19769] ppid=19767 vsize=915456 CPUtime=25.27
/proc/19769/stat : 19769 (java) R 19767 19769 17180 0 -1 0 8786 0 1 0 2521 6 0 0 25 0 8 0 180373937 937426944 8521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803738 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19769/statm: 228864 8521 2524 14 0 215334 0
[pid=19769/tid=19771] ppid=19767 vsize=915456 CPUtime=0.03
/proc/19769/task/19771/stat : 19771 (java) S 19767 19769 17180 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 180373941 937426944 8521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19772] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19772/stat : 19772 (java) S 19767 19769 17180 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 180373941 937426944 8521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19773] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19773/stat : 19773 (java) S 19767 19769 17180 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180373941 937426944 8521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19774] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19774/stat : 19774 (java) S 19767 19769 17180 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 180373945 937426944 8521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19775] ppid=19767 vsize=915456 CPUtime=0.23
/proc/19769/task/19775/stat : 19775 (java) S 19767 19769 17180 0 -1 64 392 0 0 0 23 0 0 0 16 0 8 0 180373945 937426944 8521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19776] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19776/stat : 19776 (java) S 19767 19769 17180 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180373945 937426944 8521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19777] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19777/stat : 19777 (java) S 19767 19769 17180 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180373945 937426944 8521 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 915456
[startup+51.1462 s]
/proc/loadavg: 2.01 2.01 1.91 4/92 19777
/proc/meminfo: memFree=1336960/2055920 swapFree=4192812/4192956
[pid=19769] ppid=19767 vsize=915456 CPUtime=50.64
/proc/19769/stat : 19769 (java) R 19767 19769 17180 0 -1 0 8791 0 1 0 5057 7 0 0 25 0 8 0 180373937 937426944 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073866387 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19769/statm: 228864 8526 2524 14 0 215334 0
[pid=19769/tid=19771] ppid=19767 vsize=915456 CPUtime=0.03
/proc/19769/task/19771/stat : 19771 (java) S 19767 19769 17180 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 180373941 937426944 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19772] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19772/stat : 19772 (java) S 19767 19769 17180 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 180373941 937426944 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19773] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19773/stat : 19773 (java) S 19767 19769 17180 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180373941 937426944 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19774] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19774/stat : 19774 (java) S 19767 19769 17180 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 180373945 937426944 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19775] ppid=19767 vsize=915456 CPUtime=0.23
/proc/19769/task/19775/stat : 19775 (java) S 19767 19769 17180 0 -1 64 392 0 0 0 23 0 0 0 16 0 8 0 180373945 937426944 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19776] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19776/stat : 19776 (java) S 19767 19769 17180 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180373945 937426944 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19777] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19777/stat : 19777 (java) S 19767 19769 17180 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180373945 937426944 8526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 915456
[startup+102.358 s]
/proc/loadavg: 2.00 2.01 1.91 5/92 19777
/proc/meminfo: memFree=1336960/2055920 swapFree=4192812/4192956
[pid=19769] ppid=19767 vsize=915456 CPUtime=101.35
/proc/19769/stat : 19769 (java) R 19767 19769 17180 0 -1 0 8796 0 1 0 10128 7 0 0 25 0 8 0 180373937 937426944 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073787721 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19769/statm: 228864 8531 2524 14 0 215334 0
[pid=19769/tid=19771] ppid=19767 vsize=915456 CPUtime=0.03
/proc/19769/task/19771/stat : 19771 (java) S 19767 19769 17180 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 180373941 937426944 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19772] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19772/stat : 19772 (java) S 19767 19769 17180 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 180373941 937426944 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19773] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19773/stat : 19773 (java) S 19767 19769 17180 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180373941 937426944 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19774] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19774/stat : 19774 (java) S 19767 19769 17180 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 180373945 937426944 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19775] ppid=19767 vsize=915456 CPUtime=0.23
/proc/19769/task/19775/stat : 19775 (java) S 19767 19769 17180 0 -1 64 392 0 0 0 23 0 0 0 16 0 8 0 180373945 937426944 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19776] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19776/stat : 19776 (java) S 19767 19769 17180 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180373945 937426944 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19777] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19777/stat : 19777 (java) S 19767 19769 17180 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180373945 937426944 8531 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.35
Current children cumulated vsize (KiB) 915456
[startup+162.45 s]
/proc/loadavg: 2.03 2.02 1.92 3/92 19779
/proc/meminfo: memFree=1336960/2055920 swapFree=4192812/4192956
[pid=19769] ppid=19767 vsize=915456 CPUtime=160.8
/proc/19769/stat : 19769 (java) R 19767 19769 17180 0 -1 0 8799 0 1 0 16073 7 0 0 25 0 8 0 180373937 937426944 8534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073809793 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19769/statm: 228864 8534 2524 14 0 215334 0
[pid=19769/tid=19771] ppid=19767 vsize=915456 CPUtime=0.03
/proc/19769/task/19771/stat : 19771 (java) S 19767 19769 17180 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 180373941 937426944 8534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19772] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19772/stat : 19772 (java) S 19767 19769 17180 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 180373941 937426944 8534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19773] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19773/stat : 19773 (java) S 19767 19769 17180 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180373941 937426944 8534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19774] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19774/stat : 19774 (java) S 19767 19769 17180 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 180373945 937426944 8534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19775] ppid=19767 vsize=915456 CPUtime=0.23
/proc/19769/task/19775/stat : 19775 (java) S 19767 19769 17180 0 -1 64 392 0 0 0 23 0 0 0 16 0 8 0 180373945 937426944 8534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19776] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19776/stat : 19776 (java) S 19767 19769 17180 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180373945 937426944 8534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19777] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19777/stat : 19777 (java) S 19767 19769 17180 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180373945 937426944 8534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.8
Current children cumulated vsize (KiB) 915456
[startup+222.53 s]
/proc/loadavg: 2.01 2.01 1.92 3/92 19779
/proc/meminfo: memFree=1336960/2055920 swapFree=4192812/4192956
[pid=19769] ppid=19767 vsize=915456 CPUtime=220.07
/proc/19769/stat : 19769 (java) R 19767 19769 17180 0 -1 0 8799 0 1 0 22000 7 0 0 25 0 8 0 180373937 937426944 8534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073796304 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19769/statm: 228864 8534 2524 14 0 215334 0
[pid=19769/tid=19771] ppid=19767 vsize=915456 CPUtime=0.03
/proc/19769/task/19771/stat : 19771 (java) S 19767 19769 17180 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 180373941 937426944 8534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19772] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19772/stat : 19772 (java) S 19767 19769 17180 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 180373941 937426944 8534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19773] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19773/stat : 19773 (java) S 19767 19769 17180 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180373941 937426944 8534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19774] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19774/stat : 19774 (java) S 19767 19769 17180 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 180373945 937426944 8534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19775] ppid=19767 vsize=915456 CPUtime=0.23
/proc/19769/task/19775/stat : 19775 (java) S 19767 19769 17180 0 -1 64 392 0 0 0 23 0 0 0 16 0 8 0 180373945 937426944 8534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19776] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19776/stat : 19776 (java) S 19767 19769 17180 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180373945 937426944 8534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19777] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19777/stat : 19777 (java) S 19767 19769 17180 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180373945 937426944 8534 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.07
Current children cumulated vsize (KiB) 915456
[startup+282.61 s]
/proc/loadavg: 2.00 2.01 1.92 3/92 19779
/proc/meminfo: memFree=1337024/2055920 swapFree=4192812/4192956
[pid=19769] ppid=19767 vsize=915456 CPUtime=279.34
/proc/19769/stat : 19769 (java) R 19767 19769 17180 0 -1 0 8801 0 1 0 27927 7 0 0 25 0 8 0 180373937 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918514 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19769/statm: 228864 8536 2524 14 0 215334 0
[pid=19769/tid=19771] ppid=19767 vsize=915456 CPUtime=0.03
/proc/19769/task/19771/stat : 19771 (java) S 19767 19769 17180 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 180373941 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19772] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19772/stat : 19772 (java) S 19767 19769 17180 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 180373941 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19773] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19773/stat : 19773 (java) S 19767 19769 17180 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180373941 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19774] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19774/stat : 19774 (java) S 19767 19769 17180 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 180373945 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19775] ppid=19767 vsize=915456 CPUtime=0.23
/proc/19769/task/19775/stat : 19775 (java) S 19767 19769 17180 0 -1 64 392 0 0 0 23 0 0 0 16 0 8 0 180373945 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19776] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19776/stat : 19776 (java) S 19767 19769 17180 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180373945 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19777] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19777/stat : 19777 (java) S 19767 19769 17180 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180373945 937426944 8536 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 279.34
Current children cumulated vsize (KiB) 915456
[startup+342.691 s]
/proc/loadavg: 2.15 2.05 1.94 3/92 19779
/proc/meminfo: memFree=1336960/2055920 swapFree=4192812/4192956
[pid=19769] ppid=19767 vsize=915456 CPUtime=338.63
/proc/19769/stat : 19769 (java) R 19767 19769 17180 0 -1 0 8804 0 1 0 33856 7 0 0 25 0 8 0 180373937 937426944 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073790700 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19769/statm: 228864 8539 2524 14 0 215334 0
[pid=19769/tid=19771] ppid=19767 vsize=915456 CPUtime=0.03
/proc/19769/task/19771/stat : 19771 (java) S 19767 19769 17180 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 180373941 937426944 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19772] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19772/stat : 19772 (java) S 19767 19769 17180 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 180373941 937426944 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19773] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19773/stat : 19773 (java) S 19767 19769 17180 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180373941 937426944 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19774] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19774/stat : 19774 (java) S 19767 19769 17180 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 180373945 937426944 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19775] ppid=19767 vsize=915456 CPUtime=0.23
/proc/19769/task/19775/stat : 19775 (java) S 19767 19769 17180 0 -1 64 392 0 0 0 23 0 0 0 16 0 8 0 180373945 937426944 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19776] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19776/stat : 19776 (java) S 19767 19769 17180 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180373945 937426944 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19777] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19777/stat : 19777 (java) S 19767 19769 17180 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180373945 937426944 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 338.63
Current children cumulated vsize (KiB) 915456
[startup+402.764 s]
/proc/loadavg: 2.05 2.04 1.94 3/92 19779
/proc/meminfo: memFree=1336896/2055920 swapFree=4192812/4192956
[pid=19769] ppid=19767 vsize=915456 CPUtime=397.92
/proc/19769/stat : 19769 (java) R 19767 19769 17180 0 -1 0 8804 0 1 0 39785 7 0 0 25 0 8 0 180373937 937426944 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073796400 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19769/statm: 228864 8539 2524 14 0 215334 0
[pid=19769/tid=19771] ppid=19767 vsize=915456 CPUtime=0.03
/proc/19769/task/19771/stat : 19771 (java) S 19767 19769 17180 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 180373941 937426944 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19772] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19772/stat : 19772 (java) S 19767 19769 17180 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 180373941 937426944 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19773] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19773/stat : 19773 (java) S 19767 19769 17180 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180373941 937426944 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19774] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19774/stat : 19774 (java) S 19767 19769 17180 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 180373945 937426944 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19775] ppid=19767 vsize=915456 CPUtime=0.23
/proc/19769/task/19775/stat : 19775 (java) S 19767 19769 17180 0 -1 64 392 0 0 0 23 0 0 0 16 0 8 0 180373945 937426944 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19776] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19776/stat : 19776 (java) S 19767 19769 17180 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180373945 937426944 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19777] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19777/stat : 19777 (java) S 19767 19769 17180 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180373945 937426944 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 397.92
Current children cumulated vsize (KiB) 915456
[startup+462.842 s]
/proc/loadavg: 2.02 2.03 1.94 3/92 19779
/proc/meminfo: memFree=1336960/2055920 swapFree=4192812/4192956
[pid=19769] ppid=19767 vsize=915456 CPUtime=457.22
/proc/19769/stat : 19769 (java) R 19767 19769 17180 0 -1 0 8804 0 1 0 45715 7 0 0 25 0 8 0 180373937 937426944 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073787753 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19769/statm: 228864 8539 2524 14 0 215334 0
[pid=19769/tid=19771] ppid=19767 vsize=915456 CPUtime=0.03
/proc/19769/task/19771/stat : 19771 (java) S 19767 19769 17180 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 180373941 937426944 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19772] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19772/stat : 19772 (java) S 19767 19769 17180 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 180373941 937426944 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19773] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19773/stat : 19773 (java) S 19767 19769 17180 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180373941 937426944 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19774] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19774/stat : 19774 (java) S 19767 19769 17180 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 180373945 937426944 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19775] ppid=19767 vsize=915456 CPUtime=0.23
/proc/19769/task/19775/stat : 19775 (java) S 19767 19769 17180 0 -1 64 392 0 0 0 23 0 0 0 16 0 8 0 180373945 937426944 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19776] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19776/stat : 19776 (java) S 19767 19769 17180 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180373945 937426944 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19777] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19777/stat : 19777 (java) S 19767 19769 17180 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180373945 937426944 8539 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 457.22
Current children cumulated vsize (KiB) 915456
[startup+522.864 s]
/proc/loadavg: 2.00 2.02 1.94 3/92 19779
/proc/meminfo: memFree=1273728/2055920 swapFree=4192812/4192956
[pid=19769] ppid=19767 vsize=915456 CPUtime=516.95
/proc/19769/stat : 19769 (java) R 19767 19769 17180 0 -1 0 8806 0 1 0 51688 7 0 0 25 0 8 0 180373937 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795434 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19769/statm: 228864 8541 2524 14 0 215334 0
[pid=19769/tid=19771] ppid=19767 vsize=915456 CPUtime=0.03
/proc/19769/task/19771/stat : 19771 (java) S 19767 19769 17180 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 180373941 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19772] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19772/stat : 19772 (java) S 19767 19769 17180 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 180373941 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19773] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19773/stat : 19773 (java) S 19767 19769 17180 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180373941 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19774] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19774/stat : 19774 (java) S 19767 19769 17180 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 180373945 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19775] ppid=19767 vsize=915456 CPUtime=0.23
/proc/19769/task/19775/stat : 19775 (java) S 19767 19769 17180 0 -1 64 392 0 0 0 23 0 0 0 16 0 8 0 180373945 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19776] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19776/stat : 19776 (java) S 19767 19769 17180 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 180373945 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19769/tid=19777] ppid=19767 vsize=915456 CPUtime=0
/proc/19769/task/19777/stat : 19777 (java) S 19767 19769 17180 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 180373945 937426944 8541 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 516.95
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 540.057
CPU time (s): 534.098
CPU user time (s): 534.012
CPU system time (s): 0.085986
CPU usage (%): 98.8965
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 534.012
system time used= 0.085986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8900
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= 12035
involuntary context switches= 26442
runsolver used 1.27981 s user time and 2.85257 s system time
The end
Begin job on node58 on Tue Jan 9 05:16:00 UTC 2007
IDJOB= 232072
IDBENCH= 6499
FILE ID= node58/232072-1168319759
PBS_JOBID= 3502808
Free space on /tmp= 66553 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-25/rand-25-25-300-147-52021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/232072-1168319759/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node58/watcher-232072-1168319759 -o ROOT/results/node58/solver-232072-1168319759 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/232072-1168319759/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 79b99f3968dd554a3eaf36ca9ea66aaf
RANDOM SEED= 675537750
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.223
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.223
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: 1361752 kB
Buffers: 75196 kB
Cached: 375848 kB
SwapCached: 0 kB
Active: 355172 kB
Inactive: 276396 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1361752 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1920 kB
Writeback: 0 kB
Mapped: 200720 kB
Slab: 47728 kB
Committed_AS: 4033976 kB
PageTables: 2076 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= 66553 MiB
End job on node58 on Tue Jan 9 05:25:00 UTC 2007