0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=epfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/281800-1169314350/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.41 nbVariables=25 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.41 => wckTime=0.097 cpuTime=0.09 mem=6M887
0.41
0.41 relations being loaded...
0.45
0.45 constraints being loaded...
0.49 nbConstraints=75 nbRelationTypes=75 nbExtensionStructures=75 nbSharedExtensionStructures=0
0.49 nbConflictsStructures=75 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1333 maxDegree=11
0.49 maxArity=2
0.49 => wckTime=0.186 cpuTime=0.14 mem=7M872
0.53
0.53 solver LocalSearchSolver being built...
0.58 => wckTime=0.269 cpuTime=0.19 mem=5M439
0.58
0.58 s SATISFIABLE
0.58 o 14
0.58 c 61
0.58 o 17
0.58 c 58
0.58 o 20
0.58 c 55
0.59 o 21
0.59 c 54
0.59 o 22
0.59 c 53
0.59 o 24
0.59 c 51
0.59 o 26
0.59 c 49
0.59 o 28
0.59 c 47
0.59 o 30
0.59 c 45
0.59 o 32
0.59 c 43
0.59 o 34
0.59 c 41
0.59 o 36
0.59 c 39
0.59 o 37
0.59 c 38
0.60 o 38
0.60 c 37
0.60 o 39
0.60 c 36
0.61 o 40
0.61 c 35
0.61 o 41
0.61 c 34
0.61 o 42
0.61 c 33
0.61 o 43
0.61 c 32
2.14
2.14 search
2.14 run=0 nbConstraintChecks=8897832 nbAssignments=10000
2.14 => wckTime=1.562 cpuTime=1.53 mem=5M439
3.67
3.67 search
3.67 run=1 nbConstraintChecks=17935319 nbAssignments=20000
3.67 => wckTime=3.093 cpuTime=3.05 mem=5M439
5.16
5.16 search
5.16 run=2 nbConstraintChecks=26682462 nbAssignments=30000
5.16 => wckTime=4.588 cpuTime=4.54 mem=5M439
6.68
6.68 search
6.68 run=3 nbConstraintChecks=35516200 nbAssignments=40000
6.68 => wckTime=6.105 cpuTime=6.05 mem=5M439
8.22
8.22 search
8.22 run=4 nbConstraintChecks=44517381 nbAssignments=50000
8.22 => wckTime=7.642 cpuTime=7.58 mem=5M439
9.74
9.74 search
9.74 run=5 nbConstraintChecks=53413697 nbAssignments=60000
9.74 => wckTime=9.166 cpuTime=9.1 mem=5M439
11.27
11.27 search
11.27 run=6 nbConstraintChecks=62382608 nbAssignments=70000
11.27 => wckTime=10.695 cpuTime=10.62 mem=5M439
12.81
12.81 search
12.81 run=7 nbConstraintChecks=71358470 nbAssignments=80000
12.81 => wckTime=12.232 cpuTime=12.15 mem=5M439
14.32
14.32 search
14.32 run=8 nbConstraintChecks=80079579 nbAssignments=90000
14.32 => wckTime=13.741 cpuTime=13.65 mem=5M439
15.85
15.85 search
15.85 run=9 nbConstraintChecks=88992347 nbAssignments=100000
15.85 => wckTime=15.27 cpuTime=15.17 mem=5M439
17.36
17.36 search
17.36 run=10 nbConstraintChecks=97935585 nbAssignments=110000
17.36 => wckTime=16.785 cpuTime=16.68 mem=5M439
18.87
18.87 search
18.87 run=11 nbConstraintChecks=106818397 nbAssignments=120000
18.87 => wckTime=18.295 cpuTime=18.18 mem=5M439
20.38
20.38 search
20.38 run=12 nbConstraintChecks=115627384 nbAssignments=130000
20.38 => wckTime=19.804 cpuTime=19.68 mem=5M439
21.85
21.85 search
21.85 run=13 nbConstraintChecks=124435629 nbAssignments=140000
21.85 => wckTime=21.275 cpuTime=21.14 mem=5M439
23.26
23.26 search
23.26 run=14 nbConstraintChecks=133318104 nbAssignments=150000
23.26 => wckTime=22.688 cpuTime=22.55 mem=5M439
24.70
24.70 search
24.70 run=15 nbConstraintChecks=142416916 nbAssignments=160000
24.70 => wckTime=24.127 cpuTime=23.99 mem=5M439
26.11
26.11 search
26.11 run=16 nbConstraintChecks=151241748 nbAssignments=170000
26.11 => wckTime=25.535 cpuTime=25.4 mem=5M439
27.51
27.51 search
27.51 run=17 nbConstraintChecks=160018164 nbAssignments=180000
27.51 => wckTime=26.935 cpuTime=26.79 mem=5M439
28.91
28.91 search
28.91 run=18 nbConstraintChecks=168774729 nbAssignments=190000
28.91 => wckTime=28.333 cpuTime=28.2 mem=5M439
30.31
30.31 search
30.31 run=19 nbConstraintChecks=177523187 nbAssignments=200000
30.31 => wckTime=29.729 cpuTime=29.59 mem=5M439
30.74
30.74 search
30.74 run=20 nbConstraintChecks=180250288 nbAssignments=203111
30.74 => wckTime=30.165 cpuTime=30.03 mem=5M439
30.74
30.74 global
30.74 nbConstraintChecks=180250288 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.74 solvingWckTime=30.164 solvingCpuTime=30.03 expiredTime=no totalExploration=no nbFoundSolutions=0
30.74 globalCpuTime=30.26
30.74 => wckTime=30.435 cpuTime=30.22 mem=5M439
30.74
30.74 solver IterativeSystematicSolver being built...
30.87 => wckTime=30.559 cpuTime=30.32 mem=16M396
30.90
30.90 preprocessing
30.90 nbConstraintChecks=47563 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
30.90 detectedInconsistency=no
30.90 => wckTime=0.033 cpuTime=0.02 mem=16M396
30.94
30.94 search
30.94 run=0 nbConstraintChecks=74178 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=43
30.94 nbFailedAssignments=22 nbBacktracks=10 nbVisitedNodes=76 nbRestartNogoods=0
30.94 => wckTime=0.067 cpuTime=0.04 mem=16M396
30.97
30.97 search
30.97 run=1 nbConstraintChecks=179150 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=104
30.97 nbFailedAssignments=57 nbBacktracks=25 nbVisitedNodes=187 nbRestartNogoods=9
30.97 => wckTime=0.102 cpuTime=0.07 mem=16M396
31.02
31.02 search
31.02 run=2 nbConstraintChecks=368105 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=205
31.02 nbFailedAssignments=127 nbBacktracks=47 nbVisitedNodes=380 nbRestartNogoods=14
31.02 => wckTime=0.153 cpuTime=0.11 mem=16M396
31.09
31.09 search
31.09 run=3 nbConstraintChecks=668186 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=366
31.09 nbFailedAssignments=243 nbBacktracks=81 nbVisitedNodes=691 nbRestartNogoods=21
31.09 => wckTime=0.219 cpuTime=0.18 mem=16M396
31.16
31.16 search
31.16 run=4 nbConstraintChecks=1029607 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=570
31.16 nbFailedAssignments=384 nbBacktracks=131 nbVisitedNodes=1086 nbRestartNogoods=23
31.16 => wckTime=0.296 cpuTime=0.25 mem=16M396
31.27
31.27 search
31.28 run=5 nbConstraintChecks=1558605 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=865
31.28 nbFailedAssignments=594 nbBacktracks=206 nbVisitedNodes=1666 nbRestartNogoods=34
31.28 => wckTime=0.407 cpuTime=0.36 mem=16M396
31.45
31.45 search
31.45 run=6 nbConstraintChecks=2373465 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1313
31.45 nbFailedAssignments=920 nbBacktracks=319 nbVisitedNodes=2552 nbRestartNogoods=39
31.45 => wckTime=0.583 cpuTime=0.54 mem=16M396
31.76
31.76 search
31.76 run=7 nbConstraintChecks=3784610 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2056
31.76 nbFailedAssignments=1483 nbBacktracks=489 nbVisitedNodes=4026 nbRestartNogoods=49
31.76 => wckTime=0.895 cpuTime=0.83 mem=16M396
32.18
32.18 search
32.18 run=8 nbConstraintChecks=5949054 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3089
32.18 nbFailedAssignments=2251 nbBacktracks=745 nbVisitedNodes=6083 nbRestartNogoods=65
32.18 => wckTime=1.312 cpuTime=1.24 mem=16M396
32.80
32.80 search
32.80 run=9 nbConstraintChecks=9141918 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4821
32.80 nbFailedAssignments=3590 nbBacktracks=1129 nbVisitedNodes=9537 nbRestartNogoods=79
32.80 => wckTime=1.936 cpuTime=1.86 mem=16M396
33.54
33.54 search
33.54 run=10 nbConstraintChecks=12775933 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6771
33.54 nbFailedAssignments=4953 nbBacktracks=1705 nbVisitedNodes=13426 nbRestartNogoods=98
33.54 => wckTime=2.673 cpuTime=2.59 mem=16M396
34.61
34.61 search
34.61 run=11 nbConstraintChecks=17909942 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9596
34.61 nbFailedAssignments=6903 nbBacktracks=2569 nbVisitedNodes=19059 nbRestartNogoods=110
34.61 => wckTime=3.739 cpuTime=3.66 mem=16M396
36.66
36.66 search
36.66 run=12 nbConstraintChecks=28220520 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=14919
36.66 nbFailedAssignments=10922 nbBacktracks=3866 nbVisitedNodes=29689 nbRestartNogoods=125
36.66 => wckTime=5.794 cpuTime=5.69 mem=16M396
39.00
39.00 search
39.00 run=13 nbConstraintChecks=39732614 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=21232
39.00 nbFailedAssignments=15278 nbBacktracks=5813 nbVisitedNodes=42301 nbRestartNogoods=132
39.00 => wckTime=8.136 cpuTime=8.03 mem=16M396
42.84
42.84 search
42.84 run=14 nbConstraintChecks=57776528 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=31286
42.84 nbFailedAssignments=22406 nbBacktracks=8732 nbVisitedNodes=62313 nbRestartNogoods=145
42.84 => wckTime=11.973 cpuTime=11.87 mem=16M396
47.91
47.91 search
47.91 run=15 nbConstraintChecks=81392894 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=44547
47.91 nbFailedAssignments=31280 nbBacktracks=13110 nbVisitedNodes=88742 nbRestartNogoods=149
47.91 => wckTime=17.044 cpuTime=16.93 mem=16M396
56.15
56.15 search
56.15 run=16 nbConstraintChecks=119596845 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=66203
56.15 nbFailedAssignments=46360 nbBacktracks=19678 nbVisitedNodes=131754 nbRestartNogoods=164
56.15 => wckTime=25.283 cpuTime=25.16 mem=16M396
67.92
67.92 search
67.92 run=17 nbConstraintChecks=173449230 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=97138
67.92 nbFailedAssignments=67436 nbBacktracks=29530 nbVisitedNodes=193315 nbRestartNogoods=172
67.92 => wckTime=37.051 cpuTime=36.92 mem=16M396
83.90
83.90 search
83.90 run=18 nbConstraintChecks=246414781 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=144588
83.90 nbFailedAssignments=100099 nbBacktracks=44308 nbVisitedNodes=287936 nbRestartNogoods=179
83.90 => wckTime=53.035 cpuTime=52.88 mem=16M396
108.42
108.42 search
108.42 run=19 nbConstraintChecks=358056807 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=211256
108.42 nbFailedAssignments=144589 nbBacktracks=66476 nbVisitedNodes=420591 nbRestartNogoods=198
108.42 => wckTime=77.551 cpuTime=77.39 mem=16M396
144.12
144.12 search
144.12 run=20 nbConstraintChecks=518407664 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=309155
144.12 nbFailedAssignments=209229 nbBacktracks=99729 nbVisitedNodes=615709 nbRestartNogoods=209
144.12 => wckTime=113.25 cpuTime=113.05 mem=16M396
200.81
200.81 search
200.81 run=21 nbConstraintChecks=773855385 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=458362
200.81 nbFailedAssignments=308549 nbBacktracks=149607 nbVisitedNodes=911430 nbRestartNogoods=228
200.81 => wckTime=169.944 cpuTime=169.69 mem=16M396
279.44
279.44 search
279.44 run=22 nbConstraintChecks=1129270546 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=670198
279.44 nbFailedAssignments=445561 nbBacktracks=224425 nbVisitedNodes=1331555 nbRestartNogoods=244
279.44 => wckTime=248.575 cpuTime=248.25 mem=16M396
398.70
398.70 search
398.70 run=23 nbConstraintChecks=1678831535 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=992408
398.70 nbFailedAssignments=655538 nbBacktracks=336652 nbVisitedNodes=1972352 nbRestartNogoods=258
398.70 => wckTime=367.832 cpuTime=367.39 mem=16M396
577.35
577.35 search
577.35 run=24 nbConstraintChecks=2489736686 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1479473
577.35 nbFailedAssignments=974254 nbBacktracks=504993 nbVisitedNodes=2937293 nbRestartNogoods=279
577.35 => wckTime=546.486 cpuTime=545.87 mem=16M396
833.84
833.84 search
833.84 run=25 nbConstraintChecks=3672874482 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2194242
833.84 nbFailedAssignments=1436505 nbBacktracks=757504 nbVisitedNodes=4358025 nbRestartNogoods=297
833.84 => wckTime=802.975 cpuTime=802.13 mem=16M396
1257.62
1257.62 search
1257.62 run=26 nbConstraintChecks=5625624341 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3300548
1257.62 nbFailedAssignments=2164036 nbBacktracks=1136271 nbVisitedNodes=6553587 nbRestartNogoods=319
1257.62 => wckTime=1226.752 cpuTime=1225.5 mem=16M396
1863.62
1863.62 search
1863.62 run=27 nbConstraintChecks=8379316365 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4860415
1863.62 nbFailedAssignments=3155745 nbBacktracks=1704422 nbVisitedNodes=9645805 nbRestartNogoods=349
1863.62 => wckTime=1832.756 cpuTime=1830.92 mem=16M396
2402.45 v 8 5 2 1 0 8 8 2 1 0 0 9 5 8 1 0 2 9 0 6 6 7 6 0 6
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node63/watcher-281800-1169314350 -o ROOT/results/node63/solver-281800-1169314350 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/281800-1169314350/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.92 0.98 1.08 4/73 494
/proc/meminfo: memFree=1310704/2055920 swapFree=4192812/4192956
[pid=493] ppid=491 vsize=906644 CPUtime=0.02
/proc/493/stat : 493 (java) S 491 493 315 0 -1 0 2069 0 1 0 1 1 0 0 18 0 2 0 78932428 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/493/statm: 226661 1818 1036 14 0 214244 0
[pid=493/tid=495] ppid=491 vsize=906644 CPUtime=0
/proc/493/task/495/stat : 495 (java) R 491 493 315 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 78932431 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[startup+0.103267 s]
/proc/loadavg: 0.92 0.98 1.08 4/73 494
/proc/meminfo: memFree=1310704/2055920 swapFree=4192812/4192956
[pid=493] ppid=491 vsize=914988 CPUtime=0.09
/proc/493/stat : 493 (java) R 491 493 315 0 -1 0 3011 0 1 0 7 2 0 0 20 0 8 0 78932428 936947712 2757 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155476888 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/493/statm: 228747 2757 1432 14 0 215242 0
[pid=493/tid=495] ppid=491 vsize=914988 CPUtime=0
/proc/493/task/495/stat : 495 (java) S 491 493 315 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 78932431 936947712 2757 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.511314 s]
/proc/loadavg: 0.92 0.98 1.08 4/73 494
/proc/meminfo: memFree=1310704/2055920 swapFree=4192812/4192956
[pid=493] ppid=491 vsize=915332 CPUtime=0.5
/proc/493/stat : 493 (java) R 491 493 315 0 -1 0 6494 0 1 0 46 4 0 0 18 0 8 0 78932428 937299968 6232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/493/statm: 228833 6232 2165 14 0 215303 0
[pid=493/tid=495] ppid=491 vsize=915332 CPUtime=0.01
/proc/493/task/495/stat : 495 (java) R 491 493 315 0 -1 64 14 0 0 0 1 0 0 0 16 0 8 0 78932431 937299968 6232 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153985334 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332
[startup+1.33239 s]
/proc/loadavg: 0.92 0.98 1.08 3/80 501
/proc/meminfo: memFree=1293496/2055920 swapFree=4192812/4192956
[pid=493] ppid=491 vsize=915440 CPUtime=1.31
/proc/493/stat : 493 (java) R 491 493 315 0 -1 0 6976 0 1 0 109 22 0 0 25 0 8 0 78932428 937410560 6714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/493/statm: 228860 6714 2479 14 0 215330 0
[pid=493/tid=495] ppid=491 vsize=915440 CPUtime=0.02
/proc/493/task/495/stat : 495 (java) S 491 493 315 0 -1 64 139 0 0 0 2 0 0 0 16 0 8 0 78932431 937410560 6714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=493/tid=496] ppid=491 vsize=915440 CPUtime=0
/proc/493/task/496/stat : 496 (java) S 491 493 315 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78932432 937410560 6714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=493/tid=497] ppid=491 vsize=915440 CPUtime=0
/proc/493/task/497/stat : 497 (java) S 491 493 315 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78932432 937410560 6714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=493/tid=498] ppid=491 vsize=915440 CPUtime=0
/proc/493/task/498/stat : 498 (java) S 491 493 315 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 78932435 937410560 6714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=493/tid=499] ppid=491 vsize=915440 CPUtime=0.11
/proc/493/task/499/stat : 499 (java) S 491 493 315 0 -1 64 326 0 0 0 11 0 0 0 16 0 8 0 78932435 937410560 6714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=493/tid=500] ppid=491 vsize=915440 CPUtime=0
/proc/493/task/500/stat : 500 (java) S 491 493 315 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 78932435 937410560 6714 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=493/tid=501] ppid=491 vsize=915440 CPUtime=0
/proc/493/task/501/stat : 501 (java) S 491 493 315 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78932435 937410560 6714 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) 915440
[startup+2.96957 s]
/proc/loadavg: 0.92 0.98 1.08 3/80 501
/proc/meminfo: memFree=1293432/2055920 swapFree=4192812/4192956
[pid=493] ppid=491 vsize=915440 CPUtime=2.94
/proc/493/stat : 493 (java) R 491 493 315 0 -1 0 6979 0 1 0 230 64 0 0 25 0 8 0 78932428 937410560 6716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/493/statm: 228860 6716 2479 14 0 215330 0
[pid=493/tid=495] ppid=491 vsize=915440 CPUtime=0.02
/proc/493/task/495/stat : 495 (java) S 491 493 315 0 -1 64 139 0 0 0 2 0 0 0 16 0 8 0 78932431 937410560 6716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=493/tid=496] ppid=491 vsize=915440 CPUtime=0
/proc/493/task/496/stat : 496 (java) S 491 493 315 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78932432 937410560 6716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=493/tid=497] ppid=491 vsize=915440 CPUtime=0
/proc/493/task/497/stat : 497 (java) S 491 493 315 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78932432 937410560 6716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=493/tid=498] ppid=491 vsize=915440 CPUtime=0
/proc/493/task/498/stat : 498 (java) S 491 493 315 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 78932435 937410560 6716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=493/tid=499] ppid=491 vsize=915440 CPUtime=0.11
/proc/493/task/499/stat : 499 (java) S 491 493 315 0 -1 64 328 0 0 0 11 0 0 0 16 0 8 0 78932435 937410560 6716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=493/tid=500] ppid=491 vsize=915440 CPUtime=0
/proc/493/task/500/stat : 500 (java) S 491 493 315 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 78932435 937410560 6716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=493/tid=501] ppid=491 vsize=915440 CPUtime=0
/proc/493/task/501/stat : 501 (java) S 491 493 315 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78932435 937410560 6716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915440
[startup+6.26091 s]
/proc/loadavg: 1.01 1.00 1.08 3/80 501
/proc/meminfo: memFree=1293432/2055920 swapFree=4192812/4192956
[pid=493] ppid=491 vsize=915436 CPUtime=6.22
/proc/493/stat : 493 (java) R 491 493 315 0 -1 0 6979 0 1 0 472 150 0 0 25 0 8 0 78932428 937406464 6716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073650228 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/493/statm: 228859 6716 2479 14 0 215329 0
[pid=493/tid=495] ppid=491 vsize=915436 CPUtime=0.02
/proc/493/task/495/stat : 495 (java) S 491 493 315 0 -1 64 139 0 0 0 2 0 0 0 16 0 8 0 78932431 937406464 6716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=493/tid=496] ppid=491 vsize=915436 CPUtime=0
/proc/493/task/496/stat : 496 (java) S 491 493 315 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78932432 937406464 6716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=493/tid=497] ppid=491 vsize=915436 CPUtime=0
/proc/493/task/497/stat : 497 (java) S 491 493 315 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78932432 937406464 6716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=493/tid=498] ppid=491 vsize=915436 CPUtime=0
/proc/493/task/498/stat : 498 (java) S 491 493 315 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 78932435 937406464 6716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=493/tid=499] ppid=491 vsize=915436 CPUtime=0.11
/proc/493/task/499/stat : 499 (java) S 491 493 315 0 -1 64 328 0 0 0 11 0 0 0 16 0 8 0 78932435 937406464 6716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=493/tid=500] ppid=491 vsize=915436 CPUtime=0
/proc/493/task/500/stat : 500 (java) S 491 493 315 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 78932435 937406464 6716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=493/tid=501] ppid=491 vsize=915436 CPUtime=0
/proc/493/task/501/stat : 501 (java) S 491 493 315 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78932435 937406464 6716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915436
[startup+12.7356 s]
/proc/loadavg: 1.16 1.03 1.09 3/80 501
/proc/meminfo: memFree=1293432/2055920 swapFree=4192812/4192956
[pid=493] ppid=491 vsize=915440 CPUtime=12.66
/proc/493/stat : 493 (java) R 491 493 315 0 -1 0 6979 0 1 0 953 313 0 0 25 0 8 0 78932428 937410560 6716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/493/statm: 228860 6716 2479 14 0 215330 0
[pid=493/tid=495] ppid=491 vsize=915440 CPUtime=0.02
/proc/493/task/495/stat : 495 (java) S 491 493 315 0 -1 64 139 0 0 0 2 0 0 0 16 0 8 0 78932431 937410560 6716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=493/tid=496] ppid=491 vsize=915440 CPUtime=0
/proc/493/task/496/stat : 496 (java) S 491 493 315 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78932432 937410560 6716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=493/tid=497] ppid=491 vsize=915440 CPUtime=0
/proc/493/task/497/stat : 497 (java) S 491 493 315 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78932432 937410560 6716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=493/tid=498] ppid=491 vsize=915440 CPUtime=0
/proc/493/task/498/stat : 498 (java) S 491 493 315 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 78932435 937410560 6716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=493/tid=499] ppid=491 vsize=915440 CPUtime=0.11
/proc/493/task/499/stat : 499 (java) S 491 493 315 0 -1 64 328 0 0 0 11 0 0 0 16 0 8 0 78932435 937410560 6716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=493/tid=500] ppid=491 vsize=915440 CPUtime=0
/proc/493/task/500/stat : 500 (java) S 491 493 315 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 78932435 937410560 6716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=493/tid=501] ppid=491 vsize=915440 CPUtime=0
/proc/493/task/501/stat : 501 (java) S 491 493 315 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78932435 937410560 6716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915440
[startup+25.602 s]
/proc/loadavg: 1.21 1.05 1.10 3/87 561
/proc/meminfo: memFree=1277440/2055920 swapFree=4192812/4192956
[pid=493] ppid=491 vsize=915436 CPUtime=25.48
/proc/493/stat : 493 (java) R 491 493 315 0 -1 0 6981 0 1 0 1898 650 0 0 25 0 8 0 78932428 937406464 6717 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/493/statm: 228859 6717 2479 14 0 215329 0
[pid=493/tid=495] ppid=491 vsize=915440 CPUtime=0.02
/proc/493/task/495/stat : 495 (java) S 491 493 315 0 -1 64 139 0 0 0 2 0 0 0 16 0 8 0 78932431 937410560 6717 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=493/tid=496] ppid=491 vsize=915436 CPUtime=0
/proc/493/task/496/stat : 496 (java) S 491 493 315 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78932432 937406464 6717 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=493/tid=497] ppid=491 vsize=915436 CPUtime=0
/proc/493/task/497/stat : 497 (java) S 491 493 315 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78932432 937406464 6717 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=493/tid=498] ppid=491 vsize=915440 CPUtime=0
/proc/493/task/498/stat : 498 (java) S 491 493 315 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 78932435 937410560 6717 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=493/tid=499] ppid=491 vsize=915436 CPUtime=0.11
/proc/493/task/499/stat : 499 (java) S 491 493 315 0 -1 64 329 0 0 0 11 0 0 0 16 0 8 0 78932435 937406464 6717 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=493/tid=500] ppid=491 vsize=915436 CPUtime=0
/proc/493/task/500/stat : 500 (java) S 491 493 315 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 78932435 937406464 6717 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=493/tid=501] ppid=491 vsize=915436 CPUtime=0
/proc/493/task/501/stat : 501 (java) S 491 493 315 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78932435 937406464 6717 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 915436
[startup+51.3027 s]
/proc/loadavg: 1.48 1.12 1.12 3/87 561
/proc/meminfo: memFree=1269568/2055920 swapFree=4192812/4192956
[pid=493] ppid=491 vsize=915436 CPUtime=51.14
/proc/493/stat : 493 (java) R 491 493 315 0 -1 0 9004 0 1 0 4329 785 0 0 25 0 8 0 78932428 937406464 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073781856 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/493/statm: 228859 8737 2532 14 0 215329 0
[pid=493/tid=495] ppid=491 vsize=915436 CPUtime=0.02
/proc/493/task/495/stat : 495 (java) S 491 493 315 0 -1 64 140 0 0 0 2 0 0 0 16 0 8 0 78932431 937406464 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=493/tid=496] ppid=491 vsize=915436 CPUtime=0
/proc/493/task/496/stat : 496 (java) S 491 493 315 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78932432 937406464 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=493/tid=497] ppid=491 vsize=915436 CPUtime=0
/proc/493/task/497/stat : 497 (java) S 491 493 315 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78932432 937406464 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=493/tid=498] ppid=491 vsize=915436 CPUtime=0
/proc/493/task/498/stat : 498 (java) S 491 493 315 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 78932435 937406464 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=493/tid=499] ppid=491 vsize=915436 CPUtime=0.21
/proc/493/task/499/stat : 499 (java) S 491 493 315 0 -1 64 383 0 0 0 20 1 0 0 16 0 8 0 78932435 937406464 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=493/tid=500] ppid=491 vsize=915436 CPUtime=0
/proc/493/task/500/stat : 500 (java) S 491 493 315 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 78932435 937406464 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=493/tid=501] ppid=491 vsize=915436 CPUtime=0
/proc/493/task/501/stat : 501 (java) S 491 493 315 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78932435 937406464 8737 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.14
Current children cumulated vsize (KiB) 915436
[startup+102.599 s]
/proc/loadavg: 1.77 1.26 1.16 3/87 561
/proc/meminfo: memFree=1261632/2055920 swapFree=4192812/4192956
[pid=493] ppid=491 vsize=915436 CPUtime=102.38
/proc/493/stat : 493 (java) R 491 493 315 0 -1 0 9012 0 1 0 9453 785 0 0 25 0 8 0 78932428 937406464 8745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073784035 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/493/statm: 228859 8745 2532 14 0 215329 0
[pid=493/tid=495] ppid=491 vsize=915436 CPUtime=0.02
/proc/493/task/495/stat : 495 (java) S 491 493 315 0 -1 64 140 0 0 0 2 0 0 0 16 0 8 0 78932431 937406464 8745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=493/tid=496] ppid=491 vsize=915436 CPUtime=0
/proc/493/task/496/stat : 496 (java) S 491 493 315 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78932432 937406464 8745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=493/tid=497] ppid=491 vsize=915436 CPUtime=0
/proc/493/task/497/stat : 497 (java) S 491 493 315 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78932432 937406464 8745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=493/tid=498] ppid=491 vsize=915436 CPUtime=0
/proc/493/task/498/stat : 498 (java) S 491 493 315 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 78932435 937406464 8745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=493/tid=499] ppid=491 vsize=915436 CPUtime=0.21
/proc/493/task/499/stat : 499 (java) S 491 493 315 0 -1 64 384 0 0 0 20 1 0 0 16 0 8 0 78932435 937406464 8745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=493/tid=500] ppid=491 vsize=915436 CPUtime=0
/proc/493/task/500/stat : 500 (java) S 491 493 315 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 78932435 937406464 8745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=493/tid=501] ppid=491 vsize=915436 CPUtime=0
/proc/493/task/501/stat : 501 (java) S 491 493 315 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78932435 937406464 8745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.38
Current children cumulated vsize (KiB) 915436
################
# More data... #
################
Current children cumulated CPU time (s) 2021.67
Current children cumulated vsize (KiB) 915436
[startup+2083.74 s]
/proc/loadavg: 2.00 2.00 1.87 3/87 759
/proc/meminfo: memFree=1261184/2055920 swapFree=4192812/4192956
[pid=493] ppid=491 vsize=915436 CPUtime=2081.65
/proc/493/stat : 493 (java) R 491 493 315 0 -1 0 9036 0 1 0 207363 802 0 0 25 0 8 0 78932428 937406464 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073777007 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/493/statm: 228859 8767 2532 14 0 215329 0
[pid=493/tid=495] ppid=491 vsize=915436 CPUtime=0.02
/proc/493/task/495/stat : 495 (java) S 491 493 315 0 -1 64 140 0 0 0 2 0 0 0 16 0 8 0 78932431 937406464 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=493/tid=496] ppid=491 vsize=915436 CPUtime=0
/proc/493/task/496/stat : 496 (java) S 491 493 315 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78932432 937406464 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=493/tid=497] ppid=491 vsize=915436 CPUtime=0
/proc/493/task/497/stat : 497 (java) S 491 493 315 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78932432 937406464 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=493/tid=498] ppid=491 vsize=915436 CPUtime=0
/proc/493/task/498/stat : 498 (java) S 491 493 315 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 78932435 937406464 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=493/tid=499] ppid=491 vsize=915436 CPUtime=0.22
/proc/493/task/499/stat : 499 (java) S 491 493 315 0 -1 64 384 0 0 0 21 1 0 0 16 0 8 0 78932435 937406464 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=493/tid=500] ppid=491 vsize=915436 CPUtime=0
/proc/493/task/500/stat : 500 (java) S 491 493 315 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 78932435 937406464 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=493/tid=501] ppid=491 vsize=915436 CPUtime=0
/proc/493/task/501/stat : 501 (java) S 491 493 315 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78932435 937406464 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2081.65
Current children cumulated vsize (KiB) 915436
[startup+2143.78 s]
/proc/loadavg: 2.00 2.00 1.87 3/87 759
/proc/meminfo: memFree=1261184/2055920 swapFree=4192812/4192956
[pid=493] ppid=491 vsize=915436 CPUtime=2141.64
/proc/493/stat : 493 (java) R 491 493 315 0 -1 0 9036 0 1 0 213362 802 0 0 25 0 8 0 78932428 937406464 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073783437 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/493/statm: 228859 8767 2532 14 0 215329 0
[pid=493/tid=495] ppid=491 vsize=915436 CPUtime=0.02
/proc/493/task/495/stat : 495 (java) S 491 493 315 0 -1 64 140 0 0 0 2 0 0 0 16 0 8 0 78932431 937406464 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=493/tid=496] ppid=491 vsize=915436 CPUtime=0
/proc/493/task/496/stat : 496 (java) S 491 493 315 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78932432 937406464 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=493/tid=497] ppid=491 vsize=915436 CPUtime=0
/proc/493/task/497/stat : 497 (java) S 491 493 315 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78932432 937406464 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=493/tid=498] ppid=491 vsize=915436 CPUtime=0
/proc/493/task/498/stat : 498 (java) S 491 493 315 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 78932435 937406464 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=493/tid=499] ppid=491 vsize=915436 CPUtime=0.22
/proc/493/task/499/stat : 499 (java) S 491 493 315 0 -1 64 384 0 0 0 21 1 0 0 16 0 8 0 78932435 937406464 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=493/tid=500] ppid=491 vsize=915436 CPUtime=0
/proc/493/task/500/stat : 500 (java) S 491 493 315 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 78932435 937406464 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=493/tid=501] ppid=491 vsize=915436 CPUtime=0
/proc/493/task/501/stat : 501 (java) S 491 493 315 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78932435 937406464 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2141.64
Current children cumulated vsize (KiB) 915436
[startup+2203.82 s]
/proc/loadavg: 2.00 2.00 1.88 3/87 759
/proc/meminfo: memFree=1261248/2055920 swapFree=4192812/4192956
[pid=493] ppid=491 vsize=915436 CPUtime=2201.62
/proc/493/stat : 493 (java) R 491 493 315 0 -1 0 9036 0 1 0 219360 802 0 0 25 0 8 0 78932428 937406464 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073782647 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/493/statm: 228859 8767 2532 14 0 215329 0
[pid=493/tid=495] ppid=491 vsize=915436 CPUtime=0.02
/proc/493/task/495/stat : 495 (java) S 491 493 315 0 -1 64 140 0 0 0 2 0 0 0 16 0 8 0 78932431 937406464 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=493/tid=496] ppid=491 vsize=915436 CPUtime=0
/proc/493/task/496/stat : 496 (java) S 491 493 315 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78932432 937406464 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=493/tid=497] ppid=491 vsize=915436 CPUtime=0
/proc/493/task/497/stat : 497 (java) S 491 493 315 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78932432 937406464 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=493/tid=498] ppid=491 vsize=915436 CPUtime=0
/proc/493/task/498/stat : 498 (java) S 491 493 315 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 78932435 937406464 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=493/tid=499] ppid=491 vsize=915436 CPUtime=0.22
/proc/493/task/499/stat : 499 (java) S 491 493 315 0 -1 64 384 0 0 0 21 1 0 0 16 0 8 0 78932435 937406464 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=493/tid=500] ppid=491 vsize=915436 CPUtime=0
/proc/493/task/500/stat : 500 (java) S 491 493 315 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 78932435 937406464 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=493/tid=501] ppid=491 vsize=915436 CPUtime=0
/proc/493/task/501/stat : 501 (java) S 491 493 315 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78932435 937406464 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2201.62
Current children cumulated vsize (KiB) 915436
[startup+2263.86 s]
/proc/loadavg: 2.00 2.00 1.89 3/87 759
/proc/meminfo: memFree=1261184/2055920 swapFree=4192812/4192956
[pid=493] ppid=491 vsize=915436 CPUtime=2261.6
/proc/493/stat : 493 (java) R 491 493 315 0 -1 0 9036 0 1 0 225358 802 0 0 25 0 8 0 78932428 937406464 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073654135 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/493/statm: 228859 8767 2532 14 0 215329 0
[pid=493/tid=495] ppid=491 vsize=915436 CPUtime=0.02
/proc/493/task/495/stat : 495 (java) S 491 493 315 0 -1 64 140 0 0 0 2 0 0 0 16 0 8 0 78932431 937406464 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=493/tid=496] ppid=491 vsize=915436 CPUtime=0
/proc/493/task/496/stat : 496 (java) S 491 493 315 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78932432 937406464 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=493/tid=497] ppid=491 vsize=915436 CPUtime=0
/proc/493/task/497/stat : 497 (java) S 491 493 315 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78932432 937406464 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=493/tid=498] ppid=491 vsize=915436 CPUtime=0
/proc/493/task/498/stat : 498 (java) S 491 493 315 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 78932435 937406464 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=493/tid=499] ppid=491 vsize=915436 CPUtime=0.22
/proc/493/task/499/stat : 499 (java) S 491 493 315 0 -1 64 384 0 0 0 21 1 0 0 16 0 8 0 78932435 937406464 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=493/tid=500] ppid=491 vsize=915436 CPUtime=0
/proc/493/task/500/stat : 500 (java) S 491 493 315 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 78932435 937406464 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=493/tid=501] ppid=491 vsize=915436 CPUtime=0
/proc/493/task/501/stat : 501 (java) S 491 493 315 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78932435 937406464 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2261.6
Current children cumulated vsize (KiB) 915436
[startup+2323.9 s]
/proc/loadavg: 2.06 2.02 1.90 3/87 759
/proc/meminfo: memFree=1261184/2055920 swapFree=4192812/4192956
[pid=493] ppid=491 vsize=915436 CPUtime=2321.59
/proc/493/stat : 493 (java) R 491 493 315 0 -1 0 9036 0 1 0 231357 802 0 0 25 0 8 0 78932428 937406464 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073783484 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/493/statm: 228859 8767 2532 14 0 215329 0
[pid=493/tid=495] ppid=491 vsize=915436 CPUtime=0.02
/proc/493/task/495/stat : 495 (java) S 491 493 315 0 -1 64 140 0 0 0 2 0 0 0 16 0 8 0 78932431 937406464 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=493/tid=496] ppid=491 vsize=915436 CPUtime=0
/proc/493/task/496/stat : 496 (java) S 491 493 315 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78932432 937406464 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=493/tid=497] ppid=491 vsize=915436 CPUtime=0
/proc/493/task/497/stat : 497 (java) S 491 493 315 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78932432 937406464 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=493/tid=498] ppid=491 vsize=915436 CPUtime=0
/proc/493/task/498/stat : 498 (java) S 491 493 315 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 78932435 937406464 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=493/tid=499] ppid=491 vsize=915436 CPUtime=0.22
/proc/493/task/499/stat : 499 (java) S 491 493 315 0 -1 64 384 0 0 0 21 1 0 0 16 0 8 0 78932435 937406464 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=493/tid=500] ppid=491 vsize=915436 CPUtime=0
/proc/493/task/500/stat : 500 (java) S 491 493 315 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 78932435 937406464 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=493/tid=501] ppid=491 vsize=915436 CPUtime=0
/proc/493/task/501/stat : 501 (java) S 491 493 315 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78932435 937406464 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2321.59
Current children cumulated vsize (KiB) 915436
[startup+2383.93 s]
/proc/loadavg: 2.02 2.01 1.90 3/87 759
/proc/meminfo: memFree=1261184/2055920 swapFree=4192812/4192956
[pid=493] ppid=491 vsize=915436 CPUtime=2381.56
/proc/493/stat : 493 (java) R 491 493 315 0 -1 0 9036 0 1 0 237354 802 0 0 25 0 8 0 78932428 937406464 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073781860 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/493/statm: 228859 8767 2532 14 0 215329 0
[pid=493/tid=495] ppid=491 vsize=915436 CPUtime=0.02
/proc/493/task/495/stat : 495 (java) S 491 493 315 0 -1 64 140 0 0 0 2 0 0 0 16 0 8 0 78932431 937406464 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=493/tid=496] ppid=491 vsize=915436 CPUtime=0
/proc/493/task/496/stat : 496 (java) S 491 493 315 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78932432 937406464 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=493/tid=497] ppid=491 vsize=915436 CPUtime=0
/proc/493/task/497/stat : 497 (java) S 491 493 315 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78932432 937406464 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=493/tid=498] ppid=491 vsize=915436 CPUtime=0
/proc/493/task/498/stat : 498 (java) S 491 493 315 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 78932435 937406464 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=493/tid=499] ppid=491 vsize=915436 CPUtime=0.22
/proc/493/task/499/stat : 499 (java) S 491 493 315 0 -1 64 384 0 0 0 21 1 0 0 16 0 8 0 78932435 937406464 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=493/tid=500] ppid=491 vsize=915436 CPUtime=0
/proc/493/task/500/stat : 500 (java) S 491 493 315 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 78932435 937406464 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=493/tid=501] ppid=491 vsize=915436 CPUtime=0
/proc/493/task/501/stat : 501 (java) S 491 493 315 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78932435 937406464 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2381.56
Current children cumulated vsize (KiB) 915436
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2402.44 s]
/proc/loadavg: 2.01 2.01 1.91 3/87 759
/proc/meminfo: memFree=1261184/2055920 swapFree=4192812/4192956
[pid=493] ppid=491 vsize=915436 CPUtime=2400.06
/proc/493/stat : 493 (java) R 491 493 315 0 -1 0 9036 0 1 0 239204 802 0 0 25 0 8 0 78932428 937406464 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073758588 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/493/statm: 228859 8767 2532 14 0 215329 0
[pid=493/tid=495] ppid=491 vsize=915436 CPUtime=0.02
/proc/493/task/495/stat : 495 (java) S 491 493 315 0 -1 64 140 0 0 0 2 0 0 0 16 0 8 0 78932431 937406464 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=493/tid=496] ppid=491 vsize=915436 CPUtime=0
/proc/493/task/496/stat : 496 (java) S 491 493 315 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 78932432 937406464 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=493/tid=497] ppid=491 vsize=915436 CPUtime=0
/proc/493/task/497/stat : 497 (java) S 491 493 315 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78932432 937406464 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=493/tid=498] ppid=491 vsize=915436 CPUtime=0
/proc/493/task/498/stat : 498 (java) S 491 493 315 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 78932435 937406464 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=493/tid=499] ppid=491 vsize=915436 CPUtime=0.22
/proc/493/task/499/stat : 499 (java) S 491 493 315 0 -1 64 384 0 0 0 21 1 0 0 16 0 8 0 78932435 937406464 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=493/tid=500] ppid=491 vsize=915436 CPUtime=0
/proc/493/task/500/stat : 500 (java) S 491 493 315 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 78932435 937406464 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=493/tid=501] ppid=491 vsize=915436 CPUtime=0
/proc/493/task/501/stat : 501 (java) S 491 493 315 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78932435 937406464 8767 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 915436
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2402.47
CPU time (s): 2400.09
CPU user time (s): 2392.06
CPU system time (s): 8.03178
CPU usage (%): 99.9011
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2392.06
system time used= 8.03178
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9057
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= 49672
involuntary context switches= 16317
runsolver used 2.86956 s user time and 5.85711 s system time
The end
Begin job on node63 on Sat Jan 20 17:32:30 UTC 2007
IDJOB= 281800
IDBENCH= 12269
IDSOLVER= 68
FILE ID= node63/281800-1169314350
PBS_JOBID= 3610314
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/randomMaxCSP/denseTight/vcsp-25-10-25-87-35_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/281800-1169314350/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node63/watcher-281800-1169314350 -o ROOT/results/node63/solver-281800-1169314350 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/281800-1169314350/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 0ebeae7a5123e68a2048c695a6f112d5
RANDOM SEED= 591926333
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.216
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.216
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: 1311312 kB
Buffers: 51028 kB
Cached: 602172 kB
SwapCached: 144 kB
Active: 178912 kB
Inactive: 495540 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1311312 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4040 kB
Writeback: 0 kB
Mapped: 32680 kB
Slab: 55652 kB
Committed_AS: 1097368 kB
PageTables: 1788 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66561 MiB
End job on node63 on Sat Jan 20 18:12:32 UTC 2007