0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=pfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/281801-1169314373/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=25 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.41 => wckTime=0.099 cpuTime=0.08 mem=6M910
0.41
0.41 relations being loaded...
0.45
0.45 constraints being loaded...
0.50 nbConstraints=75 nbRelationTypes=75 nbExtensionStructures=75 nbSharedExtensionStructures=0
0.50 nbConflictsStructures=75 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1333 maxDegree=11
0.50 maxArity=2
0.50 => wckTime=0.189 cpuTime=0.14 mem=7M918
0.54
0.54 solver LocalSearchSolver being built...
0.58 => wckTime=0.272 cpuTime=0.18 mem=5M439
0.59
0.59 s SATISFIABLE
0.59 o 14
0.59 c 61
0.59 o 17
0.59 c 58
0.59 o 20
0.59 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.60 o 26
0.60 c 49
0.60 o 28
0.60 c 47
0.60 o 30
0.60 c 45
0.60 o 32
0.60 c 43
0.60 o 34
0.60 c 41
0.60 o 36
0.60 c 39
0.60 o 37
0.60 c 38
0.61 o 38
0.61 c 37
0.61 o 39
0.61 c 36
0.61 o 40
0.61 c 35
0.62 o 41
0.62 c 34
0.62 o 42
0.62 c 33
0.62 o 43
0.62 c 32
2.17
2.17 search
2.17 run=0 nbConstraintChecks=8897832 nbAssignments=10000
2.17 => wckTime=1.584 cpuTime=1.56 mem=5M439
3.71
3.71 search
3.71 run=1 nbConstraintChecks=17935319 nbAssignments=20000
3.71 => wckTime=3.127 cpuTime=3.08 mem=5M439
5.22
5.22 search
5.22 run=2 nbConstraintChecks=26682462 nbAssignments=30000
5.22 => wckTime=4.634 cpuTime=4.57 mem=5M439
6.73
6.73 search
6.73 run=3 nbConstraintChecks=35516200 nbAssignments=40000
6.73 => wckTime=6.151 cpuTime=6.07 mem=5M439
8.27
8.27 search
8.27 run=4 nbConstraintChecks=44517381 nbAssignments=50000
8.27 => wckTime=7.684 cpuTime=7.58 mem=5M439
9.78
9.78 search
9.78 run=5 nbConstraintChecks=53413697 nbAssignments=60000
9.78 => wckTime=9.197 cpuTime=9.09 mem=5M439
11.30
11.30 search
11.30 run=6 nbConstraintChecks=62382608 nbAssignments=70000
11.30 => wckTime=10.714 cpuTime=10.6 mem=5M439
12.82
12.82 search
12.82 run=7 nbConstraintChecks=71358470 nbAssignments=80000
12.82 => wckTime=12.235 cpuTime=12.1 mem=5M439
14.30
14.30 search
14.30 run=8 nbConstraintChecks=80079579 nbAssignments=90000
14.30 => wckTime=13.719 cpuTime=13.58 mem=5M439
15.80
15.80 search
15.80 run=9 nbConstraintChecks=88992347 nbAssignments=100000
15.80 => wckTime=15.222 cpuTime=15.07 mem=5M439
17.32
17.32 search
17.32 run=10 nbConstraintChecks=97935585 nbAssignments=110000
17.32 => wckTime=16.734 cpuTime=16.57 mem=5M439
18.81
18.81 search
18.81 run=11 nbConstraintChecks=106818397 nbAssignments=120000
18.81 => wckTime=18.232 cpuTime=18.06 mem=5M439
20.31
20.31 search
20.31 run=12 nbConstraintChecks=115627384 nbAssignments=130000
20.31 => wckTime=19.724 cpuTime=19.54 mem=5M439
21.81
21.81 search
21.81 run=13 nbConstraintChecks=124435629 nbAssignments=140000
21.81 => wckTime=21.228 cpuTime=21.02 mem=5M439
23.32
23.32 search
23.32 run=14 nbConstraintChecks=133318104 nbAssignments=150000
23.32 => wckTime=22.739 cpuTime=22.52 mem=5M439
24.86
24.86 search
24.86 run=15 nbConstraintChecks=142416916 nbAssignments=160000
24.86 => wckTime=24.274 cpuTime=24.06 mem=5M439
26.37
26.37 search
26.37 run=16 nbConstraintChecks=151241748 nbAssignments=170000
26.37 => wckTime=25.79 cpuTime=25.55 mem=5M439
27.88
27.88 search
27.88 run=17 nbConstraintChecks=160018164 nbAssignments=180000
27.88 => wckTime=27.294 cpuTime=27.04 mem=5M439
29.38
29.38 search
29.38 run=18 nbConstraintChecks=168774729 nbAssignments=190000
29.38 => wckTime=28.795 cpuTime=28.53 mem=5M439
30.89
30.89 search
30.89 run=19 nbConstraintChecks=177523187 nbAssignments=200000
30.89 => wckTime=30.305 cpuTime=30.02 mem=5M439
30.89
30.89 search
30.89 run=20 nbConstraintChecks=177525077 nbAssignments=200002
30.89 => wckTime=30.307 cpuTime=30.03 mem=5M439
30.89
30.89 global
30.89 nbConstraintChecks=177525077 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.89 solvingWckTime=30.306 solvingCpuTime=30.03 expiredTime=no totalExploration=no nbFoundSolutions=0
30.89 globalCpuTime=30.27
30.89 => wckTime=30.58 cpuTime=30.21 mem=5M439
30.89
30.89 solver IterativeSystematicSolver being built...
31.02 => wckTime=30.713 cpuTime=30.32 mem=16M396
31.03
31.03 preprocessing
31.03 nbConstraintChecks=1470 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.03 detectedInconsistency=no
31.03 => wckTime=0.0060 cpuTime=0.0 mem=16M396
31.10
31.10 search
31.10 run=0 nbConstraintChecks=89488 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=55
31.10 nbFailedAssignments=36 nbBacktracks=10 nbVisitedNodes=102 nbRestartNogoods=0
31.10 => wckTime=0.068 cpuTime=0.05 mem=16M396
31.13
31.13 search
31.13 run=1 nbConstraintChecks=168943 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=102
31.13 nbFailedAssignments=61 nbBacktracks=25 nbVisitedNodes=189 nbRestartNogoods=6
31.13 => wckTime=0.106 cpuTime=0.07 mem=16M396
31.17
31.17 search
31.17 run=2 nbConstraintChecks=308407 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=187
31.17 nbFailedAssignments=117 nbBacktracks=47 nbVisitedNodes=351 nbRestartNogoods=11
31.17 => wckTime=0.147 cpuTime=0.11 mem=16M396
31.21
31.21 search
31.21 run=3 nbConstraintChecks=450209 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=281
31.21 nbFailedAssignments=169 nbBacktracks=80 nbVisitedNodes=529 nbRestartNogoods=19
31.21 => wckTime=0.185 cpuTime=0.15 mem=16M396
31.29
31.29 search
31.29 run=4 nbConstraintChecks=757295 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=467
31.29 nbFailedAssignments=299 nbBacktracks=131 nbVisitedNodes=894 nbRestartNogoods=24
31.29 => wckTime=0.267 cpuTime=0.23 mem=16M396
31.41
31.41 search
31.41 run=5 nbConstraintChecks=1238565 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=746
31.41 nbFailedAssignments=496 nbBacktracks=206 nbVisitedNodes=1435 nbRestartNogoods=25
31.41 => wckTime=0.389 cpuTime=0.35 mem=16M396
31.60
31.60 search
31.60 run=6 nbConstraintChecks=1939140 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1147
31.60 nbFailedAssignments=778 nbBacktracks=319 nbVisitedNodes=2229 nbRestartNogoods=34
31.60 => wckTime=0.572 cpuTime=0.53 mem=16M396
31.84
31.84 search
31.84 run=7 nbConstraintChecks=2788317 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1674
31.84 nbFailedAssignments=1126 nbBacktracks=489 nbVisitedNodes=3263 nbRestartNogoods=45
31.84 => wckTime=0.811 cpuTime=0.74 mem=16M396
32.18
32.18 search
32.18 run=8 nbConstraintChecks=4245578 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2525
32.18 nbFailedAssignments=1713 nbBacktracks=745 nbVisitedNodes=4944 nbRestartNogoods=59
32.18 => wckTime=1.153 cpuTime=1.08 mem=16M396
32.54
32.54 search
32.54 run=9 nbConstraintChecks=5842021 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3531
32.54 nbFailedAssignments=2325 nbBacktracks=1129 nbVisitedNodes=6931 nbRestartNogoods=65
32.54 => wckTime=1.517 cpuTime=1.44 mem=16M396
33.10
33.10 search
33.10 run=10 nbConstraintChecks=8182310 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5092
33.10 nbFailedAssignments=3300 nbBacktracks=1705 nbVisitedNodes=10014 nbRestartNogoods=70
33.10 => wckTime=2.077 cpuTime=1.99 mem=16M396
33.89
33.89 search
33.89 run=11 nbConstraintChecks=11757088 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7499
33.89 nbFailedAssignments=4834 nbBacktracks=2569 nbVisitedNodes=14693 nbRestartNogoods=89
33.89 => wckTime=2.868 cpuTime=2.78 mem=16M396
35.28
35.28 search
35.28 run=12 nbConstraintChecks=17745739 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10929
35.28 nbFailedAssignments=6960 nbBacktracks=3866 nbVisitedNodes=21479 nbRestartNogoods=98
35.28 => wckTime=4.251 cpuTime=4.14 mem=16M396
37.40
37.40 search
37.40 run=13 nbConstraintChecks=26712780 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=16348
37.40 nbFailedAssignments=10427 nbBacktracks=5812 nbVisitedNodes=32209 nbRestartNogoods=109
37.40 => wckTime=6.374 cpuTime=6.25 mem=16M396
40.71
40.71 search
40.71 run=14 nbConstraintChecks=40988886 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=25523
40.71 nbFailedAssignments=16674 nbBacktracks=8731 nbVisitedNodes=50397 nbRestartNogoods=123
40.71 => wckTime=9.686 cpuTime=9.54 mem=16M396
45.16
45.16 search
45.16 run=15 nbConstraintChecks=60405958 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=37682
45.16 nbFailedAssignments=24448 nbBacktracks=13109 nbVisitedNodes=74375 nbRestartNogoods=137
45.16 => wckTime=14.134 cpuTime=13.95 mem=16M396
52.94
52.94 search
52.94 run=16 nbConstraintChecks=93515932 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=57884
52.94 nbFailedAssignments=38074 nbBacktracks=19677 nbVisitedNodes=114173 nbRestartNogoods=146
52.94 => wckTime=21.916 cpuTime=21.68 mem=16M396
62.57
62.57 search
62.57 run=17 nbConstraintChecks=135552803 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=84912
62.57 nbFailedAssignments=55241 nbBacktracks=29529 nbVisitedNodes=167679 nbRestartNogoods=158
62.57 => wckTime=31.541 cpuTime=31.22 mem=16M396
81.19
81.19 search
81.19 run=18 nbConstraintChecks=217681042 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=131636
81.19 nbFailedAssignments=87180 nbBacktracks=44307 nbVisitedNodes=260168 nbRestartNogoods=186
81.19 => wckTime=50.16 cpuTime=49.7 mem=16M396
108.10
108.10 search
108.10 run=19 nbConstraintChecks=334157740 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=197515
108.10 nbFailedAssignments=130884 nbBacktracks=66475 nbVisitedNodes=389961 nbRestartNogoods=214
108.10 => wckTime=77.077 cpuTime=76.42 mem=16M396
144.66
144.66 search
144.66 run=20 nbConstraintChecks=490267834 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=287026
144.66 nbFailedAssignments=187136 nbBacktracks=99727 nbVisitedNodes=567323 nbRestartNogoods=245
144.66 => wckTime=113.631 cpuTime=112.7 mem=16M396
201.16
201.16 search
201.16 run=21 nbConstraintChecks=733978278 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=429500
201.16 nbFailedAssignments=279727 nbBacktracks=149605 nbVisitedNodes=847654 nbRestartNogoods=268
201.16 => wckTime=170.131 cpuTime=168.78 mem=16M396
282.14
282.14 search
282.14 run=22 nbConstraintChecks=1089903356 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=644728
282.14 nbFailedAssignments=420129 nbBacktracks=224423 nbVisitedNodes=1272215 nbRestartNogoods=282
282.14 => wckTime=251.115 cpuTime=249.16 mem=16M396
405.86
405.86 search
405.86 run=23 nbConstraintChecks=1639255981 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=955407
405.86 nbFailedAssignments=618576 nbBacktracks=336651 nbVisitedNodes=1884736 nbRestartNogoods=302
405.86 => wckTime=374.836 cpuTime=371.97 mem=16M396
581.31
581.31 search
581.31 run=24 nbConstraintChecks=2411231852 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1427185
581.31 nbFailedAssignments=922006 nbBacktracks=504992 nbVisitedNodes=2819624 nbRestartNogoods=316
581.31 => wckTime=550.286 cpuTime=546.11 mem=16M396
860.41
860.41 search
860.41 run=25 nbConstraintChecks=3620197555 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2151966
860.41 nbFailedAssignments=1394268 nbBacktracks=757503 nbVisitedNodes=4252146 nbRestartNogoods=343
860.41 => wckTime=829.381 cpuTime=823.15 mem=16M396
1316.07
1316.07 search
1316.07 run=26 nbConstraintChecks=5606501062 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3284169
1316.07 nbFailedAssignments=2147696 nbBacktracks=1136270 nbVisitedNodes=6487808 nbRestartNogoods=369
1316.07 => wckTime=1285.042 cpuTime=1275.41 mem=16M396
1949.61
1949.61 search
1949.61 run=27 nbConstraintChecks=8356910392 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4886940
1949.61 nbFailedAssignments=3182309 nbBacktracks=1704421 nbVisitedNodes=9650983 nbRestartNogoods=394
1949.61 => wckTime=1918.589 cpuTime=1903.88 mem=16M396
2418.20 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-281801-1169314373 -o ROOT/results/node63/solver-281801-1169314373 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281801-1169314373/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.21 1.05 1.10 5/80 554
/proc/meminfo: memFree=1294584/2055920 swapFree=4192812/4192956
[pid=553] ppid=551 vsize=906644 CPUtime=0.02
/proc/553/stat : 553 (java) S 551 553 32756 0 -1 0 2068 0 1 0 1 1 0 0 18 0 2 0 78934797 928403456 1817 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/553/statm: 226661 1817 1036 14 0 214244 0
[pid=553/tid=555] ppid=551 vsize=906644 CPUtime=0
/proc/553/task/555/stat : 555 (java) R 551 553 32756 0 -1 64 3 0 0 0 0 0 0 0 19 0 2 0 78934800 928403456 1817 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[startup+0.105795 s]
/proc/loadavg: 1.21 1.05 1.10 5/80 554
/proc/meminfo: memFree=1294584/2055920 swapFree=4192812/4192956
[pid=553] ppid=551 vsize=914988 CPUtime=0.08
/proc/553/stat : 553 (java) R 551 553 32756 0 -1 0 2994 0 1 0 7 1 0 0 17 0 8 0 78934797 936947712 2740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072925768 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/553/statm: 228747 2740 1427 14 0 215242 0
[pid=553/tid=555] ppid=551 vsize=914988 CPUtime=0
/proc/553/task/555/stat : 555 (java) S 551 553 32756 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 78934800 936947712 2740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.517842 s]
/proc/loadavg: 1.21 1.05 1.10 5/80 554
/proc/meminfo: memFree=1294584/2055920 swapFree=4192812/4192956
[pid=553] ppid=551 vsize=915332 CPUtime=0.49
/proc/553/stat : 553 (java) R 551 553 32756 0 -1 0 6487 0 1 0 45 4 0 0 19 0 8 0 78934797 937299968 6225 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/553/statm: 228833 6225 2162 14 0 215303 0
[pid=553/tid=555] ppid=551 vsize=915332 CPUtime=0.01
/proc/553/task/555/stat : 555 (java) R 551 553 32756 0 -1 64 14 0 0 0 1 0 0 0 16 0 8 0 78934800 937299968 6225 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153985334 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.34692 s]
/proc/loadavg: 1.21 1.05 1.10 3/87 561
/proc/meminfo: memFree=1277440/2055920 swapFree=4192812/4192956
[pid=553] ppid=551 vsize=915436 CPUtime=1.31
/proc/553/stat : 553 (java) R 551 553 32756 0 -1 0 6969 0 1 0 108 23 0 0 25 0 8 0 78934797 937406464 6707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 3293086 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/553/statm: 228859 6707 2476 14 0 215329 0
[pid=553/tid=555] ppid=551 vsize=915436 CPUtime=0.02
/proc/553/task/555/stat : 555 (java) S 551 553 32756 0 -1 64 139 0 0 0 2 0 0 0 16 0 8 0 78934800 937406464 6707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=556] ppid=551 vsize=915436 CPUtime=0
/proc/553/task/556/stat : 556 (java) S 551 553 32756 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 78934801 937406464 6707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=557] ppid=551 vsize=915436 CPUtime=0
/proc/553/task/557/stat : 557 (java) S 551 553 32756 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78934801 937406464 6707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=558] ppid=551 vsize=915436 CPUtime=0
/proc/553/task/558/stat : 558 (java) S 551 553 32756 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 78934805 937406464 6707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=559] ppid=551 vsize=915436 CPUtime=0.11
/proc/553/task/559/stat : 559 (java) S 551 553 32756 0 -1 64 327 0 0 0 11 0 0 0 16 0 8 0 78934805 937406464 6707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=560] ppid=551 vsize=915436 CPUtime=0
/proc/553/task/560/stat : 560 (java) S 551 553 32756 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78934805 937406464 6707 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=561] ppid=551 vsize=915436 CPUtime=0
/proc/553/task/561/stat : 561 (java) S 551 553 32756 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78934805 937406464 6707 18446744073709551615 134512640 134570532 4294956480 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) 915436
[startup+2.98709 s]
/proc/loadavg: 1.21 1.05 1.10 3/87 561
/proc/meminfo: memFree=1277440/2055920 swapFree=4192812/4192956
[pid=553] ppid=551 vsize=915436 CPUtime=2.95
/proc/553/stat : 553 (java) R 551 553 32756 0 -1 0 6972 0 1 0 230 65 0 0 25 0 8 0 78934797 937406464 6709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073654135 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/553/statm: 228859 6709 2476 14 0 215329 0
[pid=553/tid=555] ppid=551 vsize=915436 CPUtime=0.02
/proc/553/task/555/stat : 555 (java) S 551 553 32756 0 -1 64 139 0 0 0 2 0 0 0 16 0 8 0 78934800 937406464 6709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=556] ppid=551 vsize=915436 CPUtime=0
/proc/553/task/556/stat : 556 (java) S 551 553 32756 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 78934801 937406464 6709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=557] ppid=551 vsize=915436 CPUtime=0
/proc/553/task/557/stat : 557 (java) S 551 553 32756 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78934801 937406464 6709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=558] ppid=551 vsize=915436 CPUtime=0
/proc/553/task/558/stat : 558 (java) S 551 553 32756 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 78934805 937406464 6709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=559] ppid=551 vsize=915436 CPUtime=0.11
/proc/553/task/559/stat : 559 (java) S 551 553 32756 0 -1 64 329 0 0 0 11 0 0 0 16 0 8 0 78934805 937406464 6709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=560] ppid=551 vsize=915436 CPUtime=0
/proc/553/task/560/stat : 560 (java) S 551 553 32756 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78934805 937406464 6709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=561] ppid=551 vsize=915436 CPUtime=0
/proc/553/task/561/stat : 561 (java) S 551 553 32756 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78934805 937406464 6709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915436
[startup+6.26644 s]
/proc/loadavg: 1.27 1.06 1.10 3/87 561
/proc/meminfo: memFree=1277376/2055920 swapFree=4192812/4192956
[pid=553] ppid=551 vsize=915440 CPUtime=6.19
/proc/553/stat : 553 (java) R 551 553 32756 0 -1 0 6972 0 1 0 470 149 0 0 25 0 8 0 78934797 937410560 6709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 3388175 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/553/statm: 228860 6709 2476 14 0 215330 0
[pid=553/tid=555] ppid=551 vsize=915440 CPUtime=0.02
/proc/553/task/555/stat : 555 (java) S 551 553 32756 0 -1 64 139 0 0 0 2 0 0 0 16 0 8 0 78934800 937410560 6709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=556] ppid=551 vsize=915440 CPUtime=0
/proc/553/task/556/stat : 556 (java) S 551 553 32756 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 78934801 937410560 6709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=557] ppid=551 vsize=915440 CPUtime=0
/proc/553/task/557/stat : 557 (java) S 551 553 32756 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78934801 937410560 6709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=558] ppid=551 vsize=915440 CPUtime=0
/proc/553/task/558/stat : 558 (java) S 551 553 32756 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 78934805 937410560 6709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=559] ppid=551 vsize=915440 CPUtime=0.11
/proc/553/task/559/stat : 559 (java) S 551 553 32756 0 -1 64 329 0 0 0 11 0 0 0 16 0 8 0 78934805 937410560 6709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=560] ppid=551 vsize=915440 CPUtime=0
/proc/553/task/560/stat : 560 (java) S 551 553 32756 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78934805 937410560 6709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=561] ppid=551 vsize=915440 CPUtime=0
/proc/553/task/561/stat : 561 (java) S 551 553 32756 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78934805 937410560 6709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915440
[startup+12.7541 s]
/proc/loadavg: 1.33 1.08 1.11 3/87 561
/proc/meminfo: memFree=1269632/2055920 swapFree=4192812/4192956
[pid=553] ppid=551 vsize=915436 CPUtime=12.62
/proc/553/stat : 553 (java) R 551 553 32756 0 -1 0 6972 0 1 0 947 315 0 0 25 0 8 0 78934797 937406464 6709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073655107 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/553/statm: 228859 6709 2476 14 0 215329 0
[pid=553/tid=555] ppid=551 vsize=915436 CPUtime=0.02
/proc/553/task/555/stat : 555 (java) S 551 553 32756 0 -1 64 139 0 0 0 2 0 0 0 16 0 8 0 78934800 937406464 6709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=556] ppid=551 vsize=915436 CPUtime=0
/proc/553/task/556/stat : 556 (java) S 551 553 32756 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 78934801 937406464 6709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=557] ppid=551 vsize=915436 CPUtime=0
/proc/553/task/557/stat : 557 (java) S 551 553 32756 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78934801 937406464 6709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=558] ppid=551 vsize=915436 CPUtime=0
/proc/553/task/558/stat : 558 (java) S 551 553 32756 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 78934805 937406464 6709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=559] ppid=551 vsize=915436 CPUtime=0.11
/proc/553/task/559/stat : 559 (java) S 551 553 32756 0 -1 64 329 0 0 0 11 0 0 0 16 0 8 0 78934805 937406464 6709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=560] ppid=551 vsize=915436 CPUtime=0
/proc/553/task/560/stat : 560 (java) S 551 553 32756 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78934805 937406464 6709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=561] ppid=551 vsize=915436 CPUtime=0
/proc/553/task/561/stat : 561 (java) S 551 553 32756 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78934805 937406464 6709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915436
[startup+25.6035 s]
/proc/loadavg: 1.48 1.12 1.12 3/87 561
/proc/meminfo: memFree=1269568/2055920 swapFree=4192812/4192956
[pid=553] ppid=551 vsize=915436 CPUtime=25.38
/proc/553/stat : 553 (java) R 551 553 32756 0 -1 0 6974 0 1 0 1886 652 0 0 25 0 8 0 78934797 937406464 6710 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073652159 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/553/statm: 228859 6710 2476 14 0 215329 0
[pid=553/tid=555] ppid=551 vsize=915436 CPUtime=0.02
/proc/553/task/555/stat : 555 (java) S 551 553 32756 0 -1 64 139 0 0 0 2 0 0 0 16 0 8 0 78934800 937406464 6710 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=556] ppid=551 vsize=915436 CPUtime=0
/proc/553/task/556/stat : 556 (java) S 551 553 32756 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 78934801 937406464 6710 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=557] ppid=551 vsize=915436 CPUtime=0
/proc/553/task/557/stat : 557 (java) S 551 553 32756 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78934801 937406464 6710 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=558] ppid=551 vsize=915436 CPUtime=0
/proc/553/task/558/stat : 558 (java) S 551 553 32756 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 78934805 937406464 6710 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=559] ppid=551 vsize=915436 CPUtime=0.11
/proc/553/task/559/stat : 559 (java) S 551 553 32756 0 -1 64 330 0 0 0 11 0 0 0 16 0 8 0 78934805 937406464 6710 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=560] ppid=551 vsize=915436 CPUtime=0
/proc/553/task/560/stat : 560 (java) S 551 553 32756 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78934805 937406464 6710 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=561] ppid=551 vsize=915436 CPUtime=0
/proc/553/task/561/stat : 561 (java) S 551 553 32756 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78934805 937406464 6710 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 915436
[startup+51.3062 s]
/proc/loadavg: 1.65 1.19 1.14 3/87 561
/proc/meminfo: memFree=1261696/2055920 swapFree=4192812/4192956
[pid=553] ppid=551 vsize=915436 CPUtime=50.87
/proc/553/stat : 553 (java) R 551 553 32756 0 -1 0 8992 0 1 0 4295 792 0 0 25 0 8 0 78934797 937406464 8725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073804738 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/553/statm: 228859 8725 2527 14 0 215329 0
[pid=553/tid=555] ppid=551 vsize=915436 CPUtime=0.02
/proc/553/task/555/stat : 555 (java) S 551 553 32756 0 -1 64 140 0 0 0 2 0 0 0 16 0 8 0 78934800 937406464 8725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=556] ppid=551 vsize=915436 CPUtime=0
/proc/553/task/556/stat : 556 (java) S 551 553 32756 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 78934801 937406464 8725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=557] ppid=551 vsize=915436 CPUtime=0
/proc/553/task/557/stat : 557 (java) S 551 553 32756 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78934801 937406464 8725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=558] ppid=551 vsize=915436 CPUtime=0
/proc/553/task/558/stat : 558 (java) S 551 553 32756 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 78934805 937406464 8725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=559] ppid=551 vsize=915436 CPUtime=0.21
/proc/553/task/559/stat : 559 (java) S 551 553 32756 0 -1 64 381 0 0 0 21 0 0 0 16 0 8 0 78934805 937406464 8725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=560] ppid=551 vsize=915436 CPUtime=0
/proc/553/task/560/stat : 560 (java) S 551 553 32756 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78934805 937406464 8725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=561] ppid=551 vsize=915436 CPUtime=0
/proc/553/task/561/stat : 561 (java) S 551 553 32756 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78934805 937406464 8725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 915436
[startup+102.604 s]
/proc/loadavg: 1.85 1.31 1.18 3/87 561
/proc/meminfo: memFree=1261632/2055920 swapFree=4192812/4192956
[pid=553] ppid=551 vsize=915436 CPUtime=101.78
/proc/553/stat : 553 (java) R 551 553 32756 0 -1 0 9002 0 1 0 9386 792 0 0 25 0 8 0 78934797 937406464 8734 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073775542 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/553/statm: 228859 8734 2527 14 0 215329 0
[pid=553/tid=555] ppid=551 vsize=915436 CPUtime=0.02
/proc/553/task/555/stat : 555 (java) S 551 553 32756 0 -1 64 140 0 0 0 2 0 0 0 16 0 8 0 78934800 937406464 8734 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=556] ppid=551 vsize=915436 CPUtime=0
/proc/553/task/556/stat : 556 (java) S 551 553 32756 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 78934801 937406464 8734 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=557] ppid=551 vsize=915436 CPUtime=0
/proc/553/task/557/stat : 557 (java) S 551 553 32756 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78934801 937406464 8734 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=558] ppid=551 vsize=915436 CPUtime=0
/proc/553/task/558/stat : 558 (java) S 551 553 32756 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 78934805 937406464 8734 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=559] ppid=551 vsize=915436 CPUtime=0.21
/proc/553/task/559/stat : 559 (java) S 551 553 32756 0 -1 64 383 0 0 0 21 0 0 0 16 0 8 0 78934805 937406464 8734 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=560] ppid=551 vsize=915436 CPUtime=0
/proc/553/task/560/stat : 560 (java) S 551 553 32756 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78934805 937406464 8734 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=561] ppid=551 vsize=915436 CPUtime=0
/proc/553/task/561/stat : 561 (java) S 551 553 32756 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78934805 937406464 8734 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.78
Current children cumulated vsize (KiB) 915436
################
# More data... #
################
Current children cumulated CPU time (s) 2008.31
Current children cumulated vsize (KiB) 915436
[startup+2083.81 s]
/proc/loadavg: 2.00 2.00 1.87 3/87 759
/proc/meminfo: memFree=1261184/2055920 swapFree=4192812/4192956
[pid=553] ppid=551 vsize=915436 CPUtime=2067.9
/proc/553/stat : 553 (java) R 551 553 32756 0 -1 0 9026 0 1 0 205995 795 0 0 25 0 8 0 78934797 937406464 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073780072 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/553/statm: 228859 8757 2527 14 0 215329 0
[pid=553/tid=555] ppid=551 vsize=915436 CPUtime=0.02
/proc/553/task/555/stat : 555 (java) S 551 553 32756 0 -1 64 140 0 0 0 2 0 0 0 16 0 8 0 78934800 937406464 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=556] ppid=551 vsize=915436 CPUtime=0
/proc/553/task/556/stat : 556 (java) S 551 553 32756 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 78934801 937406464 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=557] ppid=551 vsize=915436 CPUtime=0
/proc/553/task/557/stat : 557 (java) S 551 553 32756 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78934801 937406464 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=558] ppid=551 vsize=915436 CPUtime=0
/proc/553/task/558/stat : 558 (java) S 551 553 32756 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 78934805 937406464 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=559] ppid=551 vsize=915436 CPUtime=0.21
/proc/553/task/559/stat : 559 (java) S 551 553 32756 0 -1 64 383 0 0 0 21 0 0 0 16 0 8 0 78934805 937406464 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=560] ppid=551 vsize=915436 CPUtime=0
/proc/553/task/560/stat : 560 (java) S 551 553 32756 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78934805 937406464 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=561] ppid=551 vsize=915436 CPUtime=0
/proc/553/task/561/stat : 561 (java) S 551 553 32756 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78934805 937406464 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2067.9
Current children cumulated vsize (KiB) 915436
[startup+2143.85 s]
/proc/loadavg: 2.00 2.00 1.88 3/87 759
/proc/meminfo: memFree=1261184/2055920 swapFree=4192812/4192956
[pid=553] ppid=551 vsize=915436 CPUtime=2127.48
/proc/553/stat : 553 (java) R 551 553 32756 0 -1 0 9026 0 1 0 211953 795 0 0 25 0 8 0 78934797 937406464 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073656358 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/553/statm: 228859 8757 2527 14 0 215329 0
[pid=553/tid=555] ppid=551 vsize=915436 CPUtime=0.02
/proc/553/task/555/stat : 555 (java) S 551 553 32756 0 -1 64 140 0 0 0 2 0 0 0 16 0 8 0 78934800 937406464 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=556] ppid=551 vsize=915436 CPUtime=0
/proc/553/task/556/stat : 556 (java) S 551 553 32756 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 78934801 937406464 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=557] ppid=551 vsize=915436 CPUtime=0
/proc/553/task/557/stat : 557 (java) S 551 553 32756 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78934801 937406464 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=558] ppid=551 vsize=915436 CPUtime=0
/proc/553/task/558/stat : 558 (java) S 551 553 32756 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 78934805 937406464 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=559] ppid=551 vsize=915436 CPUtime=0.21
/proc/553/task/559/stat : 559 (java) S 551 553 32756 0 -1 64 383 0 0 0 21 0 0 0 16 0 8 0 78934805 937406464 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=560] ppid=551 vsize=915436 CPUtime=0
/proc/553/task/560/stat : 560 (java) S 551 553 32756 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78934805 937406464 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=561] ppid=551 vsize=915436 CPUtime=0
/proc/553/task/561/stat : 561 (java) S 551 553 32756 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78934805 937406464 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2127.48
Current children cumulated vsize (KiB) 915436
[startup+2203.89 s]
/proc/loadavg: 2.00 2.00 1.88 3/87 759
/proc/meminfo: memFree=1261184/2055920 swapFree=4192812/4192956
[pid=553] ppid=551 vsize=915436 CPUtime=2187.08
/proc/553/stat : 553 (java) R 551 553 32756 0 -1 0 9026 0 1 0 217912 796 0 0 25 0 8 0 78934797 937406464 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073656167 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/553/statm: 228859 8757 2527 14 0 215329 0
[pid=553/tid=555] ppid=551 vsize=915436 CPUtime=0.02
/proc/553/task/555/stat : 555 (java) S 551 553 32756 0 -1 64 140 0 0 0 2 0 0 0 16 0 8 0 78934800 937406464 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=556] ppid=551 vsize=915436 CPUtime=0
/proc/553/task/556/stat : 556 (java) S 551 553 32756 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 78934801 937406464 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=557] ppid=551 vsize=915436 CPUtime=0
/proc/553/task/557/stat : 557 (java) S 551 553 32756 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78934801 937406464 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=558] ppid=551 vsize=915436 CPUtime=0
/proc/553/task/558/stat : 558 (java) S 551 553 32756 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 78934805 937406464 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=559] ppid=551 vsize=915436 CPUtime=0.21
/proc/553/task/559/stat : 559 (java) S 551 553 32756 0 -1 64 383 0 0 0 21 0 0 0 16 0 8 0 78934805 937406464 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=560] ppid=551 vsize=915436 CPUtime=0
/proc/553/task/560/stat : 560 (java) S 551 553 32756 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78934805 937406464 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=561] ppid=551 vsize=915436 CPUtime=0
/proc/553/task/561/stat : 561 (java) S 551 553 32756 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78934805 937406464 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2187.08
Current children cumulated vsize (KiB) 915436
[startup+2263.92 s]
/proc/loadavg: 2.00 2.00 1.89 3/87 759
/proc/meminfo: memFree=1261184/2055920 swapFree=4192812/4192956
[pid=553] ppid=551 vsize=915436 CPUtime=2246.66
/proc/553/stat : 553 (java) R 551 553 32756 0 -1 0 9026 0 1 0 223870 796 0 0 25 0 8 0 78934797 937406464 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073789401 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/553/statm: 228859 8757 2527 14 0 215329 0
[pid=553/tid=555] ppid=551 vsize=915436 CPUtime=0.02
/proc/553/task/555/stat : 555 (java) S 551 553 32756 0 -1 64 140 0 0 0 2 0 0 0 16 0 8 0 78934800 937406464 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=556] ppid=551 vsize=915436 CPUtime=0
/proc/553/task/556/stat : 556 (java) S 551 553 32756 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 78934801 937406464 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=557] ppid=551 vsize=915436 CPUtime=0
/proc/553/task/557/stat : 557 (java) S 551 553 32756 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78934801 937406464 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=558] ppid=551 vsize=915436 CPUtime=0
/proc/553/task/558/stat : 558 (java) S 551 553 32756 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 78934805 937406464 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=559] ppid=551 vsize=915436 CPUtime=0.21
/proc/553/task/559/stat : 559 (java) S 551 553 32756 0 -1 64 383 0 0 0 21 0 0 0 16 0 8 0 78934805 937406464 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=560] ppid=551 vsize=915436 CPUtime=0
/proc/553/task/560/stat : 560 (java) S 551 553 32756 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78934805 937406464 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=561] ppid=551 vsize=915436 CPUtime=0
/proc/553/task/561/stat : 561 (java) S 551 553 32756 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78934805 937406464 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2246.66
Current children cumulated vsize (KiB) 915436
[startup+2323.97 s]
/proc/loadavg: 2.04 2.01 1.90 3/87 759
/proc/meminfo: memFree=1261184/2055920 swapFree=4192812/4192956
[pid=553] ppid=551 vsize=915436 CPUtime=2306.25
/proc/553/stat : 553 (java) R 551 553 32756 0 -1 0 9026 0 1 0 229829 796 0 0 25 0 8 0 78934797 937406464 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073777303 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/553/statm: 228859 8757 2527 14 0 215329 0
[pid=553/tid=555] ppid=551 vsize=915436 CPUtime=0.02
/proc/553/task/555/stat : 555 (java) S 551 553 32756 0 -1 64 140 0 0 0 2 0 0 0 16 0 8 0 78934800 937406464 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=556] ppid=551 vsize=915436 CPUtime=0
/proc/553/task/556/stat : 556 (java) S 551 553 32756 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 78934801 937406464 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=557] ppid=551 vsize=915436 CPUtime=0
/proc/553/task/557/stat : 557 (java) S 551 553 32756 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78934801 937406464 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=558] ppid=551 vsize=915436 CPUtime=0
/proc/553/task/558/stat : 558 (java) S 551 553 32756 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 78934805 937406464 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=559] ppid=551 vsize=915436 CPUtime=0.21
/proc/553/task/559/stat : 559 (java) S 551 553 32756 0 -1 64 383 0 0 0 21 0 0 0 16 0 8 0 78934805 937406464 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=560] ppid=551 vsize=915436 CPUtime=0
/proc/553/task/560/stat : 560 (java) S 551 553 32756 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78934805 937406464 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=561] ppid=551 vsize=915436 CPUtime=0
/proc/553/task/561/stat : 561 (java) S 551 553 32756 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78934805 937406464 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2306.25
Current children cumulated vsize (KiB) 915436
[startup+2384 s]
/proc/loadavg: 2.01 2.01 1.91 3/88 833
/proc/meminfo: memFree=1272888/2055920 swapFree=4192812/4192956
[pid=553] ppid=551 vsize=915436 CPUtime=2365.86
/proc/553/stat : 553 (java) R 551 553 32756 0 -1 0 9026 0 1 0 235789 797 0 0 25 0 8 0 78934797 937406464 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813317 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/553/statm: 228859 8757 2527 14 0 215329 0
[pid=553/tid=555] ppid=551 vsize=915436 CPUtime=0.02
/proc/553/task/555/stat : 555 (java) S 551 553 32756 0 -1 64 140 0 0 0 2 0 0 0 16 0 8 0 78934800 937406464 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=556] ppid=551 vsize=915436 CPUtime=0
/proc/553/task/556/stat : 556 (java) S 551 553 32756 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 78934801 937406464 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=557] ppid=551 vsize=915436 CPUtime=0
/proc/553/task/557/stat : 557 (java) S 551 553 32756 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78934801 937406464 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=558] ppid=551 vsize=915436 CPUtime=0
/proc/553/task/558/stat : 558 (java) S 551 553 32756 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 78934805 937406464 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=559] ppid=551 vsize=915436 CPUtime=0.21
/proc/553/task/559/stat : 559 (java) S 551 553 32756 0 -1 64 383 0 0 0 21 0 0 0 16 0 8 0 78934805 937406464 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=560] ppid=551 vsize=915436 CPUtime=0
/proc/553/task/560/stat : 560 (java) S 551 553 32756 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78934805 937406464 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=561] ppid=551 vsize=915436 CPUtime=0
/proc/553/task/561/stat : 561 (java) S 551 553 32756 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78934805 937406464 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2365.86
Current children cumulated vsize (KiB) 915436
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2418.19 s]
/proc/loadavg: 2.01 2.00 1.91 3/88 833
/proc/meminfo: memFree=1266688/2055920 swapFree=4192812/4192956
[pid=553] ppid=551 vsize=915436 CPUtime=2400.02
/proc/553/stat : 553 (java) R 551 553 32756 0 -1 0 9026 0 1 0 239205 797 0 0 25 0 8 0 78934797 937406464 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813148 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/553/statm: 228859 8757 2527 14 0 215329 0
[pid=553/tid=555] ppid=551 vsize=915436 CPUtime=0.02
/proc/553/task/555/stat : 555 (java) S 551 553 32756 0 -1 64 140 0 0 0 2 0 0 0 16 0 8 0 78934800 937406464 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=556] ppid=551 vsize=915436 CPUtime=0
/proc/553/task/556/stat : 556 (java) S 551 553 32756 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 78934801 937406464 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=557] ppid=551 vsize=915436 CPUtime=0
/proc/553/task/557/stat : 557 (java) S 551 553 32756 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 78934801 937406464 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=558] ppid=551 vsize=915436 CPUtime=0
/proc/553/task/558/stat : 558 (java) S 551 553 32756 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 78934805 937406464 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=559] ppid=551 vsize=915436 CPUtime=0.21
/proc/553/task/559/stat : 559 (java) S 551 553 32756 0 -1 64 383 0 0 0 21 0 0 0 16 0 8 0 78934805 937406464 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=560] ppid=551 vsize=915436 CPUtime=0
/proc/553/task/560/stat : 560 (java) S 551 553 32756 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 78934805 937406464 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=553/tid=561] ppid=551 vsize=915436 CPUtime=0
/proc/553/task/561/stat : 561 (java) S 551 553 32756 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 78934805 937406464 8757 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 915436
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2418.24
CPU time (s): 2400.07
CPU user time (s): 2392.09
CPU system time (s): 7.97979
CPU usage (%): 99.2487
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2392.09
system time used= 7.97979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9048
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= 49892
involuntary context switches= 128122
runsolver used 2.54761 s user time and 6.27405 s system time
The end
Begin job on node63 on Sat Jan 20 17:32:53 UTC 2007
IDJOB= 281801
IDBENCH= 12269
IDSOLVER= 69
FILE ID= node63/281801-1169314373
PBS_JOBID= 3610313
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
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 pfc.xml 1 XSax /tmp/evaluation/281801-1169314373/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node63/watcher-281801-1169314373 -o ROOT/results/node63/solver-281801-1169314373 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/281801-1169314373/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 0ebeae7a5123e68a2048c695a6f112d5
RANDOM SEED= 843872745
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: 1295064 kB
Buffers: 51052 kB
Cached: 601740 kB
SwapCached: 144 kB
Active: 194944 kB
Inactive: 495612 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1295064 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3416 kB
Writeback: 0 kB
Mapped: 57832 kB
Slab: 55524 kB
Committed_AS: 1896816 kB
PageTables: 1928 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= 66562 MiB
End job on node63 on Sat Jan 20 18:13:12 UTC 2007