0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=pfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/277022-1169253006/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=40 nbDomainTypes=1 minDomainSize=11 maxDomainSize=11
0.41 => wckTime=0.102 cpuTime=0.09 mem=6M910
0.41
0.41 relations being loaded...
0.51
0.51 constraints being loaded...
0.61 nbConstraints=414 nbRelationTypes=414 nbExtensionStructures=414 nbSharedExtensionStructures=0
0.61 nbConflictsStructures=414 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=8224 maxDegree=28
0.61 maxArity=2
0.61 => wckTime=0.302 cpuTime=0.22 mem=10M819
0.65
0.65 solver LocalSearchSolver being built...
0.70 => wckTime=0.388 cpuTime=0.26 mem=5M814
0.70
0.70 s SATISFIABLE
0.70 o 337
0.70 c 77
0.70 o 341
0.70 c 73
0.70 o 347
0.70 c 67
0.71 o 353
0.71 c 61
0.71 o 358
0.71 c 56
0.71 o 362
0.71 c 52
0.71 o 367
0.71 c 47
0.71 o 370
0.71 c 44
0.71 o 374
0.71 c 40
0.71 o 376
0.71 c 38
0.71 o 379
0.71 c 35
0.71 o 382
0.71 c 32
0.71 o 384
0.71 c 30
0.71 o 385
0.71 c 29
0.72 o 387
0.72 c 27
0.72 o 388
0.72 c 26
0.72 o 390
0.72 c 24
0.72 o 391
0.72 c 23
0.72 o 393
0.72 c 21
0.72 o 394
0.72 c 20
0.72 o 396
0.72 c 18
0.72 o 398
0.72 c 16
0.73 o 400
0.73 c 14
0.73 o 403
0.73 c 11
0.73 o 404
0.73 c 10
0.75 o 405
0.75 c 9
0.75 o 406
0.75 c 8
0.75 o 407
0.75 c 7
0.76 o 408
0.76 c 6
0.76 o 409
0.76 c 5
0.77 o 410
0.77 c 4
0.77 o 411
0.77 c 3
0.82 o 412
0.82 c 2
2.88 o 413
2.88 c 1
2.89
2.89 search
2.89 run=0 nbConstraintChecks=14055479 nbAssignments=8526
2.89 => wckTime=2.191 cpuTime=2.15 mem=5M814
2.89
2.89 global
2.89 nbConstraintChecks=14055479 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
2.89 solvingWckTime=2.189 solvingCpuTime=2.15 expiredTime=no totalExploration=no nbFoundSolutions=0
2.89 globalCpuTime=2.46
2.89 => wckTime=2.58 cpuTime=2.41 mem=5M814
2.89
2.89 solver IterativeSystematicSolver being built...
3.02 => wckTime=2.717 cpuTime=2.51 mem=16M787
3.03
3.03 preprocessing
3.03 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
3.03 detectedInconsistency=no
3.03 => wckTime=0.0070 cpuTime=0.0 mem=16M787
3.11
3.11 search
3.11 run=0 nbConstraintChecks=126049 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=38
3.11 nbFailedAssignments=19 nbBacktracks=10 nbVisitedNodes=68 nbRestartNogoods=0
3.11 => wckTime=0.086 cpuTime=0.06 mem=16M787
3.19
3.19 search
3.19 run=1 nbConstraintChecks=305296 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=88
3.19 nbFailedAssignments=48 nbBacktracks=26 nbVisitedNodes=163 nbRestartNogoods=15
3.19 => wckTime=0.165 cpuTime=0.12 mem=16M787
3.27
3.27 search
3.27 run=2 nbConstraintChecks=619597 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=167
3.28 nbFailedAssignments=98 nbBacktracks=48 nbVisitedNodes=314 nbRestartNogoods=19
3.28 => wckTime=0.249 cpuTime=0.21 mem=16M787
3.40
3.40 search
3.40 run=3 nbConstraintChecks=1051805 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=274
3.40 nbFailedAssignments=166 nbBacktracks=81 nbVisitedNodes=521 nbRestartNogoods=42
3.40 => wckTime=0.378 cpuTime=0.33 mem=16M787
3.59
3.59 search
3.59 run=4 nbConstraintChecks=1704054 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=427
3.59 nbFailedAssignments=263 nbBacktracks=131 nbVisitedNodes=821 nbRestartNogoods=61
3.59 => wckTime=0.56 cpuTime=0.51 mem=16M787
3.83
3.83 search
3.83 run=5 nbConstraintChecks=2690136 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=670
3.83 nbFailedAssignments=425 nbBacktracks=206 nbVisitedNodes=1301 nbRestartNogoods=74
3.83 => wckTime=0.807 cpuTime=0.75 mem=16M787
4.19
4.19 search
4.19 run=6 nbConstraintChecks=3994037 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=991
4.19 nbFailedAssignments=627 nbBacktracks=319 nbVisitedNodes=1937 nbRestartNogoods=90
4.19 => wckTime=1.16 cpuTime=1.1 mem=16M787
4.73
4.73 search
4.73 run=7 nbConstraintChecks=6137007 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1484
4.73 nbFailedAssignments=944 nbBacktracks=489 nbVisitedNodes=2917 nbRestartNogoods=107
4.73 => wckTime=1.703 cpuTime=1.63 mem=16M787
5.59
5.59 search
5.59 run=8 nbConstraintChecks=9363596 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2246
5.59 nbFailedAssignments=1444 nbBacktracks=745 nbVisitedNodes=4432 nbRestartNogoods=133
5.59 => wckTime=2.565 cpuTime=2.48 mem=16M787
6.74
6.74 search
6.74 run=9 nbConstraintChecks=13465852 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3243
6.74 nbFailedAssignments=2053 nbBacktracks=1129 nbVisitedNodes=6389 nbRestartNogoods=145
6.74 => wckTime=3.715 cpuTime=3.62 mem=16M787
8.51
8.51 search
8.51 run=10 nbConstraintChecks=19686073 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4767
8.51 nbFailedAssignments=2994 nbBacktracks=1705 nbVisitedNodes=9384 nbRestartNogoods=155
8.51 => wckTime=5.481 cpuTime=5.37 mem=16M787
11.12
11.12 search
11.12 run=11 nbConstraintChecks=28802357 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6978
11.12 nbFailedAssignments=4335 nbBacktracks=2569 nbVisitedNodes=13702 nbRestartNogoods=166
11.12 => wckTime=8.096 cpuTime=7.96 mem=16M787
14.85
14.85 search
14.85 run=12 nbConstraintChecks=42046945 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10222
14.85 nbFailedAssignments=6276 nbBacktracks=3866 nbVisitedNodes=19950 nbRestartNogoods=183
14.85 => wckTime=11.821 cpuTime=11.64 mem=16M787
20.01
20.01 search
20.01 run=13 nbConstraintChecks=60578450 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=14874
20.01 nbFailedAssignments=8974 nbBacktracks=5812 nbVisitedNodes=28830 nbRestartNogoods=192
20.01 => wckTime=16.983 cpuTime=16.76 mem=16M787
27.24
27.24 search
27.24 run=14 nbConstraintChecks=85223875 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=21245
27.24 nbFailedAssignments=12418 nbBacktracks=8732 nbVisitedNodes=40405 nbRestartNogoods=211
27.24 => wckTime=24.218 cpuTime=23.93 mem=16M787
36.26
36.26 search
36.26 run=15 nbConstraintChecks=116702898 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=29843
36.26 nbFailedAssignments=16631 nbBacktracks=13112 nbVisitedNodes=55222 nbRestartNogoods=227
36.26 => wckTime=33.231 cpuTime=32.85 mem=16M787
48.10
48.11 search
48.11 run=16 nbConstraintChecks=157535292 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=41776
48.11 nbFailedAssignments=21989 nbBacktracks=19680 nbVisitedNodes=74515 nbRestartNogoods=234
48.11 => wckTime=45.079 cpuTime=44.6 mem=16M787
63.28
63.28 search
63.28 run=17 nbConstraintChecks=210438830 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=58341
63.28 nbFailedAssignments=28695 nbBacktracks=29532 nbVisitedNodes=99902 nbRestartNogoods=242
63.28 => wckTime=60.258 cpuTime=59.63 mem=16M787
84.60
84.60 search
84.60 run=18 nbConstraintChecks=285099023 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=82199
84.60 nbFailedAssignments=37767 nbBacktracks=44312 nbVisitedNodes=135325 nbRestartNogoods=250
84.60 => wckTime=81.571 cpuTime=80.75 mem=16M787
116.43
116.43 search
116.43 run=19 nbConstraintChecks=396126461 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=117971
116.43 nbFailedAssignments=51360 nbBacktracks=66483 nbVisitedNodes=188330 nbRestartNogoods=264
116.43 => wckTime=113.404 cpuTime=112.29 mem=16M787
163.98
163.98 search
163.98 run=20 nbConstraintChecks=561321959 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=170885
163.98 nbFailedAssignments=71013 nbBacktracks=99736 nbVisitedNodes=266027 nbRestartNogoods=276
163.98 => wckTime=160.95 cpuTime=159.41 mem=16M787
231.42
231.42 search
231.42 run=21 nbConstraintChecks=798672056 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=248935
231.42 nbFailedAssignments=99182 nbBacktracks=149614 nbVisitedNodes=379287 nbRestartNogoods=288
231.42 => wckTime=228.391 cpuTime=226.23 mem=16M787
301.57
301.57 search
301.57 run=22 nbConstraintChecks=1053777668 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=332135
301.57 nbFailedAssignments=128951 nbBacktracks=203046 nbVisitedNodes=499637 nbRestartNogoods=299
301.57 => wckTime=298.549 cpuTime=295.97 mem=16M787
301.58
301.58 global
301.58 nbConstraintChecks=1053777668 nbRestartNogoods=299 solvingWckTime=298.55 solvingCpuTime=295.97 expiredTime=no
301.58 totalExploration=yes nbFoundSolutions=0 globalCpuTime=298.53
301.58 => wckTime=301.268 cpuTime=298.48 mem=16M787
301.58
301.58 s OPTIMUM FOUND
301.58 v 4 8 3 5 5 5 5 9 6 9 1 1 6 10 9 3 9 7 9 6 9 4 3 8 0 2 5 5 1 0 1 0 6 9 4 6 2 5 10 7
301.58
301.58 totalWckTime=301.345 totalCpuTime=298.54
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node18/watcher-277022-1169253006 -o ROOT/results/node18/solver-277022-1169253006 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277022-1169253006/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 2.00 4/93 5986
/proc/meminfo: memFree=1275296/2055920 swapFree=4192812/4192956
[pid=5985] ppid=5983 vsize=11868 CPUtime=0
/proc/5985/stat : 5985 (java) D 5983 5985 5143 0 -1 0 765 0 1 0 0 0 0 0 17 0 1 0 273695270 12152832 515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7861028 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/5985/statm: 2967 515 425 14 0 1602 0
[startup+0.103259 s]
/proc/loadavg: 2.00 2.00 2.00 4/93 5986
/proc/meminfo: memFree=1275296/2055920 swapFree=4192812/4192956
[pid=5985] ppid=5983 vsize=914988 CPUtime=0.08
/proc/5985/stat : 5985 (java) S 5983 5985 5143 0 -1 0 2994 0 1 0 7 1 0 0 17 0 8 0 273695270 936947712 2740 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5985/statm: 228747 2740 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511299 s]
/proc/loadavg: 2.00 2.00 2.00 4/93 5986
/proc/meminfo: memFree=1275296/2055920 swapFree=4192812/4192956
[pid=5985] ppid=5983 vsize=915332 CPUtime=0.49
/proc/5985/stat : 5985 (java) R 5983 5985 5143 0 -1 0 6423 0 1 0 45 4 0 0 18 0 8 0 273695270 937299968 6162 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073596087 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5985/statm: 228833 6162 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33437 s]
/proc/loadavg: 2.00 2.00 2.00 4/100 5993
/proc/meminfo: memFree=1255144/2055920 swapFree=4192812/4192956
[pid=5985] ppid=5983 vsize=915464 CPUtime=1.3
/proc/5985/stat : 5985 (java) R 5983 5985 5143 0 -1 0 7724 0 1 0 115 15 0 0 25 0 8 0 273695270 937435136 7462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073741382 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5985/statm: 228866 7462 2476 14 0 215336 0
[pid=5985/tid=5987] ppid=5983 vsize=915464 CPUtime=0.03
/proc/5985/task/5987/stat : 5987 (java) S 5983 5985 5143 0 -1 64 233 0 0 0 3 0 0 0 16 0 8 0 273695273 937435136 7462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5988] ppid=5983 vsize=915464 CPUtime=0
/proc/5985/task/5988/stat : 5988 (java) S 5983 5985 5143 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 273695274 937435136 7462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5989] ppid=5983 vsize=915464 CPUtime=0
/proc/5985/task/5989/stat : 5989 (java) S 5983 5985 5143 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273695274 937435136 7462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5990] ppid=5983 vsize=915464 CPUtime=0
/proc/5985/task/5990/stat : 5990 (java) S 5983 5985 5143 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273695277 937435136 7462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5991] ppid=5983 vsize=915464 CPUtime=0.15
/proc/5985/task/5991/stat : 5991 (java) S 5983 5985 5143 0 -1 64 351 0 0 0 14 1 0 0 16 0 8 0 273695277 937435136 7462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5992] ppid=5983 vsize=915464 CPUtime=0
/proc/5985/task/5992/stat : 5992 (java) S 5983 5985 5143 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273695277 937435136 7462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5993] ppid=5983 vsize=915464 CPUtime=0
/proc/5985/task/5993/stat : 5993 (java) S 5983 5985 5143 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273695277 937435136 7462 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.98655 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 5993
/proc/meminfo: memFree=1255144/2055920 swapFree=4192812/4192956
[pid=5985] ppid=5983 vsize=915464 CPUtime=2.94
/proc/5985/stat : 5985 (java) R 5983 5985 5143 0 -1 0 8176 0 1 0 255 39 0 0 25 0 8 0 273695270 937435136 7913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5985/statm: 228866 7913 2503 14 0 215336 0
[pid=5985/tid=5987] ppid=5983 vsize=915464 CPUtime=0.03
/proc/5985/task/5987/stat : 5987 (java) S 5983 5985 5143 0 -1 64 233 0 0 0 3 0 0 0 16 0 8 0 273695273 937435136 7913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5988] ppid=5983 vsize=915464 CPUtime=0
/proc/5985/task/5988/stat : 5988 (java) S 5983 5985 5143 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 273695274 937435136 7913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5989] ppid=5983 vsize=915464 CPUtime=0
/proc/5985/task/5989/stat : 5989 (java) S 5983 5985 5143 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273695274 937435136 7913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5990] ppid=5983 vsize=915464 CPUtime=0
/proc/5985/task/5990/stat : 5990 (java) S 5983 5985 5143 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273695277 937435136 7913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5991] ppid=5983 vsize=915464 CPUtime=0.17
/proc/5985/task/5991/stat : 5991 (java) R 5983 5985 5143 0 -1 64 362 0 0 0 16 1 0 0 16 0 8 0 273695277 937435136 7913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153329289 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5992] ppid=5983 vsize=915464 CPUtime=0
/proc/5985/task/5992/stat : 5992 (java) S 5983 5985 5143 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273695277 937435136 7913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5993] ppid=5983 vsize=915464 CPUtime=0
/proc/5985/task/5993/stat : 5993 (java) S 5983 5985 5143 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273695277 937435136 7913 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915464
[startup+6.26585 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 5993
/proc/meminfo: memFree=1249640/2055920 swapFree=4192812/4192956
[pid=5985] ppid=5983 vsize=915464 CPUtime=6.19
/proc/5985/stat : 5985 (java) R 5983 5985 5143 0 -1 0 9126 0 1 0 578 41 0 0 25 0 8 0 273695270 937435136 8859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073845454 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5985/statm: 228866 8859 2527 14 0 215336 0
[pid=5985/tid=5987] ppid=5983 vsize=915464 CPUtime=0.03
/proc/5985/task/5987/stat : 5987 (java) S 5983 5985 5143 0 -1 64 234 0 0 0 3 0 0 0 17 0 8 0 273695273 937435136 8859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5988] ppid=5983 vsize=915464 CPUtime=0
/proc/5985/task/5988/stat : 5988 (java) S 5983 5985 5143 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 273695274 937435136 8859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5989] ppid=5983 vsize=915464 CPUtime=0
/proc/5985/task/5989/stat : 5989 (java) S 5983 5985 5143 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273695274 937435136 8859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5990] ppid=5983 vsize=915464 CPUtime=0
/proc/5985/task/5990/stat : 5990 (java) S 5983 5985 5143 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273695277 937435136 8859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5991] ppid=5983 vsize=915464 CPUtime=0.23
/proc/5985/task/5991/stat : 5991 (java) S 5983 5985 5143 0 -1 64 405 0 0 0 22 1 0 0 15 0 8 0 273695277 937435136 8859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5992] ppid=5983 vsize=915464 CPUtime=0
/proc/5985/task/5992/stat : 5992 (java) S 5983 5985 5143 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273695277 937435136 8859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5993] ppid=5983 vsize=915464 CPUtime=0
/proc/5985/task/5993/stat : 5993 (java) S 5983 5985 5143 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273695277 937435136 8859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915464
[startup+12.7555 s]
/proc/loadavg: 2.08 2.02 2.01 3/100 5993
/proc/meminfo: memFree=1249640/2055920 swapFree=4192812/4192956
[pid=5985] ppid=5983 vsize=915464 CPUtime=12.62
/proc/5985/stat : 5985 (java) R 5983 5985 5143 0 -1 0 9135 0 1 0 1221 41 0 0 25 0 8 0 273695270 937435136 8868 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073751207 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5985/statm: 228866 8868 2527 14 0 215336 0
[pid=5985/tid=5987] ppid=5983 vsize=915464 CPUtime=0.03
/proc/5985/task/5987/stat : 5987 (java) S 5983 5985 5143 0 -1 64 234 0 0 0 3 0 0 0 16 0 8 0 273695273 937435136 8868 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5988] ppid=5983 vsize=915464 CPUtime=0
/proc/5985/task/5988/stat : 5988 (java) S 5983 5985 5143 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 273695274 937435136 8868 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5989] ppid=5983 vsize=915464 CPUtime=0
/proc/5985/task/5989/stat : 5989 (java) S 5983 5985 5143 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273695274 937435136 8868 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5990] ppid=5983 vsize=915464 CPUtime=0
/proc/5985/task/5990/stat : 5990 (java) S 5983 5985 5143 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273695277 937435136 8868 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5991] ppid=5983 vsize=915464 CPUtime=0.24
/proc/5985/task/5991/stat : 5991 (java) S 5983 5985 5143 0 -1 64 407 0 0 0 23 1 0 0 16 0 8 0 273695277 937435136 8868 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5992] ppid=5983 vsize=915464 CPUtime=0
/proc/5985/task/5992/stat : 5992 (java) S 5983 5985 5143 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273695277 937435136 8868 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5993] ppid=5983 vsize=915464 CPUtime=0
/proc/5985/task/5993/stat : 5993 (java) S 5983 5985 5143 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273695277 937435136 8868 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915464
[startup+25.5937 s]
/proc/loadavg: 2.07 2.02 2.00 3/100 5993
/proc/meminfo: memFree=1249576/2055920 swapFree=4192812/4192956
[pid=5985] ppid=5983 vsize=915464 CPUtime=25.34
/proc/5985/stat : 5985 (java) R 5983 5985 5143 0 -1 0 9140 0 1 0 2493 41 0 0 25 0 8 0 273695270 937435136 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073839723 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5985/statm: 228866 8873 2527 14 0 215336 0
[pid=5985/tid=5987] ppid=5983 vsize=915464 CPUtime=0.03
/proc/5985/task/5987/stat : 5987 (java) S 5983 5985 5143 0 -1 64 234 0 0 0 3 0 0 0 16 0 8 0 273695273 937435136 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5988] ppid=5983 vsize=915464 CPUtime=0
/proc/5985/task/5988/stat : 5988 (java) S 5983 5985 5143 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 273695274 937435136 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5989] ppid=5983 vsize=915464 CPUtime=0
/proc/5985/task/5989/stat : 5989 (java) S 5983 5985 5143 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273695274 937435136 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5990] ppid=5983 vsize=915464 CPUtime=0
/proc/5985/task/5990/stat : 5990 (java) S 5983 5985 5143 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273695277 937435136 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5991] ppid=5983 vsize=915464 CPUtime=0.24
/proc/5985/task/5991/stat : 5991 (java) S 5983 5985 5143 0 -1 64 407 0 0 0 23 1 0 0 16 0 8 0 273695277 937435136 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5992] ppid=5983 vsize=915464 CPUtime=0
/proc/5985/task/5992/stat : 5992 (java) S 5983 5985 5143 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273695277 937435136 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5993] ppid=5983 vsize=915464 CPUtime=0
/proc/5985/task/5993/stat : 5993 (java) S 5983 5985 5143 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273695277 937435136 8873 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915464
[startup+51.1972 s]
/proc/loadavg: 2.04 2.01 2.00 3/100 5993
/proc/meminfo: memFree=1249640/2055920 swapFree=4192812/4192956
[pid=5985] ppid=5983 vsize=915464 CPUtime=50.71
/proc/5985/stat : 5985 (java) R 5983 5985 5143 0 -1 0 9151 0 1 0 5030 41 0 0 25 0 8 0 273695270 937435136 8882 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073867532 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5985/statm: 228866 8882 2527 14 0 215336 0
[pid=5985/tid=5987] ppid=5983 vsize=915464 CPUtime=0.03
/proc/5985/task/5987/stat : 5987 (java) S 5983 5985 5143 0 -1 64 234 0 0 0 3 0 0 0 16 0 8 0 273695273 937435136 8882 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5988] ppid=5983 vsize=915464 CPUtime=0
/proc/5985/task/5988/stat : 5988 (java) S 5983 5985 5143 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 273695274 937435136 8882 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5989] ppid=5983 vsize=915464 CPUtime=0
/proc/5985/task/5989/stat : 5989 (java) S 5983 5985 5143 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273695274 937435136 8882 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5990] ppid=5983 vsize=915464 CPUtime=0
/proc/5985/task/5990/stat : 5990 (java) S 5983 5985 5143 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273695277 937435136 8882 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5991] ppid=5983 vsize=915464 CPUtime=0.24
/proc/5985/task/5991/stat : 5991 (java) S 5983 5985 5143 0 -1 64 409 0 0 0 23 1 0 0 16 0 8 0 273695277 937435136 8882 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5992] ppid=5983 vsize=915464 CPUtime=0
/proc/5985/task/5992/stat : 5992 (java) S 5983 5985 5143 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273695277 937435136 8882 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5993] ppid=5983 vsize=915464 CPUtime=0
/proc/5985/task/5993/stat : 5993 (java) S 5983 5985 5143 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273695277 937435136 8882 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 915464
[startup+102.401 s]
/proc/loadavg: 2.02 2.01 2.00 3/100 5993
/proc/meminfo: memFree=1249704/2055920 swapFree=4192812/4192956
[pid=5985] ppid=5983 vsize=915464 CPUtime=101.44
/proc/5985/stat : 5985 (java) R 5983 5985 5143 0 -1 0 9156 0 1 0 10103 41 0 0 25 0 8 0 273695270 937435136 8887 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073864275 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5985/statm: 228866 8887 2527 14 0 215336 0
[pid=5985/tid=5987] ppid=5983 vsize=915464 CPUtime=0.03
/proc/5985/task/5987/stat : 5987 (java) S 5983 5985 5143 0 -1 64 234 0 0 0 3 0 0 0 16 0 8 0 273695273 937435136 8887 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5988] ppid=5983 vsize=915464 CPUtime=0
/proc/5985/task/5988/stat : 5988 (java) S 5983 5985 5143 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 273695274 937435136 8887 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5989] ppid=5983 vsize=915464 CPUtime=0
/proc/5985/task/5989/stat : 5989 (java) S 5983 5985 5143 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273695274 937435136 8887 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5990] ppid=5983 vsize=915464 CPUtime=0
/proc/5985/task/5990/stat : 5990 (java) S 5983 5985 5143 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273695277 937435136 8887 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5991] ppid=5983 vsize=915464 CPUtime=0.24
/proc/5985/task/5991/stat : 5991 (java) S 5983 5985 5143 0 -1 64 409 0 0 0 23 1 0 0 16 0 8 0 273695277 937435136 8887 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5992] ppid=5983 vsize=915464 CPUtime=0
/proc/5985/task/5992/stat : 5992 (java) S 5983 5985 5143 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273695277 937435136 8887 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5993] ppid=5983 vsize=915464 CPUtime=0
/proc/5985/task/5993/stat : 5993 (java) S 5983 5985 5143 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273695277 937435136 8887 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.44
Current children cumulated vsize (KiB) 915464
[startup+162.45 s]
/proc/loadavg: 2.13 2.05 2.01 3/100 5993
/proc/meminfo: memFree=1249640/2055920 swapFree=4192812/4192956
[pid=5985] ppid=5983 vsize=915464 CPUtime=160.95
/proc/5985/stat : 5985 (java) R 5983 5985 5143 0 -1 0 9159 0 1 0 16053 42 0 0 25 0 8 0 273695270 937435136 8889 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073840619 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5985/statm: 228866 8889 2527 14 0 215336 0
[pid=5985/tid=5987] ppid=5983 vsize=915464 CPUtime=0.03
/proc/5985/task/5987/stat : 5987 (java) S 5983 5985 5143 0 -1 64 234 0 0 0 3 0 0 0 16 0 8 0 273695273 937435136 8889 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5988] ppid=5983 vsize=915464 CPUtime=0
/proc/5985/task/5988/stat : 5988 (java) S 5983 5985 5143 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 273695274 937435136 8889 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5989] ppid=5983 vsize=915464 CPUtime=0
/proc/5985/task/5989/stat : 5989 (java) S 5983 5985 5143 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273695274 937435136 8889 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5990] ppid=5983 vsize=915464 CPUtime=0
/proc/5985/task/5990/stat : 5990 (java) S 5983 5985 5143 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273695277 937435136 8889 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5991] ppid=5983 vsize=915464 CPUtime=0.24
/proc/5985/task/5991/stat : 5991 (java) S 5983 5985 5143 0 -1 64 409 0 0 0 23 1 0 0 16 0 8 0 273695277 937435136 8889 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5992] ppid=5983 vsize=915464 CPUtime=0
/proc/5985/task/5992/stat : 5992 (java) S 5983 5985 5143 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273695277 937435136 8889 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5993] ppid=5983 vsize=915464 CPUtime=0
/proc/5985/task/5993/stat : 5993 (java) S 5983 5985 5143 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273695277 937435136 8889 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 160.95
Current children cumulated vsize (KiB) 915464
[startup+222.5 s]
/proc/loadavg: 2.05 2.04 2.01 3/100 5993
/proc/meminfo: memFree=1249640/2055920 swapFree=4192812/4192956
[pid=5985] ppid=5983 vsize=915464 CPUtime=220.44
/proc/5985/stat : 5985 (java) R 5983 5985 5143 0 -1 0 9161 0 1 0 22002 42 0 0 25 0 8 0 273695270 937435136 8891 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073889652 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5985/statm: 228866 8891 2527 14 0 215336 0
[pid=5985/tid=5987] ppid=5983 vsize=915464 CPUtime=0.03
/proc/5985/task/5987/stat : 5987 (java) S 5983 5985 5143 0 -1 64 234 0 0 0 3 0 0 0 16 0 8 0 273695273 937435136 8891 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5988] ppid=5983 vsize=915464 CPUtime=0
/proc/5985/task/5988/stat : 5988 (java) S 5983 5985 5143 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 273695274 937435136 8891 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5989] ppid=5983 vsize=915464 CPUtime=0
/proc/5985/task/5989/stat : 5989 (java) S 5983 5985 5143 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273695274 937435136 8891 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5990] ppid=5983 vsize=915464 CPUtime=0
/proc/5985/task/5990/stat : 5990 (java) S 5983 5985 5143 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273695277 937435136 8891 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5991] ppid=5983 vsize=915464 CPUtime=0.24
/proc/5985/task/5991/stat : 5991 (java) S 5983 5985 5143 0 -1 64 409 0 0 0 23 1 0 0 16 0 8 0 273695277 937435136 8891 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5992] ppid=5983 vsize=915464 CPUtime=0
/proc/5985/task/5992/stat : 5992 (java) S 5983 5985 5143 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273695277 937435136 8891 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5993] ppid=5983 vsize=915464 CPUtime=0
/proc/5985/task/5993/stat : 5993 (java) S 5983 5985 5143 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273695277 937435136 8891 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.44
Current children cumulated vsize (KiB) 915464
[startup+282.551 s]
/proc/loadavg: 2.02 2.03 2.00 3/93 6039
/proc/meminfo: memFree=1272616/2055920 swapFree=4192812/4192956
[pid=5985] ppid=5983 vsize=915464 CPUtime=280.02
/proc/5985/stat : 5985 (java) R 5983 5985 5143 0 -1 0 9164 0 1 0 27959 43 0 0 25 0 8 0 273695270 937435136 8894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073864083 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5985/statm: 228866 8894 2527 14 0 215336 0
[pid=5985/tid=5987] ppid=5983 vsize=915464 CPUtime=0.03
/proc/5985/task/5987/stat : 5987 (java) S 5983 5985 5143 0 -1 64 234 0 0 0 3 0 0 0 16 0 8 0 273695273 937435136 8894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5988] ppid=5983 vsize=915464 CPUtime=0
/proc/5985/task/5988/stat : 5988 (java) S 5983 5985 5143 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 273695274 937435136 8894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5989] ppid=5983 vsize=915464 CPUtime=0
/proc/5985/task/5989/stat : 5989 (java) S 5983 5985 5143 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273695274 937435136 8894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5990] ppid=5983 vsize=915464 CPUtime=0
/proc/5985/task/5990/stat : 5990 (java) S 5983 5985 5143 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273695277 937435136 8894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5991] ppid=5983 vsize=915464 CPUtime=0.24
/proc/5985/task/5991/stat : 5991 (java) S 5983 5985 5143 0 -1 64 409 0 0 0 23 1 0 0 16 0 8 0 273695277 937435136 8894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5992] ppid=5983 vsize=915464 CPUtime=0
/proc/5985/task/5992/stat : 5992 (java) S 5983 5985 5143 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273695277 937435136 8894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5985/tid=5993] ppid=5983 vsize=915464 CPUtime=0
/proc/5985/task/5993/stat : 5993 (java) S 5983 5985 5143 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273695277 937435136 8894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 280.02
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 301.602
CPU time (s): 299.047
CPU user time (s): 298.605
CPU system time (s): 0.441932
CPU usage (%): 99.1526
Max. virtual memory (cumulated for all children) (KiB): 915980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 298.605
system time used= 0.441932
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= 7293
involuntary context switches= 13309
runsolver used 0.419936 s user time and 0.927858 s system time
The end
Begin job on node18 on Sat Jan 20 00:30:06 UTC 2007
IDJOB= 277022
IDBENCH= 6212
IDSOLVER= 69
FILE ID= node18/277022-1169253006
PBS_JOBID= 3589083
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.2/rand-2-40-11-414-200-40_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277022-1169253006/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-277022-1169253006 -o ROOT/results/node18/solver-277022-1169253006 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277022-1169253006/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= b83984d6af75dbeb444cd34d01274267
RANDOM SEED= 681561083
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.231
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.231
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: 1275712 kB
Buffers: 51856 kB
Cached: 561980 kB
SwapCached: 0 kB
Active: 274192 kB
Inactive: 426376 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1275712 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1764 kB
Writeback: 0 kB
Mapped: 115768 kB
Slab: 64380 kB
Committed_AS: 8964512 kB
PageTables: 2180 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 node18 on Sat Jan 20 00:35:07 UTC 2007