0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=epfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/276796-1169246684/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=8 maxDomainSize=8
0.42 => wckTime=0.099 cpuTime=0.08 mem=6M887
0.42
0.42 relations being loaded...
0.52
0.52 constraints being loaded...
0.69 nbConstraints=751 nbRelationTypes=751 nbExtensionStructures=750 nbSharedExtensionStructures=1
0.69 nbConflictsStructures=750 nbSharedConflictsStructures=1 nbSharedBinaryRepresentations=11867 maxDegree=39
0.69 maxArity=2
0.69 => wckTime=0.379 cpuTime=0.24 mem=11M796
0.74
0.74 solver LocalSearchSolver being built...
0.79 => wckTime=0.47 cpuTime=0.28 mem=6M107
0.79
0.79 s SATISFIABLE
0.79 o 686
0.79 c 65
0.79 o 692
0.79 c 59
0.79 o 697
0.79 c 54
0.79 o 703
0.79 c 48
0.79 o 708
0.79 c 43
0.79 o 711
0.79 c 40
0.80 o 714
0.80 c 37
0.80 o 718
0.80 c 33
0.80 o 721
0.80 c 30
0.80 o 724
0.80 c 27
0.80 o 726
0.80 c 25
0.80 o 727
0.80 c 24
0.80 o 728
0.80 c 23
0.80 o 730
0.80 c 21
0.80 o 731
0.80 c 20
0.80 o 733
0.80 c 18
0.80 o 735
0.80 c 16
0.81 o 738
0.81 c 13
0.81 o 739
0.81 c 12
0.81 o 740
0.81 c 11
0.82 o 741
0.82 c 10
0.82 o 742
0.82 c 9
0.83 o 743
0.83 c 8
0.84 o 744
0.84 c 7
0.84 o 746
0.84 c 5
0.94 o 747
0.94 c 4
0.96 o 748
0.96 c 3
1.12 o 749
1.12 c 2
1.93 o 750
1.93 c 1
1.93
1.93 search
1.93 run=0 nbConstraintChecks=6913339 nbAssignments=3995
1.93 => wckTime=1.149 cpuTime=1.13 mem=6M107
1.94
1.94 global
1.94 nbConstraintChecks=6913339 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.94 solvingWckTime=1.148 solvingCpuTime=1.13 expiredTime=no totalExploration=no nbFoundSolutions=0
1.94 globalCpuTime=1.47
1.94 => wckTime=1.62 cpuTime=1.41 mem=6M107
1.94
1.94 solver IterativeSystematicSolver being built...
2.07 => wckTime=1.751 cpuTime=1.51 mem=17M47
2.17
2.17 preprocessing
2.17 nbConstraintChecks=61824 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
2.17 detectedInconsistency=no
2.17 => wckTime=0.097 cpuTime=0.07 mem=17M47
2.22
2.22 search
2.22 run=0 nbConstraintChecks=113798 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=32
2.22 nbFailedAssignments=17 nbBacktracks=10 nbVisitedNodes=60 nbRestartNogoods=0
2.22 => wckTime=0.155 cpuTime=0.13 mem=17M47
2.30
2.30 search
2.30 run=1 nbConstraintChecks=286322 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=81
2.30 nbFailedAssignments=43 nbBacktracks=25 nbVisitedNodes=150 nbRestartNogoods=11
2.30 => wckTime=0.237 cpuTime=0.19 mem=17M47
2.42
2.42 search
2.42 run=2 nbConstraintChecks=568510 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=155
2.42 nbFailedAssignments=87 nbBacktracks=47 nbVisitedNodes=289 nbRestartNogoods=24
2.42 => wckTime=0.353 cpuTime=0.3 mem=17M47
2.58
2.58 search
2.58 run=3 nbConstraintChecks=982366 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=261
2.58 nbFailedAssignments=154 nbBacktracks=80 nbVisitedNodes=495 nbRestartNogoods=35
2.58 => wckTime=0.509 cpuTime=0.46 mem=17M47
2.80
2.80 search
2.80 run=4 nbConstraintChecks=1528076 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=403
2.80 nbFailedAssignments=240 nbBacktracks=130 nbVisitedNodes=772 nbRestartNogoods=54
2.80 => wckTime=0.73 cpuTime=0.67 mem=17M47
3.12
3.12 search
3.12 run=5 nbConstraintChecks=2412858 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=632
3.12 nbFailedAssignments=387 nbBacktracks=205 nbVisitedNodes=1215 nbRestartNogoods=63
3.12 => wckTime=1.051 cpuTime=0.99 mem=17M47
3.62
3.62 search
3.62 run=6 nbConstraintChecks=3688454 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=955
3.62 nbFailedAssignments=591 nbBacktracks=318 nbVisitedNodes=1847 nbRestartNogoods=75
3.62 => wckTime=1.55 cpuTime=1.48 mem=17M47
4.36
4.36 search
4.36 run=7 nbConstraintChecks=5632223 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1444
4.36 nbFailedAssignments=905 nbBacktracks=488 nbVisitedNodes=2809 nbRestartNogoods=89
4.36 => wckTime=2.29 cpuTime=2.21 mem=17M47
5.44
5.44 search
5.44 run=8 nbConstraintChecks=8473050 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2146
5.44 nbFailedAssignments=1345 nbBacktracks=745 nbVisitedNodes=4189 nbRestartNogoods=102
5.44 => wckTime=3.37 cpuTime=3.27 mem=17M47
6.86
6.86 search
6.86 run=9 nbConstraintChecks=12353333 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3142
6.86 nbFailedAssignments=1952 nbBacktracks=1129 nbVisitedNodes=6128 nbRestartNogoods=118
6.86 => wckTime=4.791 cpuTime=4.67 mem=17M47
8.87
8.88 search
8.88 run=10 nbConstraintChecks=17429634 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4448
8.88 nbFailedAssignments=2674 nbBacktracks=1705 nbVisitedNodes=8591 nbRestartNogoods=123
8.88 => wckTime=6.808 cpuTime=6.67 mem=17M47
11.72
11.72 search
11.72 run=11 nbConstraintChecks=24789515 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6389
11.72 nbFailedAssignments=3743 nbBacktracks=2569 nbVisitedNodes=12210 nbRestartNogoods=138
11.72 => wckTime=9.654 cpuTime=9.49 mem=17M47
15.39
15.39 search
15.39 run=12 nbConstraintChecks=33860717 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8998
15.39 nbFailedAssignments=5050 nbBacktracks=3866 nbVisitedNodes=16802 nbRestartNogoods=154
15.39 => wckTime=13.319 cpuTime=13.12 mem=17M47
20.34
20.34 search
20.34 run=13 nbConstraintChecks=45808050 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=12626
20.34 nbFailedAssignments=6725 nbBacktracks=5815 nbVisitedNodes=22704 nbRestartNogoods=169
20.34 => wckTime=18.276 cpuTime=18.04 mem=17M47
26.97
26.97 search
26.97 run=14 nbConstraintChecks=62170186 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=17788
26.97 nbFailedAssignments=8963 nbBacktracks=8734 nbVisitedNodes=30929 nbRestartNogoods=185
26.97 => wckTime=24.898 cpuTime=24.61 mem=17M47
36.31
36.31 search
36.31 run=15 nbConstraintChecks=84142699 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=25138
36.31 nbFailedAssignments=11929 nbBacktracks=13114 nbVisitedNodes=42229 nbRestartNogoods=199
36.31 => wckTime=34.243 cpuTime=33.87 mem=17M47
50.09
50.09 search
50.09 run=16 nbConstraintChecks=117987772 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=36158
50.09 nbFailedAssignments=16373 nbBacktracks=19683 nbVisitedNodes=59108 nbRestartNogoods=210
50.09 => wckTime=48.021 cpuTime=47.54 mem=17M47
69.91
69.91 search
69.91 run=17 nbConstraintChecks=166482887 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=52475
69.91 nbFailedAssignments=22834 nbBacktracks=29536 nbVisitedNodes=83862 nbRestartNogoods=221
69.91 => wckTime=67.847 cpuTime=67.2 mem=17M47
99.45
99.45 search
99.45 run=18 nbConstraintChecks=238584785 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=76732
99.45 nbFailedAssignments=32309 nbBacktracks=44314 nbVisitedNodes=120588 nbRestartNogoods=244
99.45 => wckTime=97.386 cpuTime=96.5 mem=17M47
144.45
144.45 search
144.45 run=19 nbConstraintChecks=347771845 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=113222
144.45 nbFailedAssignments=46627 nbBacktracks=66482 nbVisitedNodes=175819 nbRestartNogoods=252
144.45 => wckTime=142.38 cpuTime=141.11 mem=17M47
209.61
209.61 search
209.61 run=20 nbConstraintChecks=504941305 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=167240
209.61 nbFailedAssignments=67386 nbBacktracks=99735 nbVisitedNodes=256943 nbRestartNogoods=285
209.61 => wckTime=207.541 cpuTime=205.73 mem=17M47
307.89
307.89 search
307.89 run=21 nbConstraintChecks=742978107 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=247847
307.89 nbFailedAssignments=98110 nbBacktracks=149613 nbVisitedNodes=377960 nbRestartNogoods=310
307.89 => wckTime=305.825 cpuTime=303.18 mem=17M47
454.89
454.89 search
454.89 run=22 nbConstraintChecks=1095935378 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=368247
454.89 nbFailedAssignments=143686 nbBacktracks=224432 nbVisitedNodes=557567 nbRestartNogoods=341
454.89 => wckTime=452.819 cpuTime=448.94 mem=17M47
676.58
676.58 search
676.58 run=23 nbConstraintChecks=1624006979 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=549544
676.58 nbFailedAssignments=212746 nbBacktracks=336659 nbVisitedNodes=828773 nbRestartNogoods=354
676.58 => wckTime=674.517 cpuTime=668.77 mem=17M47
1009.21
1009.21 search
1009.21 run=24 nbConstraintChecks=2414212685 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=821415
1009.21 nbFailedAssignments=316270 nbBacktracks=505001 nbVisitedNodes=1235399 nbRestartNogoods=372
1009.21 => wckTime=1007.142 cpuTime=998.29 mem=17M47
1141.52
1141.52 search
1141.52 run=25 nbConstraintChecks=2723320855 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=929417
1141.52 nbFailedAssignments=356554 nbBacktracks=572720 nbVisitedNodes=1395771 nbRestartNogoods=386
1141.52 => wckTime=1139.454 cpuTime=1129.34 mem=17M47
1141.52
1141.52 global
1141.52 nbConstraintChecks=2723382679 nbRestartNogoods=386 solvingWckTime=1139.456 solvingCpuTime=1129.34
1141.52 expiredTime=no totalExploration=yes nbFoundSolutions=0 globalCpuTime=1130.91
1141.52 => wckTime=1141.208 cpuTime=1130.85 mem=17M47
1141.53
1141.53 s OPTIMUM FOUND
1141.53 v 3 7 5 0 1 1 4 2 6 2 2 5 6 4 4 0 0 6 4 0 1 5 7 7 0 6 4 1 6 5 6 0 2 0 5 5 0 6 4 0
1141.53
1141.53 totalWckTime=1141.291 totalCpuTime=1130.91
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node14/watcher-276796-1169246684 -o ROOT/results/node14/solver-276796-1169246684 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276796-1169246684/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.95 2.00 2.00 4/86 20636
/proc/meminfo: memFree=1305296/2055920 swapFree=4158792/4192956
[pid=20635] ppid=20633 vsize=18540 CPUtime=0
/proc/20635/stat : 20635 (runsolver) R 20633 20635 20096 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 273063368 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 212234464551 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/20635/statm: 4635 279 244 17 0 2626 0
[startup+0.107986 s]
/proc/loadavg: 1.95 2.00 2.00 4/86 20636
/proc/meminfo: memFree=1305296/2055920 swapFree=4158792/4192956
[pid=20635] ppid=20633 vsize=914988 CPUtime=0.08
/proc/20635/stat : 20635 (java) R 20633 20635 20096 0 -1 0 2996 0 1 0 7 1 0 0 18 0 8 0 273063368 936947712 2742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072926602 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20635/statm: 228747 2742 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.520026 s]
/proc/loadavg: 1.95 2.00 2.00 4/86 20636
/proc/meminfo: memFree=1305296/2055920 swapFree=4158792/4192956
[pid=20635] ppid=20633 vsize=915332 CPUtime=0.5
/proc/20635/stat : 20635 (java) R 20633 20635 20096 0 -1 0 6357 0 1 0 46 4 0 0 18 0 8 0 273063368 937299968 6096 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20635/statm: 228833 6096 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332
[startup+1.3461 s]
/proc/loadavg: 1.95 2.00 2.00 3/93 20643
/proc/meminfo: memFree=1283480/2055920 swapFree=4158792/4192956
[pid=20635] ppid=20633 vsize=915448 CPUtime=1.31
/proc/20635/stat : 20635 (java) R 20633 20635 20096 0 -1 0 8109 0 1 0 117 14 0 0 24 0 8 0 273063368 937418752 7847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073845244 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20635/statm: 228862 7847 2479 14 0 215332 0
[pid=20635/tid=20637] ppid=20633 vsize=915448 CPUtime=0.03
/proc/20635/task/20637/stat : 20637 (java) S 20633 20635 20096 0 -1 64 306 0 0 0 3 0 0 0 16 0 8 0 273063372 937418752 7847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20638] ppid=20633 vsize=915448 CPUtime=0
/proc/20635/task/20638/stat : 20638 (java) S 20633 20635 20096 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273063373 937418752 7847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20639] ppid=20633 vsize=915448 CPUtime=0
/proc/20635/task/20639/stat : 20639 (java) S 20633 20635 20096 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273063373 937418752 7847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20640] ppid=20633 vsize=915448 CPUtime=0
/proc/20635/task/20640/stat : 20640 (java) S 20633 20635 20096 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273063376 937418752 7847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20641] ppid=20633 vsize=915448 CPUtime=0.19
/proc/20635/task/20641/stat : 20641 (java) S 20633 20635 20096 0 -1 64 374 0 0 0 18 1 0 0 16 0 8 0 273063376 937418752 7847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20642] ppid=20633 vsize=915448 CPUtime=0
/proc/20635/task/20642/stat : 20642 (java) S 20633 20635 20096 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273063376 937418752 7847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20643] ppid=20633 vsize=915448 CPUtime=0
/proc/20635/task/20643/stat : 20643 (java) S 20633 20635 20096 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273063376 937418752 7847 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915448
[startup+2.98325 s]
/proc/loadavg: 1.95 2.00 2.00 3/93 20643
/proc/meminfo: memFree=1279256/2055920 swapFree=4158792/4192956
[pid=20635] ppid=20633 vsize=915580 CPUtime=2.92
/proc/20635/stat : 20635 (java) R 20633 20635 20096 0 -1 0 9227 0 1 0 269 23 0 0 25 0 8 0 273063368 937553920 8963 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073959748 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20635/statm: 228895 8963 2532 14 0 215365 0
[pid=20635/tid=20637] ppid=20633 vsize=915580 CPUtime=0.03
/proc/20635/task/20637/stat : 20637 (java) S 20633 20635 20096 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273063372 937553920 8963 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20638] ppid=20633 vsize=915580 CPUtime=0
/proc/20635/task/20638/stat : 20638 (java) S 20633 20635 20096 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273063373 937553920 8963 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20639] ppid=20633 vsize=915580 CPUtime=0
/proc/20635/task/20639/stat : 20639 (java) S 20633 20635 20096 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273063373 937553920 8963 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20640] ppid=20633 vsize=915580 CPUtime=0
/proc/20635/task/20640/stat : 20640 (java) S 20633 20635 20096 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273063376 937553920 8963 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20641] ppid=20633 vsize=915580 CPUtime=0.26
/proc/20635/task/20641/stat : 20641 (java) S 20633 20635 20096 0 -1 64 413 0 0 0 25 1 0 0 15 0 8 0 273063376 937553920 8963 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20642] ppid=20633 vsize=915580 CPUtime=0
/proc/20635/task/20642/stat : 20642 (java) S 20633 20635 20096 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273063376 937553920 8963 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20643] ppid=20633 vsize=915580 CPUtime=0
/proc/20635/task/20643/stat : 20643 (java) S 20633 20635 20096 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273063376 937553920 8963 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915580
[startup+6.26557 s]
/proc/loadavg: 1.96 2.00 2.00 3/93 20643
/proc/meminfo: memFree=1279064/2055920 swapFree=4158792/4192956
[pid=20635] ppid=20633 vsize=915580 CPUtime=6.18
/proc/20635/stat : 20635 (java) R 20633 20635 20096 0 -1 0 9252 0 1 0 594 24 0 0 25 0 8 0 273063368 937553920 8985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073959995 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20635/statm: 228895 8985 2532 14 0 215365 0
[pid=20635/tid=20637] ppid=20633 vsize=915580 CPUtime=0.03
/proc/20635/task/20637/stat : 20637 (java) S 20633 20635 20096 0 -1 64 307 0 0 0 3 0 0 0 17 0 8 0 273063372 937553920 8985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20638] ppid=20633 vsize=915580 CPUtime=0
/proc/20635/task/20638/stat : 20638 (java) S 20633 20635 20096 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273063373 937553920 8985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20639] ppid=20633 vsize=915580 CPUtime=0
/proc/20635/task/20639/stat : 20639 (java) S 20633 20635 20096 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273063373 937553920 8985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20640] ppid=20633 vsize=915580 CPUtime=0
/proc/20635/task/20640/stat : 20640 (java) S 20633 20635 20096 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273063376 937553920 8985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20641] ppid=20633 vsize=915580 CPUtime=0.28
/proc/20635/task/20641/stat : 20641 (java) S 20633 20635 20096 0 -1 64 426 0 0 0 27 1 0 0 16 0 8 0 273063376 937553920 8985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20642] ppid=20633 vsize=915580 CPUtime=0
/proc/20635/task/20642/stat : 20642 (java) S 20633 20635 20096 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273063376 937553920 8985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20643] ppid=20633 vsize=915580 CPUtime=0
/proc/20635/task/20643/stat : 20643 (java) S 20633 20635 20096 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273063376 937553920 8985 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915580
[startup+12.7522 s]
/proc/loadavg: 1.96 2.00 2.00 3/93 20643
/proc/meminfo: memFree=1279000/2055920 swapFree=4158792/4192956
[pid=20635] ppid=20633 vsize=915580 CPUtime=12.62
/proc/20635/stat : 20635 (java) R 20633 20635 20096 0 -1 0 9263 0 1 0 1238 24 0 0 25 0 8 0 273063368 937553920 8994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073937291 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20635/statm: 228895 8994 2532 14 0 215365 0
[pid=20635/tid=20637] ppid=20633 vsize=915580 CPUtime=0.03
/proc/20635/task/20637/stat : 20637 (java) S 20633 20635 20096 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273063372 937553920 8994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20638] ppid=20633 vsize=915580 CPUtime=0
/proc/20635/task/20638/stat : 20638 (java) S 20633 20635 20096 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273063373 937553920 8994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20639] ppid=20633 vsize=915580 CPUtime=0
/proc/20635/task/20639/stat : 20639 (java) S 20633 20635 20096 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273063373 937553920 8994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20640] ppid=20633 vsize=915580 CPUtime=0
/proc/20635/task/20640/stat : 20640 (java) S 20633 20635 20096 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273063376 937553920 8994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20641] ppid=20633 vsize=915580 CPUtime=0.29
/proc/20635/task/20641/stat : 20641 (java) S 20633 20635 20096 0 -1 64 429 0 0 0 28 1 0 0 16 0 8 0 273063376 937553920 8994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20642] ppid=20633 vsize=915580 CPUtime=0
/proc/20635/task/20642/stat : 20642 (java) S 20633 20635 20096 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273063376 937553920 8994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20643] ppid=20633 vsize=915580 CPUtime=0
/proc/20635/task/20643/stat : 20643 (java) S 20633 20635 20096 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273063376 937553920 8994 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915580
[startup+25.6134 s]
/proc/loadavg: 1.97 2.00 2.00 3/93 20643
/proc/meminfo: memFree=1279064/2055920 swapFree=4158792/4192956
[pid=20635] ppid=20633 vsize=915580 CPUtime=25.37
/proc/20635/stat : 20635 (java) R 20633 20635 20096 0 -1 0 9267 0 1 0 2513 24 0 0 25 0 8 0 273063368 937553920 8998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073998121 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20635/statm: 228895 8998 2532 14 0 215365 0
[pid=20635/tid=20637] ppid=20633 vsize=915580 CPUtime=0.03
/proc/20635/task/20637/stat : 20637 (java) S 20633 20635 20096 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273063372 937553920 8998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20638] ppid=20633 vsize=915580 CPUtime=0
/proc/20635/task/20638/stat : 20638 (java) S 20633 20635 20096 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273063373 937553920 8998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20639] ppid=20633 vsize=915580 CPUtime=0
/proc/20635/task/20639/stat : 20639 (java) S 20633 20635 20096 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273063373 937553920 8998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20640] ppid=20633 vsize=915580 CPUtime=0
/proc/20635/task/20640/stat : 20640 (java) S 20633 20635 20096 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273063376 937553920 8998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20641] ppid=20633 vsize=915580 CPUtime=0.29
/proc/20635/task/20641/stat : 20641 (java) S 20633 20635 20096 0 -1 64 429 0 0 0 28 1 0 0 16 0 8 0 273063376 937553920 8998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20642] ppid=20633 vsize=915580 CPUtime=0
/proc/20635/task/20642/stat : 20642 (java) S 20633 20635 20096 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273063376 937553920 8998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20643] ppid=20633 vsize=915580 CPUtime=0
/proc/20635/task/20643/stat : 20643 (java) S 20633 20635 20096 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273063376 937553920 8998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915580
[startup+51.2228 s]
/proc/loadavg: 1.98 2.00 2.00 3/93 20643
/proc/meminfo: memFree=1279128/2055920 swapFree=4158792/4192956
[pid=20635] ppid=20633 vsize=915580 CPUtime=50.76
/proc/20635/stat : 20635 (java) R 20633 20635 20096 0 -1 0 9276 0 1 0 5052 24 0 0 25 0 8 0 273063368 937553920 9006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073939158 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20635/statm: 228895 9006 2532 14 0 215365 0
[pid=20635/tid=20637] ppid=20633 vsize=915580 CPUtime=0.03
/proc/20635/task/20637/stat : 20637 (java) S 20633 20635 20096 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273063372 937553920 9006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20638] ppid=20633 vsize=915580 CPUtime=0
/proc/20635/task/20638/stat : 20638 (java) S 20633 20635 20096 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273063373 937553920 9006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20639] ppid=20633 vsize=915580 CPUtime=0
/proc/20635/task/20639/stat : 20639 (java) S 20633 20635 20096 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273063373 937553920 9006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20640] ppid=20633 vsize=915580 CPUtime=0
/proc/20635/task/20640/stat : 20640 (java) S 20633 20635 20096 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273063376 937553920 9006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20641] ppid=20633 vsize=915580 CPUtime=0.29
/proc/20635/task/20641/stat : 20641 (java) S 20633 20635 20096 0 -1 64 430 0 0 0 28 1 0 0 16 0 8 0 273063376 937553920 9006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20642] ppid=20633 vsize=915580 CPUtime=0
/proc/20635/task/20642/stat : 20642 (java) S 20633 20635 20096 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273063376 937553920 9006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20643] ppid=20633 vsize=915580 CPUtime=0
/proc/20635/task/20643/stat : 20643 (java) S 20633 20635 20096 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273063376 937553920 9006 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 915580
[startup+102.433 s]
/proc/loadavg: 1.99 2.00 2.00 3/93 20643
/proc/meminfo: memFree=1279000/2055920 swapFree=4158792/4192956
[pid=20635] ppid=20633 vsize=915580 CPUtime=101.55
/proc/20635/stat : 20635 (java) R 20633 20635 20096 0 -1 0 9281 0 1 0 10131 24 0 0 25 0 8 0 273063368 937553920 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073937264 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20635/statm: 228895 9011 2532 14 0 215365 0
[pid=20635/tid=20637] ppid=20633 vsize=915580 CPUtime=0.03
/proc/20635/task/20637/stat : 20637 (java) S 20633 20635 20096 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273063372 937553920 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20638] ppid=20633 vsize=915580 CPUtime=0
/proc/20635/task/20638/stat : 20638 (java) S 20633 20635 20096 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273063373 937553920 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20639] ppid=20633 vsize=915580 CPUtime=0
/proc/20635/task/20639/stat : 20639 (java) S 20633 20635 20096 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273063373 937553920 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20640] ppid=20633 vsize=915580 CPUtime=0
/proc/20635/task/20640/stat : 20640 (java) S 20633 20635 20096 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273063376 937553920 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20641] ppid=20633 vsize=915580 CPUtime=0.29
/proc/20635/task/20641/stat : 20641 (java) S 20633 20635 20096 0 -1 64 430 0 0 0 28 1 0 0 16 0 8 0 273063376 937553920 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20642] ppid=20633 vsize=915580 CPUtime=0
/proc/20635/task/20642/stat : 20642 (java) S 20633 20635 20096 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273063376 937553920 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20643] ppid=20633 vsize=915580 CPUtime=0
/proc/20635/task/20643/stat : 20643 (java) S 20633 20635 20096 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273063376 937553920 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.55
Current children cumulated vsize (KiB) 915580
[startup+162.493 s]
/proc/loadavg: 1.99 2.00 2.00 3/93 20643
/proc/meminfo: memFree=1279064/2055920 swapFree=4158792/4192956
[pid=20635] ppid=20633 vsize=915580 CPUtime=161.11
/proc/20635/stat : 20635 (java) R 20633 20635 20096 0 -1 0 9285 0 1 0 16086 25 0 0 25 0 8 0 273063368 937553920 9015 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073971321 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
/proc/20635/task/20640/stat : 20640 (java) S 20633 20635 20096 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273063376 937553920 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20641] ppid=20633 vsize=915580 CPUtime=0.29
/proc/20635/task/20641/stat : 20641 (java) S 20633 20635 20096 0 -1 64 431 0 0 0 28 1 0 0 16 0 8 0 273063376 937553920 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20642] ppid=20633 vsize=915580 CPUtime=0
/proc/20635/task/20642/stat : 20642 (java) S 20633 20635 20096 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273063376 937553920 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20643] ppid=20633 vsize=915580 CPUtime=0
/proc/20635/task/20643/stat : 20643 (java) S 20633 20635 20096 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273063376 937553920 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 697.1
Current children cumulated vsize (KiB) 915580
[startup+763.101 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 20643
/proc/meminfo: memFree=1279000/2055920 swapFree=4158792/4192956
[pid=20635] ppid=20633 vsize=915580 CPUtime=756.62
/proc/20635/stat : 20635 (java) R 20633 20635 20096 0 -1 0 9296 0 1 0 75632 30 0 0 25 0 8 0 273063368 937553920 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073999124 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20635/statm: 228895 9025 2532 14 0 215365 0
[pid=20635/tid=20637] ppid=20633 vsize=915580 CPUtime=0.03
/proc/20635/task/20637/stat : 20637 (java) S 20633 20635 20096 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273063372 937553920 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20638] ppid=20633 vsize=915580 CPUtime=0
/proc/20635/task/20638/stat : 20638 (java) S 20633 20635 20096 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273063373 937553920 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20639] ppid=20633 vsize=915580 CPUtime=0
/proc/20635/task/20639/stat : 20639 (java) S 20633 20635 20096 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273063373 937553920 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20640] ppid=20633 vsize=915580 CPUtime=0
/proc/20635/task/20640/stat : 20640 (java) S 20633 20635 20096 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273063376 937553920 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20641] ppid=20633 vsize=915580 CPUtime=0.29
/proc/20635/task/20641/stat : 20641 (java) S 20633 20635 20096 0 -1 64 431 0 0 0 28 1 0 0 16 0 8 0 273063376 937553920 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20642] ppid=20633 vsize=915580 CPUtime=0
/proc/20635/task/20642/stat : 20642 (java) S 20633 20635 20096 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273063376 937553920 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20643] ppid=20633 vsize=915580 CPUtime=0
/proc/20635/task/20643/stat : 20643 (java) S 20633 20635 20096 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273063376 937553920 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 756.62
Current children cumulated vsize (KiB) 915580
[startup+823.16 s]
/proc/loadavg: 2.06 2.02 2.00 3/93 20643
/proc/meminfo: memFree=1279000/2055920 swapFree=4158792/4192956
[pid=20635] ppid=20633 vsize=915580 CPUtime=816.13
/proc/20635/stat : 20635 (java) R 20633 20635 20096 0 -1 0 9296 0 1 0 81583 30 0 0 25 0 8 0 273063368 937553920 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073999426 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20635/statm: 228895 9025 2532 14 0 215365 0
[pid=20635/tid=20637] ppid=20633 vsize=915580 CPUtime=0.03
/proc/20635/task/20637/stat : 20637 (java) S 20633 20635 20096 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273063372 937553920 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20638] ppid=20633 vsize=915580 CPUtime=0
/proc/20635/task/20638/stat : 20638 (java) S 20633 20635 20096 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273063373 937553920 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20639] ppid=20633 vsize=915580 CPUtime=0
/proc/20635/task/20639/stat : 20639 (java) S 20633 20635 20096 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273063373 937553920 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20640] ppid=20633 vsize=915580 CPUtime=0
/proc/20635/task/20640/stat : 20640 (java) S 20633 20635 20096 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273063376 937553920 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20641] ppid=20633 vsize=915580 CPUtime=0.29
/proc/20635/task/20641/stat : 20641 (java) S 20633 20635 20096 0 -1 64 431 0 0 0 28 1 0 0 16 0 8 0 273063376 937553920 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20642] ppid=20633 vsize=915580 CPUtime=0
/proc/20635/task/20642/stat : 20642 (java) S 20633 20635 20096 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273063376 937553920 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20643] ppid=20633 vsize=915580 CPUtime=0
/proc/20635/task/20643/stat : 20643 (java) S 20633 20635 20096 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273063376 937553920 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 816.13
Current children cumulated vsize (KiB) 915580
[startup+883.216 s]
/proc/loadavg: 2.02 2.01 2.00 3/93 20643
/proc/meminfo: memFree=1279000/2055920 swapFree=4158792/4192956
[pid=20635] ppid=20633 vsize=915580 CPUtime=875.65
/proc/20635/stat : 20635 (java) R 20633 20635 20096 0 -1 0 9296 0 1 0 87534 31 0 0 25 0 8 0 273063368 937553920 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073999194 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20635/statm: 228895 9025 2532 14 0 215365 0
[pid=20635/tid=20637] ppid=20633 vsize=915580 CPUtime=0.03
/proc/20635/task/20637/stat : 20637 (java) S 20633 20635 20096 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273063372 937553920 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20638] ppid=20633 vsize=915580 CPUtime=0
/proc/20635/task/20638/stat : 20638 (java) S 20633 20635 20096 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273063373 937553920 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20639] ppid=20633 vsize=915580 CPUtime=0
/proc/20635/task/20639/stat : 20639 (java) S 20633 20635 20096 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273063373 937553920 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20640] ppid=20633 vsize=915580 CPUtime=0
/proc/20635/task/20640/stat : 20640 (java) S 20633 20635 20096 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273063376 937553920 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20641] ppid=20633 vsize=915580 CPUtime=0.29
/proc/20635/task/20641/stat : 20641 (java) S 20633 20635 20096 0 -1 64 431 0 0 0 28 1 0 0 16 0 8 0 273063376 937553920 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20642] ppid=20633 vsize=915580 CPUtime=0
/proc/20635/task/20642/stat : 20642 (java) S 20633 20635 20096 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273063376 937553920 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20643] ppid=20633 vsize=915580 CPUtime=0
/proc/20635/task/20643/stat : 20643 (java) S 20633 20635 20096 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273063376 937553920 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 875.65
Current children cumulated vsize (KiB) 915580
[startup+943.274 s]
/proc/loadavg: 2.01 2.00 2.00 3/93 20643
/proc/meminfo: memFree=1279000/2055920 swapFree=4158792/4192956
[pid=20635] ppid=20633 vsize=915580 CPUtime=935.17
/proc/20635/stat : 20635 (java) R 20633 20635 20096 0 -1 0 9296 0 1 0 93486 31 0 0 25 0 8 0 273063368 937553920 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073999197 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20635/statm: 228895 9025 2532 14 0 215365 0
[pid=20635/tid=20637] ppid=20633 vsize=915580 CPUtime=0.03
/proc/20635/task/20637/stat : 20637 (java) S 20633 20635 20096 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273063372 937553920 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20638] ppid=20633 vsize=915580 CPUtime=0
/proc/20635/task/20638/stat : 20638 (java) S 20633 20635 20096 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273063373 937553920 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20639] ppid=20633 vsize=915580 CPUtime=0
/proc/20635/task/20639/stat : 20639 (java) S 20633 20635 20096 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273063373 937553920 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20640] ppid=20633 vsize=915580 CPUtime=0
/proc/20635/task/20640/stat : 20640 (java) S 20633 20635 20096 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273063376 937553920 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20641] ppid=20633 vsize=915580 CPUtime=0.29
/proc/20635/task/20641/stat : 20641 (java) S 20633 20635 20096 0 -1 64 431 0 0 0 28 1 0 0 16 0 8 0 273063376 937553920 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20642] ppid=20633 vsize=915580 CPUtime=0
/proc/20635/task/20642/stat : 20642 (java) S 20633 20635 20096 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273063376 937553920 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20643] ppid=20633 vsize=915580 CPUtime=0
/proc/20635/task/20643/stat : 20643 (java) S 20633 20635 20096 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273063376 937553920 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 935.17
Current children cumulated vsize (KiB) 915580
[startup+1003.34 s]
/proc/loadavg: 2.00 2.00 2.00 3/99 20751
/proc/meminfo: memFree=1277768/2055920 swapFree=4158792/4192956
[pid=20635] ppid=20633 vsize=915580 CPUtime=994.59
/proc/20635/stat : 20635 (java) R 20633 20635 20096 0 -1 0 9296 0 1 0 99428 31 0 0 25 0 8 0 273063368 937553920 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073960042 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20635/statm: 228895 9025 2532 14 0 215365 0
[pid=20635/tid=20637] ppid=20633 vsize=915580 CPUtime=0.03
/proc/20635/task/20637/stat : 20637 (java) S 20633 20635 20096 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273063372 937553920 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20638] ppid=20633 vsize=915580 CPUtime=0
/proc/20635/task/20638/stat : 20638 (java) S 20633 20635 20096 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273063373 937553920 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20639] ppid=20633 vsize=915580 CPUtime=0
/proc/20635/task/20639/stat : 20639 (java) S 20633 20635 20096 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273063373 937553920 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20640] ppid=20633 vsize=915580 CPUtime=0
/proc/20635/task/20640/stat : 20640 (java) S 20633 20635 20096 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273063376 937553920 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20641] ppid=20633 vsize=915580 CPUtime=0.29
/proc/20635/task/20641/stat : 20641 (java) S 20633 20635 20096 0 -1 64 431 0 0 0 28 1 0 0 16 0 8 0 273063376 937553920 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20642] ppid=20633 vsize=915580 CPUtime=0
/proc/20635/task/20642/stat : 20642 (java) S 20633 20635 20096 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273063376 937553920 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20643] ppid=20633 vsize=915580 CPUtime=0
/proc/20635/task/20643/stat : 20643 (java) S 20633 20635 20096 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273063376 937553920 9025 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 994.59
Current children cumulated vsize (KiB) 915580
[startup+1063.42 s]
/proc/loadavg: 2.07 2.02 2.00 3/93 20841
/proc/meminfo: memFree=1278808/2055920 swapFree=4158792/4192956
[pid=20635] ppid=20633 vsize=915580 CPUtime=1054.04
/proc/20635/stat : 20635 (java) R 20633 20635 20096 0 -1 0 9298 0 1 0 105372 32 0 0 25 0 8 0 273063368 937553920 9027 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073954185 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20635/statm: 228895 9027 2532 14 0 215365 0
[pid=20635/tid=20637] ppid=20633 vsize=915580 CPUtime=0.03
/proc/20635/task/20637/stat : 20637 (java) S 20633 20635 20096 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273063372 937553920 9027 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20638] ppid=20633 vsize=915580 CPUtime=0
/proc/20635/task/20638/stat : 20638 (java) S 20633 20635 20096 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273063373 937553920 9027 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20639] ppid=20633 vsize=915580 CPUtime=0
/proc/20635/task/20639/stat : 20639 (java) S 20633 20635 20096 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273063373 937553920 9027 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20640] ppid=20633 vsize=915580 CPUtime=0
/proc/20635/task/20640/stat : 20640 (java) S 20633 20635 20096 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273063376 937553920 9027 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20641] ppid=20633 vsize=915580 CPUtime=0.29
/proc/20635/task/20641/stat : 20641 (java) S 20633 20635 20096 0 -1 64 431 0 0 0 28 1 0 0 16 0 8 0 273063376 937553920 9027 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20642] ppid=20633 vsize=915580 CPUtime=0
/proc/20635/task/20642/stat : 20642 (java) S 20633 20635 20096 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273063376 937553920 9027 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20643] ppid=20633 vsize=915580 CPUtime=0
/proc/20635/task/20643/stat : 20643 (java) S 20633 20635 20096 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273063376 937553920 9027 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1054.04
Current children cumulated vsize (KiB) 915580
[startup+1123.48 s]
/proc/loadavg: 2.02 2.01 2.00 3/93 20841
/proc/meminfo: memFree=1278808/2055920 swapFree=4158792/4192956
[pid=20635] ppid=20633 vsize=915580 CPUtime=1113.54
/proc/20635/stat : 20635 (java) R 20633 20635 20096 0 -1 0 9298 0 1 0 111322 32 0 0 25 0 8 0 273063368 937553920 9027 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074010872 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20635/statm: 228895 9027 2532 14 0 215365 0
[pid=20635/tid=20637] ppid=20633 vsize=915580 CPUtime=0.03
/proc/20635/task/20637/stat : 20637 (java) S 20633 20635 20096 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273063372 937553920 9027 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20638] ppid=20633 vsize=915580 CPUtime=0
/proc/20635/task/20638/stat : 20638 (java) S 20633 20635 20096 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273063373 937553920 9027 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20639] ppid=20633 vsize=915580 CPUtime=0
/proc/20635/task/20639/stat : 20639 (java) S 20633 20635 20096 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273063373 937553920 9027 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20640] ppid=20633 vsize=915580 CPUtime=0
/proc/20635/task/20640/stat : 20640 (java) S 20633 20635 20096 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 273063376 937553920 9027 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20641] ppid=20633 vsize=915580 CPUtime=0.29
/proc/20635/task/20641/stat : 20641 (java) S 20633 20635 20096 0 -1 64 431 0 0 0 28 1 0 0 16 0 8 0 273063376 937553920 9027 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20642] ppid=20633 vsize=915580 CPUtime=0
/proc/20635/task/20642/stat : 20642 (java) S 20633 20635 20096 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273063376 937553920 9027 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20635/tid=20643] ppid=20633 vsize=915580 CPUtime=0
/proc/20635/task/20643/stat : 20643 (java) S 20633 20635 20096 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 273063376 937553920 9027 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1113.54
Current children cumulated vsize (KiB) 915580
Child status: 0
Real time (s): 1141.6
CPU time (s): 1131.46
CPU user time (s): 1131.13
CPU system time (s): 0.334949
CPU usage (%): 99.1119
Max. virtual memory (cumulated for all children) (KiB): 916096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1131.13
system time used= 0.334949
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9395
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= 24409
involuntary context switches= 59394
runsolver used 1.48577 s user time and 3.58945 s system time
The end
Begin job on node14 on Fri Jan 19 22:44:44 UTC 2007
IDJOB= 276796
IDBENCH= 6034
IDSOLVER= 68
FILE ID= node14/276796-1169246684
PBS_JOBID= 3589045
Free space on /tmp= 66560 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.1/rand-2-40-8-753-100-17_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276796-1169246684/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-276796-1169246684 -o ROOT/results/node14/solver-276796-1169246684 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276796-1169246684/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 35db91cf2a5416ba505693dda26a63fb
RANDOM SEED= 275061118
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.227
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.227
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: 1305776 kB
Buffers: 51248 kB
Cached: 588080 kB
SwapCached: 3272 kB
Active: 188712 kB
Inactive: 485076 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1305776 kB
SwapTotal: 4192956 kB
SwapFree: 4158792 kB
Dirty: 1912 kB
Writeback: 0 kB
Mapped: 43432 kB
Slab: 61392 kB
Committed_AS: 8712308 kB
PageTables: 2140 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66560 MiB
End job on node14 on Fri Jan 19 23:03:46 UTC 2007