0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=epfc.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/281386-1169311933/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=15 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.39 => wckTime=0.094 cpuTime=0.08 mem=6M887
0.39
0.39 relations being loaded...
0.43
0.43 constraints being loaded...
0.49 nbConstraints=105 nbRelationTypes=105 nbExtensionStructures=105 nbSharedExtensionStructures=0
0.49 nbConflictsStructures=105 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2006 maxDegree=14
0.49 maxArity=2
0.49 => wckTime=0.189 cpuTime=0.14 mem=8M847
0.52
0.52 solver LocalSearchSolver being built...
0.57 => wckTime=0.27 cpuTime=0.18 mem=5M461
0.57
0.57 s SATISFIABLE
0.57 o 11
0.57 c 94
0.57 o 13
0.57 c 92
0.57 o 15
0.57 c 90
0.57 o 16
0.57 c 89
0.57 o 17
0.57 c 88
0.58 o 19
0.58 c 86
0.58 o 22
0.58 c 83
0.58 o 23
0.58 c 82
0.58 o 25
0.58 c 80
0.58 o 27
0.58 c 78
0.58 o 28
0.58 c 77
0.58 o 29
0.58 c 76
0.58 o 30
0.58 c 75
0.59 o 31
0.59 c 74
0.59 o 32
0.59 c 73
0.59 o 34
0.59 c 71
0.62 o 35
0.62 c 70
2.64
2.64 search
2.64 run=0 nbConstraintChecks=14871039 nbAssignments=10000
2.64 => wckTime=2.073 cpuTime=2.05 mem=5M461
4.66
4.66 search
4.66 run=1 nbConstraintChecks=29763938 nbAssignments=20000
4.66 => wckTime=4.091 cpuTime=4.07 mem=5M461
6.67
6.67 search
6.67 run=2 nbConstraintChecks=44618539 nbAssignments=30000
6.67 => wckTime=6.102 cpuTime=6.08 mem=5M461
8.68
8.68 search
8.68 run=3 nbConstraintChecks=59505222 nbAssignments=40000
8.68 => wckTime=8.119 cpuTime=8.09 mem=5M461
10.69
10.69 search
10.69 run=4 nbConstraintChecks=74396313 nbAssignments=50000
10.69 => wckTime=10.123 cpuTime=10.11 mem=5M461
12.69
12.69 search
12.69 run=5 nbConstraintChecks=89272815 nbAssignments=60000
12.69 => wckTime=12.121 cpuTime=12.1 mem=5M461
14.68
14.68 search
14.68 run=6 nbConstraintChecks=104093342 nbAssignments=70000
14.68 => wckTime=14.116 cpuTime=14.09 mem=5M461
16.69
16.69 search
16.69 run=7 nbConstraintChecks=119014162 nbAssignments=80000
16.69 => wckTime=16.121 cpuTime=16.1 mem=5M461
18.69
18.69 search
18.69 run=8 nbConstraintChecks=133912870 nbAssignments=90000
18.69 => wckTime=18.125 cpuTime=18.1 mem=5M461
20.72
20.72 search
20.72 run=9 nbConstraintChecks=148874318 nbAssignments=100000
20.72 => wckTime=20.149 cpuTime=20.12 mem=5M461
22.73
22.73 search
22.73 run=10 nbConstraintChecks=163744740 nbAssignments=110000
22.73 => wckTime=22.166 cpuTime=22.14 mem=5M461
24.75
24.75 search
24.75 run=11 nbConstraintChecks=178590608 nbAssignments=120000
24.75 => wckTime=24.182 cpuTime=24.16 mem=5M461
26.77
26.77 search
26.77 run=12 nbConstraintChecks=193476293 nbAssignments=130000
26.77 => wckTime=26.202 cpuTime=26.17 mem=5M461
28.78
28.78 search
28.78 run=13 nbConstraintChecks=208303976 nbAssignments=140000
28.78 => wckTime=28.215 cpuTime=28.19 mem=5M461
30.65
30.65 search
30.65 run=14 nbConstraintChecks=222161632 nbAssignments=149328
30.65 => wckTime=30.083 cpuTime=30.06 mem=5M461
30.65
30.65 global
30.65 nbConstraintChecks=222161632 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.65 solvingWckTime=30.082 solvingCpuTime=30.06 expiredTime=no totalExploration=no nbFoundSolutions=0
30.65 globalCpuTime=30.29
30.65 => wckTime=30.354 cpuTime=30.24 mem=5M461
30.65
30.65 solver IterativeSystematicSolver being built...
30.78 => wckTime=30.479 cpuTime=30.34 mem=16M368
30.80
30.80 preprocessing
30.80 nbConstraintChecks=34624 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
30.80 detectedInconsistency=no
30.80 => wckTime=0.026 cpuTime=0.01 mem=16M368
30.84
30.84 search
30.84 run=0 nbConstraintChecks=96179 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=44
30.84 nbFailedAssignments=28 nbBacktracks=10 nbVisitedNodes=83 nbRestartNogoods=0
30.84 => wckTime=0.068 cpuTime=0.05 mem=16M368
30.89
30.89 search
30.89 run=1 nbConstraintChecks=249557 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=111
30.89 nbFailedAssignments=74 nbBacktracks=25 nbVisitedNodes=211 nbRestartNogoods=5
30.89 => wckTime=0.11 cpuTime=0.08 mem=16M368
30.92
30.92 search
30.92 run=2 nbConstraintChecks=423193 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=199
30.92 nbFailedAssignments=134 nbBacktracks=47 nbVisitedNodes=381 nbRestartNogoods=8
30.92 => wckTime=0.146 cpuTime=0.11 mem=16M368
30.98
30.98 search
30.98 run=3 nbConstraintChecks=715396 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=328
30.98 nbFailedAssignments=225 nbBacktracks=80 nbVisitedNodes=634 nbRestartNogoods=18
30.98 => wckTime=0.201 cpuTime=0.17 mem=16M368
31.06
31.06 search
31.06 run=4 nbConstraintChecks=1170893 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=542
31.06 nbFailedAssignments=383 nbBacktracks=130 nbVisitedNodes=1056 nbRestartNogoods=25
31.06 => wckTime=0.288 cpuTime=0.25 mem=16M368
31.19
31.19 search
31.19 run=5 nbConstraintChecks=1846636 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=813
31.19 nbFailedAssignments=575 nbBacktracks=205 nbVisitedNodes=1593 nbRestartNogoods=29
31.19 => wckTime=0.413 cpuTime=0.37 mem=16M368
31.36
31.36 search
31.36 run=6 nbConstraintChecks=2741532 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1228
31.36 nbFailedAssignments=871 nbBacktracks=318 nbVisitedNodes=2417 nbRestartNogoods=34
31.36 => wckTime=0.582 cpuTime=0.54 mem=16M368
31.64
31.64 search
31.64 run=7 nbConstraintChecks=4268226 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1885
31.64 nbFailedAssignments=1352 nbBacktracks=488 nbVisitedNodes=3725 nbRestartNogoods=40
31.64 => wckTime=0.863 cpuTime=0.8 mem=16M368
32.09
32.09 search
32.09 run=8 nbConstraintChecks=6920952 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2925
32.09 nbFailedAssignments=2133 nbBacktracks=744 nbVisitedNodes=5802 nbRestartNogoods=48
32.09 => wckTime=1.314 cpuTime=1.25 mem=16M368
32.69
32.69 search
32.69 run=9 nbConstraintChecks=10413627 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4464
32.69 nbFailedAssignments=3283 nbBacktracks=1128 nbVisitedNodes=8874 nbRestartNogoods=61
32.69 => wckTime=1.914 cpuTime=1.84 mem=16M368
33.62
33.62 search
33.62 run=10 nbConstraintChecks=15800299 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6802
33.62 nbFailedAssignments=5040 nbBacktracks=1704 nbVisitedNodes=13545 nbRestartNogoods=68
33.62 => wckTime=2.847 cpuTime=2.77 mem=16M368
35.08
35.08 search
35.08 run=11 nbConstraintChecks=24401231 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10338
35.08 nbFailedAssignments=7707 nbBacktracks=2569 nbVisitedNodes=20608 nbRestartNogoods=83
35.08 => wckTime=4.307 cpuTime=4.23 mem=16M368
37.07
37.07 search
37.07 run=12 nbConstraintChecks=36090801 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=15370
37.07 nbFailedAssignments=11438 nbBacktracks=3866 nbVisitedNodes=30668 nbRestartNogoods=97
37.07 => wckTime=6.295 cpuTime=6.22 mem=16M368
40.02
40.02 search
40.02 run=13 nbConstraintChecks=53198004 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=22924
40.02 nbFailedAssignments=17042 nbBacktracks=5812 nbVisitedNodes=45765 nbRestartNogoods=116
40.02 => wckTime=9.24 cpuTime=9.16 mem=16M368
44.68
44.68 search
44.68 run=14 nbConstraintChecks=80183324 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=34215
44.68 nbFailedAssignments=25409 nbBacktracks=8731 nbVisitedNodes=68334 nbRestartNogoods=134
44.68 => wckTime=13.9 cpuTime=13.82 mem=16M368
51.93
51.93 search
51.93 run=15 nbConstraintChecks=122596388 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=51668
51.93 nbFailedAssignments=38480 nbBacktracks=13109 nbVisitedNodes=103229 nbRestartNogoods=146
51.93 => wckTime=21.157 cpuTime=21.07 mem=16M368
62.29
62.29 search
62.29 run=16 nbConstraintChecks=183207942 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=76816
62.29 nbFailedAssignments=57053 nbBacktracks=19677 nbVisitedNodes=153503 nbRestartNogoods=160
62.29 => wckTime=31.518 cpuTime=31.43 mem=16M368
78.58
78.58 search
78.58 run=17 nbConstraintChecks=279451157 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=115319
78.58 nbFailedAssignments=85699 nbBacktracks=29529 nbVisitedNodes=230492 nbRestartNogoods=171
78.58 => wckTime=47.803 cpuTime=47.71 mem=16M368
101.44
101.44 search
101.44 run=18 nbConstraintChecks=412566029 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=170181
101.44 nbFailedAssignments=125779 nbBacktracks=44307 nbVisitedNodes=340182 nbRestartNogoods=190
101.44 => wckTime=70.666 cpuTime=70.57 mem=16M368
135.90
135.90 search
135.90 run=19 nbConstraintChecks=611939378 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=251039
135.90 nbFailedAssignments=184466 nbBacktracks=66475 nbVisitedNodes=501833 nbRestartNogoods=203
135.90 => wckTime=105.12 cpuTime=105.01 mem=16M368
184.50
184.50 search
184.50 run=20 nbConstraintChecks=893012969 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=367348
184.50 nbFailedAssignments=267520 nbBacktracks=99727 nbVisitedNodes=734191 nbRestartNogoods=228
184.50 => wckTime=153.728 cpuTime=153.6 mem=16M368
254.89
254.89 search
254.89 run=21 nbConstraintChecks=1298910417 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=535895
254.89 nbFailedAssignments=386184 nbBacktracks=149605 nbVisitedNodes=1070717 nbRestartNogoods=256
254.89 => wckTime=224.113 cpuTime=223.96 mem=16M368
349.61
349.61 search
349.61 run=22 nbConstraintChecks=1844094551 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=762066
349.61 nbFailedAssignments=537532 nbBacktracks=224423 nbVisitedNodes=1520669 nbRestartNogoods=274
349.61 => wckTime=318.836 cpuTime=318.65 mem=16M368
495.69
495.69 search
495.69 run=23 nbConstraintChecks=2693930755 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1101353
495.69 nbFailedAssignments=764589 nbBacktracks=336650 nbVisitedNodes=2194975 nbRestartNogoods=290
495.69 => wckTime=464.914 cpuTime=464.68 mem=16M368
531.27
531.27 search
531.27 run=24 nbConstraintChecks=2898752779 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1181638
531.27 nbFailedAssignments=816001 nbBacktracks=365524 nbVisitedNodes=2353213 nbRestartNogoods=304
531.27 => wckTime=500.495 cpuTime=500.23 mem=16M368
531.27
531.27 global
531.27 nbConstraintChecks=2898787403 nbRestartNogoods=304 solvingWckTime=500.496 solvingCpuTime=500.24 expiredTime=no
531.27 totalExploration=yes nbFoundSolutions=0 globalCpuTime=530.63
531.27 => wckTime=530.975 cpuTime=530.58 mem=16M368
531.28
531.28 s OPTIMUM FOUND
531.28 v 9 5 8 4 2 6 6 8 2 6 2 4 8 1 2
531.28
531.28 totalWckTime=531.053 totalCpuTime=530.63
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node51/watcher-281386-1169311933 -o ROOT/results/node51/solver-281386-1169311933 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/281386-1169311933/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.01 1.01 1.10 1/65 389
/proc/meminfo: memFree=1350016/2055920 swapFree=4191892/4192956
[pid=388] ppid=386 vsize=1784 CPUtime=0
/proc/388/stat : 388 (java) D 386 388 32194 0 -1 0 169 0 0 0 0 0 0 0 20 0 1 0 279591878 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/388/statm: 446 140 106 14 0 91 0
[startup+0.102579 s]
/proc/loadavg: 1.01 1.01 1.10 1/65 389
/proc/meminfo: memFree=1350016/2055920 swapFree=4191892/4192956
[pid=388] ppid=386 vsize=914988 CPUtime=0.08
/proc/388/stat : 388 (java) R 386 388 32194 0 -1 0 3055 0 1 0 7 1 0 0 16 0 8 0 279591878 936947712 2801 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155839970 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/388/statm: 228747 2803 1449 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.513646 s]
/proc/loadavg: 1.01 1.01 1.10 1/65 389
/proc/meminfo: memFree=1350016/2055920 swapFree=4191892/4192956
[pid=388] ppid=386 vsize=915332 CPUtime=0.49
/proc/388/stat : 388 (java) S 386 388 32194 0 -1 0 6520 0 1 0 46 3 0 0 16 0 8 0 279591878 937299968 6259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/388/statm: 228833 6259 2166 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33378 s]
/proc/loadavg: 1.00 1.01 1.10 2/72 396
/proc/meminfo: memFree=1332552/2055920 swapFree=4191892/4192956
[pid=388] ppid=386 vsize=915440 CPUtime=1.31
/proc/388/stat : 388 (java) R 386 388 32194 0 -1 0 7006 0 1 0 113 18 0 0 17 0 8 0 279591878 937410560 6744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/388/statm: 228861 6744 2479 14 0 215331 0
[pid=388/tid=390] ppid=386 vsize=915440 CPUtime=0.02
/proc/388/task/390/stat : 390 (java) S 386 388 32194 0 -1 64 144 0 0 0 2 0 0 0 16 0 8 0 279591881 937410560 6744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=388/tid=391] ppid=386 vsize=915440 CPUtime=0
/proc/388/task/391/stat : 391 (java) S 386 388 32194 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279591882 937410560 6744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=392] ppid=386 vsize=915440 CPUtime=0
/proc/388/task/392/stat : 392 (java) S 386 388 32194 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279591882 937410560 6744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=393] ppid=386 vsize=915440 CPUtime=0
/proc/388/task/393/stat : 393 (java) S 386 388 32194 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279591885 937410560 6744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=394] ppid=386 vsize=915444 CPUtime=0.11
/proc/388/task/394/stat : 394 (java) S 386 388 32194 0 -1 64 327 0 0 0 10 1 0 0 16 0 8 0 279591885 937414656 6744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=395] ppid=386 vsize=915440 CPUtime=0
/proc/388/task/395/stat : 395 (java) S 386 388 32194 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279591885 937410560 6744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=396] ppid=386 vsize=915440 CPUtime=0
/proc/388/task/396/stat : 396 (java) S 386 388 32194 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279591885 937410560 6744 18446744073709551615 134512640 134570532 4294956464 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.97006 s]
/proc/loadavg: 1.00 1.01 1.10 2/72 396
/proc/meminfo: memFree=1332552/2055920 swapFree=4191892/4192956
[pid=388] ppid=386 vsize=915444 CPUtime=2.95
/proc/388/stat : 388 (java) R 386 388 32194 0 -1 0 7009 0 1 0 245 50 0 0 19 0 8 0 279591878 937414656 6746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/388/statm: 228860 6746 2479 14 0 215330 0
[pid=388/tid=390] ppid=386 vsize=915440 CPUtime=0.02
/proc/388/task/390/stat : 390 (java) S 386 388 32194 0 -1 64 144 0 0 0 2 0 0 0 16 0 8 0 279591881 937410560 6746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=388/tid=391] ppid=386 vsize=915440 CPUtime=0
/proc/388/task/391/stat : 391 (java) S 386 388 32194 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279591882 937410560 6746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=392] ppid=386 vsize=915440 CPUtime=0
/proc/388/task/392/stat : 392 (java) S 386 388 32194 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279591882 937410560 6746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=393] ppid=386 vsize=915440 CPUtime=0
/proc/388/task/393/stat : 393 (java) S 386 388 32194 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279591885 937410560 6746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=394] ppid=386 vsize=915444 CPUtime=0.11
/proc/388/task/394/stat : 394 (java) S 386 388 32194 0 -1 64 329 0 0 0 10 1 0 0 16 0 8 0 279591885 937414656 6746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=395] ppid=386 vsize=915440 CPUtime=0
/proc/388/task/395/stat : 395 (java) S 386 388 32194 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279591885 937410560 6746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=396] ppid=386 vsize=915440 CPUtime=0
/proc/388/task/396/stat : 396 (java) S 386 388 32194 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279591885 937410560 6746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915444
[startup+6.26462 s]
/proc/loadavg: 1.00 1.01 1.09 2/72 396
/proc/meminfo: memFree=1332560/2055920 swapFree=4191892/4192956
[pid=388] ppid=386 vsize=915444 CPUtime=6.24
/proc/388/stat : 388 (java) R 386 388 32194 0 -1 0 7009 0 1 0 512 112 0 0 25 0 8 0 279591878 937414656 6746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/388/statm: 228860 6746 2479 14 0 215330 0
[pid=388/tid=390] ppid=386 vsize=915440 CPUtime=0.02
/proc/388/task/390/stat : 390 (java) S 386 388 32194 0 -1 64 144 0 0 0 2 0 0 0 16 0 8 0 279591881 937410560 6746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=388/tid=391] ppid=386 vsize=915440 CPUtime=0
/proc/388/task/391/stat : 391 (java) S 386 388 32194 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279591882 937410560 6746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=392] ppid=386 vsize=915440 CPUtime=0
/proc/388/task/392/stat : 392 (java) S 386 388 32194 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279591882 937410560 6746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=393] ppid=386 vsize=915444 CPUtime=0
/proc/388/task/393/stat : 393 (java) S 386 388 32194 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279591885 937414656 6746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=394] ppid=386 vsize=915440 CPUtime=0.11
/proc/388/task/394/stat : 394 (java) S 386 388 32194 0 -1 64 329 0 0 0 10 1 0 0 16 0 8 0 279591885 937410560 6746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=395] ppid=386 vsize=915440 CPUtime=0
/proc/388/task/395/stat : 395 (java) S 386 388 32194 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279591885 937410560 6746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=396] ppid=386 vsize=915440 CPUtime=0
/proc/388/task/396/stat : 396 (java) S 386 388 32194 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279591885 937410560 6746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915444
[startup+12.7317 s]
/proc/loadavg: 1.00 1.01 1.09 2/72 396
/proc/meminfo: memFree=1332584/2055920 swapFree=4191892/4192956
[pid=388] ppid=386 vsize=915440 CPUtime=12.71
/proc/388/stat : 388 (java) R 386 388 32194 0 -1 0 7009 0 1 0 1037 234 0 0 20 0 8 0 279591878 937410560 6746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/388/statm: 228860 6746 2479 14 0 215330 0
[pid=388/tid=390] ppid=386 vsize=915440 CPUtime=0.02
/proc/388/task/390/stat : 390 (java) S 386 388 32194 0 -1 64 144 0 0 0 2 0 0 0 16 0 8 0 279591881 937410560 6746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=391] ppid=386 vsize=915440 CPUtime=0
/proc/388/task/391/stat : 391 (java) S 386 388 32194 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279591882 937410560 6746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=392] ppid=386 vsize=915444 CPUtime=0
/proc/388/task/392/stat : 392 (java) S 386 388 32194 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279591882 937414656 6746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=393] ppid=386 vsize=915440 CPUtime=0
/proc/388/task/393/stat : 393 (java) S 386 388 32194 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279591885 937410560 6746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=394] ppid=386 vsize=915440 CPUtime=0.11
/proc/388/task/394/stat : 394 (java) S 386 388 32194 0 -1 64 329 0 0 0 10 1 0 0 16 0 8 0 279591885 937410560 6746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=395] ppid=386 vsize=915440 CPUtime=0
/proc/388/task/395/stat : 395 (java) S 386 388 32194 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279591885 937410560 6746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=396] ppid=386 vsize=915440 CPUtime=0
/proc/388/task/396/stat : 396 (java) S 386 388 32194 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 279591885 937410560 6746 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915440
[startup+25.5769 s]
/proc/loadavg: 1.00 1.01 1.09 2/72 396
/proc/meminfo: memFree=1332648/2055920 swapFree=4191892/4192956
[pid=388] ppid=386 vsize=916464 CPUtime=25.55
/proc/388/stat : 388 (java) R 386 388 32194 0 -1 0 7011 0 1 0 2070 485 0 0 18 0 8 0 279591878 938459136 6748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/388/statm: 229116 6748 2479 14 0 215586 0
[pid=388/tid=390] ppid=386 vsize=916464 CPUtime=0.02
/proc/388/task/390/stat : 390 (java) S 386 388 32194 0 -1 64 144 0 0 0 2 0 0 0 16 0 8 0 279591881 938459136 6748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=391] ppid=386 vsize=916464 CPUtime=0
/proc/388/task/391/stat : 391 (java) S 386 388 32194 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279591882 938459136 6748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=392] ppid=386 vsize=916464 CPUtime=0
/proc/388/task/392/stat : 392 (java) S 386 388 32194 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279591882 938459136 6748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=393] ppid=386 vsize=916464 CPUtime=0
/proc/388/task/393/stat : 393 (java) S 386 388 32194 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279591885 938459136 6748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=394] ppid=386 vsize=916464 CPUtime=0.11
/proc/388/task/394/stat : 394 (java) S 386 388 32194 0 -1 64 330 0 0 0 10 1 0 0 16 0 8 0 279591885 938459136 6748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=395] ppid=386 vsize=916464 CPUtime=0
/proc/388/task/395/stat : 395 (java) S 386 388 32194 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279591885 938459136 6748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=396] ppid=386 vsize=916464 CPUtime=0
/proc/388/task/396/stat : 396 (java) S 386 388 32194 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279591885 938459136 6748 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 916464
[startup+51.2563 s]
/proc/loadavg: 1.00 1.01 1.09 2/72 396
/proc/meminfo: memFree=1325096/2055920 swapFree=4191892/4192956
[pid=388] ppid=386 vsize=916464 CPUtime=51.21
/proc/388/stat : 388 (java) R 386 388 32194 0 -1 0 8990 0 1 0 4532 589 0 0 25 0 8 0 279591878 938459136 8723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073761143 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/388/statm: 229116 8723 2532 14 0 215586 0
[pid=388/tid=390] ppid=386 vsize=916464 CPUtime=0.02
/proc/388/task/390/stat : 390 (java) S 386 388 32194 0 -1 64 145 0 0 0 2 0 0 0 16 0 8 0 279591881 938459136 8723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=391] ppid=386 vsize=916464 CPUtime=0
/proc/388/task/391/stat : 391 (java) S 386 388 32194 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279591882 938459136 8723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=392] ppid=386 vsize=916464 CPUtime=0
/proc/388/task/392/stat : 392 (java) S 386 388 32194 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279591882 938459136 8723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=393] ppid=386 vsize=916464 CPUtime=0
/proc/388/task/393/stat : 393 (java) S 386 388 32194 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279591885 938459136 8723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=394] ppid=386 vsize=916464 CPUtime=0.2
/proc/388/task/394/stat : 394 (java) S 386 388 32194 0 -1 64 383 0 0 0 19 1 0 0 15 0 8 0 279591885 938459136 8723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=395] ppid=386 vsize=916464 CPUtime=0
/proc/388/task/395/stat : 395 (java) S 386 388 32194 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279591885 938459136 8723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=396] ppid=386 vsize=916464 CPUtime=0
/proc/388/task/396/stat : 396 (java) S 386 388 32194 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279591885 938459136 8723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.21
Current children cumulated vsize (KiB) 916464
[startup+102.504 s]
/proc/loadavg: 1.04 1.02 1.09 3/72 396
/proc/meminfo: memFree=1325032/2055920 swapFree=4191892/4192956
[pid=388] ppid=386 vsize=916464 CPUtime=102.44
/proc/388/stat : 388 (java) R 386 388 32194 0 -1 0 9000 0 1 0 9655 589 0 0 18 0 8 0 279591878 938459136 8732 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073777846 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/388/statm: 229116 8732 2532 14 0 215586 0
[pid=388/tid=390] ppid=386 vsize=916464 CPUtime=0.02
/proc/388/task/390/stat : 390 (java) S 386 388 32194 0 -1 64 145 0 0 0 2 0 0 0 16 0 8 0 279591881 938459136 8732 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=391] ppid=386 vsize=916464 CPUtime=0
/proc/388/task/391/stat : 391 (java) S 386 388 32194 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279591882 938459136 8732 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=392] ppid=386 vsize=916464 CPUtime=0
/proc/388/task/392/stat : 392 (java) S 386 388 32194 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279591882 938459136 8732 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=393] ppid=386 vsize=916464 CPUtime=0
/proc/388/task/393/stat : 393 (java) S 386 388 32194 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279591885 938459136 8732 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=394] ppid=386 vsize=916464 CPUtime=0.2
/proc/388/task/394/stat : 394 (java) S 386 388 32194 0 -1 64 383 0 0 0 19 1 0 0 16 0 8 0 279591885 938459136 8732 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=395] ppid=386 vsize=916464 CPUtime=0
/proc/388/task/395/stat : 395 (java) S 386 388 32194 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279591885 938459136 8732 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=396] ppid=386 vsize=916464 CPUtime=0
/proc/388/task/396/stat : 396 (java) S 386 388 32194 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279591885 938459136 8732 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.44
Current children cumulated vsize (KiB) 916464
[startup+162.588 s]
/proc/loadavg: 1.01 1.01 1.08 2/72 396
/proc/meminfo: memFree=1324968/2055920 swapFree=4191892/4192956
[pid=388] ppid=386 vsize=916464 CPUtime=162.51
/proc/388/stat : 388 (java) R 386 388 32194 0 -1 0 9003 0 1 0 15662 589 0 0 25 0 8 0 279591878 938459136 8735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073820360 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/388/statm: 229116 8735 2532 14 0 215586 0
[pid=388/tid=390] ppid=386 vsize=916464 CPUtime=0.02
/proc/388/task/390/stat : 390 (java) S 386 388 32194 0 -1 64 145 0 0 0 2 0 0 0 16 0 8 0 279591881 938459136 8735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=391] ppid=386 vsize=916464 CPUtime=0
/proc/388/task/391/stat : 391 (java) S 386 388 32194 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279591882 938459136 8735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=392] ppid=386 vsize=916464 CPUtime=0
/proc/388/task/392/stat : 392 (java) S 386 388 32194 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279591882 938459136 8735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=393] ppid=386 vsize=916464 CPUtime=0
/proc/388/task/393/stat : 393 (java) S 386 388 32194 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279591885 938459136 8735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=394] ppid=386 vsize=916464 CPUtime=0.2
/proc/388/task/394/stat : 394 (java) S 386 388 32194 0 -1 64 383 0 0 0 19 1 0 0 16 0 8 0 279591885 938459136 8735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=395] ppid=386 vsize=916464 CPUtime=0
/proc/388/task/395/stat : 395 (java) S 386 388 32194 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279591885 938459136 8735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=396] ppid=386 vsize=916464 CPUtime=0
/proc/388/task/396/stat : 396 (java) S 386 388 32194 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279591885 938459136 8735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.51
Current children cumulated vsize (KiB) 916464
[startup+222.669 s]
/proc/loadavg: 1.00 1.01 1.08 2/72 396
/proc/meminfo: memFree=1324968/2055920 swapFree=4191892/4192956
[pid=388] ppid=386 vsize=916464 CPUtime=222.57
/proc/388/stat : 388 (java) R 386 388 32194 0 -1 0 9005 0 1 0 21668 589 0 0 25 0 8 0 279591878 938459136 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073761297 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/388/statm: 229116 8737 2532 14 0 215586 0
[pid=388/tid=390] ppid=386 vsize=916464 CPUtime=0.02
/proc/388/task/390/stat : 390 (java) S 386 388 32194 0 -1 64 145 0 0 0 2 0 0 0 16 0 8 0 279591881 938459136 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=391] ppid=386 vsize=916464 CPUtime=0
/proc/388/task/391/stat : 391 (java) S 386 388 32194 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279591882 938459136 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=392] ppid=386 vsize=916464 CPUtime=0
/proc/388/task/392/stat : 392 (java) S 386 388 32194 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279591882 938459136 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=393] ppid=386 vsize=916464 CPUtime=0
/proc/388/task/393/stat : 393 (java) S 386 388 32194 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279591885 938459136 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=394] ppid=386 vsize=916464 CPUtime=0.2
/proc/388/task/394/stat : 394 (java) S 386 388 32194 0 -1 64 383 0 0 0 19 1 0 0 16 0 8 0 279591885 938459136 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=395] ppid=386 vsize=916464 CPUtime=0
/proc/388/task/395/stat : 395 (java) S 386 388 32194 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279591885 938459136 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=396] ppid=386 vsize=916464 CPUtime=0
/proc/388/task/396/stat : 396 (java) S 386 388 32194 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279591885 938459136 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.57
Current children cumulated vsize (KiB) 916464
[startup+282.75 s]
/proc/loadavg: 1.00 1.00 1.07 3/72 396
/proc/meminfo: memFree=1324968/2055920 swapFree=4191892/4192956
[pid=388] ppid=386 vsize=916464 CPUtime=282.63
/proc/388/stat : 388 (java) R 386 388 32194 0 -1 0 9008 0 1 0 27674 589 0 0 25 0 8 0 279591878 938459136 8740 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336175 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/388/statm: 229116 8740 2532 14 0 215586 0
[pid=388/tid=390] ppid=386 vsize=916464 CPUtime=0.02
/proc/388/task/390/stat : 390 (java) S 386 388 32194 0 -1 64 145 0 0 0 2 0 0 0 16 0 8 0 279591881 938459136 8740 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=391] ppid=386 vsize=916464 CPUtime=0
/proc/388/task/391/stat : 391 (java) S 386 388 32194 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279591882 938459136 8740 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=392] ppid=386 vsize=916464 CPUtime=0
/proc/388/task/392/stat : 392 (java) S 386 388 32194 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279591882 938459136 8740 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=393] ppid=386 vsize=916464 CPUtime=0
/proc/388/task/393/stat : 393 (java) S 386 388 32194 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279591885 938459136 8740 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=394] ppid=386 vsize=916464 CPUtime=0.2
/proc/388/task/394/stat : 394 (java) S 386 388 32194 0 -1 64 383 0 0 0 19 1 0 0 16 0 8 0 279591885 938459136 8740 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=395] ppid=386 vsize=916464 CPUtime=0
/proc/388/task/395/stat : 395 (java) S 386 388 32194 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279591885 938459136 8740 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=396] ppid=386 vsize=916464 CPUtime=0
/proc/388/task/396/stat : 396 (java) S 386 388 32194 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279591885 938459136 8740 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.63
Current children cumulated vsize (KiB) 916464
[startup+342.833 s]
/proc/loadavg: 1.00 1.00 1.06 2/72 396
/proc/meminfo: memFree=1324968/2055920 swapFree=4191892/4192956
[pid=388] ppid=386 vsize=916464 CPUtime=342.69
/proc/388/stat : 388 (java) R 386 388 32194 0 -1 0 9008 0 1 0 33680 589 0 0 25 0 8 0 279591878 938459136 8740 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073761220 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/388/statm: 229116 8740 2532 14 0 215586 0
[pid=388/tid=390] ppid=386 vsize=916464 CPUtime=0.02
/proc/388/task/390/stat : 390 (java) S 386 388 32194 0 -1 64 145 0 0 0 2 0 0 0 16 0 8 0 279591881 938459136 8740 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=391] ppid=386 vsize=916464 CPUtime=0
/proc/388/task/391/stat : 391 (java) S 386 388 32194 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279591882 938459136 8740 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=392] ppid=386 vsize=916464 CPUtime=0
/proc/388/task/392/stat : 392 (java) S 386 388 32194 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279591882 938459136 8740 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=393] ppid=386 vsize=916464 CPUtime=0
/proc/388/task/393/stat : 393 (java) S 386 388 32194 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279591885 938459136 8740 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=394] ppid=386 vsize=916464 CPUtime=0.2
/proc/388/task/394/stat : 394 (java) S 386 388 32194 0 -1 64 383 0 0 0 19 1 0 0 16 0 8 0 279591885 938459136 8740 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=395] ppid=386 vsize=916464 CPUtime=0
/proc/388/task/395/stat : 395 (java) S 386 388 32194 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279591885 938459136 8740 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=396] ppid=386 vsize=916464 CPUtime=0
/proc/388/task/396/stat : 396 (java) S 386 388 32194 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279591885 938459136 8740 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 342.69
Current children cumulated vsize (KiB) 916464
[startup+402.916 s]
/proc/loadavg: 1.00 1.00 1.06 2/72 396
/proc/meminfo: memFree=1324904/2055920 swapFree=4191892/4192956
[pid=388] ppid=386 vsize=916464 CPUtime=402.76
/proc/388/stat : 388 (java) R 386 388 32194 0 -1 0 9010 0 1 0 39687 589 0 0 25 0 8 0 279591878 938459136 8742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073764435 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/388/statm: 229116 8742 2532 14 0 215586 0
[pid=388/tid=390] ppid=386 vsize=916464 CPUtime=0.02
/proc/388/task/390/stat : 390 (java) S 386 388 32194 0 -1 64 145 0 0 0 2 0 0 0 16 0 8 0 279591881 938459136 8742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=391] ppid=386 vsize=916464 CPUtime=0
/proc/388/task/391/stat : 391 (java) S 386 388 32194 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279591882 938459136 8742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=392] ppid=386 vsize=916464 CPUtime=0
/proc/388/task/392/stat : 392 (java) S 386 388 32194 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279591882 938459136 8742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=393] ppid=386 vsize=916464 CPUtime=0
/proc/388/task/393/stat : 393 (java) S 386 388 32194 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279591885 938459136 8742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=394] ppid=386 vsize=916464 CPUtime=0.2
/proc/388/task/394/stat : 394 (java) S 386 388 32194 0 -1 64 383 0 0 0 19 1 0 0 16 0 8 0 279591885 938459136 8742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=395] ppid=386 vsize=916464 CPUtime=0
/proc/388/task/395/stat : 395 (java) S 386 388 32194 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279591885 938459136 8742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=396] ppid=386 vsize=916464 CPUtime=0
/proc/388/task/396/stat : 396 (java) S 386 388 32194 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279591885 938459136 8742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 402.76
Current children cumulated vsize (KiB) 916464
[startup+462.993 s]
/proc/loadavg: 1.00 1.00 1.05 2/72 396
/proc/meminfo: memFree=1324968/2055920 swapFree=4191892/4192956
[pid=388] ppid=386 vsize=916464 CPUtime=462.81
/proc/388/stat : 388 (java) R 386 388 32194 0 -1 0 9010 0 1 0 45692 589 0 0 25 0 8 0 279591878 938459136 8742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073820354 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/388/statm: 229116 8742 2532 14 0 215586 0
[pid=388/tid=390] ppid=386 vsize=916464 CPUtime=0.02
/proc/388/task/390/stat : 390 (java) S 386 388 32194 0 -1 64 145 0 0 0 2 0 0 0 16 0 8 0 279591881 938459136 8742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=391] ppid=386 vsize=916464 CPUtime=0
/proc/388/task/391/stat : 391 (java) S 386 388 32194 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279591882 938459136 8742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=392] ppid=386 vsize=916464 CPUtime=0
/proc/388/task/392/stat : 392 (java) S 386 388 32194 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279591882 938459136 8742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=393] ppid=386 vsize=916464 CPUtime=0
/proc/388/task/393/stat : 393 (java) S 386 388 32194 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279591885 938459136 8742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=394] ppid=386 vsize=916464 CPUtime=0.2
/proc/388/task/394/stat : 394 (java) S 386 388 32194 0 -1 64 383 0 0 0 19 1 0 0 16 0 8 0 279591885 938459136 8742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=395] ppid=386 vsize=916464 CPUtime=0
/proc/388/task/395/stat : 395 (java) S 386 388 32194 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279591885 938459136 8742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=396] ppid=386 vsize=916464 CPUtime=0
/proc/388/task/396/stat : 396 (java) S 386 388 32194 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279591885 938459136 8742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 462.81
Current children cumulated vsize (KiB) 916464
[startup+523.071 s]
/proc/loadavg: 1.06 1.03 1.06 2/72 396
/proc/meminfo: memFree=1324904/2055920 swapFree=4191892/4192956
[pid=388] ppid=386 vsize=916464 CPUtime=522.88
/proc/388/stat : 388 (java) R 386 388 32194 0 -1 0 9012 0 1 0 51699 589 0 0 25 0 8 0 279591878 938459136 8744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073761045 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/388/statm: 229116 8744 2532 14 0 215586 0
[pid=388/tid=390] ppid=386 vsize=916464 CPUtime=0.02
/proc/388/task/390/stat : 390 (java) S 386 388 32194 0 -1 64 145 0 0 0 2 0 0 0 16 0 8 0 279591881 938459136 8744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=391] ppid=386 vsize=916464 CPUtime=0
/proc/388/task/391/stat : 391 (java) S 386 388 32194 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279591882 938459136 8744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=392] ppid=386 vsize=916464 CPUtime=0
/proc/388/task/392/stat : 392 (java) S 386 388 32194 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279591882 938459136 8744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=393] ppid=386 vsize=916464 CPUtime=0
/proc/388/task/393/stat : 393 (java) S 386 388 32194 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 279591885 938459136 8744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=394] ppid=386 vsize=916464 CPUtime=0.2
/proc/388/task/394/stat : 394 (java) S 386 388 32194 0 -1 64 383 0 0 0 19 1 0 0 16 0 8 0 279591885 938459136 8744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=395] ppid=386 vsize=916464 CPUtime=0
/proc/388/task/395/stat : 395 (java) S 386 388 32194 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 279591885 938459136 8744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=388/tid=396] ppid=386 vsize=916464 CPUtime=0
/proc/388/task/396/stat : 396 (java) S 386 388 32194 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279591885 938459136 8744 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 522.88
Current children cumulated vsize (KiB) 916464
Child status: 0
Real time (s): 531.322
CPU time (s): 531.076
CPU user time (s): 525.154
CPU system time (s): 5.9221
CPU usage (%): 99.9538
Max. virtual memory (cumulated for all children) (KiB): 916980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 525.154
system time used= 5.9221
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9105
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= 11531
involuntary context switches= 580
runsolver used 0.543917 s user time and 1.35279 s system time
The end
Begin job on node51 on Sat Jan 20 16:52:13 UTC 2007
IDJOB= 281386
IDBENCH= 12173
IDSOLVER= 68
FILE ID= node51/281386-1169311933
PBS_JOBID= 3610215
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/randomMaxCSP/completeTight/vcsp-15-10-100-93-25_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/281386-1169311933/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node51/watcher-281386-1169311933 -o ROOT/results/node51/solver-281386-1169311933 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/281386-1169311933/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 1a52cf1e8882aba90ae0342cabcd3191
RANDOM SEED= 779787101
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.277
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.277
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1350368 kB
Buffers: 50992 kB
Cached: 562808 kB
SwapCached: 512 kB
Active: 138276 kB
Inactive: 490844 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1350368 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 1660 kB
Writeback: 0 kB
Mapped: 24052 kB
Slab: 62440 kB
Committed_AS: 5635908 kB
PageTables: 1408 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= 66563 MiB
End job on node51 on Sat Jan 20 17:01:05 UTC 2007