0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=mac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/194263-1168069347/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=50 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.39 => wckTime=0.096 cpuTime=0.09 mem=6M951
0.39
0.39 relations being loaded...
0.53
0.53 constraints being loaded...
0.67 nbConstraints=463 nbRelationTypes=463 nbExtensionStructures=463 nbSharedExtensionStructures=0
0.67 nbConflictsStructures=463 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2387 maxDegree=30
0.67 maxArity=2
0.67 => wckTime=0.373 cpuTime=0.28 mem=17M826
0.71
0.71 solver IterativeSystematicSolver being built...
0.86 => wckTime=0.565 cpuTime=0.4 mem=15M359
0.87
0.87 preprocessing
0.87 nbConstraintChecks=0 nbPropagations=50 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.87 detectedInconsistency=no
0.87 => wckTime=0.0070 cpuTime=0.0 mem=15M359
0.92
0.92 search
0.92 run=0 nbConstraintChecks=51515 nbPropagations=683 nbRevisions=7903 nbUselessRevisions=6653 nbAssignments=32
0.92 nbFailedAssignments=8 nbBacktracks=11 nbVisitedNodes=46 nbRestartNogoods=0 mapSize=8 nbInferences=0
0.92 nbTooLargeKeys=0
0.92 => wckTime=0.056 cpuTime=0.03 mem=15M359
0.95
0.95 search
0.95 run=1 nbConstraintChecks=116473 nbPropagations=2184 nbRevisions=26810 nbUselessRevisions=22445
0.95 nbAssignments=70 nbFailedAssignments=19 nbBacktracks=27 nbVisitedNodes=105 nbRestartNogoods=3 mapSize=23
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.088 cpuTime=0.05 mem=15M359
0.97
0.97 search
0.97 run=2 nbConstraintChecks=192439 nbPropagations=4624 nbRevisions=58893 nbUselessRevisions=49065
0.97 nbAssignments=116 nbFailedAssignments=31 nbBacktracks=51 nbVisitedNodes=177 nbRestartNogoods=6 mapSize=41
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.103 cpuTime=0.08 mem=15M359
0.98
0.98 search
0.98 run=3 nbConstraintChecks=298040 nbPropagations=8222 nbRevisions=107190 nbUselessRevisions=88969
0.98 nbAssignments=173 nbFailedAssignments=47 nbBacktracks=84 nbVisitedNodes=270 nbRestartNogoods=8 mapSize=69
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.121 cpuTime=0.09 mem=15M359
1.01
1.01 search
1.01 run=4 nbConstraintChecks=457250 nbPropagations=13732 nbRevisions=184109 nbUselessRevisions=152309
1.01 nbAssignments=262 nbFailedAssignments=77 nbBacktracks=134 nbVisitedNodes=420 nbRestartNogoods=10 mapSize=113
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.152 cpuTime=0.12 mem=15M359
1.06
1.06 search
1.06 run=5 nbConstraintChecks=657239 nbPropagations=21951 nbRevisions=300245 nbUselessRevisions=248175
1.06 nbAssignments=400 nbFailedAssignments=127 nbBacktracks=210 nbVisitedNodes=650 nbRestartNogoods=15 mapSize=177
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.191 cpuTime=0.16 mem=15M359
1.11
1.11 search
1.11 run=6 nbConstraintChecks=1007809 nbPropagations=34213 nbRevisions=476469 nbUselessRevisions=392774
1.11 nbAssignments=609 nbFailedAssignments=211 nbBacktracks=328 nbVisitedNodes=1008 nbRestartNogoods=22 mapSize=280
1.11 nbInferences=0 nbTooLargeKeys=0
1.11 => wckTime=0.25 cpuTime=0.22 mem=15M359
1.19
1.19 search
1.19 run=7 nbConstraintChecks=1452315 nbPropagations=51687 nbRevisions=730838 nbUselessRevisions=601667
1.19 nbAssignments=877 nbFailedAssignments=301 nbBacktracks=498 nbVisitedNodes=1449 nbRestartNogoods=24 mapSize=414
1.19 nbInferences=0 nbTooLargeKeys=0
1.19 => wckTime=0.323 cpuTime=0.29 mem=15M359
1.30
1.30 search
1.30 run=8 nbConstraintChecks=2074588 nbPropagations=77027 nbRevisions=1101149 nbUselessRevisions=905285
1.30 nbAssignments=1302 nbFailedAssignments=461 nbBacktracks=755 nbVisitedNodes=2163 nbRestartNogoods=27
1.30 mapSize=621 nbInferences=0 nbTooLargeKeys=0
1.30 => wckTime=0.433 cpuTime=0.39 mem=15M359
1.46
1.46 search
1.46 run=9 nbConstraintChecks=2963764 nbPropagations=114077 nbRevisions=1655207 nbUselessRevisions=1360511
1.46 nbAssignments=1967 nbFailedAssignments=730 nbBacktracks=1141 nbVisitedNodes=3288 nbRestartNogoods=31
1.46 mapSize=939 nbInferences=0 nbTooLargeKeys=0
1.46 => wckTime=0.6 cpuTime=0.55 mem=15M359
1.51
1.51 INFO : Stopping hyperNogood (mapSize=1022, nbTooLargekeys=0, mem=15M359)
1.71
1.71 search
1.71 run=10 nbConstraintChecks=4696187 nbPropagations=170735 nbRevisions=2507813 nbUselessRevisions=2058053
1.71 nbAssignments=2949 nbFailedAssignments=1125 nbBacktracks=1719 nbVisitedNodes=4998 nbRestartNogoods=38
1.72 => wckTime=0.852 cpuTime=0.79 mem=15M359
2.02
2.02 search
2.02 run=11 nbConstraintChecks=6679493 nbPropagations=253980 nbRevisions=3765583 nbUselessRevisions=3091084
2.02 nbAssignments=4360 nbFailedAssignments=1663 nbBacktracks=2583 nbVisitedNodes=7425 nbRestartNogoods=46
2.02 => wckTime=1.155 cpuTime=1.09 mem=15M359
2.61
2.61 search
2.61 run=12 nbConstraintChecks=11005924 nbPropagations=385637 nbRevisions=5786192 nbUselessRevisions=4748301
2.61 nbAssignments=6728 nbFailedAssignments=2724 nbBacktracks=3881 nbVisitedNodes=11644 nbRestartNogoods=53
2.61 => wckTime=1.747 cpuTime=1.68 mem=15M359
3.25
3.25 search
3.25 run=13 nbConstraintChecks=15483325 nbPropagations=572393 nbRevisions=8631857 nbUselessRevisions=7082071
3.25 nbAssignments=9692 nbFailedAssignments=3728 nbBacktracks=5828 nbVisitedNodes=16562 nbRestartNogoods=59
3.25 => wckTime=2.383 cpuTime=2.32 mem=15M359
4.28
4.28 search
4.28 run=14 nbConstraintChecks=22476354 nbPropagations=848772 nbRevisions=12846645 nbUselessRevisions=10543193
4.28 nbAssignments=14368 nbFailedAssignments=5475 nbBacktracks=8748 nbVisitedNodes=24531 nbRestartNogoods=67
4.28 => wckTime=3.416 cpuTime=3.35 mem=15M359
5.91
5.91 search
5.91 run=15 nbConstraintChecks=33947098 nbPropagations=1262351 nbRevisions=19196625 nbUselessRevisions=15752817
5.91 nbAssignments=21567 nbFailedAssignments=8285 nbBacktracks=13129 nbVisitedNodes=36901 nbRestartNogoods=74
5.91 => wckTime=5.045 cpuTime=4.98 mem=15M359
8.27
8.27 search
8.27 run=16 nbConstraintChecks=50557053 nbPropagations=1875338 nbRevisions=28637709 nbUselessRevisions=23499822
8.27 nbAssignments=32037 nbFailedAssignments=12175 nbBacktracks=19701 nbVisitedNodes=54719 nbRestartNogoods=86
8.27 => wckTime=7.405 cpuTime=7.33 mem=15M359
11.92
11.92 search
11.92 run=17 nbConstraintChecks=76773573 nbPropagations=2794823 nbRevisions=42761185 nbUselessRevisions=35070288
11.92 nbAssignments=47647 nbFailedAssignments=17922 nbBacktracks=29554 nbVisitedNodes=81239 nbRestartNogoods=94
11.92 => wckTime=11.053 cpuTime=10.98 mem=15M359
17.32
17.32 search
17.32 run=18 nbConstraintChecks=114306660 nbPropagations=4180682 nbRevisions=64044497 nbUselessRevisions=52527430
17.32 nbAssignments=71565 nbFailedAssignments=27051 nbBacktracks=44332 nbVisitedNodes=122487 nbRestartNogoods=107
17.32 => wckTime=16.454 cpuTime=16.38 mem=15M359
25.15
25.15 search
25.15 run=19 nbConstraintChecks=168402281 nbPropagations=6235600 nbRevisions=95736805 nbUselessRevisions=78555634
25.15 nbAssignments=107019 nbFailedAssignments=40329 nbBacktracks=66501 nbVisitedNodes=182594 nbRestartNogoods=125
25.15 => wckTime=24.285 cpuTime=24.19 mem=15M359
36.45
36.45 search
36.45 run=20 nbConstraintChecks=247280965 nbPropagations=9267447 nbRevisions=142089923 nbUselessRevisions=116587218
36.45 nbAssignments=158770 nbFailedAssignments=58816 nbBacktracks=99753 nbVisitedNodes=269775 nbRestartNogoods=133
36.45 => wckTime=35.592 cpuTime=35.48 mem=15M359
55.47
55.47 search
55.47 run=21 nbConstraintChecks=384494257 nbPropagations=13905708 nbRevisions=213384310 nbUselessRevisions=175083724
55.47 nbAssignments=240437 nbFailedAssignments=90597 nbBacktracks=149631 nbVisitedNodes=410101 nbRestartNogoods=148
55.47 => wckTime=54.603 cpuTime=54.48 mem=15M359
82.90
82.90 search
82.90 run=22 nbConstraintChecks=584602288 nbPropagations=20867230 nbRevisions=319935668 nbUselessRevisions=262371909
82.90 nbAssignments=358551 nbFailedAssignments=133887 nbBacktracks=224449 nbVisitedNodes=609871 nbRestartNogoods=159
82.90 => wckTime=82.041 cpuTime=81.89 mem=15M359
122.74
122.74 search
122.74 run=23 nbConstraintChecks=859762606 nbPropagations=31253564 nbRevisions=479887843 nbUselessRevisions=393770366
122.74 nbAssignments=536987 nbFailedAssignments=200088 nbBacktracks=336676 nbVisitedNodes=913674 nbRestartNogoods=165
122.74 => wckTime=121.879 cpuTime=121.69 mem=15M359
185.54
185.54 search
185.54 run=24 nbConstraintChecks=1319516789 nbPropagations=46891111 nbRevisions=720518095 nbUselessRevisions=591065222
185.54 nbAssignments=804393 nbFailedAssignments=299143 nbBacktracks=505017 nbVisitedNodes=1367937 nbRestartNogoods=177
185.54 => wckTime=184.679 cpuTime=184.43 mem=15M359
275.30
275.30 search
275.30 run=25 nbConstraintChecks=1949525429 nbPropagations=70187269 nbRevisions=1079405017
275.30 nbUselessRevisions=885653588 nbAssignments=1203307 nbFailedAssignments=445533 nbBacktracks=757529
275.30 nbVisitedNodes=2044621 nbRestartNogoods=193
275.30 => wckTime=274.441 cpuTime=274.1 mem=15M359
421.78
421.78 search
421.78 run=26 nbConstraintChecks=3014326605 nbPropagations=105749272 nbRevisions=1627600389
421.78 nbUselessRevisions=1335116186 nbAssignments=1817795 nbFailedAssignments=681244 nbBacktracks=1136299
421.78 nbVisitedNodes=3098548 nbRestartNogoods=211
421.78 => wckTime=420.916 cpuTime=420.44 mem=15M359
560.88
560.88 search
560.88 run=27 nbConstraintChecks=3986034545 nbPropagations=153190612 nbRevisions=2358303380
560.88 nbUselessRevisions=1934526352 nbAssignments=2439144 nbFailedAssignments=904673 nbBacktracks=1534169
560.88 nbVisitedNodes=4149449 nbRestartNogoods=224
560.88 => wckTime=560.015 cpuTime=559.37 mem=15M359
560.88
560.88 global
560.88 nbConstraintChecks=3986034545 nbPropagations=153190662 nbRevisions=2358303380 nbUselessRevisions=1934526352
560.88 nbRestartNogoods=224 solvingWckTime=560.018 solvingCpuTime=559.37 expiredTime=no totalExploration=no
560.88 nbFoundSolutions=1 globalCpuTime=559.81
560.88 => wckTime=560.585 cpuTime=559.77 mem=15M359
560.88
560.88 s SATISFIABLE
560.88 v 9 4 19 12 7 7 2 1 18 20 12 14 5 15 12 17 14 1 2 14 7 5 4 1 21 6 21 17 12 16 14 21 15 5 14 8 5 8 22 21 20 11 4 5 11 17 6 17 12 16
560.88 d NODES 2439144
560.88 d CHECKS 3986034545
560.88
560.88 totalWckTime=560.662 totalCpuTime=559.81
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node14/watcher-194263-1168069347 -o ROOT/results/node14/solver-194263-1168069347 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/194263-1168069347/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.02 1.37 1.70 3/86 23841
/proc/meminfo: memFree=1332912/2055920 swapFree=4182236/4192956
[pid=23840] ppid=23838 vsize=1784 CPUtime=0
/proc/23840/stat : 23840 (java) D 23838 23840 23717 0 -1 0 374 0 0 0 0 0 0 0 18 0 1 0 155330647 1826816 163 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 6927140 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/23840/statm: 446 163 128 14 0 91 0
[startup+0.109786 s]
/proc/loadavg: 1.02 1.37 1.70 3/86 23841
/proc/meminfo: memFree=1332912/2055920 swapFree=4182236/4192956
[pid=23840] ppid=23838 vsize=914988 CPUtime=0.09
/proc/23840/stat : 23840 (java) R 23838 23840 23717 0 -1 0 3088 0 1 0 7 2 0 0 22 0 8 0 155330647 936947712 2834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23840/statm: 228747 2834 1457 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.517827 s]
/proc/loadavg: 1.02 1.37 1.70 3/86 23841
/proc/meminfo: memFree=1332912/2055920 swapFree=4182236/4192956
[pid=23840] ppid=23838 vsize=915328 CPUtime=0.5
/proc/23840/stat : 23840 (java) R 23838 23840 23717 0 -1 0 7255 0 1 0 45 5 0 0 25 0 8 0 155330647 937295872 6994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23840/statm: 228832 6994 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.34091 s]
/proc/loadavg: 1.02 1.37 1.70 3/93 23848
/proc/meminfo: memFree=1305080/2055920 swapFree=4182236/4192956
[pid=23840] ppid=23838 vsize=915460 CPUtime=1.32
/proc/23840/stat : 23840 (java) R 23838 23840 23717 0 -1 0 9596 0 1 0 124 8 0 0 25 0 8 0 155330647 937431040 9334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072942949 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23840/statm: 228865 9334 2513 14 0 215335 0
[pid=23840/tid=23842] ppid=23838 vsize=915460 CPUtime=0.03
/proc/23840/task/23842/stat : 23842 (java) S 23838 23840 23717 0 -1 64 405 0 0 0 3 0 0 0 16 0 8 0 155330651 937431040 9334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23843] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23843/stat : 23843 (java) S 23838 23840 23717 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155330651 937431040 9334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23844] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23844/stat : 23844 (java) S 23838 23840 23717 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155330651 937431040 9334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23845] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23845/stat : 23845 (java) S 23838 23840 23717 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155330654 937431040 9334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23846] ppid=23838 vsize=915460 CPUtime=0.21
/proc/23840/task/23846/stat : 23846 (java) S 23838 23840 23717 0 -1 64 382 0 0 0 20 1 0 0 15 0 8 0 155330654 937431040 9334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23847] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23847/stat : 23847 (java) S 23838 23840 23717 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155330654 937431040 9334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23848] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23848/stat : 23848 (java) S 23838 23840 23717 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155330654 937431040 9334 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915460
[startup+2.99206 s]
/proc/loadavg: 1.02 1.37 1.70 3/93 23848
/proc/meminfo: memFree=1304824/2055920 swapFree=4182236/4192956
[pid=23840] ppid=23838 vsize=915460 CPUtime=2.97
/proc/23840/stat : 23840 (java) R 23838 23840 23717 0 -1 0 9611 0 1 0 289 8 0 0 25 0 8 0 155330647 937431040 9348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073823737 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23840/statm: 228865 9348 2513 14 0 215335 0
[pid=23840/tid=23842] ppid=23838 vsize=915460 CPUtime=0.03
/proc/23840/task/23842/stat : 23842 (java) S 23838 23840 23717 0 -1 64 405 0 0 0 3 0 0 0 17 0 8 0 155330651 937431040 9348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23843] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23843/stat : 23843 (java) S 23838 23840 23717 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155330651 937431040 9348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23844] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23844/stat : 23844 (java) S 23838 23840 23717 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155330651 937431040 9348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23845] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23845/stat : 23845 (java) S 23838 23840 23717 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155330654 937431040 9348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23846] ppid=23838 vsize=915460 CPUtime=0.24
/proc/23840/task/23846/stat : 23846 (java) S 23838 23840 23717 0 -1 64 396 0 0 0 23 1 0 0 15 0 8 0 155330654 937431040 9348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23847] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23847/stat : 23847 (java) S 23838 23840 23717 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155330654 937431040 9348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23848] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23848/stat : 23848 (java) S 23838 23840 23717 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155330654 937431040 9348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 915460
[startup+6.27137 s]
/proc/loadavg: 1.10 1.38 1.70 3/93 23848
/proc/meminfo: memFree=1304248/2055920 swapFree=4182236/4192956
[pid=23840] ppid=23838 vsize=915460 CPUtime=6.24
/proc/23840/stat : 23840 (java) R 23838 23840 23717 0 -1 0 9612 0 1 0 616 8 0 0 25 0 8 0 155330647 937431040 9348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073861082 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23840/statm: 228865 9348 2513 14 0 215335 0
[pid=23840/tid=23842] ppid=23838 vsize=915460 CPUtime=0.03
/proc/23840/task/23842/stat : 23842 (java) S 23838 23840 23717 0 -1 64 405 0 0 0 3 0 0 0 16 0 8 0 155330651 937431040 9348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23843] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23843/stat : 23843 (java) S 23838 23840 23717 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155330651 937431040 9348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23844] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23844/stat : 23844 (java) S 23838 23840 23717 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155330651 937431040 9348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23845] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23845/stat : 23845 (java) S 23838 23840 23717 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155330654 937431040 9348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23846] ppid=23838 vsize=915460 CPUtime=0.24
/proc/23840/task/23846/stat : 23846 (java) S 23838 23840 23717 0 -1 64 396 0 0 0 23 1 0 0 15 0 8 0 155330654 937431040 9348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23847] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23847/stat : 23847 (java) S 23838 23840 23717 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155330654 937431040 9348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23848] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23848/stat : 23848 (java) S 23838 23840 23717 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155330654 937431040 9348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915460
[startup+12.764 s]
/proc/loadavg: 1.17 1.39 1.70 3/93 23848
/proc/meminfo: memFree=1303096/2055920 swapFree=4182236/4192956
[pid=23840] ppid=23838 vsize=915460 CPUtime=12.74
/proc/23840/stat : 23840 (java) R 23838 23840 23717 0 -1 0 9612 0 1 0 1266 8 0 0 25 0 8 0 155330647 937431040 9348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073837158 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23840/statm: 228865 9348 2513 14 0 215335 0
[pid=23840/tid=23842] ppid=23838 vsize=915460 CPUtime=0.03
/proc/23840/task/23842/stat : 23842 (java) S 23838 23840 23717 0 -1 64 405 0 0 0 3 0 0 0 16 0 8 0 155330651 937431040 9348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23843] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23843/stat : 23843 (java) S 23838 23840 23717 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155330651 937431040 9348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23844] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23844/stat : 23844 (java) S 23838 23840 23717 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155330651 937431040 9348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23845] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23845/stat : 23845 (java) S 23838 23840 23717 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155330654 937431040 9348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23846] ppid=23838 vsize=915460 CPUtime=0.24
/proc/23840/task/23846/stat : 23846 (java) S 23838 23840 23717 0 -1 64 396 0 0 0 23 1 0 0 16 0 8 0 155330654 937431040 9348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23847] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23847/stat : 23847 (java) S 23838 23840 23717 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155330654 937431040 9348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23848] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23848/stat : 23848 (java) S 23838 23840 23717 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155330654 937431040 9348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.74
Current children cumulated vsize (KiB) 915460
[startup+25.6182 s]
/proc/loadavg: 1.35 1.42 1.71 3/93 23848
/proc/meminfo: memFree=1301432/2055920 swapFree=4182236/4192956
[pid=23840] ppid=23838 vsize=915460 CPUtime=25.56
/proc/23840/stat : 23840 (java) R 23838 23840 23717 0 -1 0 9612 0 1 0 2548 8 0 0 25 0 8 0 155330647 937431040 9348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073821623 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23840/statm: 228865 9348 2513 14 0 215335 0
[pid=23840/tid=23842] ppid=23838 vsize=915460 CPUtime=0.03
/proc/23840/task/23842/stat : 23842 (java) S 23838 23840 23717 0 -1 64 405 0 0 0 3 0 0 0 16 0 8 0 155330651 937431040 9348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23843] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23843/stat : 23843 (java) S 23838 23840 23717 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155330651 937431040 9348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23844] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23844/stat : 23844 (java) S 23838 23840 23717 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155330651 937431040 9348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23845] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23845/stat : 23845 (java) S 23838 23840 23717 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155330654 937431040 9348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23846] ppid=23838 vsize=915460 CPUtime=0.24
/proc/23840/task/23846/stat : 23846 (java) S 23838 23840 23717 0 -1 64 396 0 0 0 23 1 0 0 16 0 8 0 155330654 937431040 9348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23847] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23847/stat : 23847 (java) S 23838 23840 23717 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155330654 937431040 9348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23848] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23848/stat : 23848 (java) S 23838 23840 23717 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155330654 937431040 9348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.56
Current children cumulated vsize (KiB) 915460
[startup+51.2476 s]
/proc/loadavg: 1.57 1.47 1.72 3/93 23848
/proc/meminfo: memFree=1298552/2055920 swapFree=4182236/4192956
[pid=23840] ppid=23838 vsize=915460 CPUtime=51.17
/proc/23840/stat : 23840 (java) R 23838 23840 23717 0 -1 0 9614 0 1 0 5109 8 0 0 25 0 8 0 155330647 937431040 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073813795 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23840/statm: 228865 9349 2513 14 0 215335 0
[pid=23840/tid=23842] ppid=23838 vsize=915460 CPUtime=0.03
/proc/23840/task/23842/stat : 23842 (java) S 23838 23840 23717 0 -1 64 405 0 0 0 3 0 0 0 16 0 8 0 155330651 937431040 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23843] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23843/stat : 23843 (java) S 23838 23840 23717 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155330651 937431040 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23844] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23844/stat : 23844 (java) S 23838 23840 23717 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155330651 937431040 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23845] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23845/stat : 23845 (java) S 23838 23840 23717 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155330654 937431040 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23846] ppid=23838 vsize=915460 CPUtime=0.24
/proc/23840/task/23846/stat : 23846 (java) S 23838 23840 23717 0 -1 64 397 0 0 0 23 1 0 0 16 0 8 0 155330654 937431040 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23847] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23847/stat : 23847 (java) S 23838 23840 23717 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155330654 937431040 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23848] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23848/stat : 23848 (java) S 23838 23840 23717 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155330654 937431040 9349 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.17
Current children cumulated vsize (KiB) 915460
[startup+102.496 s]
/proc/loadavg: 1.81 1.55 1.73 3/93 23848
/proc/meminfo: memFree=1294072/2055920 swapFree=4182236/4192956
[pid=23840] ppid=23838 vsize=915460 CPUtime=102.38
/proc/23840/stat : 23840 (java) R 23838 23840 23717 0 -1 0 9615 0 1 0 10229 9 0 0 25 0 8 0 155330647 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918564 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23840/statm: 228865 9350 2513 14 0 215335 0
[pid=23840/tid=23842] ppid=23838 vsize=915460 CPUtime=0.03
/proc/23840/task/23842/stat : 23842 (java) S 23838 23840 23717 0 -1 64 405 0 0 0 3 0 0 0 16 0 8 0 155330651 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23843] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23843/stat : 23843 (java) S 23838 23840 23717 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155330651 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23844] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23844/stat : 23844 (java) S 23838 23840 23717 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155330651 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23845] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23845/stat : 23845 (java) S 23838 23840 23717 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155330654 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23846] ppid=23838 vsize=915460 CPUtime=0.24
/proc/23840/task/23846/stat : 23846 (java) S 23838 23840 23717 0 -1 64 398 0 0 0 23 1 0 0 16 0 8 0 155330654 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23847] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23847/stat : 23847 (java) S 23838 23840 23717 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155330654 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23848] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23848/stat : 23848 (java) S 23838 23840 23717 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155330654 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.38
Current children cumulated vsize (KiB) 915460
[startup+162.596 s]
/proc/loadavg: 1.93 1.63 1.74 3/93 23848
/proc/meminfo: memFree=1291000/2055920 swapFree=4182236/4192956
[pid=23840] ppid=23838 vsize=915460 CPUtime=162.41
/proc/23840/stat : 23840 (java) R 23838 23840 23717 0 -1 0 9615 0 1 0 16232 9 0 0 25 0 8 0 155330647 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073837142 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23840/statm: 228865 9350 2513 14 0 215335 0
[pid=23840/tid=23842] ppid=23838 vsize=915460 CPUtime=0.03
/proc/23840/task/23842/stat : 23842 (java) S 23838 23840 23717 0 -1 64 405 0 0 0 3 0 0 0 16 0 8 0 155330651 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23843] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23843/stat : 23843 (java) S 23838 23840 23717 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155330651 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23844] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23844/stat : 23844 (java) S 23838 23840 23717 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155330651 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23845] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23845/stat : 23845 (java) S 23838 23840 23717 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155330654 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23846] ppid=23838 vsize=915460 CPUtime=0.24
/proc/23840/task/23846/stat : 23846 (java) S 23838 23840 23717 0 -1 64 398 0 0 0 23 1 0 0 16 0 8 0 155330654 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23847] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23847/stat : 23847 (java) S 23838 23840 23717 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155330654 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23848] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23848/stat : 23848 (java) S 23838 23840 23717 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155330654 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.41
Current children cumulated vsize (KiB) 915460
[startup+222.608 s]
/proc/loadavg: 1.97 1.69 1.75 3/93 23848
/proc/meminfo: memFree=1284472/2055920 swapFree=4182236/4192956
[pid=23840] ppid=23838 vsize=915460 CPUtime=222.36
/proc/23840/stat : 23840 (java) R 23838 23840 23717 0 -1 0 9615 0 1 0 22227 9 0 0 25 0 8 0 155330647 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073848057 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23840/statm: 228865 9350 2513 14 0 215335 0
[pid=23840/tid=23842] ppid=23838 vsize=915460 CPUtime=0.03
/proc/23840/task/23842/stat : 23842 (java) S 23838 23840 23717 0 -1 64 405 0 0 0 3 0 0 0 16 0 8 0 155330651 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23843] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23843/stat : 23843 (java) S 23838 23840 23717 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155330651 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23844] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23844/stat : 23844 (java) S 23838 23840 23717 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155330651 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23845] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23845/stat : 23845 (java) S 23838 23840 23717 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155330654 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23846] ppid=23838 vsize=915460 CPUtime=0.24
/proc/23840/task/23846/stat : 23846 (java) S 23838 23840 23717 0 -1 64 398 0 0 0 23 1 0 0 16 0 8 0 155330654 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23847] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23847/stat : 23847 (java) S 23838 23840 23717 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155330654 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23848] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23848/stat : 23848 (java) S 23838 23840 23717 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155330654 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.36
Current children cumulated vsize (KiB) 915460
[startup+282.624 s]
/proc/loadavg: 1.99 1.74 1.77 4/93 23848
/proc/meminfo: memFree=1274168/2055920 swapFree=4182236/4192956
[pid=23840] ppid=23838 vsize=915460 CPUtime=282.33
/proc/23840/stat : 23840 (java) R 23838 23840 23717 0 -1 0 9615 0 1 0 28223 10 0 0 25 0 8 0 155330647 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073837142 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23840/statm: 228865 9350 2513 14 0 215335 0
[pid=23840/tid=23842] ppid=23838 vsize=915460 CPUtime=0.03
/proc/23840/task/23842/stat : 23842 (java) S 23838 23840 23717 0 -1 64 405 0 0 0 3 0 0 0 16 0 8 0 155330651 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23843] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23843/stat : 23843 (java) S 23838 23840 23717 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155330651 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23844] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23844/stat : 23844 (java) S 23838 23840 23717 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155330651 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23845] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23845/stat : 23845 (java) S 23838 23840 23717 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155330654 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23846] ppid=23838 vsize=915460 CPUtime=0.24
/proc/23840/task/23846/stat : 23846 (java) S 23838 23840 23717 0 -1 64 398 0 0 0 23 1 0 0 16 0 8 0 155330654 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23847] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23847/stat : 23847 (java) S 23838 23840 23717 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155330654 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23848] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23848/stat : 23848 (java) S 23838 23840 23717 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155330654 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.33
Current children cumulated vsize (KiB) 915460
[startup+342.634 s]
/proc/loadavg: 1.99 1.79 1.78 3/93 23848
/proc/meminfo: memFree=1264568/2055920 swapFree=4182236/4192956
[pid=23840] ppid=23838 vsize=915460 CPUtime=342.27
/proc/23840/stat : 23840 (java) R 23838 23840 23717 0 -1 0 9615 0 1 0 34217 10 0 0 25 0 8 0 155330647 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073833925 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23840/statm: 228865 9350 2513 14 0 215335 0
[pid=23840/tid=23842] ppid=23838 vsize=915460 CPUtime=0.03
/proc/23840/task/23842/stat : 23842 (java) S 23838 23840 23717 0 -1 64 405 0 0 0 3 0 0 0 16 0 8 0 155330651 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23843] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23843/stat : 23843 (java) S 23838 23840 23717 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155330651 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23844] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23844/stat : 23844 (java) S 23838 23840 23717 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155330651 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23845] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23845/stat : 23845 (java) S 23838 23840 23717 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155330654 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23846] ppid=23838 vsize=915460 CPUtime=0.24
/proc/23840/task/23846/stat : 23846 (java) S 23838 23840 23717 0 -1 64 398 0 0 0 23 1 0 0 16 0 8 0 155330654 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23847] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23847/stat : 23847 (java) S 23838 23840 23717 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155330654 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23848] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23848/stat : 23848 (java) S 23838 23840 23717 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155330654 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 915460
[startup+402.638 s]
/proc/loadavg: 2.07 1.84 1.79 3/93 23848
/proc/meminfo: memFree=1259384/2055920 swapFree=4182236/4192956
[pid=23840] ppid=23838 vsize=915460 CPUtime=402.22
/proc/23840/stat : 23840 (java) R 23838 23840 23717 0 -1 0 9615 0 1 0 40212 10 0 0 25 0 8 0 155330647 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073839608 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23840/statm: 228865 9350 2513 14 0 215335 0
[pid=23840/tid=23842] ppid=23838 vsize=915460 CPUtime=0.03
/proc/23840/task/23842/stat : 23842 (java) S 23838 23840 23717 0 -1 64 405 0 0 0 3 0 0 0 16 0 8 0 155330651 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23843] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23843/stat : 23843 (java) S 23838 23840 23717 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155330651 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23844] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23844/stat : 23844 (java) S 23838 23840 23717 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155330651 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23845] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23845/stat : 23845 (java) S 23838 23840 23717 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155330654 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23846] ppid=23838 vsize=915460 CPUtime=0.24
/proc/23840/task/23846/stat : 23846 (java) S 23838 23840 23717 0 -1 64 398 0 0 0 23 1 0 0 16 0 8 0 155330654 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23847] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23847/stat : 23847 (java) S 23838 23840 23717 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155330654 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23848] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23848/stat : 23848 (java) S 23838 23840 23717 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155330654 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 915460
[startup+462.646 s]
/proc/loadavg: 2.03 1.87 1.81 3/93 23848
/proc/meminfo: memFree=1254904/2055920 swapFree=4182236/4192956
[pid=23840] ppid=23838 vsize=915460 CPUtime=462.16
/proc/23840/stat : 23840 (java) R 23838 23840 23717 0 -1 0 9615 0 1 0 46206 10 0 0 25 0 8 0 155330647 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073837142 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23840/statm: 228865 9350 2513 14 0 215335 0
[pid=23840/tid=23842] ppid=23838 vsize=915460 CPUtime=0.03
/proc/23840/task/23842/stat : 23842 (java) S 23838 23840 23717 0 -1 64 405 0 0 0 3 0 0 0 16 0 8 0 155330651 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23843] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23843/stat : 23843 (java) S 23838 23840 23717 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155330651 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23844] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23844/stat : 23844 (java) S 23838 23840 23717 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155330651 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23845] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23845/stat : 23845 (java) S 23838 23840 23717 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155330654 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23846] ppid=23838 vsize=915460 CPUtime=0.24
/proc/23840/task/23846/stat : 23846 (java) S 23838 23840 23717 0 -1 64 398 0 0 0 23 1 0 0 16 0 8 0 155330654 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23847] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23847/stat : 23847 (java) S 23838 23840 23717 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155330654 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23848] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23848/stat : 23848 (java) S 23838 23840 23717 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155330654 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 915460
[startup+522.659 s]
/proc/loadavg: 2.01 1.89 1.82 3/93 23848
/proc/meminfo: memFree=1244536/2055920 swapFree=4182236/4192956
[pid=23840] ppid=23838 vsize=915460 CPUtime=522.1
/proc/23840/stat : 23840 (java) R 23838 23840 23717 0 -1 0 9615 0 1 0 52200 10 0 0 25 0 8 0 155330647 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073851410 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23840/statm: 228865 9350 2513 14 0 215335 0
[pid=23840/tid=23842] ppid=23838 vsize=915460 CPUtime=0.03
/proc/23840/task/23842/stat : 23842 (java) S 23838 23840 23717 0 -1 64 405 0 0 0 3 0 0 0 16 0 8 0 155330651 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23843] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23843/stat : 23843 (java) S 23838 23840 23717 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155330651 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23844] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23844/stat : 23844 (java) S 23838 23840 23717 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155330651 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23845] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23845/stat : 23845 (java) S 23838 23840 23717 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155330654 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23846] ppid=23838 vsize=915460 CPUtime=0.24
/proc/23840/task/23846/stat : 23846 (java) S 23838 23840 23717 0 -1 64 398 0 0 0 23 1 0 0 16 0 8 0 155330654 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23847] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23847/stat : 23847 (java) S 23838 23840 23717 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155330654 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23840/tid=23848] ppid=23838 vsize=915460 CPUtime=0
/proc/23840/task/23848/stat : 23848 (java) S 23838 23840 23717 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155330654 937431040 9350 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 560.921
CPU time (s): 560.31
CPU user time (s): 560.192
CPU system time (s): 0.117982
CPU usage (%): 99.8911
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 560.192
system time used= 0.117982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9622
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= 12518
involuntary context switches= 26508
runsolver used 0.705892 s user time and 1.78573 s system time
The end
Begin job on node14 on Sat Jan 6 07:42:35 UTC 2007
IDJOB= 194263
IDBENCH= 3205
FILE ID= node14/194263-1168069347
PBS_JOBID= 3475707
Free space on /tmp= 66328 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-50-23/rand-2-50-23-587-230-50_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/194263-1168069347/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-194263-1168069347 -o ROOT/results/node14/solver-194263-1168069347 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/194263-1168069347/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 2a9a137dbf54b6c95e22add6928077b6
RANDOM SEED= 239373423
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.227
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.227
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: 1333840 kB
Buffers: 57328 kB
Cached: 342216 kB
SwapCached: 3696 kB
Active: 279180 kB
Inactive: 343140 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1333840 kB
SwapTotal: 4192956 kB
SwapFree: 4182236 kB
Dirty: 2132 kB
Writeback: 0 kB
Mapped: 235676 kB
Slab: 84384 kB
Committed_AS: 4812780 kB
PageTables: 2548 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= 66328 MiB
End job on node14 on Sat Jan 6 07:51:58 UTC 2007