0.30
0.30 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/199830-1168071597/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.40 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.40 => wckTime=0.096 cpuTime=0.09 mem=6M951
0.41
0.41 relations being loaded...
1.05
1.05 constraints being loaded...
1.32 nbConstraints=75 nbRelationTypes=75 nbExtensionStructures=75 nbSharedExtensionStructures=0
1.32 nbConflictsStructures=75 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=13 maxArity=3
1.32 => wckTime=1.012 cpuTime=0.89 mem=48M602
1.44
1.44 solver IterativeSystematicSolver being built...
1.60 => wckTime=1.296 cpuTime=1.02 mem=34M651
1.61
1.61 preprocessing
1.61 nbConstraintChecks=0 nbPropagations=24 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.61 detectedInconsistency=no
1.61 => wckTime=0.0040 cpuTime=0.0 mem=34M651
1.73
1.73 search
1.73 run=0 nbConstraintChecks=31501 nbValidityChecks=60575 nbPropagations=315 nbRevisions=3437
1.73 nbUselessRevisions=2624 nbAssignments=25 nbFailedAssignments=10 nbBacktracks=10 nbVisitedNodes=43
1.73 nbRestartNogoods=0 mapSize=9 nbInferences=0 nbTooLargeKeys=0
1.73 => wckTime=0.12 cpuTime=0.09 mem=34M651
1.82
1.82 search
1.82 run=1 nbConstraintChecks=83972 nbValidityChecks=165847 nbPropagations=1150 nbRevisions=13120
1.82 nbUselessRevisions=10229 nbAssignments=72 nbFailedAssignments=36 nbBacktracks=25 nbVisitedNodes=127
1.82 nbRestartNogoods=3 mapSize=22 nbInferences=0 nbTooLargeKeys=0
1.82 => wckTime=0.213 cpuTime=0.18 mem=34M651
1.94
1.94 search
1.94 run=2 nbConstraintChecks=148102 nbValidityChecks=303156 nbPropagations=2682 nbRevisions=30918
1.94 nbUselessRevisions=24053 nbAssignments=135 nbFailedAssignments=70 nbBacktracks=47 nbVisitedNodes=238
1.94 nbRestartNogoods=11 mapSize=40 nbInferences=0 nbTooLargeKeys=0
1.94 => wckTime=0.334 cpuTime=0.28 mem=34M651
2.10
2.10 search
2.10 run=3 nbConstraintChecks=254920 nbValidityChecks=520535 nbPropagations=5201 nbRevisions=61836
2.10 nbUselessRevisions=48510 nbAssignments=227 nbFailedAssignments=123 nbBacktracks=81 nbVisitedNodes=407
2.10 nbRestartNogoods=16 mapSize=71 nbInferences=0 nbTooLargeKeys=0
2.10 => wckTime=0.492 cpuTime=0.44 mem=34M651
2.32
2.32 search
2.32 run=4 nbConstraintChecks=391056 nbValidityChecks=801334 nbPropagations=9107 nbRevisions=110414
2.32 nbUselessRevisions=86973 nbAssignments=335 nbFailedAssignments=176 nbBacktracks=132 nbVisitedNodes=604
2.32 nbRestartNogoods=23 mapSize=116 nbInferences=0 nbTooLargeKeys=0
2.32 => wckTime=0.708 cpuTime=0.65 mem=34M651
2.67
2.67 search
2.67 run=5 nbConstraintChecks=622748 nbValidityChecks=1291292 nbPropagations=15378 nbRevisions=188969
2.67 nbUselessRevisions=149360 nbAssignments=541 nbFailedAssignments=302 nbBacktracks=209 nbVisitedNodes=989
2.67 nbRestartNogoods=26 mapSize=183 nbInferences=0 nbTooLargeKeys=0
2.67 => wckTime=1.065 cpuTime=1.0 mem=34M651
3.08
3.08 search
3.08 run=6 nbConstraintChecks=898103 nbValidityChecks=1841357 nbPropagations=24586 nbRevisions=305042
3.08 nbUselessRevisions=242061 nbAssignments=772 nbFailedAssignments=416 nbBacktracks=322 nbVisitedNodes=1404
3.08 nbRestartNogoods=29 mapSize=281 nbInferences=0 nbTooLargeKeys=0
3.08 => wckTime=1.473 cpuTime=1.4 mem=34M651
3.70
3.70 search
3.70 run=7 nbConstraintChecks=1312415 nbValidityChecks=2711793 nbPropagations=38012 nbRevisions=472616
3.70 nbUselessRevisions=375499 nbAssignments=1171 nbFailedAssignments=638 nbBacktracks=494 nbVisitedNodes=2128
3.70 nbRestartNogoods=36 mapSize=431 nbInferences=0 nbTooLargeKeys=0
3.70 => wckTime=2.091 cpuTime=2.01 mem=34M651
4.86
4.86 search
4.86 run=8 nbConstraintChecks=2130761 nbValidityChecks=4373553 nbPropagations=58938 nbRevisions=740216
4.86 nbUselessRevisions=590025 nbAssignments=1928 nbFailedAssignments=1134 nbBacktracks=751 nbVisitedNodes=3548
4.86 nbRestartNogoods=44 mapSize=657 nbInferences=0 nbTooLargeKeys=0
4.86 => wckTime=3.249 cpuTime=3.14 mem=34M651
6.42
6.42 search
6.43 run=9 nbConstraintChecks=3180686 nbValidityChecks=6581781 nbPropagations=90608 nbRevisions=1142871
6.43 nbUselessRevisions=913067 nbAssignments=2793 nbFailedAssignments=1609 nbBacktracks=1136 nbVisitedNodes=5145
6.43 nbRestartNogoods=47 mapSize=1003 nbInferences=0 nbTooLargeKeys=0
6.43 => wckTime=4.818 cpuTime=4.7 mem=34M651
6.50
6.50 INFO : Stopping hyperNogood (mapSize=1016, nbTooLargekeys=0, mem=34M651)
8.73
8.73 search
8.73 run=10 nbConstraintChecks=4803488 nbValidityChecks=9842866 nbPropagations=136821 nbRevisions=1741040
8.73 nbUselessRevisions=1394830 nbAssignments=4121 nbFailedAssignments=2358 nbBacktracks=1713 nbVisitedNodes=7599
8.73 nbRestartNogoods=56
8.73 => wckTime=7.128 cpuTime=6.96 mem=34M651
11.91
11.91 search
11.91 run=11 nbConstraintChecks=7060494 nbValidityChecks=14520195 nbPropagations=207408 nbRevisions=2651994
11.91 nbUselessRevisions=2130229 nbAssignments=6220 nbFailedAssignments=3590 nbBacktracks=2577 nbVisitedNodes=11516
11.91 nbRestartNogoods=63
11.91 => wckTime=10.302 cpuTime=10.12 mem=34M651
16.83
16.83 search
16.83 run=12 nbConstraintChecks=10635974 nbValidityChecks=21795386 nbPropagations=313713 nbRevisions=4014895
16.83 nbUselessRevisions=3230792 nbAssignments=9439 nbFailedAssignments=5506 nbBacktracks=3874 nbVisitedNodes=17499
16.83 nbRestartNogoods=69
16.83 => wckTime=15.227 cpuTime=15.03 mem=34M651
24.03
24.03 search
24.03 run=13 nbConstraintChecks=15781642 nbValidityChecks=32185484 nbPropagations=471213 nbRevisions=6040834
24.03 nbUselessRevisions=4867092 nbAssignments=13792 nbFailedAssignments=7909 nbBacktracks=5820 nbVisitedNodes=25513
24.03 nbRestartNogoods=79
24.03 => wckTime=22.42 cpuTime=22.18 mem=34M651
36.07
36.07 search
36.07 run=14 nbConstraintChecks=24400620 nbValidityChecks=49369718 nbPropagations=710055 nbRevisions=9143454
36.07 nbUselessRevisions=7371127 nbAssignments=20633 nbFailedAssignments=11825 nbBacktracks=8740 nbVisitedNodes=38264
36.07 nbRestartNogoods=101
36.07 => wckTime=34.462 cpuTime=34.16 mem=35M638
52.40
52.40 search
52.40 run=15 nbConstraintChecks=36010440 nbValidityChecks=73868928 nbPropagations=1065839 nbRevisions=13723133
52.40 nbUselessRevisions=11064848 nbAssignments=31443 nbFailedAssignments=18251 nbBacktracks=13118
52.40 nbVisitedNodes=58304 nbRestartNogoods=111
52.40 => wckTime=50.79 cpuTime=50.41 mem=35M638
76.51
76.51 search
76.51 run=16 nbConstraintChecks=52764739 nbValidityChecks=108600976 nbPropagations=1599258 nbRevisions=20509693
76.51 nbUselessRevisions=16528140 nbAssignments=45922 nbFailedAssignments=26157 nbBacktracks=19688
76.51 nbVisitedNodes=84926 nbRestartNogoods=119
76.51 => wckTime=74.903 cpuTime=74.41 mem=35M638
114.52
114.52 search
114.52 run=17 nbConstraintChecks=80537872 nbValidityChecks=162750413 nbPropagations=2376506 nbRevisions=30581780
114.52 nbUselessRevisions=24639243 nbAssignments=67129 nbFailedAssignments=37509 nbBacktracks=29540
114.52 nbVisitedNodes=123737 nbRestartNogoods=132
114.52 => wckTime=112.918 cpuTime=112.24 mem=35M638
168.31
168.31 search
168.31 run=18 nbConstraintChecks=119609492 nbValidityChecks=239507625 nbPropagations=3515801 nbRevisions=45419007
168.31 nbUselessRevisions=36584153 nbAssignments=98807 nbFailedAssignments=54405 nbBacktracks=44318
168.31 nbVisitedNodes=181377 nbRestartNogoods=160
168.31 => wckTime=166.702 cpuTime=165.78 mem=35M638
245.04
245.04 search
245.05 run=19 nbConstraintChecks=173992022 nbValidityChecks=354498362 nbPropagations=5222645 nbRevisions=67068449
245.05 nbUselessRevisions=53855979 nbAssignments=150680 nbFailedAssignments=84105 nbBacktracks=66486
245.05 nbVisitedNodes=276638 nbRestartNogoods=189
245.05 => wckTime=243.439 cpuTime=242.16 mem=35M638
321.95
321.95 search
321.95 run=20 nbConstraintChecks=229871323 nbValidityChecks=469097591 nbPropagations=7481689 nbRevisions=95929895
321.95 nbUselessRevisions=76957669 nbAssignments=198433 nbFailedAssignments=112841 nbBacktracks=85479
321.95 nbVisitedNodes=366271 nbRestartNogoods=218
321.95 => wckTime=320.345 cpuTime=318.7 mem=35M638
321.95
321.95 global
321.95 nbConstraintChecks=229871323 nbValidityChecks=469097591 nbPropagations=7481713 nbRevisions=95929895
321.95 nbUselessRevisions=76957669 nbRestartNogoods=218 solvingWckTime=320.346 solvingCpuTime=318.7 expiredTime=no
321.95 totalExploration=no nbFoundSolutions=1 globalCpuTime=319.77
321.95 => wckTime=321.645 cpuTime=319.72 mem=35M638
321.96
321.96 s SATISFIABLE
321.96 v 11 15 2 10 12 8 18 8 14 14 14 9 8 4 15 0 16 10 5 1 7 5 18 10
321.96 d NODES 198433
321.96 d CHECKS 229871323
321.96
321.96 totalWckTime=321.726 totalCpuTime=319.77
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node35/watcher-199830-1168071597 -o ROOT/results/node35/solver-199830-1168071597 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/199830-1168071597/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.94 1.98 1.94 4/80 11655
/proc/meminfo: memFree=1672520/2055920 swapFree=4192812/4192956
[pid=11654] ppid=11652 vsize=907676 CPUtime=0.03
/proc/11654/stat : 11654 (java) S 11652 11654 10847 0 -1 0 2171 0 1 0 2 1 0 0 19 0 4 0 155553353 929460224 1920 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/11654/statm: 226919 1920 1089 14 0 214502 0
[pid=11654/tid=11656] ppid=11652 vsize=907676 CPUtime=0
/proc/11654/task/11656/stat : 11656 (java) S 11652 11654 10847 0 -1 64 6 0 0 0 0 0 0 0 19 0 4 0 155553357 929460224 1920 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[pid=11654/tid=11657] ppid=11652 vsize=907676 CPUtime=0
/proc/11654/task/11657/stat : 11657 (java) S 11652 11654 10847 0 -1 64 10 0 0 0 0 0 0 0 19 0 4 0 155553357 929460224 1920 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 7368 0 0 0 -1 1 0 0
[pid=11654/tid=11658] ppid=11652 vsize=907676 CPUtime=0
/proc/11654/task/11658/stat : 11658 (java) R 11652 11654 10847 0 -1 64 0 0 0 0 0 0 0 0 20 0 4 0 155553357 929460224 1920 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 2310104 0 4 0 7368 0 0 0 -1 1 0 0
[startup+0.106064 s]
/proc/loadavg: 1.94 1.98 1.94 4/80 11655
/proc/meminfo: memFree=1672520/2055920 swapFree=4192812/4192956
[pid=11654] ppid=11652 vsize=914988 CPUtime=0.09
/proc/11654/stat : 11654 (java) R 11652 11654 10847 0 -1 0 3031 0 1 0 7 2 0 0 20 0 8 0 155553353 936947712 2777 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4155477080 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11654/statm: 228747 2777 1439 14 0 215242 0
[pid=11654/tid=11656] ppid=11652 vsize=914988 CPUtime=0
/proc/11654/task/11656/stat : 11656 (java) S 11652 11654 10847 0 -1 64 6 0 0 0 0 0 0 0 19 0 8 0 155553357 936947712 2777 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11654/tid=11657] ppid=11652 vsize=914988 CPUtime=0
/proc/11654/task/11657/stat : 11657 (java) S 11652 11654 10847 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 155553357 936947712 2777 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11654/tid=11658] ppid=11652 vsize=914988 CPUtime=0
/proc/11654/task/11658/stat : 11658 (java) S 11652 11654 10847 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 155553357 936947712 2777 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.518115 s]
/proc/loadavg: 1.94 1.98 1.94 4/80 11655
/proc/meminfo: memFree=1672520/2055920 swapFree=4192812/4192956
[pid=11654] ppid=11652 vsize=915328 CPUtime=0.5
/proc/11654/stat : 11654 (java) R 11652 11654 10847 0 -1 0 7852 0 1 0 46 4 0 0 18 0 8 0 155553353 937295872 7591 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073584799 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11654/statm: 228832 7591 2137 14 0 215302 0
[pid=11654/tid=11656] ppid=11652 vsize=915328 CPUtime=0
/proc/11654/task/11656/stat : 11656 (java) S 11652 11654 10847 0 -1 64 6 0 0 0 0 0 0 0 19 0 8 0 155553357 937295872 7591 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11654/tid=11657] ppid=11652 vsize=915328 CPUtime=0
/proc/11654/task/11657/stat : 11657 (java) S 11652 11654 10847 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 155553357 937295872 7591 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11654/tid=11658] ppid=11652 vsize=915328 CPUtime=0
/proc/11654/task/11658/stat : 11658 (java) S 11652 11654 10847 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 155553357 937295872 7591 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.34721 s]
/proc/loadavg: 2.02 2.00 1.94 3/87 11662
/proc/meminfo: memFree=1605392/2055920 swapFree=4192812/4192956
[pid=11654] ppid=11652 vsize=915416 CPUtime=1.32
/proc/11654/stat : 11654 (java) R 11652 11654 10847 0 -1 0 19133 0 1 0 123 9 0 0 25 0 8 0 155553353 937385984 18870 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11654/statm: 228854 18870 2168 14 0 215324 0
[pid=11654/tid=11656] ppid=11652 vsize=915416 CPUtime=0.07
/proc/11654/task/11656/stat : 11656 (java) R 11652 11654 10847 0 -1 64 2646 0 0 0 6 1 0 0 16 0 8 0 155553357 937385984 18870 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4155215822 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11654/tid=11657] ppid=11652 vsize=915416 CPUtime=0
/proc/11654/task/11657/stat : 11657 (java) S 11652 11654 10847 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155553357 937385984 18870 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11654/tid=11658] ppid=11652 vsize=915416 CPUtime=0
/proc/11654/task/11658/stat : 11658 (java) S 11652 11654 10847 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155553357 937385984 18870 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11654/tid=11659] ppid=11652 vsize=915416 CPUtime=0
/proc/11654/task/11659/stat : 11659 (java) S 11652 11654 10847 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155553361 937385984 18870 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11654/tid=11660] ppid=11652 vsize=915416 CPUtime=0.1
/proc/11654/task/11660/stat : 11660 (java) S 11652 11654 10847 0 -1 64 321 0 0 0 10 0 0 0 16 0 8 0 155553361 937385984 18870 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11654/tid=11661] ppid=11652 vsize=915416 CPUtime=0
/proc/11654/task/11661/stat : 11661 (java) S 11652 11654 10847 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155553361 937385984 18870 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11654/tid=11662] ppid=11652 vsize=915416 CPUtime=0
/proc/11654/task/11662/stat : 11662 (java) S 11652 11654 10847 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155553361 937385984 18870 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915416
[startup+2.98741 s]
/proc/loadavg: 2.02 2.00 1.94 4/87 11662
/proc/meminfo: memFree=1589264/2055920 swapFree=4192812/4192956
[pid=11654] ppid=11652 vsize=915416 CPUtime=2.95
/proc/11654/stat : 11654 (java) R 11652 11654 10847 0 -1 0 23462 0 1 0 283 12 0 0 25 0 8 0 155553353 937385984 23197 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073756468 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11654/statm: 228854 23197 2521 14 0 215324 0
[pid=11654/tid=11656] ppid=11652 vsize=915416 CPUtime=0.15
/proc/11654/task/11656/stat : 11656 (java) S 11652 11654 10847 0 -1 64 6496 0 0 0 13 2 0 0 17 0 8 0 155553357 937385984 23197 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11654/tid=11657] ppid=11652 vsize=915416 CPUtime=0
/proc/11654/task/11657/stat : 11657 (java) S 11652 11654 10847 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155553357 937385984 23197 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11654/tid=11658] ppid=11652 vsize=915416 CPUtime=0
/proc/11654/task/11658/stat : 11658 (java) S 11652 11654 10847 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155553357 937385984 23197 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11654/tid=11659] ppid=11652 vsize=915416 CPUtime=0
/proc/11654/task/11659/stat : 11659 (java) S 11652 11654 10847 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155553361 937385984 23197 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11654/tid=11660] ppid=11652 vsize=915416 CPUtime=0.21
/proc/11654/task/11660/stat : 11660 (java) S 11652 11654 10847 0 -1 64 373 0 0 0 20 1 0 0 15 0 8 0 155553361 937385984 23197 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11654/tid=11661] ppid=11652 vsize=915416 CPUtime=0
/proc/11654/task/11661/stat : 11661 (java) S 11652 11654 10847 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155553361 937385984 23197 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11654/tid=11662] ppid=11652 vsize=915416 CPUtime=0
/proc/11654/task/11662/stat : 11662 (java) S 11652 11654 10847 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155553361 937385984 23197 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915416
[startup+6.26879 s]
/proc/loadavg: 2.02 2.00 1.94 3/87 11662
/proc/meminfo: memFree=1589208/2055920 swapFree=4192812/4192956
[pid=11654] ppid=11652 vsize=915416 CPUtime=6.22
/proc/11654/stat : 11654 (java) R 11652 11654 10847 0 -1 0 23477 0 1 0 610 12 0 0 25 0 8 0 155553353 937385984 23210 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073632964 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11654/statm: 228854 23210 2521 14 0 215324 0
[pid=11654/tid=11656] ppid=11652 vsize=915416 CPUtime=0.15
/proc/11654/task/11656/stat : 11656 (java) S 11652 11654 10847 0 -1 64 6496 0 0 0 13 2 0 0 16 0 8 0 155553357 937385984 23210 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11654/tid=11657] ppid=11652 vsize=915416 CPUtime=0
/proc/11654/task/11657/stat : 11657 (java) S 11652 11654 10847 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155553357 937385984 23210 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11654/tid=11658] ppid=11652 vsize=915416 CPUtime=0
/proc/11654/task/11658/stat : 11658 (java) S 11652 11654 10847 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155553357 937385984 23210 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11654/tid=11659] ppid=11652 vsize=915416 CPUtime=0
/proc/11654/task/11659/stat : 11659 (java) S 11652 11654 10847 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155553361 937385984 23210 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11654/tid=11660] ppid=11652 vsize=915416 CPUtime=0.24
/proc/11654/task/11660/stat : 11660 (java) S 11652 11654 10847 0 -1 64 388 0 0 0 23 1 0 0 16 0 8 0 155553361 937385984 23210 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11654/tid=11661] ppid=11652 vsize=915416 CPUtime=0
/proc/11654/task/11661/stat : 11661 (java) S 11652 11654 10847 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155553361 937385984 23210 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11654/tid=11662] ppid=11652 vsize=915416 CPUtime=0
/proc/11654/task/11662/stat : 11662 (java) S 11652 11654 10847 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155553361 937385984 23210 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915416
[startup+12.7616 s]
/proc/loadavg: 2.02 2.00 1.94 3/87 11662
/proc/meminfo: memFree=1589208/2055920 swapFree=4192812/4192956
[pid=11654] ppid=11652 vsize=915416 CPUtime=12.65
/proc/11654/stat : 11654 (java) R 11652 11654 10847 0 -1 0 23482 0 1 0 1253 12 0 0 25 0 8 0 155553353 937385984 23214 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073764251 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11654/statm: 228854 23214 2521 14 0 215324 0
[pid=11654/tid=11656] ppid=11652 vsize=915416 CPUtime=0.15
/proc/11654/task/11656/stat : 11656 (java) S 11652 11654 10847 0 -1 64 6496 0 0 0 13 2 0 0 16 0 8 0 155553357 937385984 23214 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11654/tid=11657] ppid=11652 vsize=915416 CPUtime=0
/proc/11654/task/11657/stat : 11657 (java) S 11652 11654 10847 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155553357 937385984 23214 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11654/tid=11658] ppid=11652 vsize=915416 CPUtime=0
/proc/11654/task/11658/stat : 11658 (java) S 11652 11654 10847 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155553357 937385984 23214 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11654/tid=11659] ppid=11652 vsize=915416 CPUtime=0
/proc/11654/task/11659/stat : 11659 (java) S 11652 11654 10847 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155553361 937385984 23214 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11654/tid=11660] ppid=11652 vsize=915416 CPUtime=0.25
/proc/11654/task/11660/stat : 11660 (java) S 11652 11654 10847 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 155553361 937385984 23214 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11654/tid=11661] ppid=11652 vsize=915416 CPUtime=0
/proc/11654/task/11661/stat : 11661 (java) S 11652 11654 10847 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155553361 937385984 23214 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11654/tid=11662] ppid=11652 vsize=915416 CPUtime=0
/proc/11654/task/11662/stat : 11662 (java) S 11652 11654 10847 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155553361 937385984 23214 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 915416
[startup+25.6291 s]
/proc/loadavg: 2.02 2.00 1.94 3/87 11662
/proc/meminfo: memFree=1589400/2055920 swapFree=4192812/4192956
[pid=11654] ppid=11652 vsize=915416 CPUtime=25.47
/proc/11654/stat : 11654 (java) R 11652 11654 10847 0 -1 0 23483 0 1 0 2534 13 0 0 25 0 8 0 155553353 937385984 23214 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11654/statm: 228854 23214 2521 14 0 215324 0
[pid=11654/tid=11656] ppid=11652 vsize=915416 CPUtime=0.15
/proc/11654/task/11656/stat : 11656 (java) S 11652 11654 10847 0 -1 64 6496 0 0 0 13 2 0 0 16 0 8 0 155553357 937385984 23214 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11654/tid=11657] ppid=11652 vsize=915416 CPUtime=0
/proc/11654/task/11657/stat : 11657 (java) S 11652 11654 10847 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155553357 937385984 23214 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11654/tid=11658] ppid=11652 vsize=915416 CPUtime=0
/proc/11654/task/11658/stat : 11658 (java) S 11652 11654 10847 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155553357 937385984 23214 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11654/tid=11659] ppid=11652 vsize=915416 CPUtime=0
/proc/11654/task/11659/stat : 11659 (java) S 11652 11654 10847 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155553361 937385984 23214 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11654/tid=11660] ppid=11652 vsize=915416 CPUtime=0.25
/proc/11654/task/11660/stat : 11660 (java) S 11652 11654 10847 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 155553361 937385984 23214 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11654/tid=11661] ppid=11652 vsize=915416 CPUtime=0
/proc/11654/task/11661/stat : 11661 (java) S 11652 11654 10847 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155553361 937385984 23214 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11654/tid=11662] ppid=11652 vsize=915416 CPUtime=0
/proc/11654/task/11662/stat : 11662 (java) S 11652 11654 10847 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155553361 937385984 23214 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915416
[startup+51.2591 s]
/proc/loadavg: 2.01 2.00 1.94 3/87 11662
/proc/meminfo: memFree=1589400/2055920 swapFree=4192812/4192956
[pid=11654] ppid=11652 vsize=915416 CPUtime=50.97
/proc/11654/stat : 11654 (java) R 11652 11654 10847 0 -1 0 23483 0 1 0 5084 13 0 0 25 0 8 0 155553353 937385984 23214 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073763113 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11654/statm: 228854 23214 2521 14 0 215324 0
[pid=11654/tid=11656] ppid=11652 vsize=915416 CPUtime=0.15
/proc/11654/task/11656/stat : 11656 (java) S 11652 11654 10847 0 -1 64 6496 0 0 0 13 2 0 0 16 0 8 0 155553357 937385984 23214 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11654/tid=11657] ppid=11652 vsize=915416 CPUtime=0
/proc/11654/task/11657/stat : 11657 (java) S 11652 11654 10847 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155553357 937385984 23214 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11654/tid=11658] ppid=11652 vsize=915416 CPUtime=0
/proc/11654/task/11658/stat : 11658 (java) S 11652 11654 10847 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155553357 937385984 23214 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11654/tid=11659] ppid=11652 vsize=915416 CPUtime=0
/proc/11654/task/11659/stat : 11659 (java) S 11652 11654 10847 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155553361 937385984 23214 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11654/tid=11660] ppid=11652 vsize=915416 CPUtime=0.25
/proc/11654/task/11660/stat : 11660 (java) S 11652 11654 10847 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 155553361 937385984 23214 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11654/tid=11661] ppid=11652 vsize=915416 CPUtime=0
/proc/11654/task/11661/stat : 11661 (java) S 11652 11654 10847 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155553361 937385984 23214 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11654/tid=11662] ppid=11652 vsize=915416 CPUtime=0
/proc/11654/task/11662/stat : 11662 (java) S 11652 11654 10847 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155553361 937385984 23214 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 915416
[startup+102.513 s]
/proc/loadavg: 2.00 2.00 1.94 4/87 11662
/proc/meminfo: memFree=1589464/2055920 swapFree=4192812/4192956
[pid=11654] ppid=11652 vsize=915416 CPUtime=101.98
/proc/11654/stat : 11654 (java) R 11652 11654 10847 0 -1 0 23483 0 1 0 10185 13 0 0 25 0 8 0 155553353 937385984 23214 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073774997 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11654/statm: 228854 23214 2521 14 0 215324 0
[pid=11654/tid=11656] ppid=11652 vsize=915416 CPUtime=0.15
/proc/11654/task/11656/stat : 11656 (java) S 11652 11654 10847 0 -1 64 6496 0 0 0 13 2 0 0 16 0 8 0 155553357 937385984 23214 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11654/tid=11657] ppid=11652 vsize=915416 CPUtime=0
/proc/11654/task/11657/stat : 11657 (java) S 11652 11654 10847 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155553357 937385984 23214 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11654/tid=11658] ppid=11652 vsize=915416 CPUtime=0
/proc/11654/task/11658/stat : 11658 (java) S 11652 11654 10847 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155553357 937385984 23214 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11654/tid=11659] ppid=11652 vsize=915416 CPUtime=0
/proc/11654/task/11659/stat : 11659 (java) S 11652 11654 10847 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155553361 937385984 23214 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11654/tid=11660] ppid=11652 vsize=915416 CPUtime=0.25
/proc/11654/task/11660/stat : 11660 (java) S 11652 11654 10847 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 155553361 937385984 23214 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11654/tid=11661] ppid=11652 vsize=915416 CPUtime=0
/proc/11654/task/11661/stat : 11661 (java) S 11652 11654 10847 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155553361 937385984 23214 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11654/tid=11662] ppid=11652 vsize=915416 CPUtime=0
/proc/11654/task/11662/stat : 11662 (java) S 11652 11654 10847 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155553361 937385984 23214 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.98
Current children cumulated vsize (KiB) 915416
[startup+162.517 s]
/proc/loadavg: 2.00 2.00 1.94 3/87 11662
/proc/meminfo: memFree=1589528/2055920 swapFree=4192812/4192956
[pid=11654] ppid=11652 vsize=915416 CPUtime=161.7
/proc/11654/stat : 11654 (java) R 11652 11654 10847 0 -1 0 23483 0 1 0 16157 13 0 0 25 0 8 0 155553353 937385984 23214 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073756471 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11654/statm: 228854 23214 2521 14 0 215324 0
[pid=11654/tid=11656] ppid=11652 vsize=915416 CPUtime=0.15
/proc/11654/task/11656/stat : 11656 (java) S 11652 11654 10847 0 -1 64 6496 0 0 0 13 2 0 0 16 0 8 0 155553357 937385984 23214 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11654/tid=11657] ppid=11652 vsize=915416 CPUtime=0
/proc/11654/task/11657/stat : 11657 (java) S 11652 11654 10847 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155553357 937385984 23214 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11654/tid=11658] ppid=11652 vsize=915416 CPUtime=0
/proc/11654/task/11658/stat : 11658 (java) S 11652 11654 10847 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155553357 937385984 23214 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11654/tid=11659] ppid=11652 vsize=915416 CPUtime=0
/proc/11654/task/11659/stat : 11659 (java) S 11652 11654 10847 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155553361 937385984 23214 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11654/tid=11660] ppid=11652 vsize=915416 CPUtime=0.25
/proc/11654/task/11660/stat : 11660 (java) S 11652 11654 10847 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 155553361 937385984 23214 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11654/tid=11661] ppid=11652 vsize=915416 CPUtime=0
/proc/11654/task/11661/stat : 11661 (java) S 11652 11654 10847 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155553361 937385984 23214 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11654/tid=11662] ppid=11652 vsize=915416 CPUtime=0
/proc/11654/task/11662/stat : 11662 (java) S 11652 11654 10847 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155553361 937385984 23214 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.7
Current children cumulated vsize (KiB) 915416
[startup+222.522 s]
/proc/loadavg: 2.00 2.00 1.94 3/87 11662
/proc/meminfo: memFree=1589464/2055920 swapFree=4192812/4192956
[pid=11654] ppid=11652 vsize=915416 CPUtime=221.42
/proc/11654/stat : 11654 (java) R 11652 11654 10847 0 -1 0 23483 0 1 0 22129 13 0 0 25 0 8 0 155553353 937385984 23214 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073756527 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11654/statm: 228854 23214 2521 14 0 215324 0
[pid=11654/tid=11656] ppid=11652 vsize=915416 CPUtime=0.15
/proc/11654/task/11656/stat : 11656 (java) S 11652 11654 10847 0 -1 64 6496 0 0 0 13 2 0 0 16 0 8 0 155553357 937385984 23214 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11654/tid=11657] ppid=11652 vsize=915416 CPUtime=0
/proc/11654/task/11657/stat : 11657 (java) S 11652 11654 10847 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155553357 937385984 23214 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11654/tid=11658] ppid=11652 vsize=915416 CPUtime=0
/proc/11654/task/11658/stat : 11658 (java) S 11652 11654 10847 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155553357 937385984 23214 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11654/tid=11659] ppid=11652 vsize=915416 CPUtime=0
/proc/11654/task/11659/stat : 11659 (java) S 11652 11654 10847 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155553361 937385984 23214 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11654/tid=11660] ppid=11652 vsize=915416 CPUtime=0.25
/proc/11654/task/11660/stat : 11660 (java) S 11652 11654 10847 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 155553361 937385984 23214 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11654/tid=11661] ppid=11652 vsize=915416 CPUtime=0
/proc/11654/task/11661/stat : 11661 (java) S 11652 11654 10847 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155553361 937385984 23214 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11654/tid=11662] ppid=11652 vsize=915416 CPUtime=0
/proc/11654/task/11662/stat : 11662 (java) S 11652 11654 10847 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155553361 937385984 23214 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.42
Current children cumulated vsize (KiB) 915416
[startup+282.525 s]
/proc/loadavg: 2.00 2.00 1.94 3/87 11662
/proc/meminfo: memFree=1589400/2055920 swapFree=4192812/4192956
[pid=11654] ppid=11652 vsize=915416 CPUtime=281.14
/proc/11654/stat : 11654 (java) R 11652 11654 10847 0 -1 0 23483 0 1 0 28101 13 0 0 25 0 8 0 155553353 937385984 23214 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073628020 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11654/statm: 228854 23214 2521 14 0 215324 0
[pid=11654/tid=11656] ppid=11652 vsize=915416 CPUtime=0.15
/proc/11654/task/11656/stat : 11656 (java) S 11652 11654 10847 0 -1 64 6496 0 0 0 13 2 0 0 16 0 8 0 155553357 937385984 23214 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11654/tid=11657] ppid=11652 vsize=915416 CPUtime=0
/proc/11654/task/11657/stat : 11657 (java) S 11652 11654 10847 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155553357 937385984 23214 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11654/tid=11658] ppid=11652 vsize=915416 CPUtime=0
/proc/11654/task/11658/stat : 11658 (java) S 11652 11654 10847 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155553357 937385984 23214 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11654/tid=11659] ppid=11652 vsize=915416 CPUtime=0
/proc/11654/task/11659/stat : 11659 (java) S 11652 11654 10847 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155553361 937385984 23214 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11654/tid=11660] ppid=11652 vsize=915416 CPUtime=0.25
/proc/11654/task/11660/stat : 11660 (java) S 11652 11654 10847 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 155553361 937385984 23214 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11654/tid=11661] ppid=11652 vsize=915416 CPUtime=0
/proc/11654/task/11661/stat : 11661 (java) S 11652 11654 10847 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155553361 937385984 23214 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11654/tid=11662] ppid=11652 vsize=915416 CPUtime=0
/proc/11654/task/11662/stat : 11662 (java) S 11652 11654 10847 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155553361 937385984 23214 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.14
Current children cumulated vsize (KiB) 915416
Child status: 0
Real time (s): 322.013
CPU time (s): 320.414
CPU user time (s): 320.259
CPU system time (s): 0.154976
CPU usage (%): 99.5037
Max. virtual memory (cumulated for all children) (KiB): 915416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 320.259
system time used= 0.154976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23491
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= 7649
involuntary context switches= 14080
runsolver used 0.422935 s user time and 1.01885 s system time
The end
Begin job on node35 on Sat Jan 6 08:19:57 UTC 2007
IDJOB= 199830
IDBENCH= 3642
FILE ID= node35/199830-1168071597
PBS_JOBID= 3475659
Free space on /tmp= 66555 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-35_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/199830-1168071597/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node35/watcher-199830-1168071597 -o ROOT/results/node35/solver-199830-1168071597 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/199830-1168071597/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 6c246e478e2e2eba7091099f69119992
RANDOM SEED= 420814597
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.234
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.234
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: 1672936 kB
Buffers: 24888 kB
Cached: 234940 kB
SwapCached: 0 kB
Active: 89088 kB
Inactive: 217592 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1672936 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4652 kB
Writeback: 0 kB
Mapped: 67048 kB
Slab: 61668 kB
Committed_AS: 3802036 kB
PageTables: 1888 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= 66555 MiB
End job on node35 on Sat Jan 6 08:25:20 UTC 2007