0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=epfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/276949-1169250608/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=11 maxDomainSize=11
0.42 => wckTime=0.101 cpuTime=0.09 mem=6M887
0.42
0.42 relations being loaded...
0.52
0.52 constraints being loaded...
0.62 nbConstraints=414 nbRelationTypes=414 nbExtensionStructures=414 nbSharedExtensionStructures=0
0.62 nbConflictsStructures=414 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=8214 maxDegree=28
0.62 maxArity=2
0.62 => wckTime=0.302 cpuTime=0.22 mem=10M789
0.66
0.66 solver LocalSearchSolver being built...
0.71 => wckTime=0.389 cpuTime=0.27 mem=5M814
0.71
0.71 s SATISFIABLE
0.71 o 321
0.71 c 93
0.71 o 328
0.71 c 86
0.72 o 334
0.72 c 80
0.72 o 339
0.72 c 75
0.72 o 343
0.72 c 71
0.72 o 347
0.72 c 67
0.72 o 351
0.72 c 63
0.72 o 357
0.72 c 57
0.72 o 361
0.72 c 53
0.72 o 366
0.72 c 48
0.72 o 369
0.72 c 45
0.72 o 372
0.72 c 42
0.72 o 375
0.72 c 39
0.73 o 378
0.73 c 36
0.73 o 380
0.73 c 34
0.73 o 381
0.73 c 33
0.73 o 385
0.73 c 29
0.73 o 387
0.73 c 27
0.73 o 388
0.73 c 26
0.73 o 390
0.73 c 24
0.73 o 391
0.73 c 23
0.74 o 392
0.74 c 22
0.74 o 393
0.74 c 21
0.74 o 394
0.74 c 20
0.74 o 395
0.74 c 19
0.74 o 398
0.74 c 16
0.75 o 399
0.75 c 15
0.75 o 400
0.75 c 14
0.75 o 401
0.75 c 13
0.75 o 402
0.75 c 12
0.75 o 404
0.75 c 10
0.77 o 406
0.77 c 8
0.77 o 407
0.77 c 7
0.79 o 408
0.79 c 6
0.79 o 409
0.79 c 5
0.82 o 410
0.82 c 4
0.84 o 411
0.84 c 3
1.50 o 412
1.50 c 2
3.27
3.27 search
3.27 run=0 nbConstraintChecks=16685353 nbAssignments=10000
3.27 => wckTime=2.56 cpuTime=2.51 mem=5M814
5.88
5.88 search
5.88 run=1 nbConstraintChecks=34659585 nbAssignments=20000
5.88 => wckTime=5.175 cpuTime=5.1 mem=5M814
8.31
8.31 search
8.31 run=2 nbConstraintChecks=51046644 nbAssignments=30000
8.31 => wckTime=7.604 cpuTime=7.51 mem=5M814
9.75 o 413
9.75 c 1
9.75
9.75 search
9.75 run=3 nbConstraintChecks=60910344 nbAssignments=35563
9.75 => wckTime=9.043 cpuTime=8.93 mem=5M814
9.75
9.75 global
9.75 nbConstraintChecks=60910344 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
9.75 solvingWckTime=9.04 solvingCpuTime=8.92 expiredTime=no totalExploration=no nbFoundSolutions=0
9.75 globalCpuTime=9.24
9.75 => wckTime=9.432 cpuTime=9.2 mem=5M814
9.75
9.75 solver IterativeSystematicSolver being built...
9.88 => wckTime=9.564 cpuTime=9.31 mem=16M706
9.97
9.97 preprocessing
9.97 nbConstraintChecks=71279 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
9.97 detectedInconsistency=no
9.97 => wckTime=0.09 cpuTime=0.06 mem=16M706
10.02
10.02 search
10.02 run=0 nbConstraintChecks=129738 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=37
10.02 nbFailedAssignments=20 nbBacktracks=10 nbVisitedNodes=67 nbRestartNogoods=0
10.02 => wckTime=0.135 cpuTime=0.1 mem=16M706
10.09
10.09 search
10.09 run=1 nbConstraintChecks=326064 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=89
10.09 nbFailedAssignments=50 nbBacktracks=25 nbVisitedNodes=164 nbRestartNogoods=6
10.09 => wckTime=0.204 cpuTime=0.16 mem=16M706
10.19
10.19 search
10.19 run=2 nbConstraintChecks=641885 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=167
10.19 nbFailedAssignments=100 nbBacktracks=47 nbVisitedNodes=311 nbRestartNogoods=18
10.19 => wckTime=0.307 cpuTime=0.25 mem=16M706
10.30
10.30 search
10.30 run=3 nbConstraintChecks=1043629 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=260
10.30 nbFailedAssignments=154 nbBacktracks=80 nbVisitedNodes=491 nbRestartNogoods=29
10.30 => wckTime=0.418 cpuTime=0.36 mem=16M706
10.50
10.50 search
10.50 run=4 nbConstraintChecks=1780117 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=432
10.50 nbFailedAssignments=271 nbBacktracks=130 nbVisitedNodes=828 nbRestartNogoods=40
10.50 => wckTime=0.615 cpuTime=0.55 mem=16M706
10.74
10.74 search
10.74 run=5 nbConstraintChecks=2707991 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=651
10.74 nbFailedAssignments=406 nbBacktracks=205 nbVisitedNodes=1250 nbRestartNogoods=51
10.74 => wckTime=0.861 cpuTime=0.8 mem=16M706
11.09
11.09 search
11.09 run=6 nbConstraintChecks=3958927 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=951
11.09 nbFailedAssignments=586 nbBacktracks=318 nbVisitedNodes=1840 nbRestartNogoods=73
11.09 => wckTime=1.208 cpuTime=1.14 mem=16M706
11.63
11.63 search
11.63 run=7 nbConstraintChecks=5976934 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1417
11.63 nbFailedAssignments=877 nbBacktracks=488 nbVisitedNodes=2761 nbRestartNogoods=93
11.63 => wckTime=1.749 cpuTime=1.67 mem=16M706
12.45
12.45 search
12.45 run=8 nbConstraintChecks=9134125 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2139
12.45 nbFailedAssignments=1338 nbBacktracks=744 nbVisitedNodes=4182 nbRestartNogoods=120
12.45 => wckTime=2.57 cpuTime=2.47 mem=16M706
13.63
13.63 search
13.63 run=9 nbConstraintChecks=13796360 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3220
13.63 nbFailedAssignments=2030 nbBacktracks=1128 nbVisitedNodes=6318 nbRestartNogoods=154
13.63 => wckTime=3.748 cpuTime=3.63 mem=16M706
15.28
15.28 search
15.28 run=10 nbConstraintChecks=20072845 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4696
15.28 nbFailedAssignments=2923 nbBacktracks=1704 nbVisitedNodes=9231 nbRestartNogoods=167
15.28 => wckTime=5.399 cpuTime=5.27 mem=16M706
17.89
17.89 search
17.89 run=11 nbConstraintChecks=29927942 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7016
17.89 nbFailedAssignments=4374 nbBacktracks=2568 nbVisitedNodes=13750 nbRestartNogoods=181
17.89 => wckTime=8.003 cpuTime=7.85 mem=16M706
21.31
21.31 search
21.31 run=12 nbConstraintChecks=43123322 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10224
21.31 nbFailedAssignments=6280 nbBacktracks=3865 nbVisitedNodes=20026 nbRestartNogoods=190
21.31 => wckTime=11.428 cpuTime=11.24 mem=16M706
26.78
26.78 search
26.78 run=13 nbConstraintChecks=63888611 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=15174
26.78 nbFailedAssignments=9274 nbBacktracks=5811 nbVisitedNodes=29617 nbRestartNogoods=212
26.78 => wckTime=16.896 cpuTime=16.67 mem=16M706
34.12
34.12 search
34.12 run=14 nbConstraintChecks=90803761 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=21814
34.12 nbFailedAssignments=12989 nbBacktracks=8731 nbVisitedNodes=42067 nbRestartNogoods=246
34.12 => wckTime=24.237 cpuTime=23.95 mem=16M706
44.54
44.54 search
44.54 run=15 nbConstraintChecks=127341763 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=31104
44.54 nbFailedAssignments=17894 nbBacktracks=13109 nbVisitedNodes=58621 nbRestartNogoods=257
44.54 => wckTime=34.658 cpuTime=34.28 mem=16M706
58.91
58.91 search
58.91 run=16 nbConstraintChecks=177389514 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=44350
58.91 nbFailedAssignments=24566 nbBacktracks=19677 nbVisitedNodes=81524 nbRestartNogoods=276
58.91 => wckTime=49.026 cpuTime=48.53 mem=16M706
79.34
79.34 search
79.34 run=17 nbConstraintChecks=246579014 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=63293
79.34 nbFailedAssignments=33653 nbBacktracks=29529 nbVisitedNodes=112738 nbRestartNogoods=296
79.34 => wckTime=69.454 cpuTime=68.77 mem=16M706
105.88
105.88 search
105.88 run=18 nbConstraintChecks=336909711 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=89582
105.88 nbFailedAssignments=45157 nbBacktracks=44307 nbVisitedNodes=154216 nbRestartNogoods=327
105.88 => wckTime=95.997 cpuTime=95.07 mem=16M706
145.05
145.05 search
145.05 run=19 nbConstraintChecks=471660247 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=128560
145.05 nbFailedAssignments=61962 nbBacktracks=66476 nbVisitedNodes=215085 nbRestartNogoods=345
145.05 => wckTime=135.167 cpuTime=133.88 mem=16M706
202.81
202.81 search
202.81 run=20 nbConstraintChecks=668642614 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=186154
202.81 nbFailedAssignments=86300 nbBacktracks=99729 nbVisitedNodes=304809 nbRestartNogoods=376
202.81 => wckTime=192.932 cpuTime=191.16 mem=16M706
289.75
289.75 search
289.75 run=21 nbConstraintChecks=959765303 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=271762
289.75 nbFailedAssignments=122027 nbBacktracks=149607 nbVisitedNodes=436390 nbRestartNogoods=398
289.75 => wckTime=279.866 cpuTime=277.37 mem=16M706
419.93
419.93 search
419.93 run=22 nbConstraintChecks=1394854640 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=399632
419.93 nbFailedAssignments=175073 nbBacktracks=224427 nbVisitedNodes=633332 nbRestartNogoods=427
419.93 => wckTime=410.044 cpuTime=406.45 mem=16M706
609.42
609.42 search
609.42 run=23 nbConstraintChecks=2027102106 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=588132
609.42 nbFailedAssignments=251344 nbBacktracks=336654 nbVisitedNodes=919217 nbRestartNogoods=444
609.42 => wckTime=599.537 cpuTime=594.35 mem=16M706
800.95
800.95 search
800.95 run=24 nbConstraintChecks=2661463124 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=776467
800.95 nbFailedAssignments=326615 nbBacktracks=449719 nbVisitedNodes=1203699 nbRestartNogoods=457
800.95 => wckTime=791.069 cpuTime=784.05 mem=16M706
800.95
800.95 global
800.95 nbConstraintChecks=2661534403 nbRestartNogoods=457 solvingWckTime=791.07 solvingCpuTime=784.05 expiredTime=no
800.95 totalExploration=yes nbFoundSolutions=0 globalCpuTime=793.41
800.95 => wckTime=800.635 cpuTime=793.36 mem=16M706
800.96
800.96 s OPTIMUM FOUND
800.96 v 3 10 8 1 8 4 3 1 10 2 2 3 3 8 10 3 4 6 3 9 4 1 10 2 5 1 6 4 10 9 10 1 4 10 1 10 7 2 10 7
800.96
800.96 totalWckTime=800.717 totalCpuTime=793.41
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node1/watcher-276949-1169250608 -o ROOT/results/node1/solver-276949-1169250608 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276949-1169250608/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.98 1.99 4/86 7291
/proc/meminfo: memFree=1311824/2055920 swapFree=4165612/4192956
[pid=7290] ppid=7288 vsize=18540 CPUtime=0
/proc/7290/stat : 7290 (runsolver) R 7288 7290 7081 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 273456582 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 259353275687 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/7290/statm: 4635 279 244 17 0 2626 0
[startup+0.103876 s]
/proc/loadavg: 1.92 1.98 1.99 4/86 7291
/proc/meminfo: memFree=1311824/2055920 swapFree=4165612/4192956
[pid=7290] ppid=7288 vsize=914988 CPUtime=0.08
/proc/7290/stat : 7290 (java) R 7288 7290 7081 0 -1 0 2959 0 1 0 6 2 0 0 19 0 8 0 273456582 936947712 2705 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7290/statm: 228747 2705 1416 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511922 s]
/proc/loadavg: 1.92 1.98 1.99 4/86 7291
/proc/meminfo: memFree=1311824/2055920 swapFree=4165612/4192956
[pid=7290] ppid=7288 vsize=915332 CPUtime=0.49
/proc/7290/stat : 7290 (java) R 7288 7290 7081 0 -1 0 6392 0 1 0 44 5 0 0 18 0 8 0 273456582 937299968 6131 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7290/statm: 228833 6131 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33301 s]
/proc/loadavg: 1.92 1.98 1.99 3/93 7298
/proc/meminfo: memFree=1291544/2055920 swapFree=4165612/4192956
[pid=7290] ppid=7288 vsize=915464 CPUtime=1.29
/proc/7290/stat : 7290 (java) R 7288 7290 7081 0 -1 0 7732 0 1 0 114 15 0 0 25 0 8 0 273456582 937435136 7470 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073742532 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7290/statm: 228866 7470 2479 14 0 215336 0
[pid=7290/tid=7292] ppid=7288 vsize=915464 CPUtime=0.03
/proc/7290/task/7292/stat : 7292 (java) S 7288 7290 7081 0 -1 64 233 0 0 0 3 0 0 0 16 0 8 0 273456587 937435136 7470 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7293] ppid=7288 vsize=915464 CPUtime=0
/proc/7290/task/7293/stat : 7293 (java) S 7288 7290 7081 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273456587 937435136 7470 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7294] ppid=7288 vsize=915464 CPUtime=0
/proc/7290/task/7294/stat : 7294 (java) S 7288 7290 7081 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273456587 937435136 7470 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7295] ppid=7288 vsize=915464 CPUtime=0
/proc/7290/task/7295/stat : 7295 (java) S 7288 7290 7081 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273456590 937435136 7470 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7296] ppid=7288 vsize=915464 CPUtime=0.15
/proc/7290/task/7296/stat : 7296 (java) S 7288 7290 7081 0 -1 64 350 0 0 0 15 0 0 0 16 0 8 0 273456590 937435136 7470 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7297] ppid=7288 vsize=915464 CPUtime=0
/proc/7290/task/7297/stat : 7297 (java) S 7288 7290 7081 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273456590 937435136 7470 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7298] ppid=7288 vsize=915464 CPUtime=0
/proc/7290/task/7298/stat : 7298 (java) S 7288 7290 7081 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273456591 937435136 7470 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915464
[startup+2.97021 s]
/proc/loadavg: 1.92 1.98 1.99 3/93 7298
/proc/meminfo: memFree=1291544/2055920 swapFree=4165612/4192956
[pid=7290] ppid=7288 vsize=915468 CPUtime=2.92
/proc/7290/stat : 7290 (java) R 7288 7290 7081 0 -1 0 7733 0 1 0 252 40 0 0 25 0 8 0 273456582 937439232 7470 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7290/statm: 228867 7470 2479 14 0 215337 0
[pid=7290/tid=7292] ppid=7288 vsize=915468 CPUtime=0.03
/proc/7290/task/7292/stat : 7292 (java) S 7288 7290 7081 0 -1 64 233 0 0 0 3 0 0 0 16 0 8 0 273456587 937439232 7470 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7293] ppid=7288 vsize=915468 CPUtime=0
/proc/7290/task/7293/stat : 7293 (java) S 7288 7290 7081 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273456587 937439232 7470 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7294] ppid=7288 vsize=915468 CPUtime=0
/proc/7290/task/7294/stat : 7294 (java) S 7288 7290 7081 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273456587 937439232 7470 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7295] ppid=7288 vsize=915468 CPUtime=0
/proc/7290/task/7295/stat : 7295 (java) S 7288 7290 7081 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273456590 937439232 7470 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7296] ppid=7288 vsize=915468 CPUtime=0.15
/proc/7290/task/7296/stat : 7296 (java) S 7288 7290 7081 0 -1 64 350 0 0 0 15 0 0 0 16 0 8 0 273456590 937439232 7470 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7297] ppid=7288 vsize=915468 CPUtime=0
/proc/7290/task/7297/stat : 7297 (java) S 7288 7290 7081 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273456590 937439232 7470 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7298] ppid=7288 vsize=915468 CPUtime=0
/proc/7290/task/7298/stat : 7298 (java) S 7288 7290 7081 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273456591 937439232 7470 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) 915468
[startup+6.26959 s]
/proc/loadavg: 1.93 1.98 1.99 3/93 7298
/proc/meminfo: memFree=1291480/2055920 swapFree=4165612/4192956
[pid=7290] ppid=7288 vsize=915464 CPUtime=6.19
/proc/7290/stat : 7290 (java) R 7288 7290 7081 0 -1 0 7735 0 1 0 533 86 0 0 25 0 8 0 273456582 937435136 7472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073743539 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7290/statm: 228866 7472 2479 14 0 215336 0
[pid=7290/tid=7292] ppid=7288 vsize=915464 CPUtime=0.03
/proc/7290/task/7292/stat : 7292 (java) S 7288 7290 7081 0 -1 64 233 0 0 0 3 0 0 0 16 0 8 0 273456587 937435136 7472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7293] ppid=7288 vsize=915464 CPUtime=0
/proc/7290/task/7293/stat : 7293 (java) S 7288 7290 7081 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273456587 937435136 7472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7294] ppid=7288 vsize=915464 CPUtime=0
/proc/7290/task/7294/stat : 7294 (java) S 7288 7290 7081 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273456587 937435136 7472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7295] ppid=7288 vsize=915464 CPUtime=0
/proc/7290/task/7295/stat : 7295 (java) S 7288 7290 7081 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273456590 937435136 7472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7296] ppid=7288 vsize=915464 CPUtime=0.15
/proc/7290/task/7296/stat : 7296 (java) S 7288 7290 7081 0 -1 64 352 0 0 0 15 0 0 0 16 0 8 0 273456590 937435136 7472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7297] ppid=7288 vsize=915464 CPUtime=0
/proc/7290/task/7297/stat : 7297 (java) S 7288 7290 7081 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273456590 937435136 7472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7298] ppid=7288 vsize=915464 CPUtime=0
/proc/7290/task/7298/stat : 7298 (java) S 7288 7290 7081 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273456591 937435136 7472 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.7384 s]
/proc/loadavg: 1.93 1.98 1.99 3/93 7298
/proc/meminfo: memFree=1286112/2055920 swapFree=4165612/4192956
[pid=7290] ppid=7288 vsize=915464 CPUtime=12.6
/proc/7290/stat : 7290 (java) R 7288 7290 7081 0 -1 0 9121 0 1 0 1117 143 0 0 25 0 8 0 273456582 937435136 8855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073860106 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7290/statm: 228866 8855 2532 14 0 215336 0
[pid=7290/tid=7292] ppid=7288 vsize=915464 CPUtime=0.03
/proc/7290/task/7292/stat : 7292 (java) S 7288 7290 7081 0 -1 64 234 0 0 0 3 0 0 0 17 0 8 0 273456587 937435136 8855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7293] ppid=7288 vsize=915464 CPUtime=0
/proc/7290/task/7293/stat : 7293 (java) S 7288 7290 7081 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273456587 937435136 8855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7294] ppid=7288 vsize=915464 CPUtime=0
/proc/7290/task/7294/stat : 7294 (java) S 7288 7290 7081 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273456587 937435136 8855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7295] ppid=7288 vsize=915464 CPUtime=0
/proc/7290/task/7295/stat : 7295 (java) S 7288 7290 7081 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273456590 937435136 8855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7296] ppid=7288 vsize=915464 CPUtime=0.24
/proc/7290/task/7296/stat : 7296 (java) S 7288 7290 7081 0 -1 64 404 0 0 0 23 1 0 0 15 0 8 0 273456590 937435136 8855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7297] ppid=7288 vsize=915464 CPUtime=0
/proc/7290/task/7297/stat : 7297 (java) S 7288 7290 7081 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273456590 937435136 8855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7298] ppid=7288 vsize=915464 CPUtime=0
/proc/7290/task/7298/stat : 7298 (java) S 7288 7290 7081 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273456591 937435136 8855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915464
[startup+25.6019 s]
/proc/loadavg: 1.95 1.98 1.99 3/93 7298
/proc/meminfo: memFree=1286112/2055920 swapFree=4165612/4192956
[pid=7290] ppid=7288 vsize=915464 CPUtime=25.35
/proc/7290/stat : 7290 (java) R 7288 7290 7081 0 -1 0 9137 0 1 0 2392 143 0 0 25 0 8 0 273456582 937435136 8869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073919802 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7290/statm: 228866 8869 2532 14 0 215336 0
[pid=7290/tid=7292] ppid=7288 vsize=915464 CPUtime=0.03
/proc/7290/task/7292/stat : 7292 (java) S 7288 7290 7081 0 -1 64 234 0 0 0 3 0 0 0 16 0 8 0 273456587 937435136 8869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7293] ppid=7288 vsize=915464 CPUtime=0
/proc/7290/task/7293/stat : 7293 (java) S 7288 7290 7081 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273456587 937435136 8869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7294] ppid=7288 vsize=915464 CPUtime=0
/proc/7290/task/7294/stat : 7294 (java) S 7288 7290 7081 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273456587 937435136 8869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7295] ppid=7288 vsize=915464 CPUtime=0
/proc/7290/task/7295/stat : 7295 (java) S 7288 7290 7081 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273456590 937435136 8869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7296] ppid=7288 vsize=915464 CPUtime=0.25
/proc/7290/task/7296/stat : 7296 (java) S 7288 7290 7081 0 -1 64 410 0 0 0 24 1 0 0 16 0 8 0 273456590 937435136 8869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7297] ppid=7288 vsize=915464 CPUtime=0
/proc/7290/task/7297/stat : 7297 (java) S 7288 7290 7081 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273456590 937435136 8869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7298] ppid=7288 vsize=915464 CPUtime=0
/proc/7290/task/7298/stat : 7298 (java) S 7288 7290 7081 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273456591 937435136 8869 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915464
[startup+51.2119 s]
/proc/loadavg: 1.96 1.98 1.99 3/93 7298
/proc/meminfo: memFree=1286112/2055920 swapFree=4165612/4192956
[pid=7290] ppid=7288 vsize=915464 CPUtime=50.75
/proc/7290/stat : 7290 (java) R 7288 7290 7081 0 -1 0 9146 0 1 0 4931 144 0 0 25 0 8 0 273456582 937435136 8877 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073858464 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7290/statm: 228866 8877 2532 14 0 215336 0
[pid=7290/tid=7292] ppid=7288 vsize=915464 CPUtime=0.03
/proc/7290/task/7292/stat : 7292 (java) S 7288 7290 7081 0 -1 64 234 0 0 0 3 0 0 0 16 0 8 0 273456587 937435136 8877 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7293] ppid=7288 vsize=915464 CPUtime=0
/proc/7290/task/7293/stat : 7293 (java) S 7288 7290 7081 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273456587 937435136 8877 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7294] ppid=7288 vsize=915464 CPUtime=0
/proc/7290/task/7294/stat : 7294 (java) S 7288 7290 7081 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273456587 937435136 8877 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7295] ppid=7288 vsize=915464 CPUtime=0
/proc/7290/task/7295/stat : 7295 (java) S 7288 7290 7081 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273456590 937435136 8877 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7296] ppid=7288 vsize=915464 CPUtime=0.25
/proc/7290/task/7296/stat : 7296 (java) S 7288 7290 7081 0 -1 64 411 0 0 0 24 1 0 0 16 0 8 0 273456590 937435136 8877 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7297] ppid=7288 vsize=915464 CPUtime=0
/proc/7290/task/7297/stat : 7297 (java) S 7288 7290 7081 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273456590 937435136 8877 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7298] ppid=7288 vsize=915464 CPUtime=0
/proc/7290/task/7298/stat : 7298 (java) S 7288 7290 7081 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273456591 937435136 8877 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 915464
[startup+102.415 s]
/proc/loadavg: 1.98 1.98 1.99 3/93 7298
/proc/meminfo: memFree=1286112/2055920 swapFree=4165612/4192956
[pid=7290] ppid=7288 vsize=915464 CPUtime=101.5
/proc/7290/stat : 7290 (java) R 7288 7290 7081 0 -1 0 9152 0 1 0 10006 144 0 0 25 0 8 0 273456582 937435136 8882 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073889157 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7290/statm: 228866 8882 2532 14 0 215336 0
[pid=7290/tid=7292] ppid=7288 vsize=915464 CPUtime=0.03
/proc/7290/task/7292/stat : 7292 (java) S 7288 7290 7081 0 -1 64 234 0 0 0 3 0 0 0 16 0 8 0 273456587 937435136 8882 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7293] ppid=7288 vsize=915464 CPUtime=0
/proc/7290/task/7293/stat : 7293 (java) S 7288 7290 7081 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273456587 937435136 8882 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7294] ppid=7288 vsize=915464 CPUtime=0
/proc/7290/task/7294/stat : 7294 (java) S 7288 7290 7081 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273456587 937435136 8882 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7295] ppid=7288 vsize=915464 CPUtime=0
/proc/7290/task/7295/stat : 7295 (java) S 7288 7290 7081 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273456590 937435136 8882 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7296] ppid=7288 vsize=915464 CPUtime=0.25
/proc/7290/task/7296/stat : 7296 (java) S 7288 7290 7081 0 -1 64 411 0 0 0 24 1 0 0 16 0 8 0 273456590 937435136 8882 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7297] ppid=7288 vsize=915464 CPUtime=0
/proc/7290/task/7297/stat : 7297 (java) S 7288 7290 7081 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273456590 937435136 8882 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7298] ppid=7288 vsize=915464 CPUtime=0
/proc/7290/task/7298/stat : 7298 (java) S 7288 7290 7081 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273456591 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) 101.5
Current children cumulated vsize (KiB) 915464
[startup+162.461 s]
/proc/loadavg: 1.99 1.98 1.99 3/93 7298
/proc/meminfo: memFree=1286112/2055920 swapFree=4165612/4192956
[pid=7290] ppid=7288 vsize=915464 CPUtime=161
/proc/7290/stat : 7290 (java) R 7288 7290 7081 0 -1 0 9157 0 1 0 15956 144 0 0 25 0 8 0 273456582 937435136 8887 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073880963 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
/proc/7290/task/7295/stat : 7295 (java) S 7288 7290 7081 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273456590 937435136 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7296] ppid=7288 vsize=915464 CPUtime=0.26
/proc/7290/task/7296/stat : 7296 (java) S 7288 7290 7081 0 -1 64 411 0 0 0 25 1 0 0 16 0 8 0 273456590 937435136 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7297] ppid=7288 vsize=915464 CPUtime=0
/proc/7290/task/7297/stat : 7297 (java) S 7288 7290 7081 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273456590 937435136 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7298] ppid=7288 vsize=915464 CPUtime=0
/proc/7290/task/7298/stat : 7298 (java) S 7288 7290 7081 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273456591 937435136 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 339.64
Current children cumulated vsize (KiB) 915464
[startup+402.652 s]
/proc/loadavg: 1.99 1.98 1.99 3/93 7298
/proc/meminfo: memFree=1286112/2055920 swapFree=4165612/4192956
[pid=7290] ppid=7288 vsize=915464 CPUtime=399.18
/proc/7290/stat : 7290 (java) R 7288 7290 7081 0 -1 0 9163 0 1 0 39772 146 0 0 25 0 8 0 273456582 937435136 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073858464 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7290/statm: 228866 8892 2532 14 0 215336 0
[pid=7290/tid=7292] ppid=7288 vsize=915464 CPUtime=0.03
/proc/7290/task/7292/stat : 7292 (java) S 7288 7290 7081 0 -1 64 234 0 0 0 3 0 0 0 16 0 8 0 273456587 937435136 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7293] ppid=7288 vsize=915464 CPUtime=0
/proc/7290/task/7293/stat : 7293 (java) S 7288 7290 7081 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273456587 937435136 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7294] ppid=7288 vsize=915464 CPUtime=0
/proc/7290/task/7294/stat : 7294 (java) S 7288 7290 7081 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273456587 937435136 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7295] ppid=7288 vsize=915464 CPUtime=0
/proc/7290/task/7295/stat : 7295 (java) S 7288 7290 7081 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273456590 937435136 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7296] ppid=7288 vsize=915464 CPUtime=0.26
/proc/7290/task/7296/stat : 7296 (java) S 7288 7290 7081 0 -1 64 411 0 0 0 25 1 0 0 16 0 8 0 273456590 937435136 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7297] ppid=7288 vsize=915464 CPUtime=0
/proc/7290/task/7297/stat : 7297 (java) S 7288 7290 7081 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273456590 937435136 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7298] ppid=7288 vsize=915464 CPUtime=0
/proc/7290/task/7298/stat : 7298 (java) S 7288 7290 7081 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273456591 937435136 8892 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 399.18
Current children cumulated vsize (KiB) 915464
[startup+462.707 s]
/proc/loadavg: 1.99 1.98 1.99 3/93 7298
/proc/meminfo: memFree=1286048/2055920 swapFree=4165612/4192956
[pid=7290] ppid=7288 vsize=915464 CPUtime=458.74
/proc/7290/stat : 7290 (java) R 7288 7290 7081 0 -1 0 9165 0 1 0 45727 147 0 0 25 0 8 0 273456582 937435136 8894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073918569 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7290/statm: 228866 8894 2532 14 0 215336 0
[pid=7290/tid=7292] ppid=7288 vsize=915464 CPUtime=0.03
/proc/7290/task/7292/stat : 7292 (java) S 7288 7290 7081 0 -1 64 234 0 0 0 3 0 0 0 16 0 8 0 273456587 937435136 8894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7293] ppid=7288 vsize=915464 CPUtime=0
/proc/7290/task/7293/stat : 7293 (java) S 7288 7290 7081 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273456587 937435136 8894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7294] ppid=7288 vsize=915464 CPUtime=0
/proc/7290/task/7294/stat : 7294 (java) S 7288 7290 7081 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273456587 937435136 8894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7295] ppid=7288 vsize=915464 CPUtime=0
/proc/7290/task/7295/stat : 7295 (java) S 7288 7290 7081 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273456590 937435136 8894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7296] ppid=7288 vsize=915464 CPUtime=0.26
/proc/7290/task/7296/stat : 7296 (java) S 7288 7290 7081 0 -1 64 411 0 0 0 25 1 0 0 16 0 8 0 273456590 937435136 8894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7297] ppid=7288 vsize=915464 CPUtime=0
/proc/7290/task/7297/stat : 7297 (java) S 7288 7290 7081 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273456590 937435136 8894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7298] ppid=7288 vsize=915464 CPUtime=0
/proc/7290/task/7298/stat : 7298 (java) S 7288 7290 7081 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273456591 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) 458.74
Current children cumulated vsize (KiB) 915464
[startup+522.751 s]
/proc/loadavg: 1.99 1.98 1.99 3/93 7298
/proc/meminfo: memFree=1286048/2055920 swapFree=4165612/4192956
[pid=7290] ppid=7288 vsize=915464 CPUtime=518.25
/proc/7290/stat : 7290 (java) R 7288 7290 7081 0 -1 0 9165 0 1 0 51678 147 0 0 25 0 8 0 273456582 937435136 8894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073859255 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7290/statm: 228866 8894 2532 14 0 215336 0
[pid=7290/tid=7292] ppid=7288 vsize=915464 CPUtime=0.03
/proc/7290/task/7292/stat : 7292 (java) S 7288 7290 7081 0 -1 64 234 0 0 0 3 0 0 0 16 0 8 0 273456587 937435136 8894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7293] ppid=7288 vsize=915464 CPUtime=0
/proc/7290/task/7293/stat : 7293 (java) S 7288 7290 7081 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273456587 937435136 8894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7294] ppid=7288 vsize=915464 CPUtime=0
/proc/7290/task/7294/stat : 7294 (java) S 7288 7290 7081 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273456587 937435136 8894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7295] ppid=7288 vsize=915464 CPUtime=0
/proc/7290/task/7295/stat : 7295 (java) S 7288 7290 7081 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273456590 937435136 8894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7296] ppid=7288 vsize=915464 CPUtime=0.26
/proc/7290/task/7296/stat : 7296 (java) S 7288 7290 7081 0 -1 64 411 0 0 0 25 1 0 0 16 0 8 0 273456590 937435136 8894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7297] ppid=7288 vsize=915464 CPUtime=0
/proc/7290/task/7297/stat : 7297 (java) S 7288 7290 7081 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273456590 937435136 8894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7298] ppid=7288 vsize=915464 CPUtime=0
/proc/7290/task/7298/stat : 7298 (java) S 7288 7290 7081 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273456591 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) 518.25
Current children cumulated vsize (KiB) 915464
[startup+582.803 s]
/proc/loadavg: 1.99 1.98 1.99 3/93 7298
/proc/meminfo: memFree=1286048/2055920 swapFree=4165612/4192956
[pid=7290] ppid=7288 vsize=915464 CPUtime=577.81
/proc/7290/stat : 7290 (java) R 7288 7290 7081 0 -1 0 9165 0 1 0 57634 147 0 0 25 0 8 0 273456582 937435136 8894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073856715 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7290/statm: 228866 8894 2532 14 0 215336 0
[pid=7290/tid=7292] ppid=7288 vsize=915464 CPUtime=0.03
/proc/7290/task/7292/stat : 7292 (java) S 7288 7290 7081 0 -1 64 234 0 0 0 3 0 0 0 16 0 8 0 273456587 937435136 8894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7293] ppid=7288 vsize=915464 CPUtime=0
/proc/7290/task/7293/stat : 7293 (java) S 7288 7290 7081 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273456587 937435136 8894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7294] ppid=7288 vsize=915464 CPUtime=0
/proc/7290/task/7294/stat : 7294 (java) S 7288 7290 7081 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273456587 937435136 8894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7295] ppid=7288 vsize=915464 CPUtime=0
/proc/7290/task/7295/stat : 7295 (java) S 7288 7290 7081 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273456590 937435136 8894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7296] ppid=7288 vsize=915464 CPUtime=0.26
/proc/7290/task/7296/stat : 7296 (java) S 7288 7290 7081 0 -1 64 411 0 0 0 25 1 0 0 16 0 8 0 273456590 937435136 8894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7297] ppid=7288 vsize=915464 CPUtime=0
/proc/7290/task/7297/stat : 7297 (java) S 7288 7290 7081 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273456590 937435136 8894 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7298] ppid=7288 vsize=915464 CPUtime=0
/proc/7290/task/7298/stat : 7298 (java) S 7288 7290 7081 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273456591 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) 577.81
Current children cumulated vsize (KiB) 915464
[startup+642.848 s]
/proc/loadavg: 1.99 1.98 1.99 3/93 7298
/proc/meminfo: memFree=1286048/2055920 swapFree=4165612/4192956
[pid=7290] ppid=7288 vsize=915464 CPUtime=637.35
/proc/7290/stat : 7290 (java) R 7288 7290 7081 0 -1 0 9169 0 1 0 63587 148 0 0 25 0 8 0 273456582 937435136 8898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073919536 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7290/statm: 228866 8898 2532 14 0 215336 0
[pid=7290/tid=7292] ppid=7288 vsize=915464 CPUtime=0.03
/proc/7290/task/7292/stat : 7292 (java) S 7288 7290 7081 0 -1 64 234 0 0 0 3 0 0 0 16 0 8 0 273456587 937435136 8898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7293] ppid=7288 vsize=915464 CPUtime=0
/proc/7290/task/7293/stat : 7293 (java) S 7288 7290 7081 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273456587 937435136 8898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7294] ppid=7288 vsize=915464 CPUtime=0
/proc/7290/task/7294/stat : 7294 (java) S 7288 7290 7081 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273456587 937435136 8898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7295] ppid=7288 vsize=915464 CPUtime=0
/proc/7290/task/7295/stat : 7295 (java) S 7288 7290 7081 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273456590 937435136 8898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7296] ppid=7288 vsize=915464 CPUtime=0.26
/proc/7290/task/7296/stat : 7296 (java) S 7288 7290 7081 0 -1 64 412 0 0 0 25 1 0 0 16 0 8 0 273456590 937435136 8898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7297] ppid=7288 vsize=915464 CPUtime=0
/proc/7290/task/7297/stat : 7297 (java) S 7288 7290 7081 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273456590 937435136 8898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7298] ppid=7288 vsize=915464 CPUtime=0
/proc/7290/task/7298/stat : 7298 (java) S 7288 7290 7081 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273456591 937435136 8898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 637.35
Current children cumulated vsize (KiB) 915464
[startup+702.917 s]
/proc/loadavg: 1.99 1.98 1.99 3/99 7462
/proc/meminfo: memFree=1284776/2055920 swapFree=4165612/4192956
[pid=7290] ppid=7288 vsize=915464 CPUtime=696.74
/proc/7290/stat : 7290 (java) R 7288 7290 7081 0 -1 0 9169 0 1 0 69526 148 0 0 25 0 8 0 273456582 937435136 8898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073751398 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7290/statm: 228866 8898 2532 14 0 215336 0
[pid=7290/tid=7292] ppid=7288 vsize=915464 CPUtime=0.03
/proc/7290/task/7292/stat : 7292 (java) S 7288 7290 7081 0 -1 64 234 0 0 0 3 0 0 0 16 0 8 0 273456587 937435136 8898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7293] ppid=7288 vsize=915464 CPUtime=0
/proc/7290/task/7293/stat : 7293 (java) S 7288 7290 7081 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273456587 937435136 8898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7294] ppid=7288 vsize=915464 CPUtime=0
/proc/7290/task/7294/stat : 7294 (java) S 7288 7290 7081 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273456587 937435136 8898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7295] ppid=7288 vsize=915464 CPUtime=0
/proc/7290/task/7295/stat : 7295 (java) S 7288 7290 7081 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273456590 937435136 8898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7296] ppid=7288 vsize=915464 CPUtime=0.26
/proc/7290/task/7296/stat : 7296 (java) S 7288 7290 7081 0 -1 64 412 0 0 0 25 1 0 0 16 0 8 0 273456590 937435136 8898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7297] ppid=7288 vsize=915464 CPUtime=0
/proc/7290/task/7297/stat : 7297 (java) S 7288 7290 7081 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273456590 937435136 8898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7298] ppid=7288 vsize=915464 CPUtime=0
/proc/7290/task/7298/stat : 7298 (java) S 7288 7290 7081 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273456591 937435136 8898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 696.74
Current children cumulated vsize (KiB) 915464
[startup+762.977 s]
/proc/loadavg: 1.99 1.98 1.99 3/93 7496
/proc/meminfo: memFree=1285792/2055920 swapFree=4165612/4192956
[pid=7290] ppid=7288 vsize=915464 CPUtime=756.24
/proc/7290/stat : 7290 (java) R 7288 7290 7081 0 -1 0 9169 0 1 0 75476 148 0 0 25 0 8 0 273456582 937435136 8898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073860092 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7290/statm: 228866 8898 2532 14 0 215336 0
[pid=7290/tid=7292] ppid=7288 vsize=915464 CPUtime=0.03
/proc/7290/task/7292/stat : 7292 (java) S 7288 7290 7081 0 -1 64 234 0 0 0 3 0 0 0 16 0 8 0 273456587 937435136 8898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7293] ppid=7288 vsize=915464 CPUtime=0
/proc/7290/task/7293/stat : 7293 (java) S 7288 7290 7081 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273456587 937435136 8898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7294] ppid=7288 vsize=915464 CPUtime=0
/proc/7290/task/7294/stat : 7294 (java) S 7288 7290 7081 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273456587 937435136 8898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7295] ppid=7288 vsize=915464 CPUtime=0
/proc/7290/task/7295/stat : 7295 (java) S 7288 7290 7081 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273456590 937435136 8898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7296] ppid=7288 vsize=915464 CPUtime=0.26
/proc/7290/task/7296/stat : 7296 (java) S 7288 7290 7081 0 -1 64 412 0 0 0 25 1 0 0 16 0 8 0 273456590 937435136 8898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7297] ppid=7288 vsize=915464 CPUtime=0
/proc/7290/task/7297/stat : 7297 (java) S 7288 7290 7081 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273456590 937435136 8898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7290/tid=7298] ppid=7288 vsize=915464 CPUtime=0
/proc/7290/task/7298/stat : 7298 (java) S 7288 7290 7081 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273456591 937435136 8898 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 756.24
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 800.977
CPU time (s): 793.926
CPU user time (s): 792.429
CPU system time (s): 1.49777
CPU usage (%): 99.1198
Max. virtual memory (cumulated for all children) (KiB): 915468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 792.429
system time used= 1.49777
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9266
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= 17437
involuntary context switches= 47785
runsolver used 0.860869 s user time and 2.70459 s system time
The end
Begin job on node1 on Fri Jan 19 23:50:08 UTC 2007
IDJOB= 276949
IDBENCH= 6153
IDSOLVER= 68
FILE ID= node1/276949-1169250608
PBS_JOBID= 3589081
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.2/rand-2-40-11-414-200-3_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276949-1169250608/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-276949-1169250608 -o ROOT/results/node1/solver-276949-1169250608 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276949-1169250608/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 2f0952897d1570a9d4666c5a8502dbb2
RANDOM SEED= 703634534
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.234
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.234
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: 1312304 kB
Buffers: 51412 kB
Cached: 575312 kB
SwapCached: 3840 kB
Active: 281056 kB
Inactive: 387092 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1312304 kB
SwapTotal: 4192956 kB
SwapFree: 4165612 kB
Dirty: 1768 kB
Writeback: 0 kB
Mapped: 52508 kB
Slab: 60276 kB
Committed_AS: 7901248 kB
PageTables: 2288 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 node1 on Sat Jan 20 00:03:29 UTC 2007