0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=epfc.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/281512-1169312777/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=25 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.43 => wckTime=0.1 cpuTime=0.08 mem=6M887
0.43
0.43 relations being loaded...
0.47
0.47 constraints being loaded...
0.51 nbConstraints=63 nbRelationTypes=63 nbExtensionStructures=63 nbSharedExtensionStructures=0
0.51 nbConflictsStructures=63 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1065 maxDegree=10
0.51 maxArity=2
0.51 => wckTime=0.184 cpuTime=0.13 mem=7M879
0.55
0.55 solver LocalSearchSolver being built...
0.60 => wckTime=0.268 cpuTime=0.18 mem=5M428
0.60
0.60 s SATISFIABLE
0.60 o 9
0.60 c 54
0.60 o 12
0.60 c 51
0.60 o 15
0.60 c 48
0.60 o 17
0.60 c 46
0.61 o 18
0.61 c 45
0.61 o 20
0.61 c 43
0.61 o 22
0.61 c 41
0.61 o 23
0.61 c 40
0.61 o 25
0.61 c 38
0.61 o 26
0.61 c 37
0.61 o 27
0.61 c 36
0.61 o 28
0.61 c 35
0.61 o 30
0.61 c 33
0.61 o 32
0.61 c 31
0.61 o 33
0.61 c 30
0.61 o 34
0.61 c 29
0.61 o 36
0.61 c 27
0.62 o 37
0.62 c 26
0.62 o 38
0.62 c 25
0.62 o 39
0.62 c 24
0.63 o 40
0.63 c 23
0.63 o 41
0.63 c 22
0.64 o 43
0.64 c 20
1.19 o 44
1.19 c 19
2.00
2.00 search
2.00 run=0 nbConstraintChecks=6857990 nbAssignments=10000
2.00 => wckTime=1.402 cpuTime=1.38 mem=5M428
3.35
3.35 search
3.35 run=1 nbConstraintChecks=13718419 nbAssignments=20000
3.35 => wckTime=2.756 cpuTime=2.72 mem=5M428
4.70
4.70 search
4.70 run=2 nbConstraintChecks=20476363 nbAssignments=30000
4.70 => wckTime=4.105 cpuTime=4.05 mem=5M428
6.05
6.05 search
6.05 run=3 nbConstraintChecks=27356371 nbAssignments=40000
6.05 => wckTime=5.46 cpuTime=5.4 mem=5M428
7.41
7.41 search
7.41 run=4 nbConstraintChecks=34277960 nbAssignments=50000
7.41 => wckTime=6.815 cpuTime=6.74 mem=5M428
8.75
8.75 search
8.75 run=5 nbConstraintChecks=41090540 nbAssignments=60000
8.75 => wckTime=8.152 cpuTime=8.07 mem=5M428
10.09
10.09 search
10.09 run=6 nbConstraintChecks=48002287 nbAssignments=70000
10.09 => wckTime=9.498 cpuTime=9.41 mem=5M428
11.44
11.44 search
11.44 run=7 nbConstraintChecks=54781910 nbAssignments=80000
11.44 => wckTime=10.845 cpuTime=10.73 mem=5M428
12.78
12.78 search
12.78 run=8 nbConstraintChecks=61562448 nbAssignments=90000
12.78 => wckTime=12.181 cpuTime=12.06 mem=5M428
14.11
14.11 search
14.11 run=9 nbConstraintChecks=68379834 nbAssignments=100000
14.11 => wckTime=13.516 cpuTime=13.39 mem=5M428
15.47
15.47 search
15.47 run=10 nbConstraintChecks=75398616 nbAssignments=110000
15.47 => wckTime=14.873 cpuTime=14.73 mem=5M428
16.80
16.80 search
16.80 run=11 nbConstraintChecks=82201639 nbAssignments=120000
16.80 => wckTime=16.209 cpuTime=16.06 mem=5M428
18.16
18.16 search
18.16 run=12 nbConstraintChecks=88990800 nbAssignments=130000
18.16 => wckTime=17.563 cpuTime=17.4 mem=5M428
19.50
19.50 search
19.50 run=13 nbConstraintChecks=95783213 nbAssignments=140000
19.50 => wckTime=18.909 cpuTime=18.74 mem=5M428
20.86
20.86 search
20.86 run=14 nbConstraintChecks=102683041 nbAssignments=150000
20.86 => wckTime=20.265 cpuTime=20.08 mem=5M428
22.22
22.22 search
22.22 run=15 nbConstraintChecks=109631130 nbAssignments=160000
22.22 => wckTime=21.628 cpuTime=21.43 mem=5M428
23.57
23.57 search
23.57 run=16 nbConstraintChecks=116387509 nbAssignments=170000
23.57 => wckTime=22.972 cpuTime=22.77 mem=5M428
24.93
24.93 search
24.93 run=17 nbConstraintChecks=123216370 nbAssignments=180000
24.93 => wckTime=24.334 cpuTime=24.11 mem=5M428
26.28
26.28 search
26.28 run=18 nbConstraintChecks=130052427 nbAssignments=190000
26.28 => wckTime=25.684 cpuTime=25.45 mem=5M428
27.65
27.65 search
27.65 run=19 nbConstraintChecks=137076484 nbAssignments=200000
27.65 => wckTime=27.053 cpuTime=26.81 mem=5M428
28.98
28.98 search
28.98 run=20 nbConstraintChecks=143830836 nbAssignments=210000
28.98 => wckTime=28.387 cpuTime=28.13 mem=5M428
30.32
30.32 search
30.32 run=21 nbConstraintChecks=150661587 nbAssignments=220000
30.32 => wckTime=29.729 cpuTime=29.47 mem=5M428
31.46
31.46 search
31.46 run=22 nbConstraintChecks=156452193 nbAssignments=228430
31.46 => wckTime=30.863 cpuTime=30.59 mem=5M428
31.46
31.46 global
31.46 nbConstraintChecks=156452193 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.46 solvingWckTime=30.862 solvingCpuTime=30.58 expiredTime=no totalExploration=no nbFoundSolutions=0
31.46 globalCpuTime=30.81
31.46 => wckTime=31.132 cpuTime=30.76 mem=5M428
31.46
31.46 solver IterativeSystematicSolver being built...
31.59 => wckTime=31.266 cpuTime=30.87 mem=16M417
31.63
31.63 preprocessing
31.63 nbConstraintChecks=36690 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.63 detectedInconsistency=no
31.63 => wckTime=0.037 cpuTime=0.02 mem=16M417
31.68
31.68 search
31.68 run=0 nbConstraintChecks=77615 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=50
31.68 nbFailedAssignments=35 nbBacktracks=10 nbVisitedNodes=95 nbRestartNogoods=0
31.68 => wckTime=0.085 cpuTime=0.05 mem=16M417
31.72
31.72 search
31.72 run=1 nbConstraintChecks=168718 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=101
31.72 nbFailedAssignments=65 nbBacktracks=25 nbVisitedNodes=191 nbRestartNogoods=2
31.72 => wckTime=0.124 cpuTime=0.08 mem=16M417
31.77
31.77 search
31.77 run=2 nbConstraintChecks=351770 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=211
31.77 nbFailedAssignments=146 nbBacktracks=48 nbVisitedNodes=405 nbRestartNogoods=9
31.77 => wckTime=0.178 cpuTime=0.13 mem=16M417
31.84
31.84 search
31.84 run=3 nbConstraintChecks=585418 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=348
31.84 nbFailedAssignments=243 nbBacktracks=81 nbVisitedNodes=669 nbRestartNogoods=11
31.84 => wckTime=0.246 cpuTime=0.19 mem=16M417
31.92
31.92 search
31.92 run=4 nbConstraintChecks=894163 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=533
31.92 nbFailedAssignments=372 nbBacktracks=131 nbVisitedNodes=1033 nbRestartNogoods=19
31.92 => wckTime=0.33 cpuTime=0.27 mem=16M417
32.08
32.08 search
32.08 run=5 nbConstraintChecks=1511822 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=884
32.08 nbFailedAssignments=642 nbBacktracks=206 nbVisitedNodes=1727 nbRestartNogoods=29
32.08 => wckTime=0.491 cpuTime=0.43 mem=16M417
32.24
32.24 search
32.24 run=6 nbConstraintChecks=2057544 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1233
32.24 nbFailedAssignments=872 nbBacktracks=319 nbVisitedNodes=2419 nbRestartNogoods=49
32.24 => wckTime=0.645 cpuTime=0.58 mem=16M417
32.51
32.51 search
32.51 run=7 nbConstraintChecks=3096681 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1853
32.51 nbFailedAssignments=1315 nbBacktracks=489 nbVisitedNodes=3650 nbRestartNogoods=58
32.51 => wckTime=0.921 cpuTime=0.84 mem=16M417
32.91
32.91 search
32.91 run=8 nbConstraintChecks=4629570 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2761
32.91 nbFailedAssignments=1962 nbBacktracks=745 nbVisitedNodes=5452 nbRestartNogoods=68
32.91 => wckTime=1.319 cpuTime=1.22 mem=16M417
33.55
33.55 search
33.55 run=9 nbConstraintChecks=7217183 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4238
33.55 nbFailedAssignments=3051 nbBacktracks=1129 nbVisitedNodes=8390 nbRestartNogoods=81
33.55 => wckTime=1.959 cpuTime=1.86 mem=16M417
34.37
34.37 search
34.37 run=10 nbConstraintChecks=10488611 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6280
34.37 nbFailedAssignments=4511 nbBacktracks=1705 nbVisitedNodes=12463 nbRestartNogoods=103
34.37 => wckTime=2.779 cpuTime=2.67 mem=16M417
35.67
35.67 search
35.67 run=11 nbConstraintChecks=15715286 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9057
35.67 nbFailedAssignments=6415 nbBacktracks=2569 nbVisitedNodes=17993 nbRestartNogoods=112
35.67 => wckTime=4.077 cpuTime=3.96 mem=16M417
37.69
37.69 search
37.69 run=12 nbConstraintChecks=23713346 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=13831
37.69 nbFailedAssignments=9886 nbBacktracks=3866 nbVisitedNodes=27444 nbRestartNogoods=121
37.69 => wckTime=6.098 cpuTime=5.96 mem=16M417
40.94
40.94 search
40.94 run=13 nbConstraintChecks=36633820 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=21379
40.94 nbFailedAssignments=15483 nbBacktracks=5812 nbVisitedNodes=42426 nbRestartNogoods=137
40.94 => wckTime=9.347 cpuTime=9.18 mem=16M417
44.76
44.76 search
44.76 run=14 nbConstraintChecks=51514903 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=30957
44.76 nbFailedAssignments=22137 nbBacktracks=8731 nbVisitedNodes=61478 nbRestartNogoods=149
44.76 => wckTime=13.166 cpuTime=12.96 mem=16M417
51.46
51.46 search
51.46 run=15 nbConstraintChecks=77268782 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=46394
51.46 nbFailedAssignments=33191 nbBacktracks=13109 nbVisitedNodes=92180 nbRestartNogoods=167
51.46 => wckTime=19.865 cpuTime=19.61 mem=16M417
61.53
61.53 search
61.53 run=16 nbConstraintChecks=117213382 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=70358
61.53 nbFailedAssignments=50582 nbBacktracks=19677 nbVisitedNodes=139710 nbRestartNogoods=189
61.53 => wckTime=29.937 cpuTime=29.59 mem=16M417
75.53
75.53 search
75.53 run=17 nbConstraintChecks=171297337 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=103609
75.53 nbFailedAssignments=73978 nbBacktracks=29529 nbVisitedNodes=205734 nbRestartNogoods=199
75.53 => wckTime=43.934 cpuTime=43.47 mem=16M417
97.41
97.41 search
97.41 run=18 nbConstraintChecks=252552220 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=153597
97.41 nbFailedAssignments=109184 nbBacktracks=44307 nbVisitedNodes=305216 nbRestartNogoods=215
97.41 => wckTime=65.815 cpuTime=65.17 mem=16M417
126.05
126.05 search
126.05 run=19 nbConstraintChecks=360678646 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=221387
126.05 nbFailedAssignments=154803 nbBacktracks=66475 nbVisitedNodes=439685 nbRestartNogoods=231
126.05 => wckTime=94.452 cpuTime=93.57 mem=16M417
167.34
167.34 search
167.34 run=20 nbConstraintChecks=515200279 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=320552
167.34 nbFailedAssignments=220714 nbBacktracks=99727 nbVisitedNodes=636546 nbRestartNogoods=247
167.34 => wckTime=135.749 cpuTime=134.53 mem=16M417
228.33
228.33 search
228.33 run=21 nbConstraintChecks=741517792 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=464724
228.33 nbFailedAssignments=315000 nbBacktracks=149607 nbVisitedNodes=922064 nbRestartNogoods=269
228.33 => wckTime=196.737 cpuTime=195.02 mem=16M417
314.78
314.78 search
314.78 run=22 nbConstraintChecks=1060935486 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=671961
314.78 nbFailedAssignments=447415 nbBacktracks=224426 nbVisitedNodes=1332370 nbRestartNogoods=289
314.78 => wckTime=283.185 cpuTime=280.74 mem=16M417
385.29
385.29 search
385.29 run=23 nbConstraintChecks=1314901332 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=838200
385.29 nbFailedAssignments=550330 nbBacktracks=287751 nbVisitedNodes=1659747 nbRestartNogoods=303
385.29 => wckTime=353.698 cpuTime=350.66 mem=16M417
385.29
385.29 global
385.29 nbConstraintChecks=1314938022 nbRestartNogoods=303 solvingWckTime=353.699 solvingCpuTime=350.66 expiredTime=no
385.29 totalExploration=yes nbFoundSolutions=0 globalCpuTime=381.58
385.29 => wckTime=384.965 cpuTime=381.53 mem=16M417
385.30
385.30 s OPTIMUM FOUND
385.30 v 5 9 9 8 7 8 4 9 4 2 9 3 2 9 6 6 8 5 6 8 8 0 9 5 5
385.30
385.30 totalWckTime=385.048 totalCpuTime=381.59
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node6/watcher-281512-1169312777 -o ROOT/results/node6/solver-281512-1169312777 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/281512-1169312777/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.91 1.97 1.98 3/87 31730
/proc/meminfo: memFree=1195936/2055924 swapFree=4165736/4192956
[pid=31729] ppid=31727 vsize=18540 CPUtime=0
/proc/31729/stat : 31729 (runsolver) R 31727 31729 31218 0 -1 4194368 17 0 0 0 0 0 0 0 24 0 1 0 279673187 18984960 280 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 268582841639 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/31729/statm: 4635 280 244 17 0 2626 0
[startup+0.108504 s]
/proc/loadavg: 1.91 1.97 1.98 3/87 31730
/proc/meminfo: memFree=1195936/2055924 swapFree=4165736/4192956
[pid=31729] ppid=31727 vsize=913068 CPUtime=0.08
/proc/31729/stat : 31729 (java) S 31727 31729 31218 0 -1 0 2860 0 1 0 7 1 0 0 18 0 8 0 279673187 934981632 2606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31729/statm: 228267 2606 1395 14 0 215168 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913068
[startup+0.520552 s]
/proc/loadavg: 1.91 1.97 1.98 3/87 31730
/proc/meminfo: memFree=1195936/2055924 swapFree=4165736/4192956
[pid=31729] ppid=31727 vsize=915332 CPUtime=0.49
/proc/31729/stat : 31729 (java) R 31727 31729 31218 0 -1 0 6475 0 1 0 45 4 0 0 18 0 8 0 279673187 937299968 6213 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31729/statm: 228833 6213 2163 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.34764 s]
/proc/loadavg: 1.91 1.97 1.98 3/94 31737
/proc/meminfo: memFree=1178792/2055924 swapFree=4165736/4192956
[pid=31729] ppid=31727 vsize=915444 CPUtime=1.31
/proc/31729/stat : 31729 (java) R 31727 31729 31218 0 -1 0 6958 0 1 0 108 23 0 0 25 0 8 0 279673187 937414656 6696 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31729/statm: 228861 6696 2479 14 0 215331 0
[pid=31729/tid=31731] ppid=31727 vsize=915444 CPUtime=0.02
/proc/31729/task/31731/stat : 31731 (java) S 31727 31729 31218 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 279673192 937414656 6696 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31729/tid=31732] ppid=31727 vsize=915444 CPUtime=0
/proc/31729/task/31732/stat : 31732 (java) S 31727 31729 31218 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 279673192 937414656 6696 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31729/tid=31733] ppid=31727 vsize=915444 CPUtime=0
/proc/31729/task/31733/stat : 31733 (java) S 31727 31729 31218 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279673192 937414656 6696 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31729/tid=31734] ppid=31727 vsize=915444 CPUtime=0
/proc/31729/task/31734/stat : 31734 (java) S 31727 31729 31218 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279673196 937414656 6696 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31729/tid=31735] ppid=31727 vsize=915444 CPUtime=0.11
/proc/31729/task/31735/stat : 31735 (java) S 31727 31729 31218 0 -1 64 326 0 0 0 11 0 0 0 16 0 8 0 279673196 937414656 6696 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31729/tid=31736] ppid=31727 vsize=915444 CPUtime=0
/proc/31729/task/31736/stat : 31736 (java) S 31727 31729 31218 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279673196 937414656 6696 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31729/tid=31737] ppid=31727 vsize=915444 CPUtime=0
/proc/31729/task/31737/stat : 31737 (java) S 31727 31729 31218 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 279673196 937414656 6696 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915444
[startup+2.98684 s]
/proc/loadavg: 1.91 1.97 1.98 3/94 31737
/proc/meminfo: memFree=1178792/2055924 swapFree=4165736/4192956
[pid=31729] ppid=31727 vsize=915444 CPUtime=2.94
/proc/31729/stat : 31729 (java) R 31727 31729 31218 0 -1 0 6961 0 1 0 224 70 0 0 25 0 8 0 279673187 937414656 6698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073646712 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31729/statm: 228861 6698 2479 14 0 215331 0
[pid=31729/tid=31731] ppid=31727 vsize=915444 CPUtime=0.02
/proc/31729/task/31731/stat : 31731 (java) S 31727 31729 31218 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 279673192 937414656 6698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31729/tid=31732] ppid=31727 vsize=915444 CPUtime=0
/proc/31729/task/31732/stat : 31732 (java) S 31727 31729 31218 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 279673192 937414656 6698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31729/tid=31733] ppid=31727 vsize=915444 CPUtime=0
/proc/31729/task/31733/stat : 31733 (java) S 31727 31729 31218 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279673192 937414656 6698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31729/tid=31734] ppid=31727 vsize=915444 CPUtime=0
/proc/31729/task/31734/stat : 31734 (java) S 31727 31729 31218 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279673196 937414656 6698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31729/tid=31735] ppid=31727 vsize=915444 CPUtime=0.11
/proc/31729/task/31735/stat : 31735 (java) S 31727 31729 31218 0 -1 64 328 0 0 0 11 0 0 0 16 0 8 0 279673196 937414656 6698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31729/tid=31736] ppid=31727 vsize=915444 CPUtime=0
/proc/31729/task/31736/stat : 31736 (java) S 31727 31729 31218 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279673196 937414656 6698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31729/tid=31737] ppid=31727 vsize=915444 CPUtime=0
/proc/31729/task/31737/stat : 31737 (java) S 31727 31729 31218 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 279673196 937414656 6698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915444
[startup+6.26622 s]
/proc/loadavg: 1.92 1.97 1.98 3/94 31737
/proc/meminfo: memFree=1178728/2055924 swapFree=4165736/4192956
[pid=31729] ppid=31727 vsize=915444 CPUtime=6.19
/proc/31729/stat : 31729 (java) R 31727 31729 31218 0 -1 0 6961 0 1 0 456 163 0 0 25 0 8 0 279673187 937414656 6698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31729/statm: 228861 6698 2479 14 0 215331 0
[pid=31729/tid=31731] ppid=31727 vsize=915444 CPUtime=0.02
/proc/31729/task/31731/stat : 31731 (java) S 31727 31729 31218 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 279673192 937414656 6698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31729/tid=31732] ppid=31727 vsize=915444 CPUtime=0
/proc/31729/task/31732/stat : 31732 (java) S 31727 31729 31218 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 279673192 937414656 6698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31729/tid=31733] ppid=31727 vsize=915444 CPUtime=0
/proc/31729/task/31733/stat : 31733 (java) S 31727 31729 31218 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279673192 937414656 6698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31729/tid=31734] ppid=31727 vsize=915444 CPUtime=0
/proc/31729/task/31734/stat : 31734 (java) S 31727 31729 31218 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279673196 937414656 6698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31729/tid=31735] ppid=31727 vsize=915444 CPUtime=0.11
/proc/31729/task/31735/stat : 31735 (java) S 31727 31729 31218 0 -1 64 328 0 0 0 11 0 0 0 16 0 8 0 279673196 937414656 6698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31729/tid=31736] ppid=31727 vsize=915444 CPUtime=0
/proc/31729/task/31736/stat : 31736 (java) S 31727 31729 31218 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279673196 937414656 6698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31729/tid=31737] ppid=31727 vsize=915444 CPUtime=0
/proc/31729/task/31737/stat : 31737 (java) S 31727 31729 31218 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 279673196 937414656 6698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915444
[startup+12.755 s]
/proc/loadavg: 1.93 1.97 1.98 3/94 31737
/proc/meminfo: memFree=1178728/2055924 swapFree=4165736/4192956
[pid=31729] ppid=31727 vsize=915444 CPUtime=12.62
/proc/31729/stat : 31729 (java) R 31727 31729 31218 0 -1 0 6961 0 1 0 911 351 0 0 25 0 8 0 279673187 937414656 6698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073649303 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31729/statm: 228861 6698 2479 14 0 215331 0
[pid=31729/tid=31731] ppid=31727 vsize=915444 CPUtime=0.02
/proc/31729/task/31731/stat : 31731 (java) S 31727 31729 31218 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 279673192 937414656 6698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31729/tid=31732] ppid=31727 vsize=915444 CPUtime=0
/proc/31729/task/31732/stat : 31732 (java) S 31727 31729 31218 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 279673192 937414656 6698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31729/tid=31733] ppid=31727 vsize=915444 CPUtime=0
/proc/31729/task/31733/stat : 31733 (java) S 31727 31729 31218 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279673192 937414656 6698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31729/tid=31734] ppid=31727 vsize=915444 CPUtime=0
/proc/31729/task/31734/stat : 31734 (java) S 31727 31729 31218 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279673196 937414656 6698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31729/tid=31735] ppid=31727 vsize=915444 CPUtime=0.11
/proc/31729/task/31735/stat : 31735 (java) S 31727 31729 31218 0 -1 64 328 0 0 0 11 0 0 0 16 0 8 0 279673196 937414656 6698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31729/tid=31736] ppid=31727 vsize=915444 CPUtime=0
/proc/31729/task/31736/stat : 31736 (java) S 31727 31729 31218 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279673196 937414656 6698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31729/tid=31737] ppid=31727 vsize=915444 CPUtime=0
/proc/31729/task/31737/stat : 31737 (java) S 31727 31729 31218 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 279673196 937414656 6698 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915444
[startup+25.6055 s]
/proc/loadavg: 1.94 1.97 1.98 3/94 31737
/proc/meminfo: memFree=1178728/2055924 swapFree=4165736/4192956
[pid=31729] ppid=31727 vsize=915444 CPUtime=25.37
/proc/31729/stat : 31729 (java) R 31727 31729 31218 0 -1 0 6963 0 1 0 1811 726 0 0 25 0 8 0 279673187 937414656 6699 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073644995 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31729/statm: 228861 6699 2479 14 0 215331 0
[pid=31729/tid=31731] ppid=31727 vsize=915444 CPUtime=0.02
/proc/31729/task/31731/stat : 31731 (java) S 31727 31729 31218 0 -1 64 135 0 0 0 2 0 0 0 16 0 8 0 279673192 937414656 6699 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31729/tid=31732] ppid=31727 vsize=915444 CPUtime=0
/proc/31729/task/31732/stat : 31732 (java) S 31727 31729 31218 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 279673192 937414656 6699 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31729/tid=31733] ppid=31727 vsize=915444 CPUtime=0
/proc/31729/task/31733/stat : 31733 (java) S 31727 31729 31218 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279673192 937414656 6699 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31729/tid=31734] ppid=31727 vsize=915444 CPUtime=0
/proc/31729/task/31734/stat : 31734 (java) S 31727 31729 31218 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279673196 937414656 6699 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31729/tid=31735] ppid=31727 vsize=915444 CPUtime=0.11
/proc/31729/task/31735/stat : 31735 (java) S 31727 31729 31218 0 -1 64 329 0 0 0 11 0 0 0 16 0 8 0 279673196 937414656 6699 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31729/tid=31736] ppid=31727 vsize=915444 CPUtime=0
/proc/31729/task/31736/stat : 31736 (java) S 31727 31729 31218 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279673196 937414656 6699 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31729/tid=31737] ppid=31727 vsize=915444 CPUtime=0
/proc/31729/task/31737/stat : 31737 (java) S 31727 31729 31218 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 279673196 937414656 6699 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915444
[startup+51.2135 s]
/proc/loadavg: 2.03 1.99 1.99 3/94 31737
/proc/meminfo: memFree=1170856/2055924 swapFree=4165736/4192956
[pid=31729] ppid=31727 vsize=915444 CPUtime=50.74
/proc/31729/stat : 31729 (java) R 31727 31729 31218 0 -1 0 9005 0 1 0 4178 896 0 0 25 0 8 0 279673187 937414656 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073754026 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31729/statm: 228861 8736 2533 14 0 215331 0
[pid=31729/tid=31731] ppid=31727 vsize=915444 CPUtime=0.02
/proc/31729/task/31731/stat : 31731 (java) S 31727 31729 31218 0 -1 64 136 0 0 0 2 0 0 0 16 0 8 0 279673192 937414656 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31729/tid=31732] ppid=31727 vsize=915444 CPUtime=0
/proc/31729/task/31732/stat : 31732 (java) S 31727 31729 31218 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 279673192 937414656 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31729/tid=31733] ppid=31727 vsize=915444 CPUtime=0
/proc/31729/task/31733/stat : 31733 (java) S 31727 31729 31218 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279673192 937414656 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31729/tid=31734] ppid=31727 vsize=915444 CPUtime=0
/proc/31729/task/31734/stat : 31734 (java) S 31727 31729 31218 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279673196 937414656 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31729/tid=31735] ppid=31727 vsize=915444 CPUtime=0.22
/proc/31729/task/31735/stat : 31735 (java) S 31727 31729 31218 0 -1 64 382 0 0 0 21 1 0 0 16 0 8 0 279673196 937414656 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31729/tid=31736] ppid=31727 vsize=915444 CPUtime=0
/proc/31729/task/31736/stat : 31736 (java) S 31727 31729 31218 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279673196 937414656 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31729/tid=31737] ppid=31727 vsize=915444 CPUtime=0
/proc/31729/task/31737/stat : 31737 (java) S 31727 31729 31218 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 279673196 937414656 8736 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 915444
[startup+102.42 s]
/proc/loadavg: 2.01 1.99 1.99 3/94 31737
/proc/meminfo: memFree=1170792/2055924 swapFree=4165736/4192956
[pid=31729] ppid=31727 vsize=915444 CPUtime=101.52
/proc/31729/stat : 31729 (java) R 31727 31729 31218 0 -1 0 9016 0 1 0 9255 897 0 0 25 0 8 0 279673187 937414656 8746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073808805 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31729/statm: 228861 8746 2533 14 0 215331 0
[pid=31729/tid=31731] ppid=31727 vsize=915444 CPUtime=0.02
/proc/31729/task/31731/stat : 31731 (java) S 31727 31729 31218 0 -1 64 136 0 0 0 2 0 0 0 16 0 8 0 279673192 937414656 8746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31729/tid=31732] ppid=31727 vsize=915444 CPUtime=0
/proc/31729/task/31732/stat : 31732 (java) S 31727 31729 31218 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 279673192 937414656 8746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31729/tid=31733] ppid=31727 vsize=915444 CPUtime=0
/proc/31729/task/31733/stat : 31733 (java) S 31727 31729 31218 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279673192 937414656 8746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31729/tid=31734] ppid=31727 vsize=915444 CPUtime=0
/proc/31729/task/31734/stat : 31734 (java) S 31727 31729 31218 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279673196 937414656 8746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31729/tid=31735] ppid=31727 vsize=915444 CPUtime=0.22
/proc/31729/task/31735/stat : 31735 (java) S 31727 31729 31218 0 -1 64 382 0 0 0 21 1 0 0 16 0 8 0 279673196 937414656 8746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31729/tid=31736] ppid=31727 vsize=915444 CPUtime=0
/proc/31729/task/31736/stat : 31736 (java) S 31727 31729 31218 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279673196 937414656 8746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31729/tid=31737] ppid=31727 vsize=915444 CPUtime=0
/proc/31729/task/31737/stat : 31737 (java) S 31727 31729 31218 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 279673196 937414656 8746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.52
Current children cumulated vsize (KiB) 915444
[startup+162.472 s]
/proc/loadavg: 2.00 1.99 1.99 3/94 31737
/proc/meminfo: memFree=1170792/2055924 swapFree=4165736/4192956
[pid=31729] ppid=31727 vsize=915444 CPUtime=161.07
/proc/31729/stat : 31729 (java) R 31727 31729 31218 0 -1 0 9018 0 1 0 15210 897 0 0 25 0 8 0 279673187 937414656 8748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073808863 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31729/statm: 228861 8748 2533 14 0 215331 0
[pid=31729/tid=31731] ppid=31727 vsize=915444 CPUtime=0.02
/proc/31729/task/31731/stat : 31731 (java) S 31727 31729 31218 0 -1 64 136 0 0 0 2 0 0 0 16 0 8 0 279673192 937414656 8748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31729/tid=31732] ppid=31727 vsize=915444 CPUtime=0
/proc/31729/task/31732/stat : 31732 (java) S 31727 31729 31218 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 279673192 937414656 8748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31729/tid=31733] ppid=31727 vsize=915444 CPUtime=0
/proc/31729/task/31733/stat : 31733 (java) S 31727 31729 31218 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279673192 937414656 8748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31729/tid=31734] ppid=31727 vsize=915444 CPUtime=0
/proc/31729/task/31734/stat : 31734 (java) S 31727 31729 31218 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279673196 937414656 8748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31729/tid=31735] ppid=31727 vsize=915444 CPUtime=0.22
/proc/31729/task/31735/stat : 31735 (java) S 31727 31729 31218 0 -1 64 382 0 0 0 21 1 0 0 16 0 8 0 279673196 937414656 8748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31729/tid=31736] ppid=31727 vsize=915444 CPUtime=0
/proc/31729/task/31736/stat : 31736 (java) S 31727 31729 31218 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279673196 937414656 8748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31729/tid=31737] ppid=31727 vsize=915444 CPUtime=0
/proc/31729/task/31737/stat : 31737 (java) S 31727 31729 31218 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 279673196 937414656 8748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161.07
Current children cumulated vsize (KiB) 915444
[startup+222.523 s]
/proc/loadavg: 2.00 1.99 1.99 3/94 31737
/proc/meminfo: memFree=1170792/2055924 swapFree=4165736/4192956
[pid=31729] ppid=31727 vsize=915444 CPUtime=220.63
/proc/31729/stat : 31729 (java) R 31727 31729 31218 0 -1 0 9020 0 1 0 21165 898 0 0 25 0 8 0 279673187 937414656 8750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073757803 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31729/statm: 228861 8750 2533 14 0 215331 0
[pid=31729/tid=31731] ppid=31727 vsize=915444 CPUtime=0.02
/proc/31729/task/31731/stat : 31731 (java) S 31727 31729 31218 0 -1 64 136 0 0 0 2 0 0 0 16 0 8 0 279673192 937414656 8750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31729/tid=31732] ppid=31727 vsize=915444 CPUtime=0
/proc/31729/task/31732/stat : 31732 (java) S 31727 31729 31218 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 279673192 937414656 8750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31729/tid=31733] ppid=31727 vsize=915444 CPUtime=0
/proc/31729/task/31733/stat : 31733 (java) S 31727 31729 31218 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279673192 937414656 8750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31729/tid=31734] ppid=31727 vsize=915444 CPUtime=0
/proc/31729/task/31734/stat : 31734 (java) S 31727 31729 31218 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279673196 937414656 8750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31729/tid=31735] ppid=31727 vsize=915444 CPUtime=0.22
/proc/31729/task/31735/stat : 31735 (java) S 31727 31729 31218 0 -1 64 382 0 0 0 21 1 0 0 16 0 8 0 279673196 937414656 8750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31729/tid=31736] ppid=31727 vsize=915444 CPUtime=0
/proc/31729/task/31736/stat : 31736 (java) S 31727 31729 31218 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279673196 937414656 8750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31729/tid=31737] ppid=31727 vsize=915444 CPUtime=0
/proc/31729/task/31737/stat : 31737 (java) S 31727 31729 31218 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 279673196 937414656 8750 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.63
Current children cumulated vsize (KiB) 915444
[startup+282.571 s]
/proc/loadavg: 2.00 1.99 1.99 3/94 31737
/proc/meminfo: memFree=1170792/2055924 swapFree=4165736/4192956
[pid=31729] ppid=31727 vsize=915444 CPUtime=280.18
/proc/31729/stat : 31729 (java) R 31727 31729 31218 0 -1 0 9024 0 1 0 27120 898 0 0 25 0 8 0 279673187 937414656 8754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073777997 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31729/statm: 228861 8754 2533 14 0 215331 0
[pid=31729/tid=31731] ppid=31727 vsize=915444 CPUtime=0.02
/proc/31729/task/31731/stat : 31731 (java) S 31727 31729 31218 0 -1 64 136 0 0 0 2 0 0 0 16 0 8 0 279673192 937414656 8754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31729/tid=31732] ppid=31727 vsize=915444 CPUtime=0
/proc/31729/task/31732/stat : 31732 (java) S 31727 31729 31218 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 279673192 937414656 8754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31729/tid=31733] ppid=31727 vsize=915444 CPUtime=0
/proc/31729/task/31733/stat : 31733 (java) S 31727 31729 31218 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279673192 937414656 8754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31729/tid=31734] ppid=31727 vsize=915444 CPUtime=0
/proc/31729/task/31734/stat : 31734 (java) S 31727 31729 31218 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279673196 937414656 8754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31729/tid=31735] ppid=31727 vsize=915444 CPUtime=0.22
/proc/31729/task/31735/stat : 31735 (java) S 31727 31729 31218 0 -1 64 383 0 0 0 21 1 0 0 16 0 8 0 279673196 937414656 8754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31729/tid=31736] ppid=31727 vsize=915444 CPUtime=0
/proc/31729/task/31736/stat : 31736 (java) S 31727 31729 31218 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279673196 937414656 8754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31729/tid=31737] ppid=31727 vsize=915444 CPUtime=0
/proc/31729/task/31737/stat : 31737 (java) S 31727 31729 31218 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 279673196 937414656 8754 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 280.18
Current children cumulated vsize (KiB) 915444
[startup+342.624 s]
/proc/loadavg: 2.00 1.99 1.99 3/94 31737
/proc/meminfo: memFree=1170728/2055924 swapFree=4165736/4192956
[pid=31729] ppid=31727 vsize=915444 CPUtime=339.75
/proc/31729/stat : 31729 (java) R 31727 31729 31218 0 -1 0 9027 0 1 0 33076 899 0 0 25 0 8 0 279673187 937414656 8757 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336175 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31729/statm: 228861 8757 2533 14 0 215331 0
[pid=31729/tid=31731] ppid=31727 vsize=915444 CPUtime=0.02
/proc/31729/task/31731/stat : 31731 (java) S 31727 31729 31218 0 -1 64 136 0 0 0 2 0 0 0 16 0 8 0 279673192 937414656 8757 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31729/tid=31732] ppid=31727 vsize=915444 CPUtime=0
/proc/31729/task/31732/stat : 31732 (java) S 31727 31729 31218 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 279673192 937414656 8757 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31729/tid=31733] ppid=31727 vsize=915444 CPUtime=0
/proc/31729/task/31733/stat : 31733 (java) S 31727 31729 31218 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279673192 937414656 8757 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31729/tid=31734] ppid=31727 vsize=915444 CPUtime=0
/proc/31729/task/31734/stat : 31734 (java) S 31727 31729 31218 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 279673196 937414656 8757 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31729/tid=31735] ppid=31727 vsize=915444 CPUtime=0.22
/proc/31729/task/31735/stat : 31735 (java) S 31727 31729 31218 0 -1 64 384 0 0 0 21 1 0 0 16 0 8 0 279673196 937414656 8757 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31729/tid=31736] ppid=31727 vsize=915444 CPUtime=0
/proc/31729/task/31736/stat : 31736 (java) S 31727 31729 31218 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 279673196 937414656 8757 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31729/tid=31737] ppid=31727 vsize=915444 CPUtime=0
/proc/31729/task/31737/stat : 31737 (java) S 31727 31729 31218 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 279673196 937414656 8757 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 339.75
Current children cumulated vsize (KiB) 915444
Child status: 0
Real time (s): 385.321
CPU time (s): 382.073
CPU user time (s): 373.073
CPU system time (s): 8.99963
CPU usage (%): 99.1569
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 373.073
system time used= 8.99963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9124
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= 8859
involuntary context switches= 17157
runsolver used 0.413937 s user time and 1.3098 s system time
The end
Begin job on node6 on Sat Jan 20 17:06:18 UTC 2007
IDJOB= 281512
IDBENCH= 12197
IDSOLVER= 68
FILE ID= node6/281512-1169312777
PBS_JOBID= 3609990
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/randomMaxCSP/sparseTight/vcsp-25-10-21-85-1_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/281512-1169312777/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-281512-1169312777 -o ROOT/results/node6/solver-281512-1169312777 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/281512-1169312777/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 476f1944cfc2dac2baf5a616e6013523
RANDOM SEED= 995279339
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.240
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.240
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: 2055924 kB
MemFree: 1196416 kB
Buffers: 66044 kB
Cached: 609652 kB
SwapCached: 2944 kB
Active: 370716 kB
Inactive: 403748 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055924 kB
LowFree: 1196416 kB
SwapTotal: 4192956 kB
SwapFree: 4165736 kB
Dirty: 1876 kB
Writeback: 0 kB
Mapped: 109324 kB
Slab: 69724 kB
Committed_AS: 9145572 kB
PageTables: 2496 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 node6 on Sat Jan 20 17:12:44 UTC 2007