0.39
0.39 Abscon 109 (November, 2006)
0.39
0.39 configuration
0.39 name=epfc.xml
0.43
0.43 instance
0.43 name=/tmp/evaluation/277228-1169261323/unknown.xml
0.46
0.46 domains being loaded...
0.46
0.46 variables being loaded...
0.50 nbVariables=25 nbDomainTypes=1 minDomainSize=25 maxDomainSize=25
0.50 => wckTime=0.099 cpuTime=0.1 mem=6M887
0.50
0.50 relations being loaded...
0.62
0.62 constraints being loaded...
0.74 nbConstraints=300 nbRelationTypes=300 nbExtensionStructures=300 nbSharedExtensionStructures=0
0.74 nbConflictsStructures=300 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=941 maxDegree=24
0.74 maxArity=2
0.74 => wckTime=0.339 cpuTime=0.24 mem=14M689
0.78
0.78 solver LocalSearchSolver being built...
0.83 => wckTime=0.428 cpuTime=0.3 mem=6M199
0.83
0.83 s SATISFIABLE
0.83 o 243
0.83 c 57
0.83 o 248
0.83 c 52
0.84 o 254
0.84 c 46
0.84 o 259
0.84 c 41
0.84 o 262
0.84 c 38
0.84 o 266
0.84 c 34
0.84 o 267
0.84 c 33
0.84 o 271
0.84 c 29
0.84 o 273
0.84 c 27
0.84 o 276
0.84 c 24
0.84 o 278
0.84 c 22
0.84 o 279
0.84 c 21
0.85 o 281
0.85 c 19
0.85 o 284
0.85 c 16
0.85 o 285
0.85 c 15
0.85 o 286
0.85 c 14
0.85 o 287
0.85 c 13
0.85 o 288
0.85 c 12
0.86 o 289
0.86 c 11
0.86 o 291
0.86 c 9
0.86 o 293
0.86 c 7
0.86 o 294
0.86 c 6
0.92 o 295
0.92 c 5
0.94 o 296
0.94 c 4
1.11 o 297
1.11 c 3
1.98 o 298
1.98 c 2
4.49
4.50 search
4.50 run=0 nbConstraintChecks=26072408 nbAssignments=10000
4.50 => wckTime=3.666 cpuTime=3.61 mem=6M199
8.06
8.06 search
8.06 run=1 nbConstraintChecks=52187288 nbAssignments=20000
8.06 => wckTime=7.233 cpuTime=7.14 mem=6M199
11.56
11.56 search
11.56 run=2 nbConstraintChecks=77784009 nbAssignments=30000
11.56 => wckTime=10.738 cpuTime=10.61 mem=6M199
12.47 o 299
12.47 c 1
12.47
12.47 search
12.47 run=3 nbConstraintChecks=84306771 nbAssignments=32606
12.47 => wckTime=11.642 cpuTime=11.51 mem=6M199
12.47
12.47 global
12.47 nbConstraintChecks=84306771 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
12.47 solvingWckTime=11.64 solvingCpuTime=11.51 expiredTime=no totalExploration=no nbFoundSolutions=0
12.47 globalCpuTime=11.86
12.47 => wckTime=12.071 cpuTime=11.81 mem=6M199
12.47
12.47 solver IterativeSystematicSolver being built...
12.60 => wckTime=12.2 cpuTime=11.92 mem=17M139
12.67
12.67 preprocessing
12.67 nbConstraintChecks=81160 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
12.67 detectedInconsistency=no
12.67 => wckTime=0.069 cpuTime=0.05 mem=17M139
12.72
12.72 search
12.72 run=0 nbConstraintChecks=168725 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=42
12.72 nbFailedAssignments=27 nbBacktracks=10 nbVisitedNodes=79 nbRestartNogoods=0
12.72 => wckTime=0.117 cpuTime=0.09 mem=17M139
12.80
12.80 search
12.80 run=1 nbConstraintChecks=524728 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=117
12.80 nbFailedAssignments=82 nbBacktracks=25 nbVisitedNodes=224 nbRestartNogoods=18
12.80 => wckTime=0.205 cpuTime=0.16 mem=17M139
12.87
12.87 search
12.87 run=2 nbConstraintChecks=835915 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=189
12.87 nbFailedAssignments=127 nbBacktracks=47 nbVisitedNodes=363 nbRestartNogoods=21
12.87 => wckTime=0.273 cpuTime=0.23 mem=17M139
13.02
13.02 search
13.02 run=3 nbConstraintChecks=1495958 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=332
13.02 nbFailedAssignments=232 nbBacktracks=80 nbVisitedNodes=644 nbRestartNogoods=56
13.02 => wckTime=0.415 cpuTime=0.36 mem=17M139
13.17
13.17 search
13.17 run=4 nbConstraintChecks=2259984 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=504
13.17 nbFailedAssignments=349 nbBacktracks=130 nbVisitedNodes=981 nbRestartNogoods=63
13.17 => wckTime=0.574 cpuTime=0.52 mem=17M139
13.39
13.39 search
13.39 run=5 nbConstraintChecks=3337425 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=747
13.39 nbFailedAssignments=512 nbBacktracks=205 nbVisitedNodes=1457 nbRestartNogoods=74
13.39 => wckTime=0.793 cpuTime=0.74 mem=17M139
13.78
13.78 search
13.78 run=6 nbConstraintChecks=5236191 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1160
13.78 nbFailedAssignments=808 nbBacktracks=318 nbVisitedNodes=2277 nbRestartNogoods=90
13.78 => wckTime=1.181 cpuTime=1.12 mem=17M139
14.27
14.27 search
14.27 run=7 nbConstraintChecks=7614594 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1722
14.27 nbFailedAssignments=1195 nbBacktracks=488 nbVisitedNodes=3390 nbRestartNogoods=114
14.27 => wckTime=1.676 cpuTime=1.59 mem=17M139
15.04
15.04 search
15.04 run=8 nbConstraintChecks=11563223 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2582
15.04 nbFailedAssignments=1795 nbBacktracks=744 nbVisitedNodes=5103 nbRestartNogoods=132
15.04 => wckTime=2.444 cpuTime=2.35 mem=17M139
16.12
16.12 search
16.12 run=9 nbConstraintChecks=17084823 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3816
16.12 nbFailedAssignments=2639 nbBacktracks=1128 nbVisitedNodes=7555 nbRestartNogoods=189
16.12 => wckTime=3.518 cpuTime=3.41 mem=17M139
17.80
17.80 search
17.80 run=10 nbConstraintChecks=25588605 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5810
17.80 nbFailedAssignments=4052 nbBacktracks=1704 nbVisitedNodes=11522 nbRestartNogoods=233
17.80 => wckTime=5.2 cpuTime=5.07 mem=17M139
20.42
20.42 search
20.42 run=11 nbConstraintChecks=39152078 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8771
20.42 nbFailedAssignments=6144 nbBacktracks=2568 nbVisitedNodes=17417 nbRestartNogoods=238
20.42 => wckTime=7.825 cpuTime=7.67 mem=17M139
23.90
23.90 search
23.90 run=12 nbConstraintChecks=56993646 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=12879
23.90 nbFailedAssignments=8950 nbBacktracks=3865 nbVisitedNodes=25580 nbRestartNogoods=285
23.90 => wckTime=11.305 cpuTime=11.12 mem=17M139
29.04
29.04 search
29.04 run=13 nbConstraintChecks=83716292 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=18686
29.04 nbFailedAssignments=12805 nbBacktracks=5811 nbVisitedNodes=37028 nbRestartNogoods=321
29.04 => wckTime=16.44 cpuTime=16.21 mem=17M139
35.75
35.75 search
35.75 run=14 nbConstraintChecks=118703296 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=25860
35.75 nbFailedAssignments=17055 nbBacktracks=8730 nbVisitedNodes=50423 nbRestartNogoods=334
35.75 => wckTime=23.153 cpuTime=22.86 mem=17M139
44.89
44.89 search
44.89 run=15 nbConstraintChecks=165878160 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=36002
44.89 nbFailedAssignments=22815 nbBacktracks=13108 nbVisitedNodes=68824 nbRestartNogoods=350
44.89 => wckTime=32.295 cpuTime=31.93 mem=17M139
58.11
58.11 search
58.11 run=16 nbConstraintChecks=234785947 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=50222
58.11 nbFailedAssignments=30461 nbBacktracks=19677 nbVisitedNodes=93656 nbRestartNogoods=368
58.11 => wckTime=45.51 cpuTime=45.03 mem=17M139
76.40
76.40 search
76.40 run=17 nbConstraintChecks=329444398 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=70652
76.40 nbFailedAssignments=41035 nbBacktracks=29529 nbVisitedNodes=128640 nbRestartNogoods=387
76.40 => wckTime=63.804 cpuTime=63.17 mem=17M139
104.52
104.52 search
104.52 run=18 nbConstraintChecks=476063471 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=100879
104.52 nbFailedAssignments=56479 nbBacktracks=44307 nbVisitedNodes=179984 nbRestartNogoods=422
104.52 => wckTime=91.921 cpuTime=91.04 mem=17M139
145.72
145.72 search
145.72 run=19 nbConstraintChecks=688647030 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=146211
145.72 nbFailedAssignments=79639 nbBacktracks=66475 nbVisitedNodes=257410 nbRestartNogoods=443
145.72 => wckTime=133.124 cpuTime=131.91 mem=17M139
211.51
211.51 search
211.51 run=20 nbConstraintChecks=1031135514 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=215896
211.51 nbFailedAssignments=116068 nbBacktracks=99727 nbVisitedNodes=377448 nbRestartNogoods=482
211.51 => wckTime=198.913 cpuTime=197.15 mem=17M139
306.50
306.50 search
306.50 run=21 nbConstraintChecks=1522437873 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=317820
306.50 nbFailedAssignments=168109 nbBacktracks=149605 nbVisitedNodes=551188 nbRestartNogoods=514
306.50 => wckTime=293.898 cpuTime=291.3 mem=17M139
440.31
440.31 search
440.31 run=22 nbConstraintChecks=2271094404 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=473483
440.31 nbFailedAssignments=248949 nbBacktracks=224424 nbVisitedNodes=818415 nbRestartNogoods=522
440.31 => wckTime=427.709 cpuTime=424.8 mem=17M139
632.57
632.57 search
632.57 run=23 nbConstraintChecks=3354172681 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=699998
632.57 nbFailedAssignments=363233 nbBacktracks=336651 nbVisitedNodes=1202125 nbRestartNogoods=560
632.58 => wckTime=619.976 cpuTime=616.85 mem=17M139
926.40
926.40 search
926.40 run=24 nbConstraintChecks=5001218619 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1040809
926.40 nbFailedAssignments=535698 nbBacktracks=504993 nbVisitedNodes=1781293 nbRestartNogoods=590
926.40 => wckTime=913.799 cpuTime=909.69 mem=17M139
1384.07
1384.07 search
1384.07 run=25 nbConstraintChecks=7568214699 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1560545
1384.07 nbFailedAssignments=802919 nbBacktracks=757504 nbVisitedNodes=2670449 nbRestartNogoods=636
1384.07 => wckTime=1371.467 cpuTime=1365.12 mem=17M139
2039.81
2039.81 search
2039.81 run=26 nbConstraintChecks=11223160579 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
2039.81 nbAssignments=2329565 nbFailedAssignments=1193166 nbBacktracks=1136272 nbVisitedNodes=3976421
2039.81 nbRestartNogoods=689
2039.81 => wckTime=2027.212 cpuTime=2017.68 mem=17M139
2411.52 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/node13/watcher-277228-1169261323 -o ROOT/results/node13/solver-277228-1169261323 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277228-1169261323/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.00 2.00 1.91 4/87 19990
/proc/meminfo: memFree=1132616/2055920 swapFree=4169400/4192956
[pid=19989] ppid=19987 vsize=1784 CPUtime=0
/proc/19989/stat : 19989 (java) D 19987 19989 19291 0 -1 0 194 0 0 0 0 0 0 0 18 0 1 0 274527294 1826816 160 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/19989/statm: 446 160 125 14 0 91 0
[startup+0.108208 s]
/proc/loadavg: 2.00 2.00 1.91 4/87 19990
/proc/meminfo: memFree=1132616/2055920 swapFree=4169400/4192956
[pid=19989] ppid=19987 vsize=905992 CPUtime=0.01
/proc/19989/stat : 19989 (java) R 19987 19989 19291 0 -1 0 1720 0 1 0 0 1 0 0 17 0 1 0 274527294 927735808 1469 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152831453 0 4 0 7368 0 0 0 17 1 0 0
/proc/19989/statm: 226498 1469 847 14 0 214081 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 905992
[startup+0.516259 s]
/proc/loadavg: 2.00 2.00 1.91 4/87 19990
/proc/meminfo: memFree=1132616/2055920 swapFree=4169400/4192956
[pid=19989] ppid=19987 vsize=915332 CPUtime=0.42
/proc/19989/stat : 19989 (java) R 19987 19989 19291 0 -1 0 6150 0 1 0 38 4 0 0 18 0 8 0 274527294 937299968 5889 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19989/statm: 228833 5889 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 915332
[startup+1.33836 s]
/proc/loadavg: 2.00 2.00 1.91 3/94 19997
/proc/meminfo: memFree=1108752/2055920 swapFree=4169400/4192956
[pid=19989] ppid=19987 vsize=915464 CPUtime=1.23
/proc/19989/stat : 19989 (java) R 19987 19989 19291 0 -1 0 8645 0 1 0 111 12 0 0 24 0 8 0 274527294 937435136 8383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073737793 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19989/statm: 228866 8383 2479 14 0 215336 0
[pid=19989/tid=19991] ppid=19987 vsize=915464 CPUtime=0.03
/proc/19989/task/19991/stat : 19991 (java) S 19987 19989 19291 0 -1 64 327 0 0 0 3 0 0 0 16 0 8 0 274527306 937435136 8383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19992] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19992/stat : 19992 (java) S 19987 19989 19291 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274527307 937435136 8383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19993] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19993/stat : 19993 (java) S 19987 19989 19291 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274527307 937435136 8383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19994] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19994/stat : 19994 (java) S 19987 19989 19291 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274527310 937435136 8383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19995] ppid=19987 vsize=915464 CPUtime=0.15
/proc/19989/task/19995/stat : 19995 (java) S 19987 19989 19291 0 -1 64 343 0 0 0 15 0 0 0 16 0 8 0 274527310 937435136 8383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19996] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19996/stat : 19996 (java) S 19987 19989 19291 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274527310 937435136 8383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19997] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19997/stat : 19997 (java) S 19987 19989 19291 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274527310 937435136 8383 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 915464
[startup+2.98958 s]
/proc/loadavg: 2.00 2.00 1.91 3/94 19997
/proc/meminfo: memFree=1108688/2055920 swapFree=4169400/4192956
[pid=19989] ppid=19987 vsize=915464 CPUtime=2.86
/proc/19989/stat : 19989 (java) R 19987 19989 19291 0 -1 0 8649 0 1 0 257 29 0 0 25 0 8 0 274527294 937435136 8386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073742562 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19989/statm: 228866 8386 2479 14 0 215336 0
[pid=19989/tid=19991] ppid=19987 vsize=915464 CPUtime=0.03
/proc/19989/task/19991/stat : 19991 (java) S 19987 19989 19291 0 -1 64 327 0 0 0 3 0 0 0 16 0 8 0 274527306 937435136 8386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19992] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19992/stat : 19992 (java) S 19987 19989 19291 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274527307 937435136 8386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19993] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19993/stat : 19993 (java) S 19987 19989 19291 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274527307 937435136 8386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19994] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19994/stat : 19994 (java) S 19987 19989 19291 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274527310 937435136 8386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19995] ppid=19987 vsize=915464 CPUtime=0.15
/proc/19989/task/19995/stat : 19995 (java) S 19987 19989 19291 0 -1 64 346 0 0 0 15 0 0 0 16 0 8 0 274527310 937435136 8386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19996] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19996/stat : 19996 (java) S 19987 19989 19291 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274527310 937435136 8386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19997] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19997/stat : 19997 (java) S 19987 19989 19291 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274527310 937435136 8386 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 915464
[startup+6.29002 s]
/proc/loadavg: 2.00 2.00 1.91 3/94 19997
/proc/meminfo: memFree=1108560/2055920 swapFree=4169400/4192956
[pid=19989] ppid=19987 vsize=915464 CPUtime=6.13
/proc/19989/stat : 19989 (java) R 19987 19989 19291 0 -1 0 8651 0 1 0 550 63 0 0 25 0 8 0 274527294 937435136 8388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073735646 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19989/statm: 228866 8388 2479 14 0 215336 0
[pid=19989/tid=19991] ppid=19987 vsize=915464 CPUtime=0.03
/proc/19989/task/19991/stat : 19991 (java) S 19987 19989 19291 0 -1 64 327 0 0 0 3 0 0 0 16 0 8 0 274527306 937435136 8388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19992] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19992/stat : 19992 (java) S 19987 19989 19291 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274527307 937435136 8388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19993] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19993/stat : 19993 (java) S 19987 19989 19291 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274527307 937435136 8388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19994] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19994/stat : 19994 (java) S 19987 19989 19291 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274527310 937435136 8388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19995] ppid=19987 vsize=915464 CPUtime=0.15
/proc/19989/task/19995/stat : 19995 (java) S 19987 19989 19291 0 -1 64 348 0 0 0 15 0 0 0 16 0 8 0 274527310 937435136 8388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19996] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19996/stat : 19996 (java) S 19987 19989 19291 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274527310 937435136 8388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19997] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19997/stat : 19997 (java) S 19987 19989 19291 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274527310 937435136 8388 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 915464
[startup+12.7679 s]
/proc/loadavg: 2.00 2.00 1.91 4/94 19997
/proc/meminfo: memFree=1108560/2055920 swapFree=4169400/4192956
[pid=19989] ppid=19987 vsize=915464 CPUtime=12.55
/proc/19989/stat : 19989 (java) R 19987 19989 19291 0 -1 0 9154 0 1 0 1119 136 0 0 25 0 8 0 274527294 937435136 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073838473 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19989/statm: 228866 8890 2532 14 0 215336 0
[pid=19989/tid=19991] ppid=19987 vsize=915464 CPUtime=0.03
/proc/19989/task/19991/stat : 19991 (java) S 19987 19989 19291 0 -1 64 328 0 0 0 3 0 0 0 17 0 8 0 274527306 937435136 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19992] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19992/stat : 19992 (java) S 19987 19989 19291 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274527307 937435136 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19993] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19993/stat : 19993 (java) S 19987 19989 19291 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274527307 937435136 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19994] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19994/stat : 19994 (java) S 19987 19989 19291 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274527310 937435136 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19995] ppid=19987 vsize=915464 CPUtime=0.22
/proc/19989/task/19995/stat : 19995 (java) S 19987 19989 19291 0 -1 64 383 0 0 0 21 1 0 0 16 0 8 0 274527310 937435136 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19996] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19996/stat : 19996 (java) S 19987 19989 19291 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274527310 937435136 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19997] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19997/stat : 19997 (java) R 19987 19989 19291 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274527310 937435136 8890 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 915464
[startup+25.6156 s]
/proc/loadavg: 2.00 2.00 1.91 3/94 19997
/proc/meminfo: memFree=1106576/2055920 swapFree=4169400/4192956
[pid=19989] ppid=19987 vsize=915464 CPUtime=25.29
/proc/19989/stat : 19989 (java) R 19987 19989 19291 0 -1 0 9209 0 1 0 2392 137 0 0 25 0 8 0 274527294 937435136 8941 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073842872 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19989/statm: 228866 8941 2532 14 0 215336 0
[pid=19989/tid=19991] ppid=19987 vsize=915464 CPUtime=0.03
/proc/19989/task/19991/stat : 19991 (java) S 19987 19989 19291 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 274527306 937435136 8941 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19992] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19992/stat : 19992 (java) S 19987 19989 19291 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274527307 937435136 8941 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19993] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19993/stat : 19993 (java) S 19987 19989 19291 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274527307 937435136 8941 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19994] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19994/stat : 19994 (java) S 19987 19989 19291 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274527310 937435136 8941 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19995] ppid=19987 vsize=915464 CPUtime=0.26
/proc/19989/task/19995/stat : 19995 (java) S 19987 19989 19291 0 -1 64 404 0 0 0 25 1 0 0 16 0 8 0 274527310 937435136 8941 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19996] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19996/stat : 19996 (java) S 19987 19989 19291 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274527310 937435136 8941 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19997] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19997/stat : 19997 (java) S 19987 19989 19291 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274527310 937435136 8941 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 915464
[startup+51.227 s]
/proc/loadavg: 2.00 2.00 1.91 3/94 19997
/proc/meminfo: memFree=1106640/2055920 swapFree=4169400/4192956
[pid=19989] ppid=19987 vsize=915464 CPUtime=50.69
/proc/19989/stat : 19989 (java) R 19987 19989 19291 0 -1 0 9216 0 1 0 4932 137 0 0 25 0 8 0 274527294 937435136 8948 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073840424 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19989/statm: 228866 8948 2532 14 0 215336 0
[pid=19989/tid=19991] ppid=19987 vsize=915464 CPUtime=0.03
/proc/19989/task/19991/stat : 19991 (java) S 19987 19989 19291 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 274527306 937435136 8948 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19992] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19992/stat : 19992 (java) S 19987 19989 19291 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274527307 937435136 8948 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19993] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19993/stat : 19993 (java) S 19987 19989 19291 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274527307 937435136 8948 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19994] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19994/stat : 19994 (java) S 19987 19989 19291 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274527310 937435136 8948 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19995] ppid=19987 vsize=915464 CPUtime=0.26
/proc/19989/task/19995/stat : 19995 (java) S 19987 19989 19291 0 -1 64 404 0 0 0 25 1 0 0 16 0 8 0 274527310 937435136 8948 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19996] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19996/stat : 19996 (java) S 19987 19989 19291 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274527310 937435136 8948 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19997] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19997/stat : 19997 (java) S 19987 19989 19291 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274527310 937435136 8948 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 915464
[startup+102.438 s]
/proc/loadavg: 2.04 2.01 1.92 3/94 19997
/proc/meminfo: memFree=1106640/2055920 swapFree=4169400/4192956
[pid=19989] ppid=19987 vsize=915464 CPUtime=101.45
/proc/19989/stat : 19989 (java) R 19987 19989 19291 0 -1 0 9223 0 1 0 10008 137 0 0 25 0 8 0 274527294 937435136 8953 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073900058 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19989/statm: 228866 8953 2532 14 0 215336 0
[pid=19989/tid=19991] ppid=19987 vsize=915464 CPUtime=0.03
/proc/19989/task/19991/stat : 19991 (java) S 19987 19989 19291 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 274527306 937435136 8953 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19992] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19992/stat : 19992 (java) S 19987 19989 19291 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274527307 937435136 8953 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19993] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19993/stat : 19993 (java) S 19987 19989 19291 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274527307 937435136 8953 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19994] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19994/stat : 19994 (java) S 19987 19989 19291 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274527310 937435136 8953 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19995] ppid=19987 vsize=915464 CPUtime=0.26
/proc/19989/task/19995/stat : 19995 (java) S 19987 19989 19291 0 -1 64 404 0 0 0 25 1 0 0 16 0 8 0 274527310 937435136 8953 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19996] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19996/stat : 19996 (java) S 19987 19989 19291 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274527310 937435136 8953 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19997] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19997/stat : 19997 (java) S 19987 19989 19291 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274527310 937435136 8953 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.45
Current children cumulated vsize (KiB) 915464
[startup+162.497 s]
/proc/loadavg: 2.01 2.01 1.92 3/94 19997
/proc/meminfo: memFree=1106576/2055920 swapFree=4169400/4192956
[pid=19989] ppid=19987 vsize=915464 CPUtime=161.02
/proc/19989/stat : 19989 (java) R 19987 19989 19291 0 -1 0 9228 0 1 0 15964 138 0 0 25 0 8 0 274527294 937435136 8958 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073741286 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2014.82
Current children cumulated vsize (KiB) 915464
[startup+2084.48 s]
/proc/loadavg: 2.00 2.00 1.96 3/100 20824
/proc/meminfo: memFree=1118304/2055920 swapFree=4169400/4192956
[pid=19989] ppid=19987 vsize=915464 CPUtime=2074.62
/proc/19989/stat : 19989 (java) R 19987 19989 19291 0 -1 0 9248 0 1 0 207303 159 0 0 25 0 8 0 274527294 937435136 8977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073741111 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19989/statm: 228866 8977 2532 14 0 215336 0
[pid=19989/tid=19991] ppid=19987 vsize=915464 CPUtime=0.03
/proc/19989/task/19991/stat : 19991 (java) S 19987 19989 19291 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 274527306 937435136 8977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19989/tid=19992] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19992/stat : 19992 (java) S 19987 19989 19291 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274527307 937435136 8977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19993] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19993/stat : 19993 (java) S 19987 19989 19291 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274527307 937435136 8977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19994] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19994/stat : 19994 (java) S 19987 19989 19291 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274527310 937435136 8977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19995] ppid=19987 vsize=915464 CPUtime=0.27
/proc/19989/task/19995/stat : 19995 (java) S 19987 19989 19291 0 -1 64 405 0 0 0 26 1 0 0 16 0 8 0 274527310 937435136 8977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19989/tid=19996] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19996/stat : 19996 (java) S 19987 19989 19291 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274527310 937435136 8977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19997] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19997/stat : 19997 (java) S 19987 19989 19291 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274527310 937435136 8977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2074.62
Current children cumulated vsize (KiB) 915464
[startup+2144.54 s]
/proc/loadavg: 2.00 2.00 1.96 3/100 20824
/proc/meminfo: memFree=1118304/2055920 swapFree=4169400/4192956
[pid=19989] ppid=19987 vsize=915464 CPUtime=2134.37
/proc/19989/stat : 19989 (java) R 19987 19989 19291 0 -1 0 9248 0 1 0 213278 159 0 0 25 0 8 0 274527294 937435136 8977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073866138 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19989/statm: 228866 8977 2532 14 0 215336 0
[pid=19989/tid=19991] ppid=19987 vsize=915464 CPUtime=0.03
/proc/19989/task/19991/stat : 19991 (java) S 19987 19989 19291 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 274527306 937435136 8977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19989/tid=19992] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19992/stat : 19992 (java) S 19987 19989 19291 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274527307 937435136 8977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19993] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19993/stat : 19993 (java) S 19987 19989 19291 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274527307 937435136 8977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19994] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19994/stat : 19994 (java) S 19987 19989 19291 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274527310 937435136 8977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19995] ppid=19987 vsize=915464 CPUtime=0.27
/proc/19989/task/19995/stat : 19995 (java) S 19987 19989 19291 0 -1 64 405 0 0 0 26 1 0 0 16 0 8 0 274527310 937435136 8977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19989/tid=19996] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19996/stat : 19996 (java) S 19987 19989 19291 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274527310 937435136 8977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19997] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19997/stat : 19997 (java) S 19987 19989 19291 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274527310 937435136 8977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2134.37
Current children cumulated vsize (KiB) 915464
[startup+2204.6 s]
/proc/loadavg: 2.00 2.00 1.96 3/100 20824
/proc/meminfo: memFree=1118304/2055920 swapFree=4169400/4192956
[pid=19989] ppid=19987 vsize=915464 CPUtime=2194.14
/proc/19989/stat : 19989 (java) R 19987 19989 19291 0 -1 0 9248 0 1 0 219255 159 0 0 25 0 8 0 274527294 937435136 8977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073866338 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19989/statm: 228866 8977 2532 14 0 215336 0
[pid=19989/tid=19991] ppid=19987 vsize=915464 CPUtime=0.03
/proc/19989/task/19991/stat : 19991 (java) S 19987 19989 19291 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 274527306 937435136 8977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19989/tid=19992] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19992/stat : 19992 (java) S 19987 19989 19291 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274527307 937435136 8977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19993] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19993/stat : 19993 (java) S 19987 19989 19291 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274527307 937435136 8977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19994] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19994/stat : 19994 (java) S 19987 19989 19291 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274527310 937435136 8977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19995] ppid=19987 vsize=915464 CPUtime=0.27
/proc/19989/task/19995/stat : 19995 (java) S 19987 19989 19291 0 -1 64 405 0 0 0 26 1 0 0 16 0 8 0 274527310 937435136 8977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19989/tid=19996] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19996/stat : 19996 (java) S 19987 19989 19291 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274527310 937435136 8977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19997] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19997/stat : 19997 (java) S 19987 19989 19291 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274527310 937435136 8977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2194.14
Current children cumulated vsize (KiB) 915464
[startup+2264.66 s]
/proc/loadavg: 2.04 2.01 1.97 3/100 20824
/proc/meminfo: memFree=1118240/2055920 swapFree=4169400/4192956
[pid=19989] ppid=19987 vsize=915464 CPUtime=2253.91
/proc/19989/stat : 19989 (java) R 19987 19989 19291 0 -1 0 9248 0 1 0 225232 159 0 0 25 0 8 0 274527294 937435136 8977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073839644 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19989/statm: 228866 8977 2532 14 0 215336 0
[pid=19989/tid=19991] ppid=19987 vsize=915464 CPUtime=0.03
/proc/19989/task/19991/stat : 19991 (java) S 19987 19989 19291 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 274527306 937435136 8977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19989/tid=19992] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19992/stat : 19992 (java) S 19987 19989 19291 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274527307 937435136 8977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19993] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19993/stat : 19993 (java) S 19987 19989 19291 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274527307 937435136 8977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19994] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19994/stat : 19994 (java) S 19987 19989 19291 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274527310 937435136 8977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19995] ppid=19987 vsize=915464 CPUtime=0.27
/proc/19989/task/19995/stat : 19995 (java) S 19987 19989 19291 0 -1 64 405 0 0 0 26 1 0 0 16 0 8 0 274527310 937435136 8977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19989/tid=19996] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19996/stat : 19996 (java) S 19987 19989 19291 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274527310 937435136 8977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19997] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19997/stat : 19997 (java) S 19987 19989 19291 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274527310 937435136 8977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2253.91
Current children cumulated vsize (KiB) 915464
[startup+2324.72 s]
/proc/loadavg: 2.01 2.01 1.97 3/100 20824
/proc/meminfo: memFree=1118304/2055920 swapFree=4169400/4192956
[pid=19989] ppid=19987 vsize=915464 CPUtime=2313.66
/proc/19989/stat : 19989 (java) R 19987 19989 19291 0 -1 0 9248 0 1 0 231207 159 0 0 25 0 8 0 274527294 937435136 8977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918564 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19989/statm: 228866 8977 2532 14 0 215336 0
[pid=19989/tid=19991] ppid=19987 vsize=915464 CPUtime=0.03
/proc/19989/task/19991/stat : 19991 (java) S 19987 19989 19291 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 274527306 937435136 8977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19989/tid=19992] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19992/stat : 19992 (java) S 19987 19989 19291 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274527307 937435136 8977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19993] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19993/stat : 19993 (java) S 19987 19989 19291 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274527307 937435136 8977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19994] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19994/stat : 19994 (java) S 19987 19989 19291 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274527310 937435136 8977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19995] ppid=19987 vsize=915464 CPUtime=0.27
/proc/19989/task/19995/stat : 19995 (java) S 19987 19989 19291 0 -1 64 405 0 0 0 26 1 0 0 16 0 8 0 274527310 937435136 8977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19989/tid=19996] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19996/stat : 19996 (java) S 19987 19989 19291 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274527310 937435136 8977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19997] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19997/stat : 19997 (java) S 19987 19989 19291 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274527310 937435136 8977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2313.66
Current children cumulated vsize (KiB) 915464
[startup+2384.78 s]
/proc/loadavg: 2.00 2.00 1.97 3/100 20824
/proc/meminfo: memFree=1118304/2055920 swapFree=4169400/4192956
[pid=19989] ppid=19987 vsize=915464 CPUtime=2373.43
/proc/19989/stat : 19989 (java) R 19987 19989 19291 0 -1 0 9248 0 1 0 237183 160 0 0 25 0 8 0 274527294 937435136 8977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073865999 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19989/statm: 228866 8977 2532 14 0 215336 0
[pid=19989/tid=19991] ppid=19987 vsize=915464 CPUtime=0.03
/proc/19989/task/19991/stat : 19991 (java) S 19987 19989 19291 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 274527306 937435136 8977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19989/tid=19992] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19992/stat : 19992 (java) S 19987 19989 19291 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274527307 937435136 8977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19993] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19993/stat : 19993 (java) S 19987 19989 19291 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274527307 937435136 8977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19994] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19994/stat : 19994 (java) S 19987 19989 19291 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274527310 937435136 8977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19995] ppid=19987 vsize=915464 CPUtime=0.27
/proc/19989/task/19995/stat : 19995 (java) S 19987 19989 19291 0 -1 64 405 0 0 0 26 1 0 0 16 0 8 0 274527310 937435136 8977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19989/tid=19996] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19996/stat : 19996 (java) S 19987 19989 19291 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274527310 937435136 8977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19997] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19997/stat : 19997 (java) S 19987 19989 19291 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274527310 937435136 8977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2373.43
Current children cumulated vsize (KiB) 915464
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2411.51 s]
/proc/loadavg: 2.00 2.00 1.97 3/100 20824
/proc/meminfo: memFree=1118240/2055920 swapFree=4169400/4192956
[pid=19989] ppid=19987 vsize=915464 CPUtime=2400.04
/proc/19989/stat : 19989 (java) R 19987 19989 19291 0 -1 0 9248 0 1 0 239844 160 0 0 25 0 8 0 274527294 937435136 8977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073898985 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19989/statm: 228866 8977 2532 14 0 215336 0
[pid=19989/tid=19991] ppid=19987 vsize=915464 CPUtime=0.03
/proc/19989/task/19991/stat : 19991 (java) S 19987 19989 19291 0 -1 64 328 0 0 0 3 0 0 0 16 0 8 0 274527306 937435136 8977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19989/tid=19992] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19992/stat : 19992 (java) S 19987 19989 19291 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274527307 937435136 8977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19993] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19993/stat : 19993 (java) S 19987 19989 19291 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274527307 937435136 8977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19994] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19994/stat : 19994 (java) S 19987 19989 19291 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 274527310 937435136 8977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19995] ppid=19987 vsize=915464 CPUtime=0.27
/proc/19989/task/19995/stat : 19995 (java) S 19987 19989 19291 0 -1 64 405 0 0 0 26 1 0 0 16 0 8 0 274527310 937435136 8977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19989/tid=19996] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19996/stat : 19996 (java) S 19987 19989 19291 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 274527310 937435136 8977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19989/tid=19997] ppid=19987 vsize=915464 CPUtime=0
/proc/19989/task/19997/stat : 19997 (java) R 19987 19989 19291 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274527310 937435136 8977 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 915464
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2411.58
CPU time (s): 2400.11
CPU user time (s): 2398.49
CPU system time (s): 1.61076
CPU usage (%): 99.5241
Max. virtual memory (cumulated for all children) (KiB): 915468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.49
system time used= 1.61075
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9269
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= 49950
involuntary context switches= 109228
runsolver used 3.12052 s user time and 7.57185 s system time
The end
Begin job on node13 on Sat Jan 20 02:48:43 UTC 2007
IDJOB= 277228
IDBENCH= 6502
IDSOLVER= 68
FILE ID= node13/277228-1169261323
PBS_JOBID= 3607260
Free space on /tmp= 66560 MiB
SOLVER NAME= AbsconMax 109 EPFC
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 epfc.xml 1 XSax /tmp/evaluation/277228-1169261323/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-277228-1169261323 -o ROOT/results/node13/solver-277228-1169261323 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277228-1169261323/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 033cd0dd1127d1ee13d52ddfcb690341
RANDOM SEED= 965311955
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.247
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.247
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: 1133032 kB
Buffers: 60284 kB
Cached: 523840 kB
SwapCached: 3124 kB
Active: 530344 kB
Inactive: 314640 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1133032 kB
SwapTotal: 4192956 kB
SwapFree: 4169400 kB
Dirty: 1940 kB
Writeback: 0 kB
Mapped: 269688 kB
Slab: 62112 kB
Committed_AS: 7935960 kB
PageTables: 2852 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 node13 on Sat Jan 20 03:28:55 UTC 2007