0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=pfc.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/281432-1169312255/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.38 nbVariables=15 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.38 => wckTime=0.094 cpuTime=0.09 mem=6M910
0.38
0.38 relations being loaded...
0.43
0.43 constraints being loaded...
0.48 nbConstraints=105 nbRelationTypes=105 nbExtensionStructures=105 nbSharedExtensionStructures=0
0.48 nbConflictsStructures=105 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2015 maxDegree=14
0.48 maxArity=2
0.48 => wckTime=0.194 cpuTime=0.15 mem=8M877
0.52
0.52 solver LocalSearchSolver being built...
0.56 => wckTime=0.275 cpuTime=0.19 mem=5M461
0.57
0.57 s SATISFIABLE
0.57 o 14
0.57 c 91
0.57 o 17
0.57 c 88
0.57 o 19
0.57 c 86
0.57 o 21
0.57 c 84
0.57 o 24
0.57 c 81
0.57 o 25
0.57 c 80
0.57 o 26
0.57 c 79
0.57 o 28
0.57 c 77
0.57 o 29
0.57 c 76
0.58 o 32
0.58 c 73
0.58 o 33
0.58 c 72
0.58 o 35
0.58 c 70
2.53
2.53 search
2.53 run=0 nbConstraintChecks=14859559 nbAssignments=10000
2.53 => wckTime=1.97 cpuTime=1.94 mem=5M461
4.44
4.44 search
4.44 run=1 nbConstraintChecks=29761375 nbAssignments=20000
4.44 => wckTime=3.876 cpuTime=3.83 mem=5M461
6.35
6.35 search
6.35 run=2 nbConstraintChecks=44671638 nbAssignments=30000
6.35 => wckTime=5.785 cpuTime=5.72 mem=5M461
8.25
8.25 search
8.25 run=3 nbConstraintChecks=59595358 nbAssignments=40000
8.25 => wckTime=7.694 cpuTime=7.62 mem=5M461
10.16
10.16 search
10.16 run=4 nbConstraintChecks=74480676 nbAssignments=50000
10.16 => wckTime=9.596 cpuTime=9.51 mem=5M461
12.08
12.08 search
12.08 run=5 nbConstraintChecks=89402400 nbAssignments=60000
12.08 => wckTime=11.518 cpuTime=11.41 mem=5M461
14.01
14.01 search
14.01 run=6 nbConstraintChecks=104288903 nbAssignments=70000
14.01 => wckTime=13.446 cpuTime=13.33 mem=5M461
15.93
15.93 search
15.93 run=7 nbConstraintChecks=119170469 nbAssignments=80000
15.93 => wckTime=15.365 cpuTime=15.24 mem=5M461
17.85
17.85 search
17.85 run=8 nbConstraintChecks=134066305 nbAssignments=90000
17.85 => wckTime=17.285 cpuTime=17.14 mem=5M461
19.77
19.77 search
19.77 run=9 nbConstraintChecks=148954032 nbAssignments=100000
19.77 => wckTime=19.211 cpuTime=19.05 mem=5M461
21.72
21.72 search
21.72 run=10 nbConstraintChecks=163848490 nbAssignments=110000
21.72 => wckTime=21.158 cpuTime=20.96 mem=5M461
23.63
23.63 search
23.63 run=11 nbConstraintChecks=178769584 nbAssignments=120000
23.63 => wckTime=23.068 cpuTime=22.85 mem=5M461
25.54
25.54 search
25.54 run=12 nbConstraintChecks=193639276 nbAssignments=130000
25.54 => wckTime=24.976 cpuTime=24.74 mem=5M461
27.44
27.44 search
27.44 run=13 nbConstraintChecks=208535974 nbAssignments=140000
27.44 => wckTime=26.883 cpuTime=26.63 mem=5M461
29.35
29.35 search
29.35 run=14 nbConstraintChecks=223415777 nbAssignments=150000
29.35 => wckTime=28.787 cpuTime=28.52 mem=5M461
30.85
30.85 search
30.85 run=15 nbConstraintChecks=235131685 nbAssignments=157900
30.85 => wckTime=30.292 cpuTime=30.02 mem=5M461
30.86
30.86 global
30.86 nbConstraintChecks=235131685 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.86 solvingWckTime=30.291 solvingCpuTime=30.02 expiredTime=no totalExploration=no nbFoundSolutions=0
30.86 globalCpuTime=30.25
30.86 => wckTime=30.567 cpuTime=30.21 mem=5M461
30.86
30.86 solver IterativeSystematicSolver being built...
30.98 => wckTime=30.695 cpuTime=30.31 mem=16M368
30.99
30.99 preprocessing
30.99 nbConstraintChecks=2100 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
30.99 detectedInconsistency=no
30.99 => wckTime=0.0060 cpuTime=0.01 mem=16M368
31.05
31.05 search
31.05 run=0 nbConstraintChecks=110407 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=46
31.05 nbFailedAssignments=32 nbBacktracks=10 nbVisitedNodes=89 nbRestartNogoods=0
31.05 => wckTime=0.064 cpuTime=0.04 mem=16M368
31.10
31.10 search
31.10 run=1 nbConstraintChecks=290458 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=124
31.10 nbFailedAssignments=90 nbBacktracks=25 nbVisitedNodes=240 nbRestartNogoods=2
31.10 => wckTime=0.112 cpuTime=0.08 mem=16M368
31.14
31.14 search
31.14 run=2 nbConstraintChecks=473861 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=205
31.14 nbFailedAssignments=144 nbBacktracks=47 nbVisitedNodes=397 nbRestartNogoods=10
31.14 => wckTime=0.153 cpuTime=0.11 mem=16M368
31.19
31.19 search
31.19 run=3 nbConstraintChecks=788153 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=350
31.19 nbFailedAssignments=251 nbBacktracks=80 nbVisitedNodes=682 nbRestartNogoods=16
31.19 => wckTime=0.208 cpuTime=0.18 mem=16M368
31.28
31.28 search
31.28 run=4 nbConstraintChecks=1281523 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=566
31.28 nbFailedAssignments=412 nbBacktracks=130 nbVisitedNodes=1109 nbRestartNogoods=27
31.28 => wckTime=0.294 cpuTime=0.26 mem=16M368
31.40
31.40 search
31.40 run=5 nbConstraintChecks=2002653 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=867
31.40 nbFailedAssignments=632 nbBacktracks=205 nbVisitedNodes=1705 nbRestartNogoods=35
31.40 => wckTime=0.419 cpuTime=0.38 mem=16M368
31.58
31.58 search
31.58 run=6 nbConstraintChecks=3028735 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1303
31.58 nbFailedAssignments=951 nbBacktracks=318 nbVisitedNodes=2573 nbRestartNogoods=45
31.58 => wckTime=0.6 cpuTime=0.55 mem=16M368
31.89
31.89 search
31.89 run=7 nbConstraintChecks=4773792 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1990
31.89 nbFailedAssignments=1464 nbBacktracks=488 nbVisitedNodes=3943 nbRestartNogoods=56
31.89 => wckTime=0.904 cpuTime=0.84 mem=16M368
32.33
32.33 search
32.34 run=8 nbConstraintChecks=7551307 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3119
32.34 nbFailedAssignments=2333 nbBacktracks=744 nbVisitedNodes=6197 nbRestartNogoods=76
32.34 => wckTime=1.351 cpuTime=1.27 mem=16M368
32.92
32.92 search
32.92 run=9 nbConstraintChecks=11172064 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4626
32.92 nbFailedAssignments=3452 nbBacktracks=1128 nbVisitedNodes=9207 nbRestartNogoods=92
32.92 => wckTime=1.933 cpuTime=1.85 mem=16M368
33.83
33.83 search
33.83 run=10 nbConstraintChecks=16840296 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6945
33.83 nbFailedAssignments=5190 nbBacktracks=1704 nbVisitedNodes=13840 nbRestartNogoods=106
33.83 => wckTime=2.845 cpuTime=2.76 mem=16M368
35.25
35.25 search
35.25 run=11 nbConstraintChecks=25616519 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10510
35.25 nbFailedAssignments=7886 nbBacktracks=2568 nbVisitedNodes=20965 nbRestartNogoods=118
35.25 => wckTime=4.267 cpuTime=4.16 mem=16M368
37.41
37.41 search
37.41 run=12 nbConstraintChecks=39033257 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=15976
37.41 nbFailedAssignments=12051 nbBacktracks=3866 nbVisitedNodes=31894 nbRestartNogoods=128
37.41 => wckTime=6.422 cpuTime=6.3 mem=16M368
40.40
40.40 search
40.40 run=13 nbConstraintChecks=57484973 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=23749
40.40 nbFailedAssignments=17873 nbBacktracks=5812 nbVisitedNodes=47435 nbRestartNogoods=154
40.40 => wckTime=9.419 cpuTime=9.28 mem=16M368
45.31
45.31 search
45.31 run=14 nbConstraintChecks=88195835 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=36065
45.31 nbFailedAssignments=27266 nbBacktracks=8731 nbVisitedNodes=72063 nbRestartNogoods=169
45.31 => wckTime=14.321 cpuTime=14.14 mem=16M368
52.81
52.81 search
52.81 run=15 nbConstraintChecks=135033499 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=54828
52.81 nbFailedAssignments=41647 nbBacktracks=13109 nbVisitedNodes=109585 nbRestartNogoods=188
52.81 => wckTime=21.821 cpuTime=21.59 mem=16M368
63.84
63.84 search
63.84 run=16 nbConstraintChecks=202705054 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=82498
63.84 nbFailedAssignments=62745 nbBacktracks=19677 nbVisitedNodes=164921 nbRestartNogoods=209
63.84 => wckTime=32.855 cpuTime=32.54 mem=16M368
78.10
78.10 search
78.10 run=17 nbConstraintChecks=291352969 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=119855
78.10 nbFailedAssignments=90246 nbBacktracks=29529 nbVisitedNodes=239631 nbRestartNogoods=221
78.10 => wckTime=47.12 cpuTime=46.67 mem=16M368
103.05
103.05 search
103.05 run=18 nbConstraintChecks=444694599 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=182455
103.05 nbFailedAssignments=138064 nbBacktracks=44307 nbVisitedNodes=364827 nbRestartNogoods=242
103.05 => wckTime=72.064 cpuTime=71.43 mem=16M368
138.80
138.80 search
138.80 run=19 nbConstraintChecks=666994741 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=272532
138.80 nbFailedAssignments=205968 nbBacktracks=66475 nbVisitedNodes=544975 nbRestartNogoods=260
138.80 => wckTime=107.813 cpuTime=106.88 mem=16M368
198.58
198.58 search
198.58 run=20 nbConstraintChecks=1043234491 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=417868
198.58 nbFailedAssignments=318047 nbBacktracks=99727 nbVisitedNodes=835626 nbRestartNogoods=271
198.58 => wckTime=167.599 cpuTime=166.19 mem=16M368
284.25
284.25 search
284.25 run=21 nbConstraintChecks=1582911127 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=625418
284.25 nbFailedAssignments=475715 nbBacktracks=149605 nbVisitedNodes=1250548 nbRestartNogoods=289
284.25 => wckTime=253.264 cpuTime=250.93 mem=16M368
401.98
401.98 search
401.98 run=22 nbConstraintChecks=2334547443 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=908759
401.98 nbFailedAssignments=684233 nbBacktracks=224423 nbVisitedNodes=1815085 nbRestartNogoods=309
401.98 => wckTime=370.992 cpuTime=367.69 mem=16M368
457.62
457.62 search
457.62 run=23 nbConstraintChecks=2692002513 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1040006
457.62 nbFailedAssignments=777697 nbBacktracks=262207 nbVisitedNodes=2075171 nbRestartNogoods=330
457.62 => wckTime=426.632 cpuTime=422.89 mem=16M368
457.62
457.62 global
457.62 nbConstraintChecks=2692004613 nbRestartNogoods=330 solvingWckTime=426.633 solvingCpuTime=422.89 expiredTime=no
457.62 totalExploration=yes nbFoundSolutions=0 globalCpuTime=453.24
457.62 => wckTime=457.329 cpuTime=453.2 mem=16M368
457.62
457.62 s OPTIMUM FOUND
457.62 v 1 6 4 8 6 8 8 0 9 9 0 7 4 2 5
457.62
457.62 totalWckTime=457.405 totalCpuTime=453.24
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node75/watcher-281432-1169312255 -o ROOT/results/node75/solver-281432-1169312255 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281432-1169312255/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 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.89 1.90 1.73 4/74 31729
/proc/meminfo: memFree=1262520/2055920 swapFree=4184548/4192956
[pid=31728] ppid=31726 vsize=906644 CPUtime=0.02
/proc/31728/stat : 31728 (java) S 31726 31728 31069 0 -1 0 2065 0 1 0 1 1 0 0 18 0 2 0 279624893 928403456 1814 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/31728/statm: 226661 1814 1035 14 0 214244 0
[pid=31728/tid=31730] ppid=31726 vsize=906644 CPUtime=0
/proc/31728/task/31730/stat : 31730 (java) R 31726 31728 31069 0 -1 64 0 0 0 0 0 0 0 0 19 0 2 0 279624896 928403456 1814 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 7581656 0 4 0 7368 0 0 0 -1 0 0 0
[startup+0.102834 s]
/proc/loadavg: 1.89 1.90 1.73 4/74 31729
/proc/meminfo: memFree=1262520/2055920 swapFree=4184548/4192956
[pid=31728] ppid=31726 vsize=914988 CPUtime=0.08
/proc/31728/stat : 31728 (java) R 31726 31728 31069 0 -1 0 3065 0 1 0 7 1 0 0 23 0 8 0 279624893 936947712 2811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 7195902 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31728/statm: 228747 2811 1451 14 0 215242 0
[pid=31728/tid=31730] ppid=31726 vsize=914988 CPUtime=0
/proc/31728/task/31730/stat : 31730 (java) S 31726 31728 31069 0 -1 64 5 0 0 0 0 0 0 0 19 0 8 0 279624896 936947712 2811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.514883 s]
/proc/loadavg: 1.89 1.90 1.73 4/74 31729
/proc/meminfo: memFree=1262520/2055920 swapFree=4184548/4192956
[pid=31728] ppid=31726 vsize=915332 CPUtime=0.49
/proc/31728/stat : 31728 (java) R 31726 31728 31069 0 -1 0 6642 0 1 0 44 5 0 0 25 0 8 0 279624893 937299968 6380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31728/statm: 228833 6380 2163 14 0 215303 0
[pid=31728/tid=31730] ppid=31726 vsize=915332 CPUtime=0.02
/proc/31728/task/31730/stat : 31730 (java) R 31726 31728 31069 0 -1 64 141 0 0 0 2 0 0 0 16 0 8 0 279624896 937299968 6380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153987791 0 0 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.34297 s]
/proc/loadavg: 1.89 1.90 1.73 3/81 31736
/proc/meminfo: memFree=1245184/2055920 swapFree=4184548/4192956
[pid=31728] ppid=31726 vsize=915440 CPUtime=1.31
/proc/31728/stat : 31728 (java) R 31726 31728 31069 0 -1 0 7002 0 1 0 113 18 0 0 25 0 8 0 279624893 937410560 6740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073656038 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31728/statm: 228860 6740 2476 14 0 215330 0
[pid=31728/tid=31730] ppid=31726 vsize=915440 CPUtime=0.02
/proc/31728/task/31730/stat : 31730 (java) S 31726 31728 31069 0 -1 64 142 0 0 0 2 0 0 0 16 0 8 0 279624896 937410560 6740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31731] ppid=31726 vsize=915440 CPUtime=0
/proc/31728/task/31731/stat : 31731 (java) S 31726 31728 31069 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279624897 937410560 6740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31732] ppid=31726 vsize=915440 CPUtime=0
/proc/31728/task/31732/stat : 31732 (java) S 31726 31728 31069 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279624897 937410560 6740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31733] ppid=31726 vsize=915440 CPUtime=0
/proc/31728/task/31733/stat : 31733 (java) S 31726 31728 31069 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279624900 937410560 6740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31734] ppid=31726 vsize=915440 CPUtime=0.09
/proc/31728/task/31734/stat : 31734 (java) S 31726 31728 31069 0 -1 64 328 0 0 0 9 0 0 0 16 0 8 0 279624900 937410560 6740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31735] ppid=31726 vsize=915440 CPUtime=0
/proc/31728/task/31735/stat : 31735 (java) S 31726 31728 31069 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279624900 937410560 6740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31736] ppid=31726 vsize=915440 CPUtime=0
/proc/31728/task/31736/stat : 31736 (java) S 31726 31728 31069 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279624900 937410560 6740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915440
[startup+2.98317 s]
/proc/loadavg: 1.89 1.90 1.73 3/81 31736
/proc/meminfo: memFree=1245184/2055920 swapFree=4184548/4192956
[pid=31728] ppid=31726 vsize=915444 CPUtime=2.94
/proc/31728/stat : 31728 (java) R 31726 31728 31069 0 -1 0 7005 0 1 0 247 47 0 0 25 0 8 0 279624893 937414656 6742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31728/statm: 228861 6742 2476 14 0 215331 0
[pid=31728/tid=31730] ppid=31726 vsize=915444 CPUtime=0.02
/proc/31728/task/31730/stat : 31730 (java) S 31726 31728 31069 0 -1 64 142 0 0 0 2 0 0 0 16 0 8 0 279624896 937414656 6742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31731] ppid=31726 vsize=915444 CPUtime=0
/proc/31728/task/31731/stat : 31731 (java) S 31726 31728 31069 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279624897 937414656 6742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31732] ppid=31726 vsize=915444 CPUtime=0
/proc/31728/task/31732/stat : 31732 (java) S 31726 31728 31069 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279624897 937414656 6742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31733] ppid=31726 vsize=915444 CPUtime=0
/proc/31728/task/31733/stat : 31733 (java) S 31726 31728 31069 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279624900 937414656 6742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31734] ppid=31726 vsize=915444 CPUtime=0.1
/proc/31728/task/31734/stat : 31734 (java) S 31726 31728 31069 0 -1 64 330 0 0 0 10 0 0 0 17 0 8 0 279624900 937414656 6742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31735] ppid=31726 vsize=915444 CPUtime=0
/proc/31728/task/31735/stat : 31735 (java) S 31726 31728 31069 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279624900 937414656 6742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31736] ppid=31726 vsize=915444 CPUtime=0
/proc/31728/task/31736/stat : 31736 (java) S 31726 31728 31069 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279624900 937414656 6742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915444
[startup+6.26155 s]
/proc/loadavg: 1.90 1.90 1.73 3/81 31736
/proc/meminfo: memFree=1245184/2055920 swapFree=4184548/4192956
[pid=31728] ppid=31726 vsize=915440 CPUtime=6.2
/proc/31728/stat : 31728 (java) R 31726 31728 31069 0 -1 0 7005 0 1 0 508 112 0 0 25 0 8 0 279624893 937410560 6742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073656105 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31728/statm: 228860 6742 2476 14 0 215330 0
[pid=31728/tid=31730] ppid=31726 vsize=915440 CPUtime=0.02
/proc/31728/task/31730/stat : 31730 (java) S 31726 31728 31069 0 -1 64 142 0 0 0 2 0 0 0 16 0 8 0 279624896 937410560 6742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31731] ppid=31726 vsize=915440 CPUtime=0
/proc/31728/task/31731/stat : 31731 (java) S 31726 31728 31069 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279624897 937410560 6742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31732] ppid=31726 vsize=915440 CPUtime=0
/proc/31728/task/31732/stat : 31732 (java) S 31726 31728 31069 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279624897 937410560 6742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31733] ppid=31726 vsize=915440 CPUtime=0
/proc/31728/task/31733/stat : 31733 (java) S 31726 31728 31069 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279624900 937410560 6742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31734] ppid=31726 vsize=915440 CPUtime=0.1
/proc/31728/task/31734/stat : 31734 (java) S 31726 31728 31069 0 -1 64 330 0 0 0 10 0 0 0 17 0 8 0 279624900 937410560 6742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31735] ppid=31726 vsize=915440 CPUtime=0
/proc/31728/task/31735/stat : 31735 (java) S 31726 31728 31069 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279624900 937410560 6742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31736] ppid=31726 vsize=915440 CPUtime=0
/proc/31728/task/31736/stat : 31736 (java) S 31726 31728 31069 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279624900 937410560 6742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915440
[startup+12.7443 s]
/proc/loadavg: 1.90 1.91 1.73 3/81 31736
/proc/meminfo: memFree=1245200/2055920 swapFree=4184548/4192956
[pid=31728] ppid=31726 vsize=915440 CPUtime=12.63
/proc/31728/stat : 31728 (java) R 31726 31728 31069 0 -1 0 7005 0 1 0 1019 244 0 0 25 0 8 0 279624893 937410560 6742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073656131 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31728/statm: 228860 6742 2476 14 0 215330 0
[pid=31728/tid=31730] ppid=31726 vsize=915440 CPUtime=0.02
/proc/31728/task/31730/stat : 31730 (java) S 31726 31728 31069 0 -1 64 142 0 0 0 2 0 0 0 16 0 8 0 279624896 937410560 6742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31731] ppid=31726 vsize=915440 CPUtime=0
/proc/31728/task/31731/stat : 31731 (java) S 31726 31728 31069 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279624897 937410560 6742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31732] ppid=31726 vsize=915440 CPUtime=0
/proc/31728/task/31732/stat : 31732 (java) S 31726 31728 31069 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279624897 937410560 6742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31733] ppid=31726 vsize=915440 CPUtime=0
/proc/31728/task/31733/stat : 31733 (java) S 31726 31728 31069 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279624900 937410560 6742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31734] ppid=31726 vsize=915440 CPUtime=0.1
/proc/31728/task/31734/stat : 31734 (java) S 31726 31728 31069 0 -1 64 330 0 0 0 10 0 0 0 16 0 8 0 279624900 937410560 6742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31735] ppid=31726 vsize=915440 CPUtime=0
/proc/31728/task/31735/stat : 31735 (java) S 31726 31728 31069 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279624900 937410560 6742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31736] ppid=31726 vsize=915440 CPUtime=0
/proc/31728/task/31736/stat : 31736 (java) S 31726 31728 31069 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279624900 937410560 6742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915440
[startup+25.5898 s]
/proc/loadavg: 1.92 1.91 1.73 4/81 31736
/proc/meminfo: memFree=1245200/2055920 swapFree=4184548/4192956
[pid=31728] ppid=31726 vsize=915440 CPUtime=25.35
/proc/31728/stat : 31728 (java) R 31726 31728 31069 0 -1 0 7006 0 1 0 2042 493 0 0 25 0 8 0 279624893 937410560 6743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073662262 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31728/statm: 228860 6743 2476 14 0 215330 0
[pid=31728/tid=31730] ppid=31726 vsize=915440 CPUtime=0.02
/proc/31728/task/31730/stat : 31730 (java) S 31726 31728 31069 0 -1 64 142 0 0 0 2 0 0 0 16 0 8 0 279624896 937410560 6743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31731] ppid=31726 vsize=915440 CPUtime=0
/proc/31728/task/31731/stat : 31731 (java) S 31726 31728 31069 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279624897 937410560 6743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31732] ppid=31726 vsize=915440 CPUtime=0
/proc/31728/task/31732/stat : 31732 (java) S 31726 31728 31069 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279624897 937410560 6743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31733] ppid=31726 vsize=915440 CPUtime=0
/proc/31728/task/31733/stat : 31733 (java) S 31726 31728 31069 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279624900 937410560 6743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31734] ppid=31726 vsize=915440 CPUtime=0.1
/proc/31728/task/31734/stat : 31734 (java) S 31726 31728 31069 0 -1 64 331 0 0 0 10 0 0 0 16 0 8 0 279624900 937410560 6743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31735] ppid=31726 vsize=915440 CPUtime=0
/proc/31728/task/31735/stat : 31735 (java) S 31726 31728 31069 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279624900 937410560 6743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31736] ppid=31726 vsize=915440 CPUtime=0
/proc/31728/task/31736/stat : 31736 (java) S 31726 31728 31069 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279624900 937410560 6743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915440
[startup+51.2859 s]
/proc/loadavg: 1.95 1.92 1.74 3/81 31736
/proc/meminfo: memFree=1237712/2055920 swapFree=4184548/4192956
[pid=31728] ppid=31726 vsize=915440 CPUtime=50.85
/proc/31728/stat : 31728 (java) R 31726 31728 31069 0 -1 0 8981 0 1 0 4489 596 0 0 25 0 8 0 279624893 937410560 8714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073818201 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31728/statm: 228860 8714 2527 14 0 215330 0
[pid=31728/tid=31730] ppid=31726 vsize=915440 CPUtime=0.02
/proc/31728/task/31730/stat : 31730 (java) S 31726 31728 31069 0 -1 64 143 0 0 0 2 0 0 0 16 0 8 0 279624896 937410560 8714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31731] ppid=31726 vsize=915440 CPUtime=0
/proc/31728/task/31731/stat : 31731 (java) S 31726 31728 31069 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279624897 937410560 8714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31732] ppid=31726 vsize=915440 CPUtime=0
/proc/31728/task/31732/stat : 31732 (java) S 31726 31728 31069 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279624897 937410560 8714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31733] ppid=31726 vsize=915440 CPUtime=0
/proc/31728/task/31733/stat : 31733 (java) S 31726 31728 31069 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279624900 937410560 8714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31734] ppid=31726 vsize=915440 CPUtime=0.2
/proc/31728/task/31734/stat : 31734 (java) S 31726 31728 31069 0 -1 64 384 0 0 0 19 1 0 0 15 0 8 0 279624900 937410560 8714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31735] ppid=31726 vsize=915440 CPUtime=0
/proc/31728/task/31735/stat : 31735 (java) S 31726 31728 31069 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279624900 937410560 8714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31736] ppid=31726 vsize=915440 CPUtime=0
/proc/31728/task/31736/stat : 31736 (java) R 31726 31728 31069 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279624900 937410560 8714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 915440
[startup+102.565 s]
/proc/loadavg: 1.98 1.93 1.75 3/81 31736
/proc/meminfo: memFree=1237712/2055920 swapFree=4184548/4192956
[pid=31728] ppid=31726 vsize=915440 CPUtime=101.72
/proc/31728/stat : 31728 (java) R 31726 31728 31069 0 -1 0 8989 0 1 0 9576 596 0 0 25 0 8 0 279624893 937410560 8721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073791399 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31728/statm: 228860 8721 2527 14 0 215330 0
[pid=31728/tid=31730] ppid=31726 vsize=915440 CPUtime=0.02
/proc/31728/task/31730/stat : 31730 (java) S 31726 31728 31069 0 -1 64 143 0 0 0 2 0 0 0 16 0 8 0 279624896 937410560 8721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31731] ppid=31726 vsize=915440 CPUtime=0
/proc/31728/task/31731/stat : 31731 (java) S 31726 31728 31069 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279624897 937410560 8721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31732] ppid=31726 vsize=915440 CPUtime=0
/proc/31728/task/31732/stat : 31732 (java) S 31726 31728 31069 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279624897 937410560 8721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31733] ppid=31726 vsize=915440 CPUtime=0
/proc/31728/task/31733/stat : 31733 (java) S 31726 31728 31069 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279624900 937410560 8721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31734] ppid=31726 vsize=915440 CPUtime=0.2
/proc/31728/task/31734/stat : 31734 (java) S 31726 31728 31069 0 -1 64 384 0 0 0 19 1 0 0 15 0 8 0 279624900 937410560 8721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31735] ppid=31726 vsize=915440 CPUtime=0
/proc/31728/task/31735/stat : 31735 (java) S 31726 31728 31069 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279624900 937410560 8721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31736] ppid=31726 vsize=915440 CPUtime=0
/proc/31728/task/31736/stat : 31736 (java) S 31726 31728 31069 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279624900 937410560 8721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.72
Current children cumulated vsize (KiB) 915440
[startup+162.583 s]
/proc/loadavg: 2.02 1.95 1.77 3/81 31736
/proc/meminfo: memFree=1237648/2055920 swapFree=4184548/4192956
[pid=31728] ppid=31726 vsize=915440 CPUtime=161.23
/proc/31728/stat : 31728 (java) R 31726 31728 31069 0 -1 0 8996 0 1 0 15527 596 0 0 25 0 8 0 279624893 937410560 8727 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073818749 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31728/statm: 228860 8727 2527 14 0 215330 0
[pid=31728/tid=31730] ppid=31726 vsize=915440 CPUtime=0.02
/proc/31728/task/31730/stat : 31730 (java) S 31726 31728 31069 0 -1 64 143 0 0 0 2 0 0 0 16 0 8 0 279624896 937410560 8727 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31731] ppid=31726 vsize=915440 CPUtime=0
/proc/31728/task/31731/stat : 31731 (java) S 31726 31728 31069 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279624897 937410560 8727 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31732] ppid=31726 vsize=915440 CPUtime=0
/proc/31728/task/31732/stat : 31732 (java) S 31726 31728 31069 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279624897 937410560 8727 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31733] ppid=31726 vsize=915440 CPUtime=0
/proc/31728/task/31733/stat : 31733 (java) S 31726 31728 31069 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279624900 937410560 8727 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31734] ppid=31726 vsize=915440 CPUtime=0.2
/proc/31728/task/31734/stat : 31734 (java) S 31726 31728 31069 0 -1 64 385 0 0 0 19 1 0 0 16 0 8 0 279624900 937410560 8727 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31735] ppid=31726 vsize=915440 CPUtime=0
/proc/31728/task/31735/stat : 31735 (java) S 31726 31728 31069 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279624900 937410560 8727 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31736] ppid=31726 vsize=915440 CPUtime=0
/proc/31728/task/31736/stat : 31736 (java) S 31726 31728 31069 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279624900 937410560 8727 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.23
Current children cumulated vsize (KiB) 915440
[startup+222.61 s]
/proc/loadavg: 2.04 1.97 1.78 3/87 31818
/proc/meminfo: memFree=1236160/2055920 swapFree=4184548/4192956
[pid=31728] ppid=31726 vsize=915440 CPUtime=220.7
/proc/31728/stat : 31728 (java) R 31726 31728 31069 0 -1 0 8998 0 1 0 21472 598 0 0 25 0 8 0 279624893 937410560 8729 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073761429 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31728/statm: 228860 8729 2527 14 0 215330 0
[pid=31728/tid=31730] ppid=31726 vsize=915440 CPUtime=0.02
/proc/31728/task/31730/stat : 31730 (java) S 31726 31728 31069 0 -1 64 143 0 0 0 2 0 0 0 16 0 8 0 279624896 937410560 8729 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31731] ppid=31726 vsize=915440 CPUtime=0
/proc/31728/task/31731/stat : 31731 (java) S 31726 31728 31069 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279624897 937410560 8729 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31732] ppid=31726 vsize=915440 CPUtime=0
/proc/31728/task/31732/stat : 31732 (java) S 31726 31728 31069 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279624897 937410560 8729 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31733] ppid=31726 vsize=915440 CPUtime=0
/proc/31728/task/31733/stat : 31733 (java) S 31726 31728 31069 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279624900 937410560 8729 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31734] ppid=31726 vsize=915440 CPUtime=0.2
/proc/31728/task/31734/stat : 31734 (java) S 31726 31728 31069 0 -1 64 385 0 0 0 19 1 0 0 16 0 8 0 279624900 937410560 8729 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31735] ppid=31726 vsize=915440 CPUtime=0
/proc/31728/task/31735/stat : 31735 (java) S 31726 31728 31069 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279624900 937410560 8729 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31736] ppid=31726 vsize=915440 CPUtime=0
/proc/31728/task/31736/stat : 31736 (java) S 31726 31728 31069 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279624900 937410560 8729 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 220.7
Current children cumulated vsize (KiB) 915440
[startup+282.66 s]
/proc/loadavg: 2.01 1.97 1.79 3/81 31934
/proc/meminfo: memFree=1237120/2055920 swapFree=4184548/4192956
[pid=31728] ppid=31726 vsize=915440 CPUtime=280.13
/proc/31728/stat : 31728 (java) R 31726 31728 31069 0 -1 0 8998 0 1 0 27411 602 0 0 25 0 8 0 279624893 937410560 8729 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073664267 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31728/statm: 228860 8729 2527 14 0 215330 0
[pid=31728/tid=31730] ppid=31726 vsize=915440 CPUtime=0.02
/proc/31728/task/31730/stat : 31730 (java) S 31726 31728 31069 0 -1 64 143 0 0 0 2 0 0 0 16 0 8 0 279624896 937410560 8729 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31731] ppid=31726 vsize=915440 CPUtime=0
/proc/31728/task/31731/stat : 31731 (java) S 31726 31728 31069 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279624897 937410560 8729 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31732] ppid=31726 vsize=915440 CPUtime=0
/proc/31728/task/31732/stat : 31732 (java) S 31726 31728 31069 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279624897 937410560 8729 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31733] ppid=31726 vsize=915440 CPUtime=0
/proc/31728/task/31733/stat : 31733 (java) S 31726 31728 31069 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279624900 937410560 8729 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31734] ppid=31726 vsize=915440 CPUtime=0.2
/proc/31728/task/31734/stat : 31734 (java) S 31726 31728 31069 0 -1 64 385 0 0 0 19 1 0 0 16 0 8 0 279624900 937410560 8729 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31735] ppid=31726 vsize=915440 CPUtime=0
/proc/31728/task/31735/stat : 31735 (java) S 31726 31728 31069 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279624900 937410560 8729 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31736] ppid=31726 vsize=915440 CPUtime=0
/proc/31728/task/31736/stat : 31736 (java) S 31726 31728 31069 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279624900 937410560 8729 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 280.13
Current children cumulated vsize (KiB) 915440
[startup+342.681 s]
/proc/loadavg: 2.00 1.97 1.81 3/81 31934
/proc/meminfo: memFree=1237136/2055920 swapFree=4184548/4192956
[pid=31728] ppid=31726 vsize=915440 CPUtime=339.64
/proc/31728/stat : 31728 (java) R 31726 31728 31069 0 -1 0 9000 0 1 0 33362 602 0 0 25 0 8 0 279624893 937410560 8731 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073761770 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31728/statm: 228860 8731 2527 14 0 215330 0
[pid=31728/tid=31730] ppid=31726 vsize=915440 CPUtime=0.02
/proc/31728/task/31730/stat : 31730 (java) S 31726 31728 31069 0 -1 64 143 0 0 0 2 0 0 0 16 0 8 0 279624896 937410560 8731 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31731] ppid=31726 vsize=915440 CPUtime=0
/proc/31728/task/31731/stat : 31731 (java) S 31726 31728 31069 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279624897 937410560 8731 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31732] ppid=31726 vsize=915440 CPUtime=0
/proc/31728/task/31732/stat : 31732 (java) S 31726 31728 31069 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279624897 937410560 8731 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31733] ppid=31726 vsize=915440 CPUtime=0
/proc/31728/task/31733/stat : 31733 (java) S 31726 31728 31069 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279624900 937410560 8731 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31734] ppid=31726 vsize=915440 CPUtime=0.2
/proc/31728/task/31734/stat : 31734 (java) S 31726 31728 31069 0 -1 64 385 0 0 0 19 1 0 0 16 0 8 0 279624900 937410560 8731 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31735] ppid=31726 vsize=915440 CPUtime=0
/proc/31728/task/31735/stat : 31735 (java) S 31726 31728 31069 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279624900 937410560 8731 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31736] ppid=31726 vsize=915440 CPUtime=0
/proc/31728/task/31736/stat : 31736 (java) S 31726 31728 31069 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279624900 937410560 8731 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 339.64
Current children cumulated vsize (KiB) 915440
[startup+402.697 s]
/proc/loadavg: 2.00 1.97 1.82 3/81 31934
/proc/meminfo: memFree=1237136/2055920 swapFree=4184548/4192956
[pid=31728] ppid=31726 vsize=915440 CPUtime=399.19
/proc/31728/stat : 31728 (java) R 31726 31728 31069 0 -1 0 9003 0 1 0 39316 603 0 0 25 0 8 0 279624893 937410560 8734 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073780406 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31728/statm: 228860 8734 2527 14 0 215330 0
[pid=31728/tid=31730] ppid=31726 vsize=915440 CPUtime=0.02
/proc/31728/task/31730/stat : 31730 (java) S 31726 31728 31069 0 -1 64 143 0 0 0 2 0 0 0 16 0 8 0 279624896 937410560 8734 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31731] ppid=31726 vsize=915440 CPUtime=0
/proc/31728/task/31731/stat : 31731 (java) S 31726 31728 31069 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 279624897 937410560 8734 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31732] ppid=31726 vsize=915440 CPUtime=0
/proc/31728/task/31732/stat : 31732 (java) S 31726 31728 31069 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279624897 937410560 8734 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31733] ppid=31726 vsize=915440 CPUtime=0
/proc/31728/task/31733/stat : 31733 (java) S 31726 31728 31069 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279624900 937410560 8734 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31734] ppid=31726 vsize=915440 CPUtime=0.2
/proc/31728/task/31734/stat : 31734 (java) S 31726 31728 31069 0 -1 64 385 0 0 0 19 1 0 0 16 0 8 0 279624900 937410560 8734 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31735] ppid=31726 vsize=915440 CPUtime=0
/proc/31728/task/31735/stat : 31735 (java) S 31726 31728 31069 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 279624900 937410560 8734 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31728/tid=31736] ppid=31726 vsize=915440 CPUtime=0
/proc/31728/task/31736/stat : 31736 (java) S 31726 31728 31069 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279624900 937410560 8734 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 399.19
Current children cumulated vsize (KiB) 915440
Child status: 0
Real time (s): 457.65
CPU time (s): 453.691
CPU user time (s): 447.654
CPU system time (s): 6.03708
CPU usage (%): 99.1349
Max. virtual memory (cumulated for all children) (KiB): 915444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 447.654
system time used= 6.03708
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9098
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= 10343
involuntary context switches= 19653
runsolver used 0.415936 s user time and 1.2878 s system time
The end
Begin job on node75 on Sat Jan 20 16:57:35 UTC 2007
IDJOB= 281432
IDBENCH= 12182
IDSOLVER= 69
FILE ID= node75/281432-1169312255
PBS_JOBID= 3610251
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/randomMaxCSP/completeTight/vcsp-15-10-100-93-27_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281432-1169312255/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node75/watcher-281432-1169312255 -o ROOT/results/node75/solver-281432-1169312255 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281432-1169312255/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 8f669d0ef1e2d3546ae7c56becc9db43
RANDOM SEED= 152226677
TIME LIMIT= 2400 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.218
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.218
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1263064 kB
Buffers: 42248 kB
Cached: 600984 kB
SwapCached: 2360 kB
Active: 208556 kB
Inactive: 510256 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1263064 kB
SwapTotal: 4192956 kB
SwapFree: 4184548 kB
Dirty: 1700 kB
Writeback: 0 kB
Mapped: 83324 kB
Slab: 59308 kB
Committed_AS: 5756120 kB
PageTables: 1920 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= 66561 MiB
End job on node75 on Sat Jan 20 17:05:13 UTC 2007