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/277229-1169261422/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=25 nbDomainTypes=1 minDomainSize=25 maxDomainSize=25
0.41 => wckTime=0.101 cpuTime=0.09 mem=6M910
0.41
0.41 relations being loaded...
0.52
0.52 constraints being loaded...
0.64 nbConstraints=300 nbRelationTypes=300 nbExtensionStructures=300 nbSharedExtensionStructures=0
0.64 nbConflictsStructures=300 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=941 maxDegree=24
0.64 maxArity=2
0.64 => wckTime=0.333 cpuTime=0.25 mem=14M711
0.69
0.69 solver LocalSearchSolver being built...
0.73 => wckTime=0.422 cpuTime=0.29 mem=6M199
0.74
0.74 s SATISFIABLE
0.74 o 243
0.74 c 57
0.74 o 248
0.74 c 52
0.74 o 254
0.74 c 46
0.74 o 259
0.74 c 41
0.74 o 262
0.74 c 38
0.74 o 266
0.75 c 34
0.75 o 267
0.75 c 33
0.75 o 271
0.75 c 29
0.75 o 273
0.75 c 27
0.75 o 276
0.75 c 24
0.75 o 278
0.75 c 22
0.75 o 279
0.75 c 21
0.75 o 281
0.75 c 19
0.75 o 284
0.76 c 16
0.76 o 285
0.76 c 15
0.76 o 286
0.76 c 14
0.76 o 287
0.76 c 13
0.76 o 288
0.76 c 12
0.76 o 289
0.76 c 11
0.76 o 291
0.76 c 9
0.76 o 293
0.76 c 7
0.76 o 294
0.76 c 6
0.82 o 295
0.82 c 5
0.84 o 296
0.84 c 4
1.01 o 297
1.01 c 3
1.84 o 298
1.84 c 2
4.30
4.30 search
4.30 run=0 nbConstraintChecks=26072408 nbAssignments=10000
4.30 => wckTime=3.567 cpuTime=3.51 mem=6M199
7.77
7.77 search
7.77 run=1 nbConstraintChecks=52187288 nbAssignments=20000
7.77 => wckTime=7.037 cpuTime=6.95 mem=6M199
11.18
11.18 search
11.18 run=2 nbConstraintChecks=77784009 nbAssignments=30000
11.18 => wckTime=10.451 cpuTime=10.33 mem=6M199
12.05 o 299
12.05 c 1
12.05
12.05 search
12.05 run=3 nbConstraintChecks=84306771 nbAssignments=32606
12.05 => wckTime=11.317 cpuTime=11.19 mem=6M199
12.05
12.05 global
12.05 nbConstraintChecks=84306771 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
12.05 solvingWckTime=11.315 solvingCpuTime=11.19 expiredTime=no totalExploration=no nbFoundSolutions=0
12.05 globalCpuTime=11.53
12.05 => wckTime=11.74 cpuTime=11.48 mem=6M199
12.05
12.05 solver IterativeSystematicSolver being built...
12.18 => wckTime=11.866 cpuTime=11.58 mem=17M106
12.19
12.19 preprocessing
12.19 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
12.19 detectedInconsistency=no
12.19 => wckTime=0.0070 cpuTime=0.0 mem=17M106
12.28
12.28 search
12.28 run=0 nbConstraintChecks=191853 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=50
12.28 nbFailedAssignments=34 nbBacktracks=10 nbVisitedNodes=95 nbRestartNogoods=0
12.28 => wckTime=0.1 cpuTime=0.07 mem=17M106
12.37
12.37 search
12.37 run=1 nbConstraintChecks=507826 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=135
12.37 nbFailedAssignments=99 nbBacktracks=25 nbVisitedNodes=260 nbRestartNogoods=10
12.37 => wckTime=0.193 cpuTime=0.14 mem=17M106
12.45
12.45 search
12.45 run=2 nbConstraintChecks=849011 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=230
12.45 nbFailedAssignments=166 nbBacktracks=47 nbVisitedNodes=444 nbRestartNogoods=30
12.45 => wckTime=0.275 cpuTime=0.22 mem=17M106
12.59
12.59 search
12.59 run=3 nbConstraintChecks=1464644 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=390
12.59 nbFailedAssignments=288 nbBacktracks=80 nbVisitedNodes=759 nbRestartNogoods=42
12.59 => wckTime=0.408 cpuTime=0.35 mem=17M106
12.76
12.76 search
12.76 run=4 nbConstraintChecks=2276332 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=601
12.76 nbFailedAssignments=444 nbBacktracks=130 nbVisitedNodes=1176 nbRestartNogoods=62
12.76 => wckTime=0.585 cpuTime=0.52 mem=17M106
13.06
13.06 search
13.06 run=5 nbConstraintChecks=3656000 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=961
13.06 nbFailedAssignments=724 nbBacktracks=205 nbVisitedNodes=1891 nbRestartNogoods=91
13.06 => wckTime=0.879 cpuTime=0.81 mem=17M106
13.45
13.45 search
13.45 run=6 nbConstraintChecks=5538498 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1426
13.45 nbFailedAssignments=1071 nbBacktracks=318 nbVisitedNodes=2816 nbRestartNogoods=114
13.45 => wckTime=1.269 cpuTime=1.19 mem=17M106
14.07
14.07 search
14.07 run=7 nbConstraintChecks=8479861 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2200
14.07 nbFailedAssignments=1670 nbBacktracks=488 nbVisitedNodes=4359 nbRestartNogoods=119
14.07 => wckTime=1.889 cpuTime=1.79 mem=17M106
14.89
14.89 search
14.89 run=8 nbConstraintChecks=12559649 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3202
14.89 nbFailedAssignments=2412 nbBacktracks=744 nbVisitedNodes=6359 nbRestartNogoods=143
14.89 => wckTime=2.712 cpuTime=2.6 mem=17M106
16.27
16.27 search
16.27 run=9 nbConstraintChecks=19413601 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4952
16.27 nbFailedAssignments=3772 nbBacktracks=1128 nbVisitedNodes=9853 nbRestartNogoods=155
16.27 => wckTime=4.089 cpuTime=3.96 mem=17M106
18.27
18.27 search
18.27 run=10 nbConstraintChecks=29333301 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7457
18.27 nbFailedAssignments=5695 nbBacktracks=1704 nbVisitedNodes=14857 nbRestartNogoods=164
18.27 => wckTime=6.092 cpuTime=5.94 mem=17M106
20.97
20.97 search
20.97 run=11 nbConstraintChecks=42972884 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10810
20.97 nbFailedAssignments=8179 nbBacktracks=2568 nbVisitedNodes=21558 nbRestartNogoods=178
20.97 => wckTime=8.79 cpuTime=8.62 mem=17M106
25.05
25.05 search
25.05 run=12 nbConstraintChecks=63095753 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=15717
25.05 nbFailedAssignments=11783 nbBacktracks=3865 nbVisitedNodes=31364 nbRestartNogoods=223
25.05 => wckTime=12.875 cpuTime=12.66 mem=17M106
30.22
30.22 search
30.22 run=13 nbConstraintChecks=88828365 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=21704
30.22 nbFailedAssignments=15818 nbBacktracks=5811 nbVisitedNodes=43226 nbRestartNogoods=236
30.22 => wckTime=18.04 cpuTime=17.78 mem=17M106
37.43
37.43 search
37.43 run=14 nbConstraintChecks=124798291 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=30016
37.43 nbFailedAssignments=21204 nbBacktracks=8730 nbVisitedNodes=59274 nbRestartNogoods=244
37.43 => wckTime=25.25 cpuTime=24.93 mem=17M106
45.96
45.96 search
45.96 run=15 nbConstraintChecks=167974620 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=39905
45.96 nbFailedAssignments=26710 nbBacktracks=13108 nbVisitedNodes=77199 nbRestartNogoods=251
45.96 => wckTime=33.779 cpuTime=33.38 mem=17M106
58.47
58.47 search
58.47 run=16 nbConstraintChecks=230923410 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=53874
58.47 nbFailedAssignments=34105 nbBacktracks=19676 nbVisitedNodes=101689 nbRestartNogoods=268
58.47 => wckTime=46.292 cpuTime=45.78 mem=17M106
75.81
75.81 search
75.81 run=17 nbConstraintChecks=318827260 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=73737
75.81 nbFailedAssignments=44110 nbBacktracks=29528 nbVisitedNodes=135867 nbRestartNogoods=297
75.81 => wckTime=63.635 cpuTime=62.95 mem=17M106
101.71
101.71 search
101.71 run=18 nbConstraintChecks=451443436 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=102902
101.71 nbFailedAssignments=58493 nbBacktracks=44307 nbVisitedNodes=185479 nbRestartNogoods=317
101.71 => wckTime=89.537 cpuTime=88.62 mem=17M106
140.45
140.45 search
140.45 run=19 nbConstraintChecks=648451787 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=146184
140.45 nbFailedAssignments=79601 nbBacktracks=66475 nbVisitedNodes=258964 nbRestartNogoods=326
140.45 => wckTime=128.274 cpuTime=126.99 mem=17M106
196.41
196.41 search
196.41 run=20 nbConstraintChecks=931833331 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=210877
196.41 nbFailedAssignments=111037 nbBacktracks=99728 nbVisitedNodes=368160 nbRestartNogoods=338
196.41 => wckTime=184.23 cpuTime=182.44 mem=17M106
279.88
279.89 search
279.89 run=21 nbConstraintChecks=1355896762 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=306585
279.89 nbFailedAssignments=156861 nbBacktracks=149606 nbVisitedNodes=529275 nbRestartNogoods=360
279.89 => wckTime=267.708 cpuTime=265.14 mem=17M106
403.47
403.47 search
403.47 run=22 nbConstraintChecks=1982808178 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=449979
403.47 nbFailedAssignments=225431 nbBacktracks=224424 nbVisitedNodes=769981 nbRestartNogoods=384
403.47 => wckTime=391.297 cpuTime=387.59 mem=17M106
586.65
586.65 search
586.65 run=23 nbConstraintChecks=2916256435 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=662162
586.65 nbFailedAssignments=325381 nbBacktracks=336652 nbVisitedNodes=1124549 nbRestartNogoods=414
586.65 => wckTime=574.47 cpuTime=569.08 mem=17M106
853.47
853.47 search
853.47 run=24 nbConstraintChecks=4325439569 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=981702
853.47 nbFailedAssignments=476575 nbBacktracks=504993 nbVisitedNodes=1659274 nbRestartNogoods=438
853.47 => wckTime=841.294 cpuTime=831.53 mem=17M106
1235.30
1235.30 search
1235.30 run=25 nbConstraintChecks=6442670516 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1461285
1235.30 nbFailedAssignments=703643 nbBacktracks=757504 nbVisitedNodes=2462729 nbRestartNogoods=457
1235.30 => wckTime=1223.121 cpuTime=1212.92 mem=17M106
1807.93
1807.93 search
1807.93 run=26 nbConstraintChecks=9621106235 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2179638
1807.93 nbFailedAssignments=1043226 nbBacktracks=1136271 nbVisitedNodes=3666061 nbRestartNogoods=490
1807.93 => wckTime=1795.754 cpuTime=1784.95 mem=17M106
2413.08 v 14 12 8 19 0 12 16 3 20 19 24 3 13 10 21 5 4 20 18 23 4 3 12 12 21
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node11/watcher-277229-1169261422 -o ROOT/results/node11/solver-277229-1169261422 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277229-1169261422/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: 2.02 1.99 1.91 4/94 16943
/proc/meminfo: memFree=1274184/2055920 swapFree=4171812/4192956
[pid=16942] ppid=16940 vsize=47892 CPUtime=0.01
/proc/16942/stat : 16942 (java) D 16940 16942 16375 0 -1 0 1219 0 1 0 0 1 0 0 17 0 1 0 274537238 49041408 968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/16942/statm: 11973 968 766 14 0 1707 0
[startup+0.103737 s]
/proc/loadavg: 2.02 1.99 1.91 4/94 16943
/proc/meminfo: memFree=1274184/2055920 swapFree=4171812/4192956
[pid=16942] ppid=16940 vsize=914988 CPUtime=0.08
/proc/16942/stat : 16942 (java) R 16940 16942 16375 0 -1 0 2996 0 1 0 6 2 0 0 17 0 8 0 274537238 936947712 2742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153801566 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16942/statm: 228747 2742 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511821 s]
/proc/loadavg: 2.02 1.99 1.91 4/94 16943
/proc/meminfo: memFree=1274184/2055920 swapFree=4171812/4192956
[pid=16942] ppid=16940 vsize=915332 CPUtime=0.48
/proc/16942/stat : 16942 (java) R 16940 16942 16375 0 -1 0 6948 0 1 0 43 5 0 0 18 0 8 0 274537238 937299968 6687 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073555310 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16942/statm: 228833 6687 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.33298 s]
/proc/loadavg: 2.10 2.00 1.92 4/101 16950
/proc/meminfo: memFree=1250256/2055920 swapFree=4171812/4192956
[pid=16942] ppid=16940 vsize=915464 CPUtime=1.3
/proc/16942/stat : 16942 (java) R 16940 16942 16375 0 -1 0 8642 0 1 0 117 13 0 0 25 0 8 0 274537238 937435136 8380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073738649 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16942/statm: 228866 8380 2476 14 0 215336 0
[pid=16942/tid=16944] ppid=16940 vsize=915464 CPUtime=0.03
/proc/16942/task/16944/stat : 16944 (java) S 16940 16942 16375 0 -1 64 327 0 0 0 3 0 0 0 16 0 8 0 274537242 937435136 8380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16945] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16945/stat : 16945 (java) S 16940 16942 16375 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274537242 937435136 8380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16946] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16946/stat : 16946 (java) S 16940 16942 16375 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274537242 937435136 8380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16947] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16947/stat : 16947 (java) S 16940 16942 16375 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274537246 937435136 8380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16948] ppid=16940 vsize=915464 CPUtime=0.14
/proc/16942/task/16948/stat : 16948 (java) S 16940 16942 16375 0 -1 64 347 0 0 0 14 0 0 0 16 0 8 0 274537246 937435136 8380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16949] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16949/stat : 16949 (java) S 16940 16942 16375 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274537246 937435136 8380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16950] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16950/stat : 16950 (java) S 16940 16942 16375 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274537246 937435136 8380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915464
[startup+2.9793 s]
/proc/loadavg: 2.10 2.00 1.92 3/101 16950
/proc/meminfo: memFree=1250128/2055920 swapFree=4171812/4192956
[pid=16942] ppid=16940 vsize=915464 CPUtime=2.93
/proc/16942/stat : 16942 (java) R 16940 16942 16375 0 -1 0 8643 0 1 0 261 32 0 0 25 0 8 0 274537238 937435136 8380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073737690 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16942/statm: 228866 8380 2476 14 0 215336 0
[pid=16942/tid=16944] ppid=16940 vsize=915464 CPUtime=0.03
/proc/16942/task/16944/stat : 16944 (java) S 16940 16942 16375 0 -1 64 327 0 0 0 3 0 0 0 16 0 8 0 274537242 937435136 8380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16945] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16945/stat : 16945 (java) S 16940 16942 16375 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274537242 937435136 8380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16946] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16946/stat : 16946 (java) S 16940 16942 16375 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274537242 937435136 8380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16947] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16947/stat : 16947 (java) S 16940 16942 16375 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274537246 937435136 8380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16948] ppid=16940 vsize=915464 CPUtime=0.14
/proc/16942/task/16948/stat : 16948 (java) S 16940 16942 16375 0 -1 64 347 0 0 0 14 0 0 0 16 0 8 0 274537246 937435136 8380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16949] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16949/stat : 16949 (java) S 16940 16942 16375 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274537246 937435136 8380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16950] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16950/stat : 16950 (java) S 16940 16942 16375 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274537246 937435136 8380 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915464
[startup+6.26896 s]
/proc/loadavg: 2.09 2.00 1.92 3/101 16950
/proc/meminfo: memFree=1250128/2055920 swapFree=4171812/4192956
[pid=16942] ppid=16940 vsize=915464 CPUtime=6.19
/proc/16942/stat : 16942 (java) R 16940 16942 16375 0 -1 0 8645 0 1 0 551 68 0 0 25 0 8 0 274537238 937435136 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073735526 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16942/statm: 228866 8382 2476 14 0 215336 0
[pid=16942/tid=16944] ppid=16940 vsize=915464 CPUtime=0.03
/proc/16942/task/16944/stat : 16944 (java) S 16940 16942 16375 0 -1 64 327 0 0 0 3 0 0 0 16 0 8 0 274537242 937435136 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16945] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16945/stat : 16945 (java) S 16940 16942 16375 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274537242 937435136 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16946] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16946/stat : 16946 (java) S 16940 16942 16375 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274537242 937435136 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16947] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16947/stat : 16947 (java) S 16940 16942 16375 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274537246 937435136 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16948] ppid=16940 vsize=915464 CPUtime=0.15
/proc/16942/task/16948/stat : 16948 (java) S 16940 16942 16375 0 -1 64 349 0 0 0 15 0 0 0 16 0 8 0 274537246 937435136 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16949] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16949/stat : 16949 (java) S 16940 16942 16375 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274537246 937435136 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16950] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16950/stat : 16950 (java) S 16940 16942 16375 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274537246 937435136 8382 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) 915464
[startup+12.7503 s]
/proc/loadavg: 2.08 2.00 1.92 3/101 16950
/proc/meminfo: memFree=1248280/2055920 swapFree=4171812/4192956
[pid=16942] ppid=16940 vsize=915464 CPUtime=12.6
/proc/16942/stat : 16942 (java) R 16940 16942 16375 0 -1 0 9154 0 1 0 1120 140 0 0 25 0 8 0 274537238 937435136 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073864720 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16942/statm: 228866 8890 2527 14 0 215336 0
[pid=16942/tid=16944] ppid=16940 vsize=915464 CPUtime=0.03
/proc/16942/task/16944/stat : 16944 (java) S 16940 16942 16375 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 274537242 937435136 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16945] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16945/stat : 16945 (java) S 16940 16942 16375 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274537242 937435136 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16946] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16946/stat : 16946 (java) S 16940 16942 16375 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274537242 937435136 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16947] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16947/stat : 16947 (java) S 16940 16942 16375 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274537246 937435136 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16948] ppid=16940 vsize=915464 CPUtime=0.23
/proc/16942/task/16948/stat : 16948 (java) S 16940 16942 16375 0 -1 64 387 0 0 0 22 1 0 0 15 0 8 0 274537246 937435136 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16949] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16949/stat : 16949 (java) S 16940 16942 16375 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274537246 937435136 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16950] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16950/stat : 16950 (java) S 16940 16942 16375 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274537246 937435136 8890 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915464
[startup+25.6068 s]
/proc/loadavg: 2.07 2.00 1.92 3/101 16950
/proc/meminfo: memFree=1248280/2055920 swapFree=4171812/4192956
[pid=16942] ppid=16940 vsize=915464 CPUtime=25.35
/proc/16942/stat : 16942 (java) R 16940 16942 16375 0 -1 0 9195 0 1 0 2394 141 0 0 25 0 8 0 274537238 937435136 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073866098 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16942/statm: 228866 8927 2527 14 0 215336 0
[pid=16942/tid=16944] ppid=16940 vsize=915464 CPUtime=0.03
/proc/16942/task/16944/stat : 16944 (java) S 16940 16942 16375 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 274537242 937435136 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16945] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16945/stat : 16945 (java) S 16940 16942 16375 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274537242 937435136 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16946] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16946/stat : 16946 (java) S 16940 16942 16375 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274537242 937435136 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16947] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16947/stat : 16947 (java) S 16940 16942 16375 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274537246 937435136 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16948] ppid=16940 vsize=915464 CPUtime=0.27
/proc/16942/task/16948/stat : 16948 (java) S 16940 16942 16375 0 -1 64 404 0 0 0 26 1 0 0 15 0 8 0 274537246 937435136 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16949] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16949/stat : 16949 (java) S 16940 16942 16375 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274537246 937435136 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16950] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16950/stat : 16950 (java) S 16940 16942 16375 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274537246 937435136 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915464
[startup+51.2199 s]
/proc/loadavg: 2.04 2.00 1.92 3/101 16950
/proc/meminfo: memFree=1248152/2055920 swapFree=4171812/4192956
[pid=16942] ppid=16940 vsize=915464 CPUtime=50.72
/proc/16942/stat : 16942 (java) R 16940 16942 16375 0 -1 0 9205 0 1 0 4931 141 0 0 25 0 8 0 274537238 937435136 8936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073840521 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16942/statm: 228866 8936 2527 14 0 215336 0
[pid=16942/tid=16944] ppid=16940 vsize=915464 CPUtime=0.03
/proc/16942/task/16944/stat : 16944 (java) S 16940 16942 16375 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 274537242 937435136 8936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16945] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16945/stat : 16945 (java) S 16940 16942 16375 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274537242 937435136 8936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16946] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16946/stat : 16946 (java) S 16940 16942 16375 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274537242 937435136 8936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16947] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16947/stat : 16947 (java) S 16940 16942 16375 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274537246 937435136 8936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16948] ppid=16940 vsize=915464 CPUtime=0.27
/proc/16942/task/16948/stat : 16948 (java) S 16940 16942 16375 0 -1 64 406 0 0 0 26 1 0 0 16 0 8 0 274537246 937435136 8936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16949] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16949/stat : 16949 (java) S 16940 16942 16375 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274537246 937435136 8936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16950] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16950/stat : 16950 (java) S 16940 16942 16375 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274537246 937435136 8936 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 915464
[startup+102.456 s]
/proc/loadavg: 2.02 2.00 1.92 3/101 16950
/proc/meminfo: memFree=1248216/2055920 swapFree=4171812/4192956
[pid=16942] ppid=16940 vsize=915464 CPUtime=101.49
/proc/16942/stat : 16942 (java) R 16940 16942 16375 0 -1 0 9212 0 1 0 10007 142 0 0 25 0 8 0 274537238 937435136 8943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073864785 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16942/statm: 228866 8943 2527 14 0 215336 0
[pid=16942/tid=16944] ppid=16940 vsize=915464 CPUtime=0.03
/proc/16942/task/16944/stat : 16944 (java) S 16940 16942 16375 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 274537242 937435136 8943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16945] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16945/stat : 16945 (java) S 16940 16942 16375 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274537242 937435136 8943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16946] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16946/stat : 16946 (java) S 16940 16942 16375 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274537242 937435136 8943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16947] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16947/stat : 16947 (java) S 16940 16942 16375 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274537246 937435136 8943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16948] ppid=16940 vsize=915464 CPUtime=0.27
/proc/16942/task/16948/stat : 16948 (java) S 16940 16942 16375 0 -1 64 406 0 0 0 26 1 0 0 16 0 8 0 274537246 937435136 8943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16949] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16949/stat : 16949 (java) S 16940 16942 16375 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274537246 937435136 8943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16950] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16950/stat : 16950 (java) S 16940 16942 16375 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274537246 937435136 8943 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.49
Current children cumulated vsize (KiB) 915464
[startup+162.555 s]
/proc/loadavg: 2.00 2.00 1.92 3/101 16950
/proc/meminfo: memFree=1248152/2055920 swapFree=4171812/4192956
[pid=16942] ppid=16940 vsize=915464 CPUtime=161.03
/proc/16942/stat : 16942 (java) R 16940 16942 16375 0 -1 0 9214 0 1 0 15961 142 0 0 25 0 8 0 274537238 937435136 8945 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073865911 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2013.13
Current children cumulated vsize (KiB) 915464
[startup+2084.31 s]
/proc/loadavg: 2.00 2.02 2.00 3/101 17626
/proc/meminfo: memFree=1247576/2055920 swapFree=4171812/4192956
[pid=16942] ppid=16940 vsize=915464 CPUtime=2073.14
/proc/16942/stat : 16942 (java) R 16940 16942 16375 0 -1 0 9233 0 1 0 207164 150 0 0 25 0 8 0 274537238 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073840427 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16942/statm: 228866 8963 2527 14 0 215336 0
[pid=16942/tid=16944] ppid=16940 vsize=915464 CPUtime=0.03
/proc/16942/task/16944/stat : 16944 (java) S 16940 16942 16375 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 274537242 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16945] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16945/stat : 16945 (java) S 16940 16942 16375 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274537242 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16946] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16946/stat : 16946 (java) S 16940 16942 16375 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274537242 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16947] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16947/stat : 16947 (java) S 16940 16942 16375 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274537246 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16948] ppid=16940 vsize=915464 CPUtime=0.27
/proc/16942/task/16948/stat : 16948 (java) S 16940 16942 16375 0 -1 64 406 0 0 0 26 1 0 0 16 0 8 0 274537246 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16942/tid=16949] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16949/stat : 16949 (java) S 16940 16942 16375 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274537246 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16950] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16950/stat : 16950 (java) S 16940 16942 16375 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274537246 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2073.14
Current children cumulated vsize (KiB) 915464
[startup+2144.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/101 17626
/proc/meminfo: memFree=1247640/2055920 swapFree=4171812/4192956
[pid=16942] ppid=16940 vsize=915464 CPUtime=2133.16
/proc/16942/stat : 16942 (java) R 16940 16942 16375 0 -1 0 9233 0 1 0 213166 150 0 0 25 0 8 0 274537238 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073865941 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16942/statm: 228866 8963 2527 14 0 215336 0
[pid=16942/tid=16944] ppid=16940 vsize=915464 CPUtime=0.03
/proc/16942/task/16944/stat : 16944 (java) S 16940 16942 16375 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 274537242 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16945] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16945/stat : 16945 (java) S 16940 16942 16375 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274537242 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16946] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16946/stat : 16946 (java) S 16940 16942 16375 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274537242 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16947] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16947/stat : 16947 (java) S 16940 16942 16375 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274537246 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16948] ppid=16940 vsize=915464 CPUtime=0.27
/proc/16942/task/16948/stat : 16948 (java) S 16940 16942 16375 0 -1 64 406 0 0 0 26 1 0 0 16 0 8 0 274537246 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16942/tid=16949] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16949/stat : 16949 (java) S 16940 16942 16375 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274537246 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16950] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16950/stat : 16950 (java) S 16940 16942 16375 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274537246 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2133.16
Current children cumulated vsize (KiB) 915464
[startup+2204.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/101 17626
/proc/meminfo: memFree=1247640/2055920 swapFree=4171812/4192956
[pid=16942] ppid=16940 vsize=915464 CPUtime=2193.11
/proc/16942/stat : 16942 (java) R 16940 16942 16375 0 -1 0 9233 0 1 0 219160 151 0 0 25 0 8 0 274537238 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073838525 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16942/statm: 228866 8963 2527 14 0 215336 0
[pid=16942/tid=16944] ppid=16940 vsize=915464 CPUtime=0.03
/proc/16942/task/16944/stat : 16944 (java) S 16940 16942 16375 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 274537242 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16945] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16945/stat : 16945 (java) S 16940 16942 16375 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274537242 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16946] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16946/stat : 16946 (java) S 16940 16942 16375 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274537242 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16947] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16947/stat : 16947 (java) S 16940 16942 16375 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274537246 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16948] ppid=16940 vsize=915464 CPUtime=0.27
/proc/16942/task/16948/stat : 16948 (java) S 16940 16942 16375 0 -1 64 406 0 0 0 26 1 0 0 16 0 8 0 274537246 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16942/tid=16949] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16949/stat : 16949 (java) S 16940 16942 16375 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274537246 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16950] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16950/stat : 16950 (java) S 16940 16942 16375 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274537246 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2193.11
Current children cumulated vsize (KiB) 915464
[startup+2264.49 s]
/proc/loadavg: 2.01 2.00 2.00 3/100 17686
/proc/meminfo: memFree=1231392/2055920 swapFree=4171812/4192956
[pid=16942] ppid=16940 vsize=915464 CPUtime=2252.81
/proc/16942/stat : 16942 (java) R 16940 16942 16375 0 -1 0 9233 0 1 0 225129 152 0 0 25 0 8 0 274537238 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073869767 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16942/statm: 228866 8963 2527 14 0 215336 0
[pid=16942/tid=16944] ppid=16940 vsize=915464 CPUtime=0.03
/proc/16942/task/16944/stat : 16944 (java) S 16940 16942 16375 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 274537242 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16945] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16945/stat : 16945 (java) S 16940 16942 16375 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274537242 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16946] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16946/stat : 16946 (java) S 16940 16942 16375 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274537242 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16947] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16947/stat : 16947 (java) S 16940 16942 16375 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274537246 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16948] ppid=16940 vsize=915464 CPUtime=0.27
/proc/16942/task/16948/stat : 16948 (java) S 16940 16942 16375 0 -1 64 406 0 0 0 26 1 0 0 16 0 8 0 274537246 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16942/tid=16949] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16949/stat : 16949 (java) S 16940 16942 16375 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274537246 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16950] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16950/stat : 16950 (java) S 16940 16942 16375 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274537246 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2252.81
Current children cumulated vsize (KiB) 915464
[startup+2324.54 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 17686
/proc/meminfo: memFree=1231392/2055920 swapFree=4171812/4192956
[pid=16942] ppid=16940 vsize=915464 CPUtime=2312.3
/proc/16942/stat : 16942 (java) R 16940 16942 16375 0 -1 0 9233 0 1 0 231078 152 0 0 25 0 8 0 274537238 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073839553 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16942/statm: 228866 8963 2527 14 0 215336 0
[pid=16942/tid=16944] ppid=16940 vsize=915464 CPUtime=0.03
/proc/16942/task/16944/stat : 16944 (java) S 16940 16942 16375 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 274537242 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16945] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16945/stat : 16945 (java) S 16940 16942 16375 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274537242 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16946] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16946/stat : 16946 (java) S 16940 16942 16375 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274537242 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16947] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16947/stat : 16947 (java) S 16940 16942 16375 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274537246 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16948] ppid=16940 vsize=915464 CPUtime=0.27
/proc/16942/task/16948/stat : 16948 (java) S 16940 16942 16375 0 -1 64 406 0 0 0 26 1 0 0 16 0 8 0 274537246 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16942/tid=16949] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16949/stat : 16949 (java) S 16940 16942 16375 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274537246 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16950] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16950/stat : 16950 (java) S 16940 16942 16375 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274537246 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2312.3
Current children cumulated vsize (KiB) 915464
[startup+2384.59 s]
/proc/loadavg: 2.04 2.01 2.00 3/100 17686
/proc/meminfo: memFree=1231328/2055920 swapFree=4171812/4192956
[pid=16942] ppid=16940 vsize=915464 CPUtime=2371.8
/proc/16942/stat : 16942 (java) R 16940 16942 16375 0 -1 0 9233 0 1 0 237028 152 0 0 25 0 8 0 274537238 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073866098 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16942/statm: 228866 8963 2527 14 0 215336 0
[pid=16942/tid=16944] ppid=16940 vsize=915464 CPUtime=0.03
/proc/16942/task/16944/stat : 16944 (java) S 16940 16942 16375 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 274537242 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16945] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16945/stat : 16945 (java) S 16940 16942 16375 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274537242 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16946] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16946/stat : 16946 (java) S 16940 16942 16375 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274537242 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16947] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16947/stat : 16947 (java) S 16940 16942 16375 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274537246 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16948] ppid=16940 vsize=915464 CPUtime=0.27
/proc/16942/task/16948/stat : 16948 (java) S 16940 16942 16375 0 -1 64 406 0 0 0 26 1 0 0 16 0 8 0 274537246 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16942/tid=16949] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16949/stat : 16949 (java) S 16940 16942 16375 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274537246 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16950] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16950/stat : 16950 (java) S 16940 16942 16375 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274537246 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2371.8
Current children cumulated vsize (KiB) 915464
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2413.07 s]
/proc/loadavg: 2.02 2.01 2.00 3/100 17686
/proc/meminfo: memFree=1231264/2055920 swapFree=4171812/4192956
[pid=16942] ppid=16940 vsize=915464 CPUtime=2400.02
/proc/16942/stat : 16942 (java) R 16940 16942 16375 0 -1 0 9233 0 1 0 239850 152 0 0 25 0 8 0 274537238 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073894624 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16942/statm: 228866 8963 2527 14 0 215336 0
[pid=16942/tid=16944] ppid=16940 vsize=915464 CPUtime=0.03
/proc/16942/task/16944/stat : 16944 (java) S 16940 16942 16375 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 274537242 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16945] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16945/stat : 16945 (java) S 16940 16942 16375 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274537242 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16946] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16946/stat : 16946 (java) S 16940 16942 16375 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 274537242 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16947] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16947/stat : 16947 (java) S 16940 16942 16375 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274537246 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16948] ppid=16940 vsize=915464 CPUtime=0.27
/proc/16942/task/16948/stat : 16948 (java) S 16940 16942 16375 0 -1 64 406 0 0 0 26 1 0 0 16 0 8 0 274537246 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16942/tid=16949] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16949/stat : 16949 (java) S 16940 16942 16375 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274537246 937435136 8963 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16942/tid=16950] ppid=16940 vsize=915464 CPUtime=0
/proc/16942/task/16950/stat : 16950 (java) S 16940 16942 16375 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274537246 937435136 8963 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) 915464
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2413.09
CPU time (s): 2400.05
CPU user time (s): 2398.52
CPU system time (s): 1.53677
CPU usage (%): 99.4596
Max. virtual memory (cumulated for all children) (KiB): 915468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.52
system time used= 1.53677
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9255
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= 49958
involuntary context switches= 118503
runsolver used 3.24051 s user time and 7.46786 s system time
The end
Begin job on node11 on Sat Jan 20 02:50:22 UTC 2007
IDJOB= 277229
IDBENCH= 6502
IDSOLVER= 69
FILE ID= node11/277229-1169261422
PBS_JOBID= 3607282
Free space on /tmp= 66562 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-25/rand-25-25-300-147-58021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277229-1169261422/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-277229-1169261422 -o ROOT/results/node11/solver-277229-1169261422 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277229-1169261422/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 033cd0dd1127d1ee13d52ddfcb690341
RANDOM SEED= 924744709
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.261
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 : 5931.00
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.261
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: 1274600 kB
Buffers: 63388 kB
Cached: 585156 kB
SwapCached: 2828 kB
Active: 235192 kB
Inactive: 466856 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1274600 kB
SwapTotal: 4192956 kB
SwapFree: 4171812 kB
Dirty: 1932 kB
Writeback: 0 kB
Mapped: 78120 kB
Slab: 63820 kB
Committed_AS: 8332848 kB
PageTables: 2480 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 node11 on Sat Jan 20 03:30:35 UTC 2007