0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=epfc.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/278425-1169288011/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.39 nbVariables=40 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.39 => wckTime=0.089 cpuTime=0.08 mem=6M887
0.39
0.39 relations being loaded...
0.40
0.41 constraints being loaded...
0.56 nbConstraints=670 nbRelationTypes=14 nbExtensionStructures=14 nbSharedExtensionStructures=656
0.56 nbConflictsStructures=14 nbSharedConflictsStructures=656 nbSharedBinaryRepresentations=52 maxDegree=39
0.56 maxArity=2
0.56 => wckTime=0.252 cpuTime=0.18 mem=8M838
0.60
0.60 solver LocalSearchSolver being built...
0.64 => wckTime=0.334 cpuTime=0.22 mem=5M696
0.65
0.65 s SATISFIABLE
0.65 o 314
0.65 c 356
0.65 o 321
0.65 c 349
0.65 o 329
0.65 c 341
0.65 o 333
0.65 c 337
0.65 o 336
0.65 c 334
0.65 o 338
0.65 c 332
0.65 o 339
0.65 c 331
0.65 o 345
0.65 c 325
0.65 o 348
0.65 c 322
0.65 o 355
0.65 c 315
0.65 o 356
0.65 c 314
0.66 o 359
0.66 c 311
0.66 o 364
0.66 c 306
0.71 o 365
0.71 c 305
0.71 o 367
0.71 c 303
0.71 o 370
0.71 c 300
2.49 o 371
2.49 c 299
2.49 o 373
2.49 c 297
3.09
3.09 search
3.09 run=0 nbConstraintChecks=11827269 nbAssignments=10000
3.09 => wckTime=2.449 cpuTime=2.42 mem=5M696
5.42
5.42 search
5.42 run=1 nbConstraintChecks=23717863 nbAssignments=20000
5.42 => wckTime=4.779 cpuTime=4.74 mem=5M696
7.73
7.73 search
7.73 run=2 nbConstraintChecks=35542921 nbAssignments=30000
7.73 => wckTime=7.089 cpuTime=7.05 mem=5M696
10.05
10.05 search
10.05 run=3 nbConstraintChecks=47448207 nbAssignments=40000
10.05 => wckTime=9.414 cpuTime=9.38 mem=5M696
12.37
12.38 search
12.38 run=4 nbConstraintChecks=59279516 nbAssignments=50000
12.38 => wckTime=11.738 cpuTime=11.69 mem=5M696
14.71
14.71 search
14.71 run=5 nbConstraintChecks=71165712 nbAssignments=60000
14.71 => wckTime=14.075 cpuTime=14.03 mem=5M696
17.07
17.07 search
17.07 run=6 nbConstraintChecks=82991420 nbAssignments=70000
17.07 => wckTime=16.436 cpuTime=16.38 mem=5M696
19.42
19.42 search
19.42 run=7 nbConstraintChecks=94882139 nbAssignments=80000
19.42 => wckTime=18.783 cpuTime=18.73 mem=5M696
21.75
21.75 search
21.75 run=8 nbConstraintChecks=106711077 nbAssignments=90000
21.75 => wckTime=21.116 cpuTime=21.05 mem=5M696
24.09
24.09 search
24.09 run=9 nbConstraintChecks=118610078 nbAssignments=100000
24.09 => wckTime=23.453 cpuTime=23.38 mem=5M696
26.41
26.41 search
26.41 run=10 nbConstraintChecks=130437822 nbAssignments=110000
26.41 => wckTime=25.769 cpuTime=25.69 mem=5M696
28.73
28.73 search
28.73 run=11 nbConstraintChecks=142323922 nbAssignments=120000
28.73 => wckTime=28.096 cpuTime=28.02 mem=5M696
31.05
31.05 search
31.05 run=12 nbConstraintChecks=154153883 nbAssignments=130000
31.05 => wckTime=30.417 cpuTime=30.34 mem=5M696
32.54
32.54 search
32.54 run=13 nbConstraintChecks=161677111 nbAssignments=136328
32.54 => wckTime=31.899 cpuTime=31.83 mem=5M696
32.54
32.54 global
32.54 nbConstraintChecks=161677111 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.54 solvingWckTime=31.897 solvingCpuTime=31.83 expiredTime=no totalExploration=no nbFoundSolutions=0
32.54 globalCpuTime=32.1
32.54 => wckTime=32.233 cpuTime=32.05 mem=5M696
32.54
32.54 solver IterativeSystematicSolver being built...
32.67 => wckTime=32.369 cpuTime=32.15 mem=16M813
32.74
32.74 preprocessing
32.74 nbConstraintChecks=77061 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
32.74 detectedInconsistency=no
32.74 => wckTime=0.065 cpuTime=0.04 mem=16M813
32.78
32.78 search
32.78 run=0 nbConstraintChecks=68146 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=37
32.78 nbFailedAssignments=8 nbBacktracks=11 nbVisitedNodes=55 nbRestartNogoods=0
32.78 => wckTime=0.099 cpuTime=0.07 mem=16M813
32.83
32.83 search
32.83 run=1 nbConstraintChecks=155372 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=79
32.83 nbFailedAssignments=20 nbBacktracks=26 nbVisitedNodes=121 nbRestartNogoods=1
32.83 => wckTime=0.151 cpuTime=0.11 mem=16M813
32.87
32.87 search
32.87 run=2 nbConstraintChecks=272733 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=136
32.87 nbFailedAssignments=36 nbBacktracks=49 nbVisitedNodes=214 nbRestartNogoods=4
32.87 => wckTime=0.195 cpuTime=0.16 mem=16M813
32.93
32.93 search
32.93 run=3 nbConstraintChecks=432799 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=207
32.93 nbFailedAssignments=58 nbBacktracks=82 nbVisitedNodes=339 nbRestartNogoods=7
32.93 => wckTime=0.257 cpuTime=0.22 mem=16M813
33.02
33.02 search
33.02 run=4 nbConstraintChecks=669691 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=304
33.02 nbFailedAssignments=90 nbBacktracks=132 nbVisitedNodes=518 nbRestartNogoods=11
33.02 => wckTime=0.349 cpuTime=0.31 mem=16M813
33.15
33.15 search
33.15 run=5 nbConstraintChecks=993840 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=445
33.15 nbFailedAssignments=138 nbBacktracks=208 nbVisitedNodes=777 nbRestartNogoods=14
33.15 => wckTime=0.476 cpuTime=0.43 mem=16M813
33.33
33.33 search
33.33 run=6 nbConstraintChecks=1486106 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=651
33.33 nbFailedAssignments=216 nbBacktracks=321 nbVisitedNodes=1166 nbRestartNogoods=16
33.33 => wckTime=0.66 cpuTime=0.62 mem=16M813
33.61
33.61 search
33.61 run=7 nbConstraintChecks=2210766 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=948
33.61 nbFailedAssignments=328 nbBacktracks=491 nbVisitedNodes=1736 nbRestartNogoods=19
33.61 => wckTime=0.938 cpuTime=0.89 mem=16M813
34.03
34.03 search
34.03 run=8 nbConstraintChecks=3311848 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1377
34.03 nbFailedAssignments=489 nbBacktracks=747 nbVisitedNodes=2570 nbRestartNogoods=22
34.03 => wckTime=1.357 cpuTime=1.3 mem=16M813
34.66
34.66 search
34.66 run=9 nbConstraintChecks=4997567 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2044
34.66 nbFailedAssignments=755 nbBacktracks=1131 nbVisitedNodes=3861 nbRestartNogoods=29
34.66 => wckTime=1.989 cpuTime=1.92 mem=16M813
35.58
35.58 search
35.58 run=10 nbConstraintChecks=7519623 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3021
35.58 nbFailedAssignments=1141 nbBacktracks=1707 nbVisitedNodes=5784 nbRestartNogoods=33
35.58 => wckTime=2.909 cpuTime=2.83 mem=16M813
36.82
36.82 search
36.82 run=11 nbConstraintChecks=11116800 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4459
36.82 nbFailedAssignments=1701 nbBacktracks=2571 nbVisitedNodes=8619 nbRestartNogoods=35
36.82 => wckTime=4.146 cpuTime=4.06 mem=16M813
38.91
38.91 search
38.91 run=12 nbConstraintChecks=17074427 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6784
38.91 nbFailedAssignments=2715 nbBacktracks=3869 nbVisitedNodes=13175 nbRestartNogoods=40
38.91 => wckTime=6.234 cpuTime=6.15 mem=16M813
41.89
41.89 search
41.89 run=13 nbConstraintChecks=25767472 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10116
41.89 nbFailedAssignments=4085 nbBacktracks=5816 nbVisitedNodes=19734 nbRestartNogoods=46
41.89 => wckTime=9.216 cpuTime=9.13 mem=16M813
46.28
46.29 search
46.29 run=14 nbConstraintChecks=38573973 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=15158
46.29 nbFailedAssignments=6191 nbBacktracks=8737 nbVisitedNodes=29637 nbRestartNogoods=50
46.29 => wckTime=13.611 cpuTime=13.52 mem=16M813
53.18
53.18 search
53.18 run=15 nbConstraintChecks=58381372 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=22813
53.18 nbFailedAssignments=9454 nbBacktracks=13116 nbVisitedNodes=44652 nbRestartNogoods=53
53.18 => wckTime=20.506 cpuTime=20.42 mem=16M813
63.56
63.56 search
63.56 run=16 nbConstraintChecks=87993657 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=34071
63.56 nbFailedAssignments=14133 nbBacktracks=19685 nbVisitedNodes=66876 nbRestartNogoods=60
63.56 => wckTime=30.886 cpuTime=30.79 mem=16M813
78.58
78.58 search
78.58 run=17 nbConstraintChecks=131206783 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=50749
78.58 nbFailedAssignments=20947 nbBacktracks=29539 nbVisitedNodes=99770 nbRestartNogoods=68
78.58 => wckTime=45.905 cpuTime=45.8 mem=16M813
102.47
102.47 search
102.47 run=18 nbConstraintChecks=198097984 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=76043
102.47 nbFailedAssignments=31454 nbBacktracks=44317 nbVisitedNodes=149603 nbRestartNogoods=76
102.47 => wckTime=69.797 cpuTime=69.68 mem=16M813
138.46
138.46 search
138.46 run=19 nbConstraintChecks=299191248 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=114357
138.46 nbFailedAssignments=47589 nbBacktracks=66485 nbVisitedNodes=224937 nbRestartNogoods=86
138.46 => wckTime=105.784 cpuTime=105.65 mem=16M813
192.28
192.28 search
192.28 run=20 nbConstraintChecks=449720550 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=171294
192.28 nbFailedAssignments=71263 nbBacktracks=99737 nbVisitedNodes=336888 nbRestartNogoods=94
192.28 => wckTime=159.608 cpuTime=159.46 mem=16M813
271.67
271.67 search
271.67 run=21 nbConstraintChecks=669667363 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=255855
271.67 nbFailedAssignments=105936 nbBacktracks=149615 nbVisitedNodes=502723 nbRestartNogoods=103
271.67 => wckTime=238.998 cpuTime=238.82 mem=16M813
395.88
395.88 search
395.88 run=22 nbConstraintChecks=1010994585 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=385716
395.88 nbFailedAssignments=160964 nbBacktracks=224433 nbVisitedNodes=756564 nbRestartNogoods=111
395.88 => wckTime=363.208 cpuTime=362.96 mem=16M813
540.39
540.39 search
540.39 run=23 nbConstraintChecks=1405297027 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=535862
540.39 nbFailedAssignments=223085 nbBacktracks=312459 nbVisitedNodes=1048407 nbRestartNogoods=116
540.39 => wckTime=507.714 cpuTime=507.42 mem=16M813
540.39
540.39 global
540.39 nbConstraintChecks=1405374088 nbRestartNogoods=116 solvingWckTime=507.715 solvingCpuTime=507.42 expiredTime=no
540.39 totalExploration=yes nbFoundSolutions=0 globalCpuTime=539.62
540.39 => wckTime=540.084 cpuTime=539.57 mem=16M813
540.39
540.39 s OPTIMUM FOUND
540.39 v 1 1 0 1 1 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 1 0 1 1 0 1 1 1 0 0 1 1 0 1 1 0 1 0 0 1
540.39
540.39 totalWckTime=540.165 totalCpuTime=539.62
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node12/watcher-278425-1169288011 -o ROOT/results/node12/solver-278425-1169288011 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278425-1169288011/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: 0.94 1.13 1.20 4/86 5917
/proc/meminfo: memFree=1365736/2055920 swapFree=4160348/4192956
[pid=5916] ppid=5914 vsize=906644 CPUtime=0.02
/proc/5916/stat : 5916 (java) S 5914 5916 5425 0 -1 0 2069 0 1 0 1 1 0 0 18 0 2 0 277196178 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/5916/statm: 226661 1818 1036 14 0 214244 0
[pid=5916/tid=5918] ppid=5914 vsize=906644 CPUtime=0
/proc/5916/task/5918/stat : 5918 (java) R 5914 5916 5425 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 277196182 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[startup+0.10321 s]
/proc/loadavg: 0.94 1.13 1.20 4/86 5917
/proc/meminfo: memFree=1365736/2055920 swapFree=4160348/4192956
[pid=5916] ppid=5914 vsize=914988 CPUtime=0.09
/proc/5916/stat : 5916 (java) R 5914 5916 5425 0 -1 0 3020 0 1 0 7 2 0 0 17 0 8 0 277196178 936947712 2766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155340612 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5916/statm: 228747 2766 1435 14 0 215242 0
[pid=5916/tid=5918] ppid=5914 vsize=914988 CPUtime=0
/proc/5916/task/5918/stat : 5918 (java) S 5914 5916 5425 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 277196182 936947712 2766 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.511283 s]
/proc/loadavg: 0.94 1.13 1.20 4/86 5917
/proc/meminfo: memFree=1365736/2055920 swapFree=4160348/4192956
[pid=5916] ppid=5914 vsize=915332 CPUtime=0.49
/proc/5916/stat : 5916 (java) R 5914 5916 5425 0 -1 0 6443 0 1 0 44 5 0 0 17 0 8 0 277196178 937299968 6182 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152158207 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5916/statm: 228833 6182 2152 14 0 215303 0
[pid=5916/tid=5918] ppid=5914 vsize=915332 CPUtime=0
/proc/5916/task/5918/stat : 5918 (java) S 5914 5916 5425 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 277196182 937299968 6182 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33443 s]
/proc/loadavg: 1.11 1.16 1.21 3/93 5924
/proc/meminfo: memFree=1347312/2055920 swapFree=4160348/4192956
[pid=5916] ppid=5914 vsize=915460 CPUtime=1.31
/proc/5916/stat : 5916 (java) R 5914 5916 5425 0 -1 0 7275 0 1 0 116 15 0 0 22 0 8 0 277196178 937431040 7013 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5916/statm: 228865 7013 2479 14 0 215335 0
[pid=5916/tid=5918] ppid=5914 vsize=915460 CPUtime=0.02
/proc/5916/task/5918/stat : 5918 (java) S 5914 5916 5425 0 -1 64 204 0 0 0 2 0 0 0 16 0 8 0 277196182 937431040 7013 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5916/tid=5919] ppid=5914 vsize=915460 CPUtime=0
/proc/5916/task/5919/stat : 5919 (java) S 5914 5916 5425 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277196182 937431040 7013 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5916/tid=5920] ppid=5914 vsize=915464 CPUtime=0
/proc/5916/task/5920/stat : 5920 (java) S 5914 5916 5425 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277196182 937435136 7013 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5916/tid=5921] ppid=5914 vsize=915460 CPUtime=0
/proc/5916/task/5921/stat : 5921 (java) S 5914 5916 5425 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277196185 937431040 7013 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5916/tid=5922] ppid=5914 vsize=915460 CPUtime=0.14
/proc/5916/task/5922/stat : 5922 (java) S 5914 5916 5425 0 -1 64 339 0 0 0 13 1 0 0 16 0 8 0 277196185 937431040 7013 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5916/tid=5923] ppid=5914 vsize=915460 CPUtime=0
/proc/5916/task/5923/stat : 5923 (java) S 5914 5916 5425 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277196185 937431040 7013 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5916/tid=5924] ppid=5914 vsize=915460 CPUtime=0
/proc/5916/task/5924/stat : 5924 (java) S 5914 5916 5425 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277196185 937431040 7013 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) 915460
[startup+2.98772 s]
/proc/loadavg: 1.11 1.16 1.21 3/88 5934
/proc/meminfo: memFree=1348824/2055920 swapFree=4160348/4192956
[pid=5916] ppid=5914 vsize=915460 CPUtime=2.96
/proc/5916/stat : 5916 (java) R 5914 5916 5425 0 -1 0 7276 0 1 0 255 41 0 0 21 0 8 0 277196178 937431040 7013 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5916/statm: 228865 7013 2479 14 0 215335 0
[pid=5916/tid=5918] ppid=5914 vsize=915460 CPUtime=0.02
/proc/5916/task/5918/stat : 5918 (java) S 5914 5916 5425 0 -1 64 204 0 0 0 2 0 0 0 16 0 8 0 277196182 937431040 7013 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5916/tid=5919] ppid=5914 vsize=915460 CPUtime=0
/proc/5916/task/5919/stat : 5919 (java) S 5914 5916 5425 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277196182 937431040 7013 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5916/tid=5920] ppid=5914 vsize=915464 CPUtime=0
/proc/5916/task/5920/stat : 5920 (java) S 5914 5916 5425 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277196182 937435136 7013 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5916/tid=5921] ppid=5914 vsize=915460 CPUtime=0
/proc/5916/task/5921/stat : 5921 (java) S 5914 5916 5425 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277196185 937431040 7013 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5916/tid=5922] ppid=5914 vsize=915460 CPUtime=0.14
/proc/5916/task/5922/stat : 5922 (java) S 5914 5916 5425 0 -1 64 339 0 0 0 13 1 0 0 16 0 8 0 277196185 937431040 7013 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5916/tid=5923] ppid=5914 vsize=915460 CPUtime=0
/proc/5916/task/5923/stat : 5923 (java) S 5914 5916 5425 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277196185 937431040 7013 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5916/tid=5924] ppid=5914 vsize=915460 CPUtime=0
/proc/5916/task/5924/stat : 5924 (java) S 5914 5916 5425 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277196185 937431040 7013 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915460
[startup+6.26831 s]
/proc/loadavg: 1.11 1.16 1.21 3/95 6004
/proc/meminfo: memFree=1347168/2055920 swapFree=4160348/4192956
[pid=5916] ppid=5914 vsize=916488 CPUtime=6.24
/proc/5916/stat : 5916 (java) R 5914 5916 5425 0 -1 0 7279 0 1 0 532 92 0 0 25 0 8 0 277196178 938483712 7016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5916/statm: 229121 7016 2479 14 0 215591 0
[pid=5916/tid=5918] ppid=5914 vsize=916484 CPUtime=0.02
/proc/5916/task/5918/stat : 5918 (java) S 5914 5916 5425 0 -1 64 204 0 0 0 2 0 0 0 16 0 8 0 277196182 938479616 7016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5916/tid=5919] ppid=5914 vsize=916484 CPUtime=0
/proc/5916/task/5919/stat : 5919 (java) S 5914 5916 5425 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277196182 938479616 7016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5916/tid=5920] ppid=5914 vsize=916484 CPUtime=0
/proc/5916/task/5920/stat : 5920 (java) S 5914 5916 5425 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277196182 938479616 7016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5916/tid=5921] ppid=5914 vsize=916484 CPUtime=0
/proc/5916/task/5921/stat : 5921 (java) S 5914 5916 5425 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277196185 938479616 7016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5916/tid=5922] ppid=5914 vsize=916484 CPUtime=0.14
/proc/5916/task/5922/stat : 5922 (java) S 5914 5916 5425 0 -1 64 341 0 0 0 13 1 0 0 16 0 8 0 277196185 938479616 7016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5916/tid=5923] ppid=5914 vsize=916484 CPUtime=0
/proc/5916/task/5923/stat : 5923 (java) S 5914 5916 5425 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277196185 938479616 7016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5916/tid=5924] ppid=5914 vsize=916484 CPUtime=0
/proc/5916/task/5924/stat : 5924 (java) S 5914 5916 5425 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277196185 938479616 7016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 916488
[startup+12.7545 s]
/proc/loadavg: 1.24 1.19 1.22 3/94 6005
/proc/meminfo: memFree=1346928/2055920 swapFree=4160348/4192956
[pid=5916] ppid=5914 vsize=916484 CPUtime=12.72
/proc/5916/stat : 5916 (java) R 5914 5916 5425 0 -1 0 7280 0 1 0 1078 194 0 0 25 0 8 0 277196178 938479616 7017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5916/statm: 229121 7017 2479 14 0 215591 0
[pid=5916/tid=5918] ppid=5914 vsize=916484 CPUtime=0.02
/proc/5916/task/5918/stat : 5918 (java) S 5914 5916 5425 0 -1 64 204 0 0 0 2 0 0 0 16 0 8 0 277196182 938479616 7017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5916/tid=5919] ppid=5914 vsize=916484 CPUtime=0
/proc/5916/task/5919/stat : 5919 (java) S 5914 5916 5425 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277196182 938479616 7017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5916/tid=5920] ppid=5914 vsize=916484 CPUtime=0
/proc/5916/task/5920/stat : 5920 (java) S 5914 5916 5425 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277196182 938479616 7017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5916/tid=5921] ppid=5914 vsize=916484 CPUtime=0
/proc/5916/task/5921/stat : 5921 (java) S 5914 5916 5425 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277196185 938479616 7017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5916/tid=5922] ppid=5914 vsize=916484 CPUtime=0.14
/proc/5916/task/5922/stat : 5922 (java) S 5914 5916 5425 0 -1 64 342 0 0 0 13 1 0 0 16 0 8 0 277196185 938479616 7017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5916/tid=5923] ppid=5914 vsize=916484 CPUtime=0
/proc/5916/task/5923/stat : 5923 (java) S 5914 5916 5425 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277196185 938479616 7017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5916/tid=5924] ppid=5914 vsize=916484 CPUtime=0
/proc/5916/task/5924/stat : 5924 (java) S 5914 5916 5425 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277196185 938479616 7017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 916484
[startup+25.6028 s]
/proc/loadavg: 1.20 1.18 1.21 3/95 6200
/proc/meminfo: memFree=1346464/2055920 swapFree=4160348/4192956
[pid=5916] ppid=5914 vsize=916484 CPUtime=25.53
/proc/5916/stat : 5916 (java) R 5914 5916 5425 0 -1 0 7280 0 1 0 2163 390 0 0 25 0 8 0 277196178 938479616 7017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5916/statm: 229121 7017 2479 14 0 215591 0
[pid=5916/tid=5918] ppid=5914 vsize=916484 CPUtime=0.02
/proc/5916/task/5918/stat : 5918 (java) S 5914 5916 5425 0 -1 64 204 0 0 0 2 0 0 0 16 0 8 0 277196182 938479616 7017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5916/tid=5919] ppid=5914 vsize=916484 CPUtime=0
/proc/5916/task/5919/stat : 5919 (java) S 5914 5916 5425 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277196182 938479616 7017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5916/tid=5920] ppid=5914 vsize=916484 CPUtime=0
/proc/5916/task/5920/stat : 5920 (java) S 5914 5916 5425 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277196182 938479616 7017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5916/tid=5921] ppid=5914 vsize=916484 CPUtime=0
/proc/5916/task/5921/stat : 5921 (java) S 5914 5916 5425 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277196185 938479616 7017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5916/tid=5922] ppid=5914 vsize=916484 CPUtime=0.14
/proc/5916/task/5922/stat : 5922 (java) S 5914 5916 5425 0 -1 64 342 0 0 0 13 1 0 0 16 0 8 0 277196185 938479616 7017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5916/tid=5923] ppid=5914 vsize=916488 CPUtime=0
/proc/5916/task/5923/stat : 5923 (java) S 5914 5916 5425 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277196185 938483712 7017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5916/tid=5924] ppid=5914 vsize=916484 CPUtime=0
/proc/5916/task/5924/stat : 5924 (java) S 5914 5916 5425 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277196185 938479616 7017 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 916484
[startup+51.3014 s]
/proc/loadavg: 1.18 1.17 1.21 2/85 6230
/proc/meminfo: memFree=1348792/2055920 swapFree=4160348/4192956
[pid=5916] ppid=5914 vsize=916484 CPUtime=51.21
/proc/5916/stat : 5916 (java) R 5914 5916 5425 0 -1 0 9216 0 1 0 4620 501 0 0 25 0 8 0 277196178 938479616 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073724512 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5916/statm: 229121 8949 2532 14 0 215591 0
[pid=5916/tid=5918] ppid=5914 vsize=916484 CPUtime=0.02
/proc/5916/task/5918/stat : 5918 (java) S 5914 5916 5425 0 -1 64 205 0 0 0 2 0 0 0 16 0 8 0 277196182 938479616 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5916/tid=5919] ppid=5914 vsize=916484 CPUtime=0
/proc/5916/task/5919/stat : 5919 (java) S 5914 5916 5425 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277196182 938479616 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5916/tid=5920] ppid=5914 vsize=916484 CPUtime=0
/proc/5916/task/5920/stat : 5920 (java) S 5914 5916 5425 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277196182 938479616 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5916/tid=5921] ppid=5914 vsize=916484 CPUtime=0
/proc/5916/task/5921/stat : 5921 (java) S 5914 5916 5425 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277196185 938479616 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5916/tid=5922] ppid=5914 vsize=916484 CPUtime=0.23
/proc/5916/task/5922/stat : 5922 (java) S 5914 5916 5425 0 -1 64 399 0 0 0 22 1 0 0 16 0 8 0 277196185 938479616 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5916/tid=5923] ppid=5914 vsize=916484 CPUtime=0
/proc/5916/task/5923/stat : 5923 (java) S 5914 5916 5425 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277196185 938479616 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5916/tid=5924] ppid=5914 vsize=916484 CPUtime=0
/proc/5916/task/5924/stat : 5924 (java) S 5914 5916 5425 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277196185 938479616 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.21
Current children cumulated vsize (KiB) 916484
[startup+102.581 s]
/proc/loadavg: 1.07 1.15 1.20 2/85 6230
/proc/meminfo: memFree=1348856/2055920 swapFree=4160348/4192956
[pid=5916] ppid=5914 vsize=916484 CPUtime=102.46
/proc/5916/stat : 5916 (java) R 5914 5916 5425 0 -1 0 9228 0 1 0 9745 501 0 0 25 0 8 0 277196178 938479616 8960 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073824052 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5916/statm: 229121 8960 2532 14 0 215591 0
[pid=5916/tid=5918] ppid=5914 vsize=916484 CPUtime=0.02
/proc/5916/task/5918/stat : 5918 (java) S 5914 5916 5425 0 -1 64 205 0 0 0 2 0 0 0 16 0 8 0 277196182 938479616 8960 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5916/tid=5919] ppid=5914 vsize=916484 CPUtime=0
/proc/5916/task/5919/stat : 5919 (java) S 5914 5916 5425 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277196182 938479616 8960 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5916/tid=5920] ppid=5914 vsize=916484 CPUtime=0
/proc/5916/task/5920/stat : 5920 (java) S 5914 5916 5425 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277196182 938479616 8960 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5916/tid=5921] ppid=5914 vsize=916484 CPUtime=0
/proc/5916/task/5921/stat : 5921 (java) S 5914 5916 5425 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277196185 938479616 8960 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5916/tid=5922] ppid=5914 vsize=916484 CPUtime=0.23
/proc/5916/task/5922/stat : 5922 (java) S 5914 5916 5425 0 -1 64 400 0 0 0 22 1 0 0 16 0 8 0 277196185 938479616 8960 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5916/tid=5923] ppid=5914 vsize=916484 CPUtime=0
/proc/5916/task/5923/stat : 5923 (java) S 5914 5916 5425 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277196185 938479616 8960 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5916/tid=5924] ppid=5914 vsize=916484 CPUtime=0
/proc/5916/task/5924/stat : 5924 (java) S 5914 5916 5425 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277196185 938479616 8960 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.46
Current children cumulated vsize (KiB) 916484
[startup+162.597 s]
/proc/loadavg: 1.03 1.12 1.18 2/85 6230
/proc/meminfo: memFree=1348856/2055920 swapFree=4160348/4192956
[pid=5916] ppid=5914 vsize=916484 CPUtime=162.45
/proc/5916/stat : 5916 (java) R 5914 5916 5425 0 -1 0 9230 0 1 0 15744 501 0 0 25 0 8 0 277196178 938479616 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073842292 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5916/statm: 229121 8962 2532 14 0 215591 0
[pid=5916/tid=5918] ppid=5914 vsize=916484 CPUtime=0.02
/proc/5916/task/5918/stat : 5918 (java) S 5914 5916 5425 0 -1 64 205 0 0 0 2 0 0 0 16 0 8 0 277196182 938479616 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5916/tid=5919] ppid=5914 vsize=916484 CPUtime=0
/proc/5916/task/5919/stat : 5919 (java) S 5914 5916 5425 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277196182 938479616 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5916/tid=5920] ppid=5914 vsize=916484 CPUtime=0
/proc/5916/task/5920/stat : 5920 (java) S 5914 5916 5425 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277196182 938479616 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5916/tid=5921] ppid=5914 vsize=916484 CPUtime=0
/proc/5916/task/5921/stat : 5921 (java) S 5914 5916 5425 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277196185 938479616 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5916/tid=5922] ppid=5914 vsize=916484 CPUtime=0.23
/proc/5916/task/5922/stat : 5922 (java) S 5914 5916 5425 0 -1 64 400 0 0 0 22 1 0 0 16 0 8 0 277196185 938479616 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5916/tid=5923] ppid=5914 vsize=916484 CPUtime=0
/proc/5916/task/5923/stat : 5923 (java) S 5914 5916 5425 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277196185 938479616 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5916/tid=5924] ppid=5914 vsize=916484 CPUtime=0
/proc/5916/task/5924/stat : 5924 (java) S 5914 5916 5425 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277196185 938479616 8962 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.45
Current children cumulated vsize (KiB) 916484
[startup+222.615 s]
/proc/loadavg: 1.01 1.09 1.17 2/85 6230
/proc/meminfo: memFree=1348856/2055920 swapFree=4160348/4192956
[pid=5916] ppid=5914 vsize=916484 CPUtime=222.45
/proc/5916/stat : 5916 (java) R 5914 5916 5425 0 -1 0 9233 0 1 0 21744 501 0 0 25 0 8 0 277196178 938479616 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073850044 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5916/statm: 229121 8964 2532 14 0 215591 0
[pid=5916/tid=5918] ppid=5914 vsize=916484 CPUtime=0.02
/proc/5916/task/5918/stat : 5918 (java) S 5914 5916 5425 0 -1 64 205 0 0 0 2 0 0 0 16 0 8 0 277196182 938479616 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5916/tid=5919] ppid=5914 vsize=916484 CPUtime=0
/proc/5916/task/5919/stat : 5919 (java) S 5914 5916 5425 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277196182 938479616 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5916/tid=5920] ppid=5914 vsize=916484 CPUtime=0
/proc/5916/task/5920/stat : 5920 (java) S 5914 5916 5425 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277196182 938479616 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5916/tid=5921] ppid=5914 vsize=916484 CPUtime=0
/proc/5916/task/5921/stat : 5921 (java) S 5914 5916 5425 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277196185 938479616 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5916/tid=5922] ppid=5914 vsize=916484 CPUtime=0.23
/proc/5916/task/5922/stat : 5922 (java) S 5914 5916 5425 0 -1 64 400 0 0 0 22 1 0 0 16 0 8 0 277196185 938479616 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5916/tid=5923] ppid=5914 vsize=916484 CPUtime=0
/proc/5916/task/5923/stat : 5923 (java) S 5914 5916 5425 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277196185 938479616 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5916/tid=5924] ppid=5914 vsize=916484 CPUtime=0
/proc/5916/task/5924/stat : 5924 (java) S 5914 5916 5425 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277196185 938479616 8964 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.45
Current children cumulated vsize (KiB) 916484
[startup+282.632 s]
/proc/loadavg: 1.00 1.07 1.16 2/85 6230
/proc/meminfo: memFree=1348856/2055920 swapFree=4160348/4192956
[pid=5916] ppid=5914 vsize=916484 CPUtime=282.44
/proc/5916/stat : 5916 (java) R 5914 5916 5425 0 -1 0 9237 0 1 0 27743 501 0 0 25 0 8 0 277196178 938479616 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073887685 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5916/statm: 229121 8968 2532 14 0 215591 0
[pid=5916/tid=5918] ppid=5914 vsize=916484 CPUtime=0.02
/proc/5916/task/5918/stat : 5918 (java) S 5914 5916 5425 0 -1 64 205 0 0 0 2 0 0 0 16 0 8 0 277196182 938479616 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5916/tid=5919] ppid=5914 vsize=916484 CPUtime=0
/proc/5916/task/5919/stat : 5919 (java) S 5914 5916 5425 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277196182 938479616 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5916/tid=5920] ppid=5914 vsize=916484 CPUtime=0
/proc/5916/task/5920/stat : 5920 (java) S 5914 5916 5425 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277196182 938479616 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5916/tid=5921] ppid=5914 vsize=916484 CPUtime=0
/proc/5916/task/5921/stat : 5921 (java) S 5914 5916 5425 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277196185 938479616 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5916/tid=5922] ppid=5914 vsize=916484 CPUtime=0.23
/proc/5916/task/5922/stat : 5922 (java) S 5914 5916 5425 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 277196185 938479616 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5916/tid=5923] ppid=5914 vsize=916484 CPUtime=0
/proc/5916/task/5923/stat : 5923 (java) S 5914 5916 5425 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277196185 938479616 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5916/tid=5924] ppid=5914 vsize=916484 CPUtime=0
/proc/5916/task/5924/stat : 5924 (java) S 5914 5916 5425 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277196185 938479616 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.44
Current children cumulated vsize (KiB) 916484
[startup+342.65 s]
/proc/loadavg: 1.00 1.06 1.14 2/85 6230
/proc/meminfo: memFree=1348856/2055920 swapFree=4160348/4192956
[pid=5916] ppid=5914 vsize=916484 CPUtime=342.43
/proc/5916/stat : 5916 (java) R 5914 5916 5425 0 -1 0 9237 0 1 0 33742 501 0 0 25 0 8 0 277196178 938479616 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073887653 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5916/statm: 229121 8968 2532 14 0 215591 0
[pid=5916/tid=5918] ppid=5914 vsize=916484 CPUtime=0.02
/proc/5916/task/5918/stat : 5918 (java) S 5914 5916 5425 0 -1 64 205 0 0 0 2 0 0 0 16 0 8 0 277196182 938479616 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5916/tid=5919] ppid=5914 vsize=916484 CPUtime=0
/proc/5916/task/5919/stat : 5919 (java) S 5914 5916 5425 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277196182 938479616 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5916/tid=5920] ppid=5914 vsize=916484 CPUtime=0
/proc/5916/task/5920/stat : 5920 (java) S 5914 5916 5425 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277196182 938479616 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5916/tid=5921] ppid=5914 vsize=916484 CPUtime=0
/proc/5916/task/5921/stat : 5921 (java) S 5914 5916 5425 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277196185 938479616 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5916/tid=5922] ppid=5914 vsize=916484 CPUtime=0.23
/proc/5916/task/5922/stat : 5922 (java) S 5914 5916 5425 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 277196185 938479616 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5916/tid=5923] ppid=5914 vsize=916484 CPUtime=0
/proc/5916/task/5923/stat : 5923 (java) S 5914 5916 5425 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277196185 938479616 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5916/tid=5924] ppid=5914 vsize=916484 CPUtime=0
/proc/5916/task/5924/stat : 5924 (java) S 5914 5916 5425 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277196185 938479616 8968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 342.43
Current children cumulated vsize (KiB) 916484
[startup+402.659 s]
/proc/loadavg: 1.00 1.04 1.13 2/85 6230
/proc/meminfo: memFree=1348856/2055920 swapFree=4160348/4192956
[pid=5916] ppid=5914 vsize=916484 CPUtime=402.41
/proc/5916/stat : 5916 (java) R 5914 5916 5425 0 -1 0 9239 0 1 0 39740 501 0 0 25 0 8 0 277196178 938479616 8970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073886903 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5916/statm: 229121 8970 2532 14 0 215591 0
[pid=5916/tid=5918] ppid=5914 vsize=916484 CPUtime=0.02
/proc/5916/task/5918/stat : 5918 (java) S 5914 5916 5425 0 -1 64 205 0 0 0 2 0 0 0 16 0 8 0 277196182 938479616 8970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5916/tid=5919] ppid=5914 vsize=916484 CPUtime=0
/proc/5916/task/5919/stat : 5919 (java) S 5914 5916 5425 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277196182 938479616 8970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5916/tid=5920] ppid=5914 vsize=916484 CPUtime=0
/proc/5916/task/5920/stat : 5920 (java) S 5914 5916 5425 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277196182 938479616 8970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5916/tid=5921] ppid=5914 vsize=916484 CPUtime=0
/proc/5916/task/5921/stat : 5921 (java) S 5914 5916 5425 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277196185 938479616 8970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5916/tid=5922] ppid=5914 vsize=916484 CPUtime=0.23
/proc/5916/task/5922/stat : 5922 (java) S 5914 5916 5425 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 277196185 938479616 8970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5916/tid=5923] ppid=5914 vsize=916484 CPUtime=0
/proc/5916/task/5923/stat : 5923 (java) S 5914 5916 5425 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277196185 938479616 8970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5916/tid=5924] ppid=5914 vsize=916484 CPUtime=0
/proc/5916/task/5924/stat : 5924 (java) S 5914 5916 5425 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277196185 938479616 8970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 402.41
Current children cumulated vsize (KiB) 916484
[startup+462.672 s]
/proc/loadavg: 1.00 1.03 1.12 2/85 6230
/proc/meminfo: memFree=1348856/2055920 swapFree=4160348/4192956
[pid=5916] ppid=5914 vsize=916484 CPUtime=462.4
/proc/5916/stat : 5916 (java) R 5914 5916 5425 0 -1 0 9239 0 1 0 45739 501 0 0 25 0 8 0 277196178 938479616 8970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073849983 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5916/statm: 229121 8970 2532 14 0 215591 0
[pid=5916/tid=5918] ppid=5914 vsize=916484 CPUtime=0.02
/proc/5916/task/5918/stat : 5918 (java) S 5914 5916 5425 0 -1 64 205 0 0 0 2 0 0 0 16 0 8 0 277196182 938479616 8970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5916/tid=5919] ppid=5914 vsize=916484 CPUtime=0
/proc/5916/task/5919/stat : 5919 (java) S 5914 5916 5425 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277196182 938479616 8970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5916/tid=5920] ppid=5914 vsize=916484 CPUtime=0
/proc/5916/task/5920/stat : 5920 (java) S 5914 5916 5425 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277196182 938479616 8970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5916/tid=5921] ppid=5914 vsize=916484 CPUtime=0
/proc/5916/task/5921/stat : 5921 (java) S 5914 5916 5425 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277196185 938479616 8970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5916/tid=5922] ppid=5914 vsize=916484 CPUtime=0.23
/proc/5916/task/5922/stat : 5922 (java) S 5914 5916 5425 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 277196185 938479616 8970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5916/tid=5923] ppid=5914 vsize=916484 CPUtime=0
/proc/5916/task/5923/stat : 5923 (java) S 5914 5916 5425 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277196185 938479616 8970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5916/tid=5924] ppid=5914 vsize=916484 CPUtime=0
/proc/5916/task/5924/stat : 5924 (java) S 5914 5916 5425 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277196185 938479616 8970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 462.4
Current children cumulated vsize (KiB) 916484
[startup+522.688 s]
/proc/loadavg: 1.07 1.04 1.11 2/85 6232
/proc/meminfo: memFree=1348664/2055920 swapFree=4160348/4192956
[pid=5916] ppid=5914 vsize=916484 CPUtime=522.39
/proc/5916/stat : 5916 (java) R 5914 5916 5425 0 -1 0 9239 0 1 0 51738 501 0 0 25 0 8 0 277196178 938479616 8970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073843547 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5916/statm: 229121 8970 2532 14 0 215591 0
[pid=5916/tid=5918] ppid=5914 vsize=916484 CPUtime=0.02
/proc/5916/task/5918/stat : 5918 (java) S 5914 5916 5425 0 -1 64 205 0 0 0 2 0 0 0 16 0 8 0 277196182 938479616 8970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5916/tid=5919] ppid=5914 vsize=916484 CPUtime=0
/proc/5916/task/5919/stat : 5919 (java) S 5914 5916 5425 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277196182 938479616 8970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5916/tid=5920] ppid=5914 vsize=916484 CPUtime=0
/proc/5916/task/5920/stat : 5920 (java) S 5914 5916 5425 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277196182 938479616 8970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5916/tid=5921] ppid=5914 vsize=916484 CPUtime=0
/proc/5916/task/5921/stat : 5921 (java) S 5914 5916 5425 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277196185 938479616 8970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5916/tid=5922] ppid=5914 vsize=916484 CPUtime=0.23
/proc/5916/task/5922/stat : 5922 (java) S 5914 5916 5425 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 277196185 938479616 8970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5916/tid=5923] ppid=5914 vsize=916484 CPUtime=0
/proc/5916/task/5923/stat : 5923 (java) S 5914 5916 5425 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277196185 938479616 8970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5916/tid=5924] ppid=5914 vsize=916484 CPUtime=0
/proc/5916/task/5924/stat : 5924 (java) S 5914 5916 5425 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277196185 938479616 8970 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 522.39
Current children cumulated vsize (KiB) 916484
Child status: 0
Real time (s): 540.442
CPU time (s): 540.113
CPU user time (s): 535.087
CPU system time (s): 5.02623
CPU usage (%): 99.939
Max. virtual memory (cumulated for all children) (KiB): 916488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 535.087
system time used= 5.02623
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9338
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= 11856
involuntary context switches= 23046
runsolver used 0.441932 s user time and 1.51377 s system time
The end
Begin job on node12 on Sat Jan 20 10:13:31 UTC 2007
IDJOB= 278425
IDBENCH= 8378
IDSOLVER= 68
FILE ID= node12/278425-1169288011
PBS_JOBID= 3609531
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/2-40-2100-3000/cnf-2-40-2600-873121_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278425-1169288011/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-278425-1169288011 -o ROOT/results/node12/solver-278425-1169288011 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278425-1169288011/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= ed6bacefa44dacfdcd8be18688454bc3
RANDOM SEED= 822123111
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.265
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.265
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: 1366216 kB
Buffers: 60556 kB
Cached: 518740 kB
SwapCached: 5164 kB
Active: 269428 kB
Inactive: 345340 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1366216 kB
SwapTotal: 4192956 kB
SwapFree: 4160348 kB
Dirty: 4324 kB
Writeback: 0 kB
Mapped: 46000 kB
Slab: 60060 kB
Committed_AS: 7961892 kB
PageTables: 2028 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 node12 on Sat Jan 20 10:22:32 UTC 2007