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/276120-1169231363/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.45 nbVariables=400 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.45 => wckTime=0.14 cpuTime=0.1 mem=6M910
0.45
0.46 predicates being loaded...
0.46
0.46 constraints being loaded...
6.26 nbConstraints=36100 nbConflictsStructures=1 nbSharedConflictsStructures=36099 nbSharedBinaryRepresentations=0
6.26 nbEvaluationManagers=1 nbSharedEvaluationManagers=36099 maxDegree=361 maxArity=4
6.26 => wckTime=5.942 cpuTime=5.18 mem=122M42
6.56
6.56 solver LocalSearchSolver being built...
6.60 => wckTime=6.284 cpuTime=5.23 mem=101M531
6.66
6.66 s SATISFIABLE
6.66 o 31773
6.66 c 4327
6.67 o 31843
6.67 c 4257
6.67 o 31897
6.67 c 4203
6.68 o 31948
6.68 c 4152
6.69 o 31990
6.69 c 4110
6.70 o 32037
6.70 c 4063
6.71 o 32074
6.71 c 4026
6.72 o 32107
6.72 c 3993
6.72 o 32138
6.72 c 3962
6.73 o 32175
6.73 c 3925
6.74 o 32208
6.74 c 3892
6.74 o 32236
6.74 c 3864
6.75 o 32267
6.75 c 3833
6.75 o 32288
6.75 c 3812
6.76 o 32308
6.76 c 3792
6.77 o 32335
6.77 c 3765
6.77 o 32352
6.77 c 3748
6.78 o 32368
6.78 c 3732
6.79 o 32387
6.79 c 3713
6.79 o 32406
6.79 c 3694
6.80 o 32422
6.80 c 3678
6.81 o 32439
6.81 c 3661
6.81 o 32457
6.81 c 3643
6.82 o 32467
6.82 c 3633
6.82 o 32484
6.82 c 3616
6.83 o 32490
6.83 c 3610
6.84 o 32499
6.84 c 3601
6.84 o 32510
6.84 c 3590
6.85 o 32516
6.85 c 3584
6.85 o 32525
6.85 c 3575
6.86 o 32529
6.86 c 3571
6.87 o 32533
6.87 c 3567
6.88 o 32546
6.88 c 3554
6.88 o 32548
6.88 c 3552
6.89 o 32552
6.89 c 3548
6.90 o 32554
6.90 c 3546
6.91 o 32560
6.91 c 3540
6.92 o 32568
6.92 c 3532
6.92 o 32575
6.92 c 3525
7.18 o 32577
7.18 c 3523
7.19 o 32582
7.19 c 3518
37.25 o 32584
37.25 c 3516
37.95 o 32590
37.95 c 3510
41.77 o 32596
41.77 c 3504
42.36 o 32598
42.36 c 3502
42.58 o 32600
42.58 c 3500
49.77 o 32602
49.77 c 3498
49.91 o 32603
49.91 c 3497
49.98 o 32612
49.98 c 3488
80.02
80.02 search
80.02 run=0 nbConstraintChecks=79896262 nbAssignments=1609
80.02 => wckTime=73.421 cpuTime=73.35 mem=101M531
80.02
80.02 global
80.02 nbConstraintChecks=79896262 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
80.02 solvingWckTime=73.419 solvingCpuTime=73.35 expiredTime=no totalExploration=no nbFoundSolutions=0
80.02 globalCpuTime=78.64
80.02 => wckTime=79.706 cpuTime=78.58 mem=101M531
80.02
80.02 solver IterativeSystematicSolver being built...
81.10 => wckTime=80.788 cpuTime=79.37 mem=142M380
81.23
81.23 preprocessing
81.23 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
81.23 detectedInconsistency=no
81.23 => wckTime=0.123 cpuTime=0.11 mem=147M482
104.45
104.45 search
104.45 run=0 nbConstraintChecks=1956994 nbValidityChecks=4448667 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
104.45 nbAssignments=320 nbFailedAssignments=9 nbBacktracks=10 nbVisitedNodes=340 nbRestartNogoods=0
104.45 => wckTime=23.344 cpuTime=23.28 mem=147M482
130.88
130.88 search
130.88 run=1 nbConstraintChecks=5146499 nbValidityChecks=10923237 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
130.88 nbAssignments=689 nbFailedAssignments=24 nbBacktracks=25 nbVisitedNodes=739 nbRestartNogoods=2
130.88 => wckTime=49.776 cpuTime=49.69 mem=147M482
159.01
159.01 search
159.01 run=2 nbConstraintChecks=9415565 nbValidityChecks=18153508 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
159.01 nbAssignments=1085 nbFailedAssignments=43 nbBacktracks=47 nbVisitedNodes=1176 nbRestartNogoods=5
159.01 => wckTime=77.904 cpuTime=77.81 mem=147M482
188.96
188.96 search
188.96 run=3 nbConstraintChecks=14694660 nbValidityChecks=25886353 nbPropagations=0 nbRevisions=0
188.96 nbUselessRevisions=0 nbAssignments=1502 nbFailedAssignments=63 nbBacktracks=80 nbVisitedNodes=1646
188.96 nbRestartNogoods=9
188.96 => wckTime=107.859 cpuTime=107.73 mem=147M482
221.79
221.79 search
221.79 run=4 nbConstraintChecks=21481929 nbValidityChecks=34554500 nbPropagations=0 nbRevisions=0
221.79 nbUselessRevisions=0 nbAssignments=1945 nbFailedAssignments=92 nbBacktracks=131 nbVisitedNodes=2169
221.79 nbRestartNogoods=12
221.79 => wckTime=140.681 cpuTime=140.53 mem=147M482
259.20
259.20 search
259.20 run=5 nbConstraintChecks=30461761 nbValidityChecks=44909294 nbPropagations=0 nbRevisions=0
259.20 nbUselessRevisions=0 nbAssignments=2430 nbFailedAssignments=134 nbBacktracks=208 nbVisitedNodes=2773
259.20 nbRestartNogoods=13
259.20 => wckTime=178.093 cpuTime=177.92 mem=147M482
303.70
303.70 search
303.70 run=6 nbConstraintChecks=43020306 nbValidityChecks=57731076 nbPropagations=0 nbRevisions=0
303.70 nbUselessRevisions=0 nbAssignments=2978 nbFailedAssignments=206 nbBacktracks=321 nbVisitedNodes=3506
303.70 nbRestartNogoods=15
303.70 => wckTime=222.596 cpuTime=222.41 mem=147M482
360.07
360.07 search
360.07 run=7 nbConstraintChecks=61410903 nbValidityChecks=74034409 nbPropagations=0 nbRevisions=0
360.07 nbUselessRevisions=0 nbAssignments=3631 nbFailedAssignments=319 nbBacktracks=491 nbVisitedNodes=4442
360.07 nbRestartNogoods=18
360.07 => wckTime=278.965 cpuTime=278.76 mem=147M482
438.69
438.69 search
438.69 run=8 nbConstraintChecks=89812219 nbValidityChecks=98114754 nbPropagations=0 nbRevisions=0
438.69 nbUselessRevisions=0 nbAssignments=4469 nbFailedAssignments=536 nbBacktracks=747 nbVisitedNodes=5753
438.69 nbRestartNogoods=21
438.69 => wckTime=357.582 cpuTime=357.35 mem=147M482
542.81
542.81 search
542.81 run=9 nbConstraintChecks=130688184 nbValidityChecks=130758394 nbPropagations=0 nbRevisions=0
542.81 nbUselessRevisions=0 nbAssignments=5532 nbFailedAssignments=852 nbBacktracks=1131 nbVisitedNodes=7516
542.81 nbRestartNogoods=24
542.81 => wckTime=461.71 cpuTime=461.44 mem=147M482
681.77
681.77 search
681.77 run=10 nbConstraintChecks=187759449 nbValidityChecks=175087908 nbPropagations=0 nbRevisions=0
681.77 nbUselessRevisions=0 nbAssignments=6893 nbFailedAssignments=1273 nbBacktracks=1707 nbVisitedNodes=9874
681.77 nbRestartNogoods=26
681.77 => wckTime=600.671 cpuTime=600.35 mem=147M482
893.80
893.80 search
893.80 run=11 nbConstraintChecks=274918045 nbValidityChecks=248094509 nbPropagations=0 nbRevisions=0
893.80 nbUselessRevisions=0 nbAssignments=8848 nbFailedAssignments=2004 nbBacktracks=2571 nbVisitedNodes=13424
893.80 nbRestartNogoods=31
893.80 => wckTime=812.698 cpuTime=812.29 mem=147M482
1167.84
1167.84 search
1167.84 run=12 nbConstraintChecks=392986487 nbValidityChecks=341219392 nbPropagations=0 nbRevisions=0
1167.84 nbUselessRevisions=0 nbAssignments=11356 nbFailedAssignments=2853 nbBacktracks=3868 nbVisitedNodes=18078
1167.84 nbRestartNogoods=36
1167.84 => wckTime=1086.737 cpuTime=1086.23 mem=147M482
1545.88
1545.88 search
1545.88 run=13 nbConstraintChecks=559066174 nbValidityChecks=476128369 nbPropagations=0 nbRevisions=0
1545.88 nbUselessRevisions=0 nbAssignments=14795 nbFailedAssignments=3985 nbBacktracks=5815 nbVisitedNodes=24596
1545.88 nbRestartNogoods=42
1545.88 => wckTime=1464.78 cpuTime=1462.53 mem=147M482
2128.46
2128.46 search
2128.46 run=14 nbConstraintChecks=829622971 nbValidityChecks=686420287 nbPropagations=0 nbRevisions=0
2128.46 nbUselessRevisions=0 nbAssignments=20156 nbFailedAssignments=6066 nbBacktracks=8735 nbVisitedNodes=34958
2128.46 nbRestartNogoods=48
2128.46 => wckTime=2047.361 cpuTime=2041.79 mem=147M482
2407.08 v 1 1 0 0 0 1 0 0 0 0 1 1 0 1 1 1 0 1 1 0 0 1 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 0 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 1 1 0 1 1 1 1 1 0 0 0 0 1 1 1 0 1 0 0 0 0 0 1 1 0 0 1 0 0 1 0 1 0 0 0 1 1 1 0 1 1 0 1 1 1 0 0 1 1 1 0 0 1 0 0 0 0 1 0 1 0 1 1 0 0 1 1 0 1 1 1 0 0 1 1 1 1 0 0 0 0 0 1 1 1 0 1 1 1 0 0 1 0 0 0 0 1 0 1 1 0 1 0 1 1 1 0 0 0 1 0 1 1 0 1 0 1 1 0 0 1 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 1 0 1 1 1 1 1 0 0 1 0 1 1 1 0 0 1 0 1 0 0 0 0 0 1 1 1 0 1 1 1 0 1 0 1 0 1 1 1 0 1 1 0 1 0 0 0 0 1 1 0 0 1 0 1 0 0 0 1 1 0 1 0 0 1 0 1 1 0 0 0 0 1 1 1 1 0 1 0 1 1 1 0 1 1 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 1 1 0 0 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 0 0 1 1 0 0 1 1 0 0 1 0 1 1 1 0 1 0 1 0 0 0 1 0 1 1 0 1 0 1 0 1 1 0 1 1 0 0 0 1 0 1 1 1 0 1 1 0 0 0 1 1 0 0 1 0 0 0 0 0 1 0 1 1 1 0 1 1 1 1 1 0 0 0 1
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node12/watcher-276120-1169231363 -o ROOT/results/node12/solver-276120-1169231363 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276120-1169231363/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.99 1.98 1.99 4/93 28124
/proc/meminfo: memFree=1324000/2055920 swapFree=4160348/4192956
[pid=28123] ppid=28121 vsize=18540 CPUtime=0
/proc/28123/stat : 28123 (runsolver) R 28121 28123 27965 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 271531330 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 252429528359 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/28123/statm: 4635 279 244 17 0 2626 0
[startup+0.103873 s]
/proc/loadavg: 1.99 1.98 1.99 4/93 28124
/proc/meminfo: memFree=1324000/2055920 swapFree=4160348/4192956
[pid=28123] ppid=28121 vsize=914988 CPUtime=0.08
/proc/28123/stat : 28123 (java) R 28121 28123 27965 0 -1 0 2964 0 1 0 7 1 0 0 17 0 8 0 271531330 936947712 2710 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154108872 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28123/statm: 228747 2710 1417 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511946 s]
/proc/loadavg: 1.99 1.98 1.99 4/93 28124
/proc/meminfo: memFree=1324000/2055920 swapFree=4160348/4192956
[pid=28123] ppid=28121 vsize=915332 CPUtime=0.48
/proc/28123/stat : 28123 (java) R 28121 28123 27965 0 -1 0 6612 0 1 0 43 5 0 0 18 0 8 0 271531330 937299968 6351 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073587266 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28123/statm: 228833 6351 2146 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.3351 s]
/proc/loadavg: 2.07 1.99 1.99 3/100 28131
/proc/meminfo: memFree=1263080/2055920 swapFree=4160348/4192956
[pid=28123] ppid=28121 vsize=915632 CPUtime=1.29
/proc/28123/stat : 28123 (java) R 28121 28123 27965 0 -1 0 18201 0 1 0 118 11 0 0 25 0 8 0 271531330 937607168 17936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28123/statm: 228908 17936 2158 14 0 215378 0
[pid=28123/tid=28125] ppid=28121 vsize=915632 CPUtime=0.04
/proc/28123/task/28125/stat : 28125 (java) R 28121 28123 27965 0 -1 64 1671 0 0 0 4 0 0 0 16 0 8 0 271531334 937607168 17936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153827336 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28126] ppid=28121 vsize=915632 CPUtime=0
/proc/28123/task/28126/stat : 28126 (java) S 28121 28123 27965 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271531335 937607168 17936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28127] ppid=28121 vsize=915632 CPUtime=0
/proc/28123/task/28127/stat : 28127 (java) S 28121 28123 27965 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271531335 937607168 17936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28128] ppid=28121 vsize=915632 CPUtime=0
/proc/28123/task/28128/stat : 28128 (java) S 28121 28123 27965 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271531338 937607168 17936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28129] ppid=28121 vsize=915632 CPUtime=0.14
/proc/28123/task/28129/stat : 28129 (java) S 28121 28123 27965 0 -1 64 391 0 0 0 14 0 0 0 16 0 8 0 271531338 937607168 17936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28130] ppid=28121 vsize=915632 CPUtime=0
/proc/28123/task/28130/stat : 28130 (java) S 28121 28123 27965 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271531338 937607168 17936 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28131] ppid=28121 vsize=915632 CPUtime=0
/proc/28123/task/28131/stat : 28131 (java) S 28121 28123 27965 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271531338 937607168 17936 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) 915632
[startup+2.9874 s]
/proc/loadavg: 2.07 1.99 1.99 3/100 28131
/proc/meminfo: memFree=1253928/2055920 swapFree=4160348/4192956
[pid=28123] ppid=28121 vsize=915636 CPUtime=2.94
/proc/28123/stat : 28123 (java) R 28121 28123 27965 0 -1 0 20739 0 1 0 273 21 0 0 25 0 8 0 271531330 937611264 20466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28123/statm: 228909 20466 2178 14 0 215379 0
[pid=28123/tid=28125] ppid=28121 vsize=915636 CPUtime=0.2
/proc/28123/task/28125/stat : 28125 (java) S 28121 28123 27965 0 -1 64 4120 0 0 0 19 1 0 0 16 0 8 0 271531334 937611264 20466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28126] ppid=28121 vsize=915636 CPUtime=0
/proc/28123/task/28126/stat : 28126 (java) S 28121 28123 27965 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271531335 937611264 20466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28127] ppid=28121 vsize=915636 CPUtime=0
/proc/28123/task/28127/stat : 28127 (java) S 28121 28123 27965 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271531335 937611264 20466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28128] ppid=28121 vsize=915636 CPUtime=0
/proc/28123/task/28128/stat : 28128 (java) S 28121 28123 27965 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271531338 937611264 20466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28129] ppid=28121 vsize=915636 CPUtime=0.18
/proc/28123/task/28129/stat : 28129 (java) S 28121 28123 27965 0 -1 64 410 0 0 0 18 0 0 0 16 0 8 0 271531338 937611264 20466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28130] ppid=28121 vsize=915636 CPUtime=0
/proc/28123/task/28130/stat : 28130 (java) S 28121 28123 27965 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271531338 937611264 20466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28131] ppid=28121 vsize=915636 CPUtime=0
/proc/28123/task/28131/stat : 28131 (java) S 28121 28123 27965 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271531338 937611264 20466 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915636
[startup+6.27299 s]
/proc/loadavg: 2.07 1.99 1.99 3/100 28131
/proc/meminfo: memFree=1183400/2055920 swapFree=4160348/4192956
[pid=28123] ppid=28121 vsize=915632 CPUtime=6.21
/proc/28123/stat : 28123 (java) R 28121 28123 27965 0 -1 0 37505 0 1 0 459 162 0 0 25 0 8 0 271531330 937607168 37228 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28123/statm: 228908 37228 2188 14 0 215378 0
[pid=28123/tid=28125] ppid=28121 vsize=915632 CPUtime=0.55
/proc/28123/task/28125/stat : 28125 (java) R 28121 28123 27965 0 -1 64 20854 0 0 0 47 8 0 0 16 0 8 0 271531334 937607168 37228 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154022744 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28126] ppid=28121 vsize=915632 CPUtime=0
/proc/28123/task/28126/stat : 28126 (java) S 28121 28123 27965 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271531335 937607168 37228 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28127] ppid=28121 vsize=915632 CPUtime=0
/proc/28123/task/28127/stat : 28127 (java) S 28121 28123 27965 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271531335 937607168 37228 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28128] ppid=28121 vsize=915632 CPUtime=0
/proc/28123/task/28128/stat : 28128 (java) S 28121 28123 27965 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271531338 937607168 37228 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28129] ppid=28121 vsize=915632 CPUtime=0.19
/proc/28123/task/28129/stat : 28129 (java) S 28121 28123 27965 0 -1 64 417 0 0 0 19 0 0 0 16 0 8 0 271531338 937607168 37228 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28130] ppid=28121 vsize=915632 CPUtime=0
/proc/28123/task/28130/stat : 28130 (java) S 28121 28123 27965 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271531338 937607168 37228 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28131] ppid=28121 vsize=915632 CPUtime=0
/proc/28123/task/28131/stat : 28131 (java) S 28121 28123 27965 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271531338 937607168 37228 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915632
[startup+12.759 s]
/proc/loadavg: 2.06 1.99 1.99 3/100 28131
/proc/meminfo: memFree=1160232/2055920 swapFree=4160348/4192956
[pid=28123] ppid=28121 vsize=915632 CPUtime=12.69
/proc/28123/stat : 28123 (java) R 28121 28123 27965 0 -1 0 43622 0 1 0 1100 169 0 0 25 0 8 0 271531330 937607168 43308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073883078 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28123/statm: 228908 43308 2497 14 0 215378 0
[pid=28123/tid=28125] ppid=28121 vsize=915632 CPUtime=0.83
/proc/28123/task/28125/stat : 28125 (java) S 28121 28123 27965 0 -1 64 26632 0 0 0 74 9 0 0 16 0 8 0 271531334 937607168 43308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28126] ppid=28121 vsize=915632 CPUtime=0
/proc/28123/task/28126/stat : 28126 (java) S 28121 28123 27965 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271531335 937607168 43308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28127] ppid=28121 vsize=915632 CPUtime=0
/proc/28123/task/28127/stat : 28127 (java) S 28121 28123 27965 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271531335 937607168 43308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28128] ppid=28121 vsize=915632 CPUtime=0
/proc/28123/task/28128/stat : 28128 (java) S 28121 28123 27965 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271531338 937607168 43308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28129] ppid=28121 vsize=915632 CPUtime=0.23
/proc/28123/task/28129/stat : 28129 (java) S 28121 28123 27965 0 -1 64 428 0 0 0 22 1 0 0 16 0 8 0 271531338 937607168 43308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28130] ppid=28121 vsize=915632 CPUtime=0
/proc/28123/task/28130/stat : 28130 (java) S 28121 28123 27965 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271531338 937607168 43308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28131] ppid=28121 vsize=915632 CPUtime=0
/proc/28123/task/28131/stat : 28131 (java) S 28121 28123 27965 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271531338 937607168 43308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 915632
[startup+25.6173 s]
/proc/loadavg: 2.05 1.99 1.99 3/100 28131
/proc/meminfo: memFree=1160360/2055920 swapFree=4160348/4192956
[pid=28123] ppid=28121 vsize=915632 CPUtime=25.54
/proc/28123/stat : 28123 (java) R 28121 28123 27965 0 -1 0 43622 0 1 0 2382 172 0 0 25 0 8 0 271531330 937607168 43308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073883049 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28123/statm: 228908 43308 2497 14 0 215378 0
[pid=28123/tid=28125] ppid=28121 vsize=915632 CPUtime=0.83
/proc/28123/task/28125/stat : 28125 (java) S 28121 28123 27965 0 -1 64 26632 0 0 0 74 9 0 0 16 0 8 0 271531334 937607168 43308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28126] ppid=28121 vsize=915632 CPUtime=0
/proc/28123/task/28126/stat : 28126 (java) S 28121 28123 27965 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271531335 937607168 43308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28127] ppid=28121 vsize=915632 CPUtime=0
/proc/28123/task/28127/stat : 28127 (java) S 28121 28123 27965 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271531335 937607168 43308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28128] ppid=28121 vsize=915632 CPUtime=0
/proc/28123/task/28128/stat : 28128 (java) S 28121 28123 27965 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271531338 937607168 43308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28129] ppid=28121 vsize=915632 CPUtime=0.23
/proc/28123/task/28129/stat : 28129 (java) S 28121 28123 27965 0 -1 64 428 0 0 0 22 1 0 0 16 0 8 0 271531338 937607168 43308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28130] ppid=28121 vsize=915632 CPUtime=0
/proc/28123/task/28130/stat : 28130 (java) S 28121 28123 27965 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271531338 937607168 43308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28131] ppid=28121 vsize=915632 CPUtime=0
/proc/28123/task/28131/stat : 28131 (java) S 28121 28123 27965 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271531338 937607168 43308 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.54
Current children cumulated vsize (KiB) 915632
[startup+51.2329 s]
/proc/loadavg: 2.03 1.99 1.99 3/100 28131
/proc/meminfo: memFree=1160360/2055920 swapFree=4160348/4192956
[pid=28123] ppid=28121 vsize=915632 CPUtime=51.14
/proc/28123/stat : 28123 (java) R 28121 28123 27965 0 -1 0 43625 0 1 0 4939 175 0 0 25 0 8 0 271531330 937607168 43311 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073883049 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28123/statm: 228908 43311 2499 14 0 215378 0
[pid=28123/tid=28125] ppid=28121 vsize=915632 CPUtime=0.83
/proc/28123/task/28125/stat : 28125 (java) S 28121 28123 27965 0 -1 64 26632 0 0 0 74 9 0 0 16 0 8 0 271531334 937607168 43311 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28126] ppid=28121 vsize=915632 CPUtime=0
/proc/28123/task/28126/stat : 28126 (java) S 28121 28123 27965 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271531335 937607168 43311 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28127] ppid=28121 vsize=915632 CPUtime=0
/proc/28123/task/28127/stat : 28127 (java) S 28121 28123 27965 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271531335 937607168 43311 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28128] ppid=28121 vsize=915632 CPUtime=0
/proc/28123/task/28128/stat : 28128 (java) S 28121 28123 27965 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271531338 937607168 43311 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28129] ppid=28121 vsize=915632 CPUtime=0.23
/proc/28123/task/28129/stat : 28129 (java) S 28121 28123 27965 0 -1 64 431 0 0 0 22 1 0 0 17 0 8 0 271531338 937607168 43311 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28130] ppid=28121 vsize=915632 CPUtime=0
/proc/28123/task/28130/stat : 28130 (java) S 28121 28123 27965 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271531338 937607168 43311 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28131] ppid=28121 vsize=915632 CPUtime=0
/proc/28123/task/28131/stat : 28131 (java) S 28121 28123 27965 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271531338 937607168 43311 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.14
Current children cumulated vsize (KiB) 915632
[startup+102.469 s]
/proc/loadavg: 2.07 2.01 2.00 3/100 28131
/proc/meminfo: memFree=1144872/2055920 swapFree=4160348/4192956
[pid=28123] ppid=28121 vsize=915900 CPUtime=102.35
/proc/28123/stat : 28123 (java) R 28121 28123 27965 0 -1 0 47592 0 1 0 10053 182 0 0 25 0 8 0 271531330 937881600 47268 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074102697 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28123/statm: 228975 47268 2548 14 0 215445 0
[pid=28123/tid=28125] ppid=28121 vsize=915900 CPUtime=1.06
/proc/28123/task/28125/stat : 28125 (java) S 28121 28123 27965 0 -1 64 30377 0 0 0 95 11 0 0 16 0 8 0 271531334 937881600 47268 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28126] ppid=28121 vsize=915900 CPUtime=0
/proc/28123/task/28126/stat : 28126 (java) S 28121 28123 27965 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271531335 937881600 47268 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28127] ppid=28121 vsize=915900 CPUtime=0
/proc/28123/task/28127/stat : 28127 (java) S 28121 28123 27965 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271531335 937881600 47268 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28128] ppid=28121 vsize=915900 CPUtime=0
/proc/28123/task/28128/stat : 28128 (java) S 28121 28123 27965 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271531338 937881600 47268 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28129] ppid=28121 vsize=915900 CPUtime=0.34
/proc/28123/task/28129/stat : 28129 (java) S 28121 28123 27965 0 -1 64 538 0 0 0 32 2 0 0 15 0 8 0 271531338 937881600 47268 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28130] ppid=28121 vsize=915900 CPUtime=0
/proc/28123/task/28130/stat : 28130 (java) S 28121 28123 27965 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271531338 937881600 47268 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28131] ppid=28121 vsize=915900 CPUtime=0
/proc/28123/task/28131/stat : 28131 (java) S 28121 28123 27965 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271531338 937881600 47268 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.35
Current children cumulated vsize (KiB) 915900
[startup+162.565 s]
/proc/loadavg: 2.02 2.00 2.00 3/100 28131
/proc/meminfo: memFree=1144680/2055920 swapFree=4160348/4192956
[pid=28123] ppid=28121 vsize=915900 CPUtime=162.43
/proc/28123/stat : 28123 (java) R 28121 28123 27965 0 -1 0 47617 0 1 0 16060 183 0 0 25 0 8 0 271531330 937881600 47289 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074078942 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2019.67
Current children cumulated vsize (KiB) 915900
[startup+2084.7 s]
/proc/loadavg: 2.01 2.01 2.00 3/94 28441
/proc/meminfo: memFree=1152424/2055920 swapFree=4160348/4192956
[pid=28123] ppid=28121 vsize=915900 CPUtime=2079.4
/proc/28123/stat : 28123 (java) R 28121 28123 27965 0 -1 0 47643 0 1 0 207728 212 0 0 25 0 8 0 271531330 937881600 47303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074078979 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28123/statm: 228975 47303 2551 14 0 215445 0
[pid=28123/tid=28125] ppid=28121 vsize=915900 CPUtime=1.06
/proc/28123/task/28125/stat : 28125 (java) S 28121 28123 27965 0 -1 64 30378 0 0 0 95 11 0 0 16 0 8 0 271531334 937881600 47303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28126] ppid=28121 vsize=915900 CPUtime=0
/proc/28123/task/28126/stat : 28126 (java) S 28121 28123 27965 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271531335 937881600 47303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28127] ppid=28121 vsize=915900 CPUtime=0
/proc/28123/task/28127/stat : 28127 (java) S 28121 28123 27965 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271531335 937881600 47303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28128] ppid=28121 vsize=915900 CPUtime=0
/proc/28123/task/28128/stat : 28128 (java) S 28121 28123 27965 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271531338 937881600 47303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28129] ppid=28121 vsize=915900 CPUtime=0.4
/proc/28123/task/28129/stat : 28129 (java) S 28121 28123 27965 0 -1 64 577 0 0 0 38 2 0 0 17 0 8 0 271531338 937881600 47303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28130] ppid=28121 vsize=915900 CPUtime=0
/proc/28123/task/28130/stat : 28130 (java) S 28121 28123 27965 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271531338 937881600 47303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28131] ppid=28121 vsize=915900 CPUtime=0.01
/proc/28123/task/28131/stat : 28131 (java) S 28121 28123 27965 0 -1 64 1 0 0 0 0 1 0 0 15 0 8 0 271531338 937881600 47303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2079.4
Current children cumulated vsize (KiB) 915900
[startup+2144.78 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 28441
/proc/meminfo: memFree=1152424/2055920 swapFree=4160348/4192956
[pid=28123] ppid=28121 vsize=915900 CPUtime=2139.17
/proc/28123/stat : 28123 (java) R 28121 28123 27965 0 -1 0 47643 0 1 0 213705 212 0 0 25 0 8 0 271531330 937881600 47303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073973043 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28123/statm: 228975 47303 2551 14 0 215445 0
[pid=28123/tid=28125] ppid=28121 vsize=915900 CPUtime=1.06
/proc/28123/task/28125/stat : 28125 (java) S 28121 28123 27965 0 -1 64 30378 0 0 0 95 11 0 0 16 0 8 0 271531334 937881600 47303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28126] ppid=28121 vsize=915900 CPUtime=0
/proc/28123/task/28126/stat : 28126 (java) S 28121 28123 27965 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271531335 937881600 47303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28127] ppid=28121 vsize=915900 CPUtime=0
/proc/28123/task/28127/stat : 28127 (java) S 28121 28123 27965 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271531335 937881600 47303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28128] ppid=28121 vsize=915900 CPUtime=0
/proc/28123/task/28128/stat : 28128 (java) S 28121 28123 27965 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271531338 937881600 47303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28129] ppid=28121 vsize=915900 CPUtime=0.4
/proc/28123/task/28129/stat : 28129 (java) S 28121 28123 27965 0 -1 64 577 0 0 0 38 2 0 0 17 0 8 0 271531338 937881600 47303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28130] ppid=28121 vsize=915900 CPUtime=0
/proc/28123/task/28130/stat : 28130 (java) S 28121 28123 27965 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271531338 937881600 47303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28131] ppid=28121 vsize=915900 CPUtime=0.01
/proc/28123/task/28131/stat : 28131 (java) S 28121 28123 27965 0 -1 64 1 0 0 0 0 1 0 0 15 0 8 0 271531338 937881600 47303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2139.17
Current children cumulated vsize (KiB) 915900
[startup+2204.88 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 28441
/proc/meminfo: memFree=1152488/2055920 swapFree=4160348/4192956
[pid=28123] ppid=28121 vsize=915900 CPUtime=2198.95
/proc/28123/stat : 28123 (java) R 28121 28123 27965 0 -1 0 47643 0 1 0 219682 213 0 0 25 0 8 0 271531330 937881600 47303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073877862 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28123/statm: 228975 47303 2551 14 0 215445 0
[pid=28123/tid=28125] ppid=28121 vsize=915900 CPUtime=1.06
/proc/28123/task/28125/stat : 28125 (java) S 28121 28123 27965 0 -1 64 30378 0 0 0 95 11 0 0 16 0 8 0 271531334 937881600 47303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28126] ppid=28121 vsize=915900 CPUtime=0
/proc/28123/task/28126/stat : 28126 (java) S 28121 28123 27965 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271531335 937881600 47303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28127] ppid=28121 vsize=915900 CPUtime=0
/proc/28123/task/28127/stat : 28127 (java) S 28121 28123 27965 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271531335 937881600 47303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28128] ppid=28121 vsize=915900 CPUtime=0
/proc/28123/task/28128/stat : 28128 (java) S 28121 28123 27965 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271531338 937881600 47303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28129] ppid=28121 vsize=915900 CPUtime=0.4
/proc/28123/task/28129/stat : 28129 (java) S 28121 28123 27965 0 -1 64 577 0 0 0 38 2 0 0 17 0 8 0 271531338 937881600 47303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28130] ppid=28121 vsize=915900 CPUtime=0
/proc/28123/task/28130/stat : 28130 (java) S 28121 28123 27965 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271531338 937881600 47303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28131] ppid=28121 vsize=915900 CPUtime=0.01
/proc/28123/task/28131/stat : 28131 (java) S 28121 28123 27965 0 -1 64 1 0 0 0 0 1 0 0 15 0 8 0 271531338 937881600 47303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2198.95
Current children cumulated vsize (KiB) 915900
[startup+2264.97 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 28441
/proc/meminfo: memFree=1152488/2055920 swapFree=4160348/4192956
[pid=28123] ppid=28121 vsize=915900 CPUtime=2258.69
/proc/28123/stat : 28123 (java) R 28121 28123 27965 0 -1 0 47643 0 1 0 225656 213 0 0 25 0 8 0 271531330 937881600 47303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073913146 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28123/statm: 228975 47303 2551 14 0 215445 0
[pid=28123/tid=28125] ppid=28121 vsize=915900 CPUtime=1.06
/proc/28123/task/28125/stat : 28125 (java) S 28121 28123 27965 0 -1 64 30378 0 0 0 95 11 0 0 16 0 8 0 271531334 937881600 47303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28126] ppid=28121 vsize=915900 CPUtime=0
/proc/28123/task/28126/stat : 28126 (java) S 28121 28123 27965 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271531335 937881600 47303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28127] ppid=28121 vsize=915900 CPUtime=0
/proc/28123/task/28127/stat : 28127 (java) S 28121 28123 27965 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271531335 937881600 47303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28128] ppid=28121 vsize=915900 CPUtime=0
/proc/28123/task/28128/stat : 28128 (java) S 28121 28123 27965 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271531338 937881600 47303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28129] ppid=28121 vsize=915900 CPUtime=0.4
/proc/28123/task/28129/stat : 28129 (java) S 28121 28123 27965 0 -1 64 577 0 0 0 38 2 0 0 17 0 8 0 271531338 937881600 47303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28130] ppid=28121 vsize=915900 CPUtime=0
/proc/28123/task/28130/stat : 28130 (java) S 28121 28123 27965 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271531338 937881600 47303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28131] ppid=28121 vsize=915900 CPUtime=0.01
/proc/28123/task/28131/stat : 28131 (java) S 28121 28123 27965 0 -1 64 1 0 0 0 0 1 0 0 15 0 8 0 271531338 937881600 47303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2258.69
Current children cumulated vsize (KiB) 915900
[startup+2325.07 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 28441
/proc/meminfo: memFree=1152488/2055920 swapFree=4160348/4192956
[pid=28123] ppid=28121 vsize=915900 CPUtime=2318.46
/proc/28123/stat : 28123 (java) R 28121 28123 27965 0 -1 0 47643 0 1 0 231633 213 0 0 25 0 8 0 271531330 937881600 47303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074185216 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28123/statm: 228975 47303 2551 14 0 215445 0
[pid=28123/tid=28125] ppid=28121 vsize=915900 CPUtime=1.06
/proc/28123/task/28125/stat : 28125 (java) S 28121 28123 27965 0 -1 64 30378 0 0 0 95 11 0 0 16 0 8 0 271531334 937881600 47303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28126] ppid=28121 vsize=915900 CPUtime=0
/proc/28123/task/28126/stat : 28126 (java) S 28121 28123 27965 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271531335 937881600 47303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28127] ppid=28121 vsize=915900 CPUtime=0
/proc/28123/task/28127/stat : 28127 (java) S 28121 28123 27965 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271531335 937881600 47303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28128] ppid=28121 vsize=915900 CPUtime=0
/proc/28123/task/28128/stat : 28128 (java) S 28121 28123 27965 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271531338 937881600 47303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28129] ppid=28121 vsize=915900 CPUtime=0.4
/proc/28123/task/28129/stat : 28129 (java) S 28121 28123 27965 0 -1 64 577 0 0 0 38 2 0 0 17 0 8 0 271531338 937881600 47303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28130] ppid=28121 vsize=915900 CPUtime=0
/proc/28123/task/28130/stat : 28130 (java) S 28121 28123 27965 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271531338 937881600 47303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28131] ppid=28121 vsize=915900 CPUtime=0.01
/proc/28123/task/28131/stat : 28131 (java) S 28121 28123 27965 0 -1 64 1 0 0 0 0 1 0 0 15 0 8 0 271531338 937881600 47303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2318.46
Current children cumulated vsize (KiB) 915900
[startup+2385.15 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 28441
/proc/meminfo: memFree=1152616/2055920 swapFree=4160348/4192956
[pid=28123] ppid=28121 vsize=915900 CPUtime=2378.22
/proc/28123/stat : 28123 (java) R 28121 28123 27965 0 -1 0 47643 0 1 0 237609 213 0 0 25 0 8 0 271531330 937881600 47303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073973033 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28123/statm: 228975 47303 2551 14 0 215445 0
[pid=28123/tid=28125] ppid=28121 vsize=915900 CPUtime=1.06
/proc/28123/task/28125/stat : 28125 (java) S 28121 28123 27965 0 -1 64 30378 0 0 0 95 11 0 0 16 0 8 0 271531334 937881600 47303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28126] ppid=28121 vsize=915900 CPUtime=0
/proc/28123/task/28126/stat : 28126 (java) S 28121 28123 27965 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271531335 937881600 47303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28127] ppid=28121 vsize=915900 CPUtime=0
/proc/28123/task/28127/stat : 28127 (java) S 28121 28123 27965 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271531335 937881600 47303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28128] ppid=28121 vsize=915900 CPUtime=0
/proc/28123/task/28128/stat : 28128 (java) S 28121 28123 27965 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271531338 937881600 47303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28129] ppid=28121 vsize=915900 CPUtime=0.4
/proc/28123/task/28129/stat : 28129 (java) S 28121 28123 27965 0 -1 64 577 0 0 0 38 2 0 0 17 0 8 0 271531338 937881600 47303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28130] ppid=28121 vsize=915900 CPUtime=0
/proc/28123/task/28130/stat : 28130 (java) S 28121 28123 27965 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271531338 937881600 47303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28131] ppid=28121 vsize=915900 CPUtime=0.01
/proc/28123/task/28131/stat : 28131 (java) S 28121 28123 27965 0 -1 64 1 0 0 0 0 1 0 0 15 0 8 0 271531338 937881600 47303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2378.22
Current children cumulated vsize (KiB) 915900
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2407.07 s]
/proc/loadavg: 2.07 2.02 2.00 3/94 28441
/proc/meminfo: memFree=1152616/2055920 swapFree=4160348/4192956
[pid=28123] ppid=28121 vsize=915900 CPUtime=2400
/proc/28123/stat : 28123 (java) R 28121 28123 27965 0 -1 0 47643 0 1 0 239787 213 0 0 25 0 8 0 271531330 937881600 47303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074096076 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28123/statm: 228975 47303 2551 14 0 215445 0
[pid=28123/tid=28125] ppid=28121 vsize=915900 CPUtime=1.06
/proc/28123/task/28125/stat : 28125 (java) S 28121 28123 27965 0 -1 64 30378 0 0 0 95 11 0 0 16 0 8 0 271531334 937881600 47303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28126] ppid=28121 vsize=915900 CPUtime=0
/proc/28123/task/28126/stat : 28126 (java) S 28121 28123 27965 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271531335 937881600 47303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28127] ppid=28121 vsize=915900 CPUtime=0
/proc/28123/task/28127/stat : 28127 (java) S 28121 28123 27965 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271531335 937881600 47303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28128] ppid=28121 vsize=915900 CPUtime=0
/proc/28123/task/28128/stat : 28128 (java) S 28121 28123 27965 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271531338 937881600 47303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28129] ppid=28121 vsize=915900 CPUtime=0.4
/proc/28123/task/28129/stat : 28129 (java) S 28121 28123 27965 0 -1 64 577 0 0 0 38 2 0 0 17 0 8 0 271531338 937881600 47303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28130] ppid=28121 vsize=915900 CPUtime=0
/proc/28123/task/28130/stat : 28130 (java) S 28121 28123 27965 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271531338 937881600 47303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28123/tid=28131] ppid=28121 vsize=915900 CPUtime=0.01
/proc/28123/task/28131/stat : 28131 (java) S 28121 28123 27965 0 -1 64 1 0 0 0 0 1 0 0 15 0 8 0 271531338 937881600 47303 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 915900
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2407.12
CPU time (s): 2400.05
CPU user time (s): 2397.89
CPU system time (s): 2.16167
CPU usage (%): 99.7064
Max. virtual memory (cumulated for all children) (KiB): 915900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.89
system time used= 2.16167
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47666
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= 50391
involuntary context switches= 60465
runsolver used 2.6546 s user time and 8.00178 s system time
The end
Begin job on node12 on Fri Jan 19 18:29:23 UTC 2007
IDJOB= 276120
IDBENCH= 5259
IDSOLVER= 69
FILE ID= node12/276120-1169231363
PBS_JOBID= 3588985
Free space on /tmp= 66554 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/chessboardColoration/cc-20-20-2.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276120-1169231363/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-276120-1169231363 -o ROOT/results/node12/solver-276120-1169231363 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276120-1169231363/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 4bfbbbec534ab5354946c7d304aa6b6b
RANDOM SEED= 836826421
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.265
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.265
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: 1324480 kB
Buffers: 58200 kB
Cached: 505320 kB
SwapCached: 5164 kB
Active: 313728 kB
Inactive: 343488 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1324480 kB
SwapTotal: 4192956 kB
SwapFree: 4160348 kB
Dirty: 7980 kB
Writeback: 0 kB
Mapped: 113024 kB
Slab: 59036 kB
Committed_AS: 8216812 kB
PageTables: 2248 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= 66554 MiB
End job on node12 on Fri Jan 19 19:09:30 UTC 2007