0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=pfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/276392-1169236521/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=80 maxDomainSize=80
0.42 => wckTime=0.105 cpuTime=0.08 mem=6M910
0.42
0.42 relations being loaded...
0.61
0.61 constraints being loaded...
0.70 nbConstraints=103 nbRelationTypes=103 nbExtensionStructures=103 nbSharedExtensionStructures=0
0.70 nbConflictsStructures=103 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=10 maxArity=2
0.70 => wckTime=0.383 cpuTime=0.32 mem=21M685
0.75
0.75 solver LocalSearchSolver being built...
0.79 => wckTime=0.476 cpuTime=0.36 mem=6M328
0.80
0.80 s SATISFIABLE
0.80 o 19
0.80 c 84
0.81 o 23
0.81 c 80
0.81 o 27
0.81 c 76
0.81 o 31
0.81 c 72
0.81 o 35
0.81 c 68
0.81 o 39
0.81 c 64
0.81 o 42
0.81 c 61
0.81 o 45
0.81 c 58
0.81 o 47
0.81 c 56
0.81 o 49
0.81 c 54
0.82 o 51
0.82 c 52
0.82 o 54
0.82 c 49
0.82 o 57
0.82 c 46
0.82 o 60
0.82 c 43
0.82 o 63
0.82 c 40
0.82 o 66
0.82 c 37
0.82 o 68
0.82 c 35
0.82 o 70
0.82 c 33
0.82 o 72
0.82 c 31
0.82 o 73
0.82 c 30
0.82 o 74
0.82 c 29
0.83 o 75
0.83 c 28
0.83 o 77
0.83 c 26
0.83 o 78
0.83 c 25
0.83 o 79
0.83 c 24
0.83 o 80
0.83 c 23
0.84 o 81
0.84 c 22
0.84 o 82
0.84 c 21
0.84 o 83
0.84 c 20
0.84 o 85
0.84 c 18
0.85 o 86
0.85 c 17
0.85 o 87
0.85 c 16
0.85 o 88
0.85 c 15
0.85 o 89
0.85 c 14
0.85 o 90
0.85 c 13
0.86 o 91
0.86 c 12
0.86 o 92
0.86 c 11
0.89 o 93
0.89 c 10
0.90 o 94
0.90 c 9
0.93 o 95
0.93 c 8
1.11 o 96
1.11 c 7
1.14 o 97
1.14 c 6
1.15 o 98
1.15 c 5
6.41
6.42 search
6.42 run=0 nbConstraintChecks=44430967 nbAssignments=10000
6.42 => wckTime=5.624 cpuTime=5.57 mem=6M328
7.02 o 99
7.02 c 4
12.34
12.34 search
12.34 run=1 nbConstraintChecks=90544868 nbAssignments=20000
12.34 => wckTime=11.553 cpuTime=11.46 mem=6M328
18.07
18.07 search
18.07 run=2 nbConstraintChecks=134734906 nbAssignments=30000
18.07 => wckTime=17.276 cpuTime=17.17 mem=6M328
24.20
24.20 search
24.20 run=3 nbConstraintChecks=182170739 nbAssignments=40000
24.20 => wckTime=23.411 cpuTime=23.26 mem=6M328
27.61 o 100
27.61 c 3
29.58
29.58 search
29.58 run=4 nbConstraintChecks=223553374 nbAssignments=50000
29.58 => wckTime=28.794 cpuTime=28.62 mem=6M328
35.52
35.52 search
35.52 run=5 nbConstraintChecks=269154786 nbAssignments=60000
35.52 => wckTime=34.731 cpuTime=34.53 mem=6M328
41.02
41.02 search
41.02 run=6 nbConstraintChecks=311095882 nbAssignments=70000
41.02 => wckTime=40.232 cpuTime=40.01 mem=6M328
47.10
47.10 search
47.10 run=7 nbConstraintChecks=358297034 nbAssignments=80000
47.10 => wckTime=46.313 cpuTime=46.06 mem=6M328
52.61
52.61 search
52.61 run=8 nbConstraintChecks=400947636 nbAssignments=90000
52.61 => wckTime=51.82 cpuTime=51.54 mem=6M328
57.76
57.76 search
57.76 run=9 nbConstraintChecks=441216728 nbAssignments=98155
57.76 => wckTime=56.97 cpuTime=56.67 mem=6M328
57.76
57.76 global
57.76 nbConstraintChecks=441216728 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
57.76 solvingWckTime=56.966 solvingCpuTime=56.67 expiredTime=no totalExploration=no nbFoundSolutions=0
57.76 globalCpuTime=57.08
57.76 => wckTime=57.447 cpuTime=57.03 mem=6M328
57.76
57.76 solver IterativeSystematicSolver being built...
57.89 => wckTime=57.574 cpuTime=57.13 mem=17M252
57.90
57.90 preprocessing
57.90 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
57.90 detectedInconsistency=no
57.90 => wckTime=0.0060 cpuTime=0.0 mem=17M252
58.24
58.24 search
58.24 run=0 nbConstraintChecks=1333963 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=138
58.24 nbFailedAssignments=118 nbBacktracks=10 nbVisitedNodes=267 nbRestartNogoods=0
58.24 => wckTime=0.353 cpuTime=0.31 mem=17M252
58.77
58.77 search
58.77 run=1 nbConstraintChecks=4057953 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=376
58.77 nbFailedAssignments=333 nbBacktracks=25 nbVisitedNodes=735 nbRestartNogoods=117
58.77 => wckTime=0.876 cpuTime=0.83 mem=17M252
60.07
60.07 search
60.07 run=2 nbConstraintChecks=10683839 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=883
60.07 nbFailedAssignments=813 nbBacktracks=47 nbVisitedNodes=1744 nbRestartNogoods=147
60.07 => wckTime=2.176 cpuTime=2.11 mem=17M252
61.10
61.10 search
61.10 run=3 nbConstraintChecks=15868552 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1382
61.10 nbFailedAssignments=1265 nbBacktracks=80 nbVisitedNodes=2728 nbRestartNogoods=164
61.10 => wckTime=3.213 cpuTime=3.14 mem=17M252
63.60
63.60 search
63.60 run=4 nbConstraintChecks=31503100 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2695
63.60 nbFailedAssignments=2522 nbBacktracks=130 nbVisitedNodes=5348 nbRestartNogoods=338
63.60 => wckTime=5.706 cpuTime=5.61 mem=17M252
64.07
64.07 search
64.07 run=5 nbConstraintChecks=33932737 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2860
64.07 nbFailedAssignments=2600 nbBacktracks=205 nbVisitedNodes=5666 nbRestartNogoods=472
64.07 => wckTime=6.18 cpuTime=6.08 mem=17M252
65.59
65.59 search
65.59 run=6 nbConstraintChecks=42469275 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3784
65.59 nbFailedAssignments=3398 nbBacktracks=318 nbVisitedNodes=7501 nbRestartNogoods=490
65.59 => wckTime=7.7 cpuTime=7.6 mem=17M252
67.77
67.77 search
67.77 run=7 nbConstraintChecks=54878664 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5144
67.77 nbFailedAssignments=4575 nbBacktracks=488 nbVisitedNodes=10208 nbRestartNogoods=543
67.77 => wckTime=9.884 cpuTime=9.77 mem=17M252
73.16
73.16 search
73.16 run=8 nbConstraintChecks=88079728 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7949
73.16 nbFailedAssignments=7109 nbBacktracks=744 nbVisitedNodes=15803 nbRestartNogoods=553
73.16 => wckTime=15.265 cpuTime=15.12 mem=17M252
76.50
76.50 search
76.50 run=9 nbConstraintChecks=106063646 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=10427
76.50 nbFailedAssignments=9190 nbBacktracks=1128 nbVisitedNodes=20746 nbRestartNogoods=708
76.50 => wckTime=18.609 cpuTime=18.45 mem=17M252
95.08
95.09 search
95.09 run=10 nbConstraintChecks=211448451 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=19374
95.09 nbFailedAssignments=17551 nbBacktracks=1704 nbVisitedNodes=38629 nbRestartNogoods=745
95.09 => wckTime=37.194 cpuTime=36.94 mem=17M252
117.34
117.34 search
117.34 run=11 nbConstraintChecks=347592872 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=34857
117.34 nbFailedAssignments=32155 nbBacktracks=2568 nbVisitedNodes=69579 nbRestartNogoods=895
117.34 => wckTime=59.453 cpuTime=59.09 mem=17M252
129.97
129.97 search
129.97 run=12 nbConstraintChecks=429669986 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=44004
129.97 nbFailedAssignments=39989 nbBacktracks=3867 nbVisitedNodes=87857 nbRestartNogoods=1054
129.97 => wckTime=72.078 cpuTime=71.66 mem=17M252
166.42
166.42 search
166.42 run=13 nbConstraintChecks=592433579 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=61801
166.42 nbFailedAssignments=55828 nbBacktracks=5813 nbVisitedNodes=123439 nbRestartNogoods=1088
166.42 => wckTime=108.527 cpuTime=107.93 mem=17M252
218.44
218.49 search
218.49 run=14 nbConstraintChecks=863310171 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=85610
218.49 nbFailedAssignments=76702 nbBacktracks=8732 nbVisitedNodes=171038 nbRestartNogoods=1204
218.49 => wckTime=160.554 cpuTime=159.72 mem=17M252
257.37
257.37 search
257.37 run=15 nbConstraintChecks=1035672012 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=107706
257.37 nbFailedAssignments=94412 nbBacktracks=13110 nbVisitedNodes=215120 nbRestartNogoods=1297
257.37 => wckTime=199.479 cpuTime=198.46 mem=17M252
317.35
317.35 search
317.35 run=16 nbConstraintChecks=1278135233 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=131629
317.35 nbFailedAssignments=111756 nbBacktracks=19678 nbVisitedNodes=262783 nbRestartNogoods=1323
317.35 => wckTime=259.458 cpuTime=258.15 mem=17M252
404.80
404.80 search
404.80 run=17 nbConstraintChecks=1571534195 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=159279
404.80 nbFailedAssignments=129549 nbBacktracks=29530 nbVisitedNodes=316340 nbRestartNogoods=1396
404.80 => wckTime=346.914 cpuTime=345.06 mem=17M252
520.45
520.45 search
520.45 run=18 nbConstraintChecks=1951646678 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=197456
520.45 nbFailedAssignments=152944 nbBacktracks=44309 nbVisitedNodes=390888 nbRestartNogoods=1460
520.45 => wckTime=462.556 cpuTime=460.13 mem=17M252
695.10
695.10 search
695.10 run=19 nbConstraintChecks=2522407970 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=253283
695.10 nbFailedAssignments=186598 nbBacktracks=66477 nbVisitedNodes=497324 nbRestartNogoods=1494
695.10 => wckTime=637.208 cpuTime=633.97 mem=17M252
962.88
962.88 search
962.88 run=20 nbConstraintChecks=3386806100 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=335447
962.88 nbFailedAssignments=235504 nbBacktracks=99729 nbVisitedNodes=654713 nbRestartNogoods=1524
962.88 => wckTime=904.985 cpuTime=900.84 mem=17M252
1345.49
1345.49 search
1345.49 run=21 nbConstraintChecks=4641274797 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=455323
1345.49 nbFailedAssignments=305494 nbBacktracks=149607 nbVisitedNodes=883425 nbRestartNogoods=1550
1345.49 => wckTime=1287.602 cpuTime=1283.36 mem=17M252
1910.75
1910.75 search
1910.75 run=22 nbConstraintChecks=6448767466 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=633731
1910.75 nbFailedAssignments=409077 nbBacktracks=224425 nbVisitedNodes=1223236 nbRestartNogoods=1581
1910.75 => wckTime=1852.863 cpuTime=1848.47 mem=17M252
2406.71 v 72 6 38 11 35 30 19 10 47 9 41 36 29 47 9 31 27 4 68 47 71 74 6 33 70 79 0 43 38 66 47 51 48 48 26 22 46 56 66 36
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node7/watcher-276392-1169236521 -o ROOT/results/node7/solver-276392-1169236521 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276392-1169236521/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 2/87 13463
/proc/meminfo: memFree=817104/2055920 swapFree=4192812/4192956
[pid=13462] ppid=13460 vsize=18540 CPUtime=0
/proc/13462/stat : 13462 (runsolver) R 13460 13462 12906 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 272047544 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 244671114535 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/13462/statm: 4635 279 244 17 0 2626 0
[startup+0.102644 s]
/proc/loadavg: 2.00 2.00 2.00 2/87 13463
/proc/meminfo: memFree=817104/2055920 swapFree=4192812/4192956
[pid=13462] ppid=13460 vsize=913228 CPUtime=0.08
/proc/13462/stat : 13462 (java) D 13460 13462 12906 0 -1 0 2920 0 1 0 6 2 0 0 17 0 8 0 272047544 935145472 2666 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13462/statm: 228307 2666 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913228
[startup+0.510687 s]
/proc/loadavg: 2.00 2.00 2.00 2/87 13463
/proc/meminfo: memFree=817104/2055920 swapFree=4192812/4192956
[pid=13462] ppid=13460 vsize=915332 CPUtime=0.48
/proc/13462/stat : 13462 (java) R 13460 13462 12906 0 -1 0 7210 0 1 0 43 5 0 0 18 0 8 0 272047544 937299968 6949 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073564452 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13462/statm: 228833 6949 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.33177 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 13470
/proc/meminfo: memFree=786008/2055920 swapFree=4192812/4192956
[pid=13462] ppid=13460 vsize=915444 CPUtime=1.3
/proc/13462/stat : 13462 (java) R 13460 13462 12906 0 -1 0 10427 0 1 0 119 11 0 0 25 0 8 0 272047544 937414656 10165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073679938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13462/statm: 228861 10165 2476 14 0 215331 0
[pid=13462/tid=13464] ppid=13460 vsize=915444 CPUtime=0.03
/proc/13462/task/13464/stat : 13464 (java) S 13460 13462 12906 0 -1 64 355 0 0 0 3 0 0 0 16 0 8 0 272047549 937414656 10165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13465] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13465/stat : 13465 (java) S 13460 13462 12906 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272047549 937414656 10165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13466] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13466/stat : 13466 (java) S 13460 13462 12906 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272047549 937414656 10165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13467] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13467/stat : 13467 (java) S 13460 13462 12906 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272047552 937414656 10165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13468] ppid=13460 vsize=915444 CPUtime=0.12
/proc/13462/task/13468/stat : 13468 (java) S 13460 13462 12906 0 -1 64 330 0 0 0 12 0 0 0 16 0 8 0 272047552 937414656 10165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13469] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13469/stat : 13469 (java) S 13460 13462 12906 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272047552 937414656 10165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13470] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13470/stat : 13470 (java) S 13460 13462 12906 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272047553 937414656 10165 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) 915444
[startup+2.96894 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 13470
/proc/meminfo: memFree=786008/2055920 swapFree=4192812/4192956
[pid=13462] ppid=13460 vsize=915444 CPUtime=2.93
/proc/13462/stat : 13462 (java) R 13460 13462 12906 0 -1 0 10432 0 1 0 269 24 0 0 25 0 8 0 272047544 937414656 10169 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073676965 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13462/statm: 228861 10169 2476 14 0 215331 0
[pid=13462/tid=13464] ppid=13460 vsize=915444 CPUtime=0.03
/proc/13462/task/13464/stat : 13464 (java) S 13460 13462 12906 0 -1 64 355 0 0 0 3 0 0 0 16 0 8 0 272047549 937414656 10169 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13465] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13465/stat : 13465 (java) S 13460 13462 12906 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272047549 937414656 10169 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13466] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13466/stat : 13466 (java) S 13460 13462 12906 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272047549 937414656 10169 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13467] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13467/stat : 13467 (java) S 13460 13462 12906 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272047552 937414656 10169 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13468] ppid=13460 vsize=915444 CPUtime=0.13
/proc/13462/task/13468/stat : 13468 (java) S 13460 13462 12906 0 -1 64 334 0 0 0 13 0 0 0 16 0 8 0 272047552 937414656 10169 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13469] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13469/stat : 13469 (java) S 13460 13462 12906 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272047552 937414656 10169 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13470] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13470/stat : 13470 (java) S 13460 13462 12906 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272047553 937414656 10169 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915444
[startup+6.17427 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 13470
/proc/meminfo: memFree=785880/2055920 swapFree=4192812/4192956
[pid=13462] ppid=13460 vsize=915444 CPUtime=6.12
/proc/13462/stat : 13462 (java) R 13460 13462 12906 0 -1 0 10432 0 1 0 565 47 0 0 25 0 8 0 272047544 937414656 10169 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073679876 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13462/statm: 228861 10169 2476 14 0 215331 0
[pid=13462/tid=13464] ppid=13460 vsize=915444 CPUtime=0.03
/proc/13462/task/13464/stat : 13464 (java) S 13460 13462 12906 0 -1 64 355 0 0 0 3 0 0 0 16 0 8 0 272047549 937414656 10169 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13465] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13465/stat : 13465 (java) S 13460 13462 12906 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272047549 937414656 10169 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13466] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13466/stat : 13466 (java) S 13460 13462 12906 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272047549 937414656 10169 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13467] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13467/stat : 13467 (java) S 13460 13462 12906 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272047552 937414656 10169 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13468] ppid=13460 vsize=915444 CPUtime=0.13
/proc/13462/task/13468/stat : 13468 (java) S 13460 13462 12906 0 -1 64 334 0 0 0 13 0 0 0 16 0 8 0 272047552 937414656 10169 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13469] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13469/stat : 13469 (java) S 13460 13462 12906 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272047552 937414656 10169 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13470] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13470/stat : 13470 (java) S 13460 13462 12906 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272047553 937414656 10169 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 915444
[startup+12.644 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 13470
/proc/meminfo: memFree=785880/2055920 swapFree=4192812/4192956
[pid=13462] ppid=13460 vsize=915444 CPUtime=12.56
/proc/13462/stat : 13462 (java) R 13460 13462 12906 0 -1 0 10434 0 1 0 1161 95 0 0 25 0 8 0 272047544 937414656 10171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073675049 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13462/statm: 228861 10171 2476 14 0 215331 0
[pid=13462/tid=13464] ppid=13460 vsize=915444 CPUtime=0.03
/proc/13462/task/13464/stat : 13464 (java) S 13460 13462 12906 0 -1 64 355 0 0 0 3 0 0 0 16 0 8 0 272047549 937414656 10171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13465] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13465/stat : 13465 (java) S 13460 13462 12906 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272047549 937414656 10171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13466] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13466/stat : 13466 (java) S 13460 13462 12906 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272047549 937414656 10171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13467] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13467/stat : 13467 (java) S 13460 13462 12906 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272047552 937414656 10171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13468] ppid=13460 vsize=915444 CPUtime=0.13
/proc/13462/task/13468/stat : 13468 (java) S 13460 13462 12906 0 -1 64 336 0 0 0 13 0 0 0 16 0 8 0 272047552 937414656 10171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13469] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13469/stat : 13469 (java) S 13460 13462 12906 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272047552 937414656 10171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13470] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13470/stat : 13470 (java) S 13460 13462 12906 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272047553 937414656 10171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 915444
[startup+25.5083 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 13470
/proc/meminfo: memFree=785944/2055920 swapFree=4192812/4192956
[pid=13462] ppid=13460 vsize=915444 CPUtime=25.36
/proc/13462/stat : 13462 (java) R 13460 13462 12906 0 -1 0 10434 0 1 0 2357 179 0 0 25 0 8 0 272047544 937414656 10171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073681247 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13462/statm: 228861 10171 2476 14 0 215331 0
[pid=13462/tid=13464] ppid=13460 vsize=915444 CPUtime=0.03
/proc/13462/task/13464/stat : 13464 (java) S 13460 13462 12906 0 -1 64 355 0 0 0 3 0 0 0 16 0 8 0 272047549 937414656 10171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13465] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13465/stat : 13465 (java) S 13460 13462 12906 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272047549 937414656 10171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13466] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13466/stat : 13466 (java) S 13460 13462 12906 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272047549 937414656 10171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13467] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13467/stat : 13467 (java) S 13460 13462 12906 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272047552 937414656 10171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13468] ppid=13460 vsize=915444 CPUtime=0.13
/proc/13462/task/13468/stat : 13468 (java) S 13460 13462 12906 0 -1 64 336 0 0 0 13 0 0 0 16 0 8 0 272047552 937414656 10171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13469] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13469/stat : 13469 (java) S 13460 13462 12906 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272047552 937414656 10171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13470] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13470/stat : 13470 (java) S 13460 13462 12906 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272047553 937414656 10171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915444
[startup+51.117 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 13470
/proc/meminfo: memFree=786008/2055920 swapFree=4192812/4192956
[pid=13462] ppid=13460 vsize=915444 CPUtime=50.85
/proc/13462/stat : 13462 (java) R 13460 13462 12906 0 -1 0 10434 0 1 0 4717 368 0 0 25 0 8 0 272047544 937414656 10171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073681719 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13462/statm: 228861 10171 2476 14 0 215331 0
[pid=13462/tid=13464] ppid=13460 vsize=915444 CPUtime=0.03
/proc/13462/task/13464/stat : 13464 (java) S 13460 13462 12906 0 -1 64 355 0 0 0 3 0 0 0 16 0 8 0 272047549 937414656 10171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13465] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13465/stat : 13465 (java) S 13460 13462 12906 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272047549 937414656 10171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13466] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13466/stat : 13466 (java) S 13460 13462 12906 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272047549 937414656 10171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13467] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13467/stat : 13467 (java) S 13460 13462 12906 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272047552 937414656 10171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13468] ppid=13460 vsize=915444 CPUtime=0.13
/proc/13462/task/13468/stat : 13468 (java) S 13460 13462 12906 0 -1 64 336 0 0 0 13 0 0 0 16 0 8 0 272047552 937414656 10171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13469] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13469/stat : 13469 (java) S 13460 13462 12906 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272047552 937414656 10171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13470] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13470/stat : 13470 (java) S 13460 13462 12906 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272047553 937414656 10171 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 915444
[startup+102.334 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 13470
/proc/meminfo: memFree=785560/2055920 swapFree=4192812/4192956
[pid=13462] ppid=13460 vsize=915444 CPUtime=101.82
/proc/13462/stat : 13462 (java) R 13460 13462 12906 0 -1 0 10595 0 1 0 9770 412 0 0 25 0 8 0 272047544 937414656 10324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073673361 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13462/statm: 228861 10324 2527 14 0 215331 0
[pid=13462/tid=13464] ppid=13460 vsize=915444 CPUtime=0.03
/proc/13462/task/13464/stat : 13464 (java) S 13460 13462 12906 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272047549 937414656 10324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13465] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13465/stat : 13465 (java) S 13460 13462 12906 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272047549 937414656 10324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13466] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13466/stat : 13466 (java) S 13460 13462 12906 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272047549 937414656 10324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13467] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13467/stat : 13467 (java) S 13460 13462 12906 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272047552 937414656 10324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13468] ppid=13460 vsize=915444 CPUtime=0.25
/proc/13462/task/13468/stat : 13468 (java) S 13460 13462 12906 0 -1 64 392 0 0 0 24 1 0 0 17 0 8 0 272047552 937414656 10324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13469] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13469/stat : 13469 (java) S 13460 13462 12906 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272047552 937414656 10324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13470] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13470/stat : 13470 (java) S 13460 13462 12906 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272047553 937414656 10324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 915444
[startup+162.393 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 13470
/proc/meminfo: memFree=785560/2055920 swapFree=4192812/4192956
[pid=13462] ppid=13460 vsize=915444 CPUtime=161.6
/proc/13462/stat : 13462 (java) R 13460 13462 12906 0 -1 0 10595 0 1 0 15747 413 0 0 25 0 8 0 272047544 937414656 10324 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793166 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2020.21
Current children cumulated vsize (KiB) 915444
[startup+2084.94 s]
/proc/loadavg: 2.03 2.02 2.00 3/94 13670
/proc/meminfo: memFree=785560/2055920 swapFree=4192812/4192956
[pid=13462] ppid=13460 vsize=915444 CPUtime=2080.12
/proc/13462/stat : 13462 (java) R 13460 13462 12906 0 -1 0 10599 0 1 0 207586 426 0 0 25 0 8 0 272047544 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073828374 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13462/statm: 228861 10325 2527 14 0 215331 0
[pid=13462/tid=13464] ppid=13460 vsize=915444 CPUtime=0.03
/proc/13462/task/13464/stat : 13464 (java) S 13460 13462 12906 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272047549 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13465] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13465/stat : 13465 (java) S 13460 13462 12906 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272047549 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13466] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13466/stat : 13466 (java) S 13460 13462 12906 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272047549 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13467] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13467/stat : 13467 (java) S 13460 13462 12906 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272047552 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13468] ppid=13460 vsize=915444 CPUtime=0.25
/proc/13462/task/13468/stat : 13468 (java) S 13460 13462 12906 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 272047552 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13469] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13469/stat : 13469 (java) S 13460 13462 12906 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272047552 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13470] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13470/stat : 13470 (java) S 13460 13462 12906 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272047553 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2080.12
Current children cumulated vsize (KiB) 915444
[startup+2145.04 s]
/proc/loadavg: 2.01 2.02 2.00 3/94 13670
/proc/meminfo: memFree=785560/2055920 swapFree=4192812/4192956
[pid=13462] ppid=13460 vsize=915444 CPUtime=2139.94
/proc/13462/stat : 13462 (java) R 13460 13462 12906 0 -1 0 10599 0 1 0 213567 427 0 0 25 0 8 0 272047544 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073785592 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13462/statm: 228861 10325 2527 14 0 215331 0
[pid=13462/tid=13464] ppid=13460 vsize=915444 CPUtime=0.03
/proc/13462/task/13464/stat : 13464 (java) S 13460 13462 12906 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272047549 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13465] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13465/stat : 13465 (java) S 13460 13462 12906 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272047549 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13466] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13466/stat : 13466 (java) S 13460 13462 12906 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272047549 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13467] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13467/stat : 13467 (java) S 13460 13462 12906 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272047552 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13468] ppid=13460 vsize=915444 CPUtime=0.25
/proc/13462/task/13468/stat : 13468 (java) S 13460 13462 12906 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 272047552 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13469] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13469/stat : 13469 (java) S 13460 13462 12906 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272047552 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13470] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13470/stat : 13470 (java) S 13460 13462 12906 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272047553 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2139.94
Current children cumulated vsize (KiB) 915444
[startup+2205.09 s]
/proc/loadavg: 1.91 1.98 1.99 3/94 13783
/proc/meminfo: memFree=1312792/2055920 swapFree=4192812/4192956
[pid=13462] ppid=13460 vsize=915444 CPUtime=2199.63
/proc/13462/stat : 13462 (java) R 13460 13462 12906 0 -1 0 10599 0 1 0 219533 430 0 0 25 0 8 0 272047544 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073673344 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13462/statm: 228861 10325 2527 14 0 215331 0
[pid=13462/tid=13464] ppid=13460 vsize=915444 CPUtime=0.03
/proc/13462/task/13464/stat : 13464 (java) S 13460 13462 12906 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272047549 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13465] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13465/stat : 13465 (java) S 13460 13462 12906 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272047549 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13466] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13466/stat : 13466 (java) S 13460 13462 12906 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272047549 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13467] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13467/stat : 13467 (java) S 13460 13462 12906 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272047552 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13468] ppid=13460 vsize=915444 CPUtime=0.25
/proc/13462/task/13468/stat : 13468 (java) S 13460 13462 12906 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 272047552 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13469] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13469/stat : 13469 (java) S 13460 13462 12906 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272047552 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13470] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13470/stat : 13470 (java) S 13460 13462 12906 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272047553 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2199.63
Current children cumulated vsize (KiB) 915444
[startup+2265.13 s]
/proc/loadavg: 1.96 1.98 1.99 3/94 13783
/proc/meminfo: memFree=1312856/2055920 swapFree=4192812/4192956
[pid=13462] ppid=13460 vsize=915444 CPUtime=2259.35
/proc/13462/stat : 13462 (java) R 13460 13462 12906 0 -1 0 10599 0 1 0 225505 430 0 0 25 0 8 0 272047544 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073838635 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13462/statm: 228861 10325 2527 14 0 215331 0
[pid=13462/tid=13464] ppid=13460 vsize=915444 CPUtime=0.03
/proc/13462/task/13464/stat : 13464 (java) S 13460 13462 12906 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272047549 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13465] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13465/stat : 13465 (java) S 13460 13462 12906 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272047549 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13466] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13466/stat : 13466 (java) S 13460 13462 12906 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272047549 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13467] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13467/stat : 13467 (java) S 13460 13462 12906 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272047552 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13468] ppid=13460 vsize=915444 CPUtime=0.25
/proc/13462/task/13468/stat : 13468 (java) S 13460 13462 12906 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 272047552 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13469] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13469/stat : 13469 (java) S 13460 13462 12906 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272047552 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13470] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13470/stat : 13470 (java) S 13460 13462 12906 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272047553 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2259.35
Current children cumulated vsize (KiB) 915444
[startup+2325.18 s]
/proc/loadavg: 1.98 1.98 1.99 3/94 13783
/proc/meminfo: memFree=1312920/2055920 swapFree=4192812/4192956
[pid=13462] ppid=13460 vsize=915444 CPUtime=2319.08
/proc/13462/stat : 13462 (java) R 13460 13462 12906 0 -1 0 10599 0 1 0 231478 430 0 0 25 0 8 0 272047544 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073790920 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13462/statm: 228861 10325 2527 14 0 215331 0
[pid=13462/tid=13464] ppid=13460 vsize=915444 CPUtime=0.03
/proc/13462/task/13464/stat : 13464 (java) S 13460 13462 12906 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272047549 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13465] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13465/stat : 13465 (java) S 13460 13462 12906 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272047549 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13466] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13466/stat : 13466 (java) S 13460 13462 12906 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272047549 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13467] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13467/stat : 13467 (java) S 13460 13462 12906 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272047552 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13468] ppid=13460 vsize=915444 CPUtime=0.25
/proc/13462/task/13468/stat : 13468 (java) S 13460 13462 12906 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 272047552 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13469] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13469/stat : 13469 (java) S 13460 13462 12906 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272047552 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13470] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13470/stat : 13470 (java) S 13460 13462 12906 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272047553 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2319.08
Current children cumulated vsize (KiB) 915444
[startup+2385.22 s]
/proc/loadavg: 1.90 1.96 1.98 3/95 13968
/proc/meminfo: memFree=1307024/2055920 swapFree=4192812/4192956
[pid=13462] ppid=13460 vsize=915444 CPUtime=2378.73
/proc/13462/stat : 13462 (java) R 13460 13462 12906 0 -1 0 10599 0 1 0 237441 432 0 0 25 0 8 0 272047544 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073792542 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13462/statm: 228861 10325 2527 14 0 215331 0
[pid=13462/tid=13464] ppid=13460 vsize=915444 CPUtime=0.03
/proc/13462/task/13464/stat : 13464 (java) S 13460 13462 12906 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272047549 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13465] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13465/stat : 13465 (java) S 13460 13462 12906 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272047549 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13466] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13466/stat : 13466 (java) S 13460 13462 12906 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272047549 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13467] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13467/stat : 13467 (java) S 13460 13462 12906 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272047552 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13468] ppid=13460 vsize=915444 CPUtime=0.25
/proc/13462/task/13468/stat : 13468 (java) S 13460 13462 12906 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 272047552 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13469] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13469/stat : 13469 (java) S 13460 13462 12906 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272047552 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13470] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13470/stat : 13470 (java) S 13460 13462 12906 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272047553 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2378.73
Current children cumulated vsize (KiB) 915444
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2406.7 s]
/proc/loadavg: 1.94 1.97 1.98 4/94 13969
/proc/meminfo: memFree=1259544/2055920 swapFree=4192812/4192956
[pid=13462] ppid=13460 vsize=915444 CPUtime=2400.02
/proc/13462/stat : 13462 (java) R 13460 13462 12906 0 -1 0 10599 0 1 0 239569 433 0 0 25 0 8 0 272047544 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793136 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13462/statm: 228861 10325 2527 14 0 215331 0
[pid=13462/tid=13464] ppid=13460 vsize=915444 CPUtime=0.03
/proc/13462/task/13464/stat : 13464 (java) S 13460 13462 12906 0 -1 64 356 0 0 0 3 0 0 0 16 0 8 0 272047549 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13465] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13465/stat : 13465 (java) S 13460 13462 12906 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272047549 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13466] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13466/stat : 13466 (java) S 13460 13462 12906 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 272047549 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13467] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13467/stat : 13467 (java) S 13460 13462 12906 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 272047552 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13468] ppid=13460 vsize=915444 CPUtime=0.25
/proc/13462/task/13468/stat : 13468 (java) S 13460 13462 12906 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 272047552 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13469] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13469/stat : 13469 (java) S 13460 13462 12906 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272047552 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13462/tid=13470] ppid=13460 vsize=915444 CPUtime=0
/proc/13462/task/13470/stat : 13470 (java) S 13460 13462 12906 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 272047553 937414656 10325 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 915444
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2406.78
CPU time (s): 2400.09
CPU user time (s): 2395.75
CPU system time (s): 4.33834
CPU usage (%): 99.7221
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.75
system time used= 4.33834
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10618
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= 49807
involuntary context switches= 67060
runsolver used 3.08253 s user time and 7.55985 s system time
The end
Begin job on node7 on Fri Jan 19 19:55:21 UTC 2007
IDJOB= 276392
IDBENCH= 5732
IDSOLVER= 69
FILE ID= node7/276392-1169236521
PBS_JOBID= 3588995
Free space on /tmp= 66559 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.8/rand-2-40-80-103-800-29_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276392-1169236521/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-276392-1169236521 -o ROOT/results/node7/solver-276392-1169236521 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276392-1169236521/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= eb2e85044c616a714f9eeb520026d899
RANDOM SEED= 701951591
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.220
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.220
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: 817584 kB
Buffers: 52036 kB
Cached: 506856 kB
SwapCached: 0 kB
Active: 733392 kB
Inactive: 422476 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 817584 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2428 kB
Writeback: 0 kB
Mapped: 617112 kB
Slab: 66140 kB
Committed_AS: 8404624 kB
PageTables: 3432 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= 66558 MiB
End job on node7 on Fri Jan 19 20:35:28 UTC 2007