0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=epfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/276202-1169233164/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.41 => wckTime=0.098 cpuTime=0.09 mem=6M887
0.41
0.41 relations being loaded...
0.51
0.51 constraints being loaded...
0.63 nbConstraints=276 nbRelationTypes=276 nbExtensionStructures=276 nbSharedExtensionStructures=0
0.63 nbConflictsStructures=276 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=859 maxDegree=23
0.63 maxArity=2
0.63 => wckTime=0.317 cpuTime=0.22 mem=13M723
0.68
0.68 solver LocalSearchSolver being built...
0.72 => wckTime=0.406 cpuTime=0.27 mem=6M128
0.72
0.72 s SATISFIABLE
0.72 o 228
0.72 c 48
0.73 o 234
0.73 c 42
0.73 o 239
0.73 c 37
0.73 o 242
0.73 c 34
0.73 o 246
0.73 c 30
0.73 o 247
0.73 c 29
0.73 o 251
0.73 c 25
0.73 o 254
0.73 c 22
0.73 o 256
0.73 c 20
0.73 o 258
0.73 c 18
0.74 o 259
0.74 c 17
0.74 o 262
0.74 c 14
0.74 o 266
0.74 c 10
0.75 o 267
0.75 c 9
0.75 o 268
0.75 c 8
0.75 o 269
0.75 c 7
0.75 o 270
0.75 c 6
0.75 o 271
0.75 c 5
0.76 o 272
0.76 c 4
0.76 o 273
0.76 c 3
0.94 o 274
0.94 c 2
1.11 o 275
1.11 c 1
1.11
1.11 search
1.11 run=0 nbConstraintChecks=2485379 nbAssignments=1221
1.11 => wckTime=0.389 cpuTime=0.37 mem=6M128
1.11
1.11 global
1.11 nbConstraintChecks=2485379 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.11 solvingWckTime=0.387 solvingCpuTime=0.37 expiredTime=no totalExploration=no nbFoundSolutions=0
1.11 globalCpuTime=0.69
1.11 => wckTime=0.795 cpuTime=0.64 mem=6M128
1.11
1.11 solver IterativeSystematicSolver being built...
1.25 => wckTime=0.932 cpuTime=0.74 mem=17M53
1.31
1.31 preprocessing
1.31 nbConstraintChecks=77741 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.31 detectedInconsistency=no
1.31 => wckTime=0.066 cpuTime=0.05 mem=17M53
1.36
1.36 search
1.36 run=0 nbConstraintChecks=171144 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=43
1.36 nbFailedAssignments=28 nbBacktracks=10 nbVisitedNodes=81 nbRestartNogoods=0
1.36 => wckTime=0.114 cpuTime=0.09 mem=17M53
1.42
1.42 search
1.42 run=1 nbConstraintChecks=396725 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=101
1.42 nbFailedAssignments=66 nbBacktracks=25 nbVisitedNodes=192 nbRestartNogoods=10
1.42 => wckTime=0.177 cpuTime=0.15 mem=17M53
1.48
1.48 search
1.48 run=2 nbConstraintChecks=667338 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=169
1.48 nbFailedAssignments=107 nbBacktracks=47 nbVisitedNodes=323 nbRestartNogoods=17
1.48 => wckTime=0.236 cpuTime=0.2 mem=17M53
1.58
1.58 search
1.58 run=3 nbConstraintChecks=1125802 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=281
1.58 nbFailedAssignments=182 nbBacktracks=80 nbVisitedNodes=542 nbRestartNogoods=22
1.58 => wckTime=0.337 cpuTime=0.3 mem=17M53
1.71
1.71 search
1.71 run=4 nbConstraintChecks=1758565 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=452
1.71 nbFailedAssignments=298 nbBacktracks=130 nbVisitedNodes=876 nbRestartNogoods=30
1.71 => wckTime=0.466 cpuTime=0.43 mem=17M53
1.91
1.91 search
1.91 run=5 nbConstraintChecks=2727852 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=702
1.91 nbFailedAssignments=467 nbBacktracks=206 nbVisitedNodes=1363 nbRestartNogoods=35
1.91 => wckTime=0.665 cpuTime=0.62 mem=17M53
2.19
2.19 search
2.19 run=6 nbConstraintChecks=4101660 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1035
2.19 nbFailedAssignments=682 nbBacktracks=319 nbVisitedNodes=2020 nbRestartNogoods=59
2.19 => wckTime=0.943 cpuTime=0.9 mem=17M53
2.66
2.66 search
2.66 run=7 nbConstraintChecks=6374858 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1557
2.66 nbFailedAssignments=1030 nbBacktracks=489 nbVisitedNodes=3041 nbRestartNogoods=72
2.66 => wckTime=1.41 cpuTime=1.34 mem=17M53
3.27
3.30 search
3.30 run=8 nbConstraintChecks=9550074 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2308
3.30 nbFailedAssignments=1520 nbBacktracks=745 nbVisitedNodes=4485 nbRestartNogoods=81
3.30 => wckTime=2.027 cpuTime=1.95 mem=17M53
4.08
4.08 search
4.08 run=9 nbConstraintChecks=13679506 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3292
4.08 nbFailedAssignments=2115 nbBacktracks=1129 nbVisitedNodes=6320 nbRestartNogoods=84
4.08 => wckTime=2.832 cpuTime=2.74 mem=17M53
5.20
5.20 search
5.20 run=10 nbConstraintChecks=19506978 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4590
5.20 nbFailedAssignments=2832 nbBacktracks=1705 nbVisitedNodes=8632 nbRestartNogoods=93
5.20 => wckTime=3.949 cpuTime=3.85 mem=17M53
6.71
6.72 search
6.72 run=11 nbConstraintChecks=27492942 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6475
6.72 nbFailedAssignments=3849 nbBacktracks=2569 nbVisitedNodes=11911 nbRestartNogoods=112
6.72 => wckTime=5.468 cpuTime=5.36 mem=17M53
8.95
8.95 search
8.95 run=12 nbConstraintChecks=39265764 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9181
8.95 nbFailedAssignments=5254 nbBacktracks=3866 nbVisitedNodes=16575 nbRestartNogoods=139
8.95 => wckTime=7.702 cpuTime=7.58 mem=17M53
12.33
12.33 search
12.33 run=13 nbConstraintChecks=56655598 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=13323
12.33 nbFailedAssignments=7444 nbBacktracks=5812 nbVisitedNodes=23696 nbRestartNogoods=148
12.33 => wckTime=11.083 cpuTime=10.93 mem=17M53
17.38
17.38 search
17.38 run=14 nbConstraintChecks=83139113 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=19408
17.38 nbFailedAssignments=10606 nbBacktracks=8731 nbVisitedNodes=34149 nbRestartNogoods=165
17.38 => wckTime=16.134 cpuTime=15.94 mem=17M53
24.62
24.62 search
24.62 run=15 nbConstraintChecks=120724308 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=28480
24.62 nbFailedAssignments=15296 nbBacktracks=13109 nbVisitedNodes=49580 nbRestartNogoods=195
24.62 => wckTime=23.373 cpuTime=23.12 mem=17M53
36.04
36.04 search
36.04 run=16 nbConstraintChecks=180263635 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=42378
36.04 nbFailedAssignments=22621 nbBacktracks=19677 nbVisitedNodes=73393 nbRestartNogoods=215
36.04 => wckTime=34.798 cpuTime=34.45 mem=17M53
52.96
52.96 search
52.96 run=17 nbConstraintChecks=268961564 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=62698
52.96 nbFailedAssignments=33085 nbBacktracks=29529 nbVisitedNodes=108099 nbRestartNogoods=228
52.96 => wckTime=51.71 cpuTime=51.22 mem=17M53
78.09
78.09 search
78.09 run=18 nbConstraintChecks=400880940 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=92792
78.09 nbFailedAssignments=48398 nbBacktracks=44307 nbVisitedNodes=159236 nbRestartNogoods=266
78.09 => wckTime=76.845 cpuTime=76.15 mem=17M53
117.46
117.47 search
117.47 run=19 nbConstraintChecks=607390026 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=139679
117.47 nbFailedAssignments=73113 nbBacktracks=66475 nbVisitedNodes=239917 nbRestartNogoods=309
117.47 => wckTime=116.218 cpuTime=115.11 mem=17M53
175.01
175.01 search
175.01 run=20 nbConstraintChecks=906672427 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=208362
175.01 nbFailedAssignments=108541 nbBacktracks=99727 nbVisitedNodes=357427 nbRestartNogoods=336
175.01 => wckTime=173.764 cpuTime=172.02 mem=17M53
260.23
260.23 search
260.23 run=21 nbConstraintChecks=1355751156 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=310290
260.23 nbFailedAssignments=160587 nbBacktracks=149605 nbVisitedNodes=530814 nbRestartNogoods=366
260.23 => wckTime=258.987 cpuTime=256.56 mem=17M53
386.03
386.03 search
386.03 run=22 nbConstraintChecks=2014165187 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=461963
386.03 nbFailedAssignments=237437 nbBacktracks=224423 nbVisitedNodes=787908 nbRestartNogoods=396
386.03 => wckTime=384.787 cpuTime=381.38 mem=17M53
580.88
580.88 search
580.88 run=23 nbConstraintChecks=3038093132 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=691473
580.88 nbFailedAssignments=354715 nbBacktracks=336650 nbVisitedNodes=1179126 nbRestartNogoods=423
580.88 => wckTime=579.631 cpuTime=574.62 mem=17M53
864.33
864.33 search
864.33 run=24 nbConstraintChecks=4525198433 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1029559
864.33 nbFailedAssignments=524456 nbBacktracks=504991 nbVisitedNodes=1749565 nbRestartNogoods=465
864.33 => wckTime=863.088 cpuTime=855.8 mem=17M53
1298.99
1298.99 search
1298.99 run=25 nbConstraintChecks=6797519895 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1544903
1298.99 nbFailedAssignments=787283 nbBacktracks=757503 nbVisitedNodes=2624929 nbRestartNogoods=523
1298.99 => wckTime=1297.744 cpuTime=1287.04 mem=17M53
1916.49
1916.49 search
1916.49 run=26 nbConstraintChecks=10212154213 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1916.49 nbAssignments=2310602 nbFailedAssignments=1174211 nbBacktracks=1136270 nbVisitedNodes=3920033
1916.49 nbRestartNogoods=563
1916.49 => wckTime=1915.242 cpuTime=1902.41 mem=17M53
2413.27 v 6 0 10 8 8 9 21 13 4 12 14 10 14 18 2 12 4 0 7 19 18 11 7 17
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node68/watcher-276202-1169233164 -o ROOT/results/node68/solver-276202-1169233164 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276202-1169233164/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.92 1.99 1.91 4/73 20785
/proc/meminfo: memFree=1472176/2055920 swapFree=4192812/4192956
[pid=20784] ppid=20782 vsize=18540 CPUtime=0
/proc/20784/stat : 20784 (runsolver) R 20782 20784 20371 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 70813378 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 257414458663 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/20784/statm: 4635 279 244 17 0 2626 0
[startup+0.10693 s]
/proc/loadavg: 1.92 1.99 1.91 4/73 20785
/proc/meminfo: memFree=1472176/2055920 swapFree=4192812/4192956
[pid=20784] ppid=20782 vsize=914988 CPUtime=0.08
/proc/20784/stat : 20784 (java) R 20782 20784 20371 0 -1 0 2995 0 1 0 7 1 0 0 18 0 8 0 70813378 936947712 2741 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072932359 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20784/statm: 228747 2741 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.514965 s]
/proc/loadavg: 1.92 1.99 1.91 4/73 20785
/proc/meminfo: memFree=1472176/2055920 swapFree=4192812/4192956
[pid=20784] ppid=20782 vsize=915332 CPUtime=0.49
/proc/20784/stat : 20784 (java) R 20782 20784 20371 0 -1 0 6971 0 1 0 45 4 0 0 18 0 8 0 70813378 937299968 6710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073567681 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20784/statm: 228833 6710 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33604 s]
/proc/loadavg: 1.92 1.99 1.91 3/80 20792
/proc/meminfo: memFree=1448952/2055920 swapFree=4192812/4192956
[pid=20784] ppid=20782 vsize=915464 CPUtime=1.3
/proc/20784/stat : 20784 (java) R 20782 20784 20371 0 -1 0 9133 0 1 0 118 12 0 0 24 0 8 0 70813378 937435136 8871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20784/statm: 228866 8871 2529 14 0 215336 0
[pid=20784/tid=20786] ppid=20782 vsize=915464 CPUtime=0.03
/proc/20784/task/20786/stat : 20786 (java) S 20782 20784 20371 0 -1 64 308 0 0 0 3 0 0 0 16 0 8 0 70813383 937435136 8871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20787] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20787/stat : 20787 (java) S 20782 20784 20371 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 70813383 937435136 8871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20788] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20788/stat : 20788 (java) S 20782 20784 20371 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 70813383 937435136 8871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20789] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20789/stat : 20789 (java) S 20782 20784 20371 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 70813386 937435136 8871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20790] ppid=20782 vsize=915464 CPUtime=0.2
/proc/20784/task/20790/stat : 20790 (java) S 20782 20784 20371 0 -1 64 373 0 0 0 19 1 0 0 16 0 8 0 70813386 937435136 8871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20791] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20791/stat : 20791 (java) S 20782 20784 20371 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 70813386 937435136 8871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20792] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20792/stat : 20792 (java) S 20782 20784 20371 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 70813386 937435136 8871 18446744073709551615 134512640 134570532 4294956464 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.97318 s]
/proc/loadavg: 1.92 1.99 1.91 3/80 20792
/proc/meminfo: memFree=1446264/2055920 swapFree=4192812/4192956
[pid=20784] ppid=20782 vsize=915464 CPUtime=2.92
/proc/20784/stat : 20784 (java) R 20782 20784 20371 0 -1 0 9181 0 1 0 280 12 0 0 25 0 8 0 70813378 937435136 8917 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073842116 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20784/statm: 228866 8917 2532 14 0 215336 0
[pid=20784/tid=20786] ppid=20782 vsize=915464 CPUtime=0.03
/proc/20784/task/20786/stat : 20786 (java) S 20782 20784 20371 0 -1 64 309 0 0 0 3 0 0 0 17 0 8 0 70813383 937435136 8917 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20787] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20787/stat : 20787 (java) S 20782 20784 20371 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 70813383 937435136 8917 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20788] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20788/stat : 20788 (java) S 20782 20784 20371 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 70813383 937435136 8917 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20789] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20789/stat : 20789 (java) S 20782 20784 20371 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 70813386 937435136 8917 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20790] ppid=20782 vsize=915464 CPUtime=0.24
/proc/20784/task/20790/stat : 20790 (java) S 20782 20784 20371 0 -1 64 397 0 0 0 23 1 0 0 15 0 8 0 70813386 937435136 8917 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20791] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20791/stat : 20791 (java) S 20782 20784 20371 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 70813386 937435136 8917 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20792] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20792/stat : 20792 (java) S 20782 20784 20371 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 70813386 937435136 8917 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915464
[startup+6.27048 s]
/proc/loadavg: 1.93 1.99 1.91 3/80 20792
/proc/meminfo: memFree=1446072/2055920 swapFree=4192812/4192956
[pid=20784] ppid=20782 vsize=915464 CPUtime=6.2
/proc/20784/stat : 20784 (java) R 20782 20784 20371 0 -1 0 9191 0 1 0 607 13 0 0 25 0 8 0 70813378 937435136 8926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918585 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20784/statm: 228866 8926 2532 14 0 215336 0
[pid=20784/tid=20786] ppid=20782 vsize=915464 CPUtime=0.03
/proc/20784/task/20786/stat : 20786 (java) S 20782 20784 20371 0 -1 64 309 0 0 0 3 0 0 0 16 0 8 0 70813383 937435136 8926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20787] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20787/stat : 20787 (java) S 20782 20784 20371 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 70813383 937435136 8926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20788] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20788/stat : 20788 (java) S 20782 20784 20371 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 70813383 937435136 8926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20789] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20789/stat : 20789 (java) S 20782 20784 20371 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 70813386 937435136 8926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20790] ppid=20782 vsize=915464 CPUtime=0.24
/proc/20784/task/20790/stat : 20790 (java) S 20782 20784 20371 0 -1 64 399 0 0 0 23 1 0 0 16 0 8 0 70813386 937435136 8926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20791] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20791/stat : 20791 (java) S 20782 20784 20371 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 70813386 937435136 8926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20792] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20792/stat : 20792 (java) S 20782 20784 20371 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 70813386 937435136 8926 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915464
[startup+12.7391 s]
/proc/loadavg: 1.93 1.99 1.91 3/80 20792
/proc/meminfo: memFree=1446080/2055920 swapFree=4192812/4192956
[pid=20784] ppid=20782 vsize=915464 CPUtime=12.61
/proc/20784/stat : 20784 (java) R 20782 20784 20371 0 -1 0 9201 0 1 0 1248 13 0 0 25 0 8 0 70813378 937435136 8934 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20784/statm: 228866 8934 2532 14 0 215336 0
[pid=20784/tid=20786] ppid=20782 vsize=915464 CPUtime=0.03
/proc/20784/task/20786/stat : 20786 (java) S 20782 20784 20371 0 -1 64 309 0 0 0 3 0 0 0 16 0 8 0 70813383 937435136 8934 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20787] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20787/stat : 20787 (java) S 20782 20784 20371 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 70813383 937435136 8934 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20788] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20788/stat : 20788 (java) S 20782 20784 20371 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 70813383 937435136 8934 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20789] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20789/stat : 20789 (java) S 20782 20784 20371 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 70813386 937435136 8934 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20790] ppid=20782 vsize=915464 CPUtime=0.26
/proc/20784/task/20790/stat : 20790 (java) S 20782 20784 20371 0 -1 64 400 0 0 0 24 2 0 0 16 0 8 0 70813386 937435136 8934 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20791] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20791/stat : 20791 (java) S 20782 20784 20371 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 70813386 937435136 8934 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20792] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20792/stat : 20792 (java) S 20782 20784 20371 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 70813386 937435136 8934 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915464
[startup+25.6032 s]
/proc/loadavg: 1.95 1.99 1.91 3/80 20792
/proc/meminfo: memFree=1446088/2055920 swapFree=4192812/4192956
[pid=20784] ppid=20782 vsize=915464 CPUtime=25.38
/proc/20784/stat : 20784 (java) R 20782 20784 20371 0 -1 0 9207 0 1 0 2525 13 0 0 25 0 8 0 70813378 937435136 8939 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073842010 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20784/statm: 228866 8939 2532 14 0 215336 0
[pid=20784/tid=20786] ppid=20782 vsize=915464 CPUtime=0.03
/proc/20784/task/20786/stat : 20786 (java) S 20782 20784 20371 0 -1 64 309 0 0 0 3 0 0 0 16 0 8 0 70813383 937435136 8939 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20787] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20787/stat : 20787 (java) S 20782 20784 20371 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 70813383 937435136 8939 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20788] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20788/stat : 20788 (java) S 20782 20784 20371 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 70813383 937435136 8939 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20789] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20789/stat : 20789 (java) S 20782 20784 20371 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 70813386 937435136 8939 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20790] ppid=20782 vsize=915464 CPUtime=0.26
/proc/20784/task/20790/stat : 20790 (java) S 20782 20784 20371 0 -1 64 400 0 0 0 24 2 0 0 16 0 8 0 70813386 937435136 8939 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20791] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20791/stat : 20791 (java) S 20782 20784 20371 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 70813386 937435136 8939 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20792] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20792/stat : 20792 (java) S 20782 20784 20371 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 70813386 937435136 8939 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 915464
[startup+51.3046 s]
/proc/loadavg: 1.96 1.99 1.91 3/80 20792
/proc/meminfo: memFree=1446152/2055920 swapFree=4192812/4192956
[pid=20784] ppid=20782 vsize=915464 CPUtime=50.86
/proc/20784/stat : 20784 (java) R 20782 20784 20371 0 -1 0 9210 0 1 0 5073 13 0 0 25 0 8 0 70813378 937435136 8942 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336163 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20784/statm: 228866 8942 2532 14 0 215336 0
[pid=20784/tid=20786] ppid=20782 vsize=915464 CPUtime=0.03
/proc/20784/task/20786/stat : 20786 (java) S 20782 20784 20371 0 -1 64 309 0 0 0 3 0 0 0 16 0 8 0 70813383 937435136 8942 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20787] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20787/stat : 20787 (java) S 20782 20784 20371 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 70813383 937435136 8942 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20788] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20788/stat : 20788 (java) S 20782 20784 20371 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 70813383 937435136 8942 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20789] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20789/stat : 20789 (java) S 20782 20784 20371 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 70813386 937435136 8942 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20790] ppid=20782 vsize=915464 CPUtime=0.26
/proc/20784/task/20790/stat : 20790 (java) S 20782 20784 20371 0 -1 64 400 0 0 0 24 2 0 0 16 0 8 0 70813386 937435136 8942 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20791] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20791/stat : 20791 (java) S 20782 20784 20371 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 70813386 937435136 8942 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20792] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20792/stat : 20792 (java) S 20782 20784 20371 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 70813386 937435136 8942 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.86
Current children cumulated vsize (KiB) 915464
[startup+102.509 s]
/proc/loadavg: 2.14 2.02 1.92 3/86 20856
/proc/meminfo: memFree=1444944/2055920 swapFree=4192812/4192956
[pid=20784] ppid=20782 vsize=915464 CPUtime=101.6
/proc/20784/stat : 20784 (java) R 20782 20784 20371 0 -1 0 9215 0 1 0 10147 13 0 0 25 0 8 0 70813378 937435136 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073842180 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20784/statm: 228866 8947 2532 14 0 215336 0
[pid=20784/tid=20786] ppid=20782 vsize=915464 CPUtime=0.03
/proc/20784/task/20786/stat : 20786 (java) S 20782 20784 20371 0 -1 64 309 0 0 0 3 0 0 0 16 0 8 0 70813383 937435136 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20787] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20787/stat : 20787 (java) S 20782 20784 20371 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 70813383 937435136 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20788] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20788/stat : 20788 (java) S 20782 20784 20371 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 70813383 937435136 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20789] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20789/stat : 20789 (java) S 20782 20784 20371 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 70813386 937435136 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20790] ppid=20782 vsize=915464 CPUtime=0.26
/proc/20784/task/20790/stat : 20790 (java) S 20782 20784 20371 0 -1 64 400 0 0 0 24 2 0 0 16 0 8 0 70813386 937435136 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20791] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20791/stat : 20791 (java) S 20782 20784 20371 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 70813386 937435136 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20792] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20792/stat : 20792 (java) S 20782 20784 20371 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 70813386 937435136 8947 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.6
Current children cumulated vsize (KiB) 915464
[startup+162.575 s]
/proc/loadavg: 2.11 2.03 1.93 3/86 20966
/proc/meminfo: memFree=1444944/2055920 swapFree=4192812/4192956
[pid=20784] ppid=20782 vsize=915464 CPUtime=161.01
/proc/20784/stat : 20784 (java) R 20782 20784 20371 0 -1 0 9217 0 1 0 16088 13 0 0 25 0 8 0 70813378 937435136 8949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073816680 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2011.28
Current children cumulated vsize (KiB) 915464
[startup+2084.19 s]
/proc/loadavg: 2.03 2.02 1.96 3/80 21131
/proc/meminfo: memFree=1445568/2055920 swapFree=4192812/4192956
[pid=20784] ppid=20782 vsize=915464 CPUtime=2071.26
/proc/20784/stat : 20784 (java) R 20782 20784 20371 0 -1 0 9238 0 1 0 207102 24 0 0 25 0 8 0 70813378 937435136 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073845371 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20784/statm: 228866 8969 2532 14 0 215336 0
[pid=20784/tid=20786] ppid=20782 vsize=915464 CPUtime=0.03
/proc/20784/task/20786/stat : 20786 (java) S 20782 20784 20371 0 -1 64 309 0 0 0 3 0 0 0 16 0 8 0 70813383 937435136 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20787] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20787/stat : 20787 (java) S 20782 20784 20371 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 70813383 937435136 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20788] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20788/stat : 20788 (java) S 20782 20784 20371 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 70813383 937435136 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20789] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20789/stat : 20789 (java) S 20782 20784 20371 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 70813386 937435136 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20790] ppid=20782 vsize=915464 CPUtime=0.26
/proc/20784/task/20790/stat : 20790 (java) S 20782 20784 20371 0 -1 64 402 0 0 0 24 2 0 0 16 0 8 0 70813386 937435136 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20791] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20791/stat : 20791 (java) S 20782 20784 20371 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 70813386 937435136 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20792] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20792/stat : 20792 (java) S 20782 20784 20371 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 70813386 937435136 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2071.26
Current children cumulated vsize (KiB) 915464
[startup+2144.25 s]
/proc/loadavg: 2.01 2.02 1.96 4/80 21131
/proc/meminfo: memFree=1445568/2055920 swapFree=4192812/4192956
[pid=20784] ppid=20782 vsize=915464 CPUtime=2131.27
/proc/20784/stat : 20784 (java) R 20782 20784 20371 0 -1 0 9238 0 1 0 213103 24 0 0 25 0 8 0 70813378 937435136 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073877605 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20784/statm: 228866 8969 2532 14 0 215336 0
[pid=20784/tid=20786] ppid=20782 vsize=915464 CPUtime=0.03
/proc/20784/task/20786/stat : 20786 (java) S 20782 20784 20371 0 -1 64 309 0 0 0 3 0 0 0 16 0 8 0 70813383 937435136 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20787] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20787/stat : 20787 (java) S 20782 20784 20371 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 70813383 937435136 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20788] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20788/stat : 20788 (java) S 20782 20784 20371 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 70813383 937435136 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20789] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20789/stat : 20789 (java) S 20782 20784 20371 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 70813386 937435136 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20790] ppid=20782 vsize=915464 CPUtime=0.26
/proc/20784/task/20790/stat : 20790 (java) S 20782 20784 20371 0 -1 64 402 0 0 0 24 2 0 0 16 0 8 0 70813386 937435136 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20791] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20791/stat : 20791 (java) S 20782 20784 20371 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 70813386 937435136 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20792] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20792/stat : 20792 (java) S 20782 20784 20371 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 70813386 937435136 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2131.27
Current children cumulated vsize (KiB) 915464
[startup+2204.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/80 21131
/proc/meminfo: memFree=1445568/2055920 swapFree=4192812/4192956
[pid=20784] ppid=20782 vsize=915464 CPUtime=2191.27
/proc/20784/stat : 20784 (java) R 20782 20784 20371 0 -1 0 9238 0 1 0 219103 24 0 0 25 0 8 0 70813378 937435136 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073826503 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20784/statm: 228866 8969 2532 14 0 215336 0
[pid=20784/tid=20786] ppid=20782 vsize=915464 CPUtime=0.03
/proc/20784/task/20786/stat : 20786 (java) S 20782 20784 20371 0 -1 64 309 0 0 0 3 0 0 0 16 0 8 0 70813383 937435136 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20787] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20787/stat : 20787 (java) S 20782 20784 20371 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 70813383 937435136 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20788] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20788/stat : 20788 (java) S 20782 20784 20371 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 70813383 937435136 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20789] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20789/stat : 20789 (java) S 20782 20784 20371 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 70813386 937435136 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20790] ppid=20782 vsize=915464 CPUtime=0.26
/proc/20784/task/20790/stat : 20790 (java) S 20782 20784 20371 0 -1 64 402 0 0 0 24 2 0 0 16 0 8 0 70813386 937435136 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20791] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20791/stat : 20791 (java) S 20782 20784 20371 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 70813386 937435136 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20792] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20792/stat : 20792 (java) S 20782 20784 20371 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 70813386 937435136 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2191.27
Current children cumulated vsize (KiB) 915464
[startup+2264.36 s]
/proc/loadavg: 2.00 2.00 1.96 3/80 21131
/proc/meminfo: memFree=1445504/2055920 swapFree=4192812/4192956
[pid=20784] ppid=20782 vsize=915464 CPUtime=2251.25
/proc/20784/stat : 20784 (java) R 20782 20784 20371 0 -1 0 9238 0 1 0 225101 24 0 0 25 0 8 0 70813378 937435136 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073820848 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20784/statm: 228866 8969 2532 14 0 215336 0
[pid=20784/tid=20786] ppid=20782 vsize=915464 CPUtime=0.03
/proc/20784/task/20786/stat : 20786 (java) S 20782 20784 20371 0 -1 64 309 0 0 0 3 0 0 0 16 0 8 0 70813383 937435136 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20787] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20787/stat : 20787 (java) S 20782 20784 20371 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 70813383 937435136 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20788] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20788/stat : 20788 (java) S 20782 20784 20371 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 70813383 937435136 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20789] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20789/stat : 20789 (java) S 20782 20784 20371 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 70813386 937435136 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20790] ppid=20782 vsize=915464 CPUtime=0.26
/proc/20784/task/20790/stat : 20790 (java) S 20782 20784 20371 0 -1 64 402 0 0 0 24 2 0 0 16 0 8 0 70813386 937435136 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20791] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20791/stat : 20791 (java) S 20782 20784 20371 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 70813386 937435136 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20792] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20792/stat : 20792 (java) S 20782 20784 20371 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 70813386 937435136 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2251.25
Current children cumulated vsize (KiB) 915464
[startup+2324.42 s]
/proc/loadavg: 2.00 2.00 1.96 3/80 21131
/proc/meminfo: memFree=1445568/2055920 swapFree=4192812/4192956
[pid=20784] ppid=20782 vsize=915464 CPUtime=2311.26
/proc/20784/stat : 20784 (java) R 20782 20784 20371 0 -1 0 9238 0 1 0 231102 24 0 0 25 0 8 0 70813378 937435136 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073876846 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20784/statm: 228866 8969 2532 14 0 215336 0
[pid=20784/tid=20786] ppid=20782 vsize=915464 CPUtime=0.03
/proc/20784/task/20786/stat : 20786 (java) S 20782 20784 20371 0 -1 64 309 0 0 0 3 0 0 0 16 0 8 0 70813383 937435136 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20787] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20787/stat : 20787 (java) S 20782 20784 20371 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 70813383 937435136 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20788] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20788/stat : 20788 (java) S 20782 20784 20371 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 70813383 937435136 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20789] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20789/stat : 20789 (java) S 20782 20784 20371 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 70813386 937435136 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20790] ppid=20782 vsize=915464 CPUtime=0.26
/proc/20784/task/20790/stat : 20790 (java) S 20782 20784 20371 0 -1 64 402 0 0 0 24 2 0 0 16 0 8 0 70813386 937435136 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20791] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20791/stat : 20791 (java) S 20782 20784 20371 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 70813386 937435136 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20792] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20792/stat : 20792 (java) S 20782 20784 20371 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 70813386 937435136 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2311.26
Current children cumulated vsize (KiB) 915464
[startup+2384.47 s]
/proc/loadavg: 2.00 2.00 1.96 3/80 21131
/proc/meminfo: memFree=1445568/2055920 swapFree=4192812/4192956
[pid=20784] ppid=20782 vsize=915464 CPUtime=2371.27
/proc/20784/stat : 20784 (java) R 20782 20784 20371 0 -1 0 9238 0 1 0 237103 24 0 0 25 0 8 0 70813378 937435136 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073868843 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20784/statm: 228866 8969 2532 14 0 215336 0
[pid=20784/tid=20786] ppid=20782 vsize=915464 CPUtime=0.03
/proc/20784/task/20786/stat : 20786 (java) S 20782 20784 20371 0 -1 64 309 0 0 0 3 0 0 0 16 0 8 0 70813383 937435136 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20787] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20787/stat : 20787 (java) S 20782 20784 20371 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 70813383 937435136 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20788] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20788/stat : 20788 (java) S 20782 20784 20371 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 70813383 937435136 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20789] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20789/stat : 20789 (java) S 20782 20784 20371 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 70813386 937435136 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20790] ppid=20782 vsize=915464 CPUtime=0.26
/proc/20784/task/20790/stat : 20790 (java) S 20782 20784 20371 0 -1 64 402 0 0 0 24 2 0 0 16 0 8 0 70813386 937435136 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20791] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20791/stat : 20791 (java) S 20782 20784 20371 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 70813386 937435136 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20792] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20792/stat : 20792 (java) S 20782 20784 20371 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 70813386 937435136 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2371.27
Current children cumulated vsize (KiB) 915464
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2413.27 s]
/proc/loadavg: 2.00 2.00 1.96 4/80 21131
/proc/meminfo: memFree=1445504/2055920 swapFree=4192812/4192956
[pid=20784] ppid=20782 vsize=915464 CPUtime=2400.03
/proc/20784/stat : 20784 (java) R 20782 20784 20371 0 -1 0 9238 0 1 0 239979 24 0 0 25 0 8 0 70813378 937435136 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073877523 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20784/statm: 228866 8969 2532 14 0 215336 0
[pid=20784/tid=20786] ppid=20782 vsize=915464 CPUtime=0.03
/proc/20784/task/20786/stat : 20786 (java) S 20782 20784 20371 0 -1 64 309 0 0 0 3 0 0 0 16 0 8 0 70813383 937435136 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20787] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20787/stat : 20787 (java) S 20782 20784 20371 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 70813383 937435136 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20788] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20788/stat : 20788 (java) S 20782 20784 20371 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 70813383 937435136 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20789] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20789/stat : 20789 (java) S 20782 20784 20371 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 70813386 937435136 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20790] ppid=20782 vsize=915464 CPUtime=0.26
/proc/20784/task/20790/stat : 20790 (java) S 20782 20784 20371 0 -1 64 402 0 0 0 24 2 0 0 16 0 8 0 70813386 937435136 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20791] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20791/stat : 20791 (java) S 20782 20784 20371 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 70813386 937435136 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20784/tid=20792] ppid=20782 vsize=915464 CPUtime=0
/proc/20784/task/20792/stat : 20792 (java) S 20782 20784 20371 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 70813386 937435136 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 915464
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2413.32
CPU time (s): 2400.08
CPU user time (s): 2399.83
CPU system time (s): 0.253961
CPU usage (%): 99.4517
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.83
system time used= 0.253961
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9260
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= 49935
involuntary context switches= 64095
runsolver used 3.02854 s user time and 7.06593 s system time
The end
Begin job on node68 on Fri Jan 19 18:59:24 UTC 2007
IDJOB= 276202
IDBENCH= 5466
IDSOLVER= 68
FILE ID= node68/276202-1169233164
PBS_JOBID= 3589279
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-24/rand-24-24-276-139-54021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276202-1169233164/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node68/watcher-276202-1169233164 -o ROOT/results/node68/solver-276202-1169233164 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276202-1169233164/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= a6fde96fec027ebcf35c7c234300ac23
RANDOM SEED= 95256271
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.232
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.232
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: 1472656 kB
Buffers: 50084 kB
Cached: 435020 kB
SwapCached: 144 kB
Active: 137252 kB
Inactive: 372360 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1472656 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1896 kB
Writeback: 0 kB
Mapped: 35916 kB
Slab: 59332 kB
Committed_AS: 600560 kB
PageTables: 1680 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= 66560 MiB
End job on node68 on Fri Jan 19 19:39:37 UTC 2007