0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=epfc.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/276877-1169248493/unknown.xml
0.36
0.36 domains being loaded...
0.37
0.37 variables being loaded...
0.40 nbVariables=40 nbDomainTypes=1 minDomainSize=8 maxDomainSize=8
0.40 => wckTime=0.095 cpuTime=0.08 mem=6M887
0.40
0.40 relations being loaded...
0.50
0.50 constraints being loaded...
0.66 nbConstraints=753 nbRelationTypes=752 nbExtensionStructures=752 nbSharedExtensionStructures=1
0.66 nbConflictsStructures=752 nbSharedConflictsStructures=1 nbSharedBinaryRepresentations=11894 maxDegree=39
0.66 maxArity=2
0.66 => wckTime=0.354 cpuTime=0.22 mem=11M779
0.70
0.70 solver LocalSearchSolver being built...
0.75 => wckTime=0.441 cpuTime=0.27 mem=6M109
0.75
0.75 s SATISFIABLE
0.75 o 686
0.75 c 67
0.75 o 691
0.75 c 62
0.75 o 696
0.75 c 57
0.75 o 700
0.75 c 53
0.75 o 704
0.75 c 49
0.75 o 707
0.75 c 46
0.76 o 710
0.76 c 43
0.76 o 712
0.76 c 41
0.76 o 714
0.76 c 39
0.76 o 715
0.76 c 38
0.76 o 717
0.76 c 36
0.76 o 718
0.76 c 35
0.76 o 720
0.76 c 33
0.76 o 721
0.76 c 32
0.76 o 722
0.76 c 31
0.76 o 725
0.76 c 28
0.76 o 726
0.76 c 27
0.76 o 728
0.76 c 25
0.77 o 729
0.77 c 24
0.77 o 730
0.77 c 23
0.77 o 731
0.77 c 22
0.77 o 732
0.77 c 21
0.77 o 733
0.77 c 20
0.78 o 734
0.78 c 19
0.78 o 735
0.78 c 18
0.78 o 738
0.78 c 15
0.78 o 740
0.78 c 13
0.78 o 741
0.78 c 12
0.79 o 742
0.79 c 11
0.83 o 744
0.83 c 9
0.84 o 745
0.84 c 8
0.84 o 746
0.84 c 7
0.88 o 747
0.88 c 6
0.88 o 748
0.88 c 5
0.88 o 749
0.88 c 4
0.90 o 750
0.90 c 3
0.99 o 751
0.99 c 2
1.79 o 752
1.79 c 1
1.80
1.80 search
1.80 run=0 nbConstraintChecks=6724005 nbAssignments=3831
1.80 => wckTime=1.051 cpuTime=1.03 mem=6M109
1.80
1.80 global
1.80 nbConstraintChecks=6724005 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.80 solvingWckTime=1.05 solvingCpuTime=1.03 expiredTime=no totalExploration=no nbFoundSolutions=0
1.80 globalCpuTime=1.34
1.80 => wckTime=1.493 cpuTime=1.3 mem=6M109
1.80
1.80 solver IterativeSystematicSolver being built...
1.92 => wckTime=1.615 cpuTime=1.39 mem=17M49
2.01
2.01 preprocessing
2.01 nbConstraintChecks=53648 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
2.01 detectedInconsistency=no
2.01 => wckTime=0.087 cpuTime=0.06 mem=17M49
2.06
2.06 search
2.06 run=0 nbConstraintChecks=97238 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=29
2.06 nbFailedAssignments=12 nbBacktracks=10 nbVisitedNodes=52 nbRestartNogoods=0
2.06 => wckTime=0.142 cpuTime=0.11 mem=17M49
2.15
2.15 search
2.15 run=1 nbConstraintChecks=303739 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=84
2.15 nbFailedAssignments=43 nbBacktracks=26 nbVisitedNodes=154 nbRestartNogoods=4
2.15 => wckTime=0.233 cpuTime=0.2 mem=17M49
2.24
2.24 search
2.24 run=2 nbConstraintChecks=519667 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=142
2.24 nbFailedAssignments=74 nbBacktracks=48 nbVisitedNodes=265 nbRestartNogoods=15
2.24 => wckTime=0.324 cpuTime=0.28 mem=17M49
2.38
2.38 search
2.38 run=3 nbConstraintChecks=889453 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=237
2.38 nbFailedAssignments=129 nbBacktracks=81 nbVisitedNodes=447 nbRestartNogoods=19
2.38 => wckTime=0.458 cpuTime=0.42 mem=17M49
2.59
2.59 search
2.59 run=4 nbConstraintChecks=1457820 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=374
2.59 nbFailedAssignments=211 nbBacktracks=131 nbVisitedNodes=716 nbRestartNogoods=23
2.59 => wckTime=0.672 cpuTime=0.63 mem=17M49
2.89
2.89 search
2.89 run=5 nbConstraintChecks=2258483 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=577
2.89 nbFailedAssignments=330 nbBacktracks=206 nbVisitedNodes=1111 nbRestartNogoods=46
2.89 => wckTime=0.971 cpuTime=0.93 mem=17M49
3.38
3.38 search
3.38 run=6 nbConstraintChecks=3590234 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=907
3.38 nbFailedAssignments=543 nbBacktracks=319 nbVisitedNodes=1761 nbRestartNogoods=56
3.38 => wckTime=1.462 cpuTime=1.42 mem=17M49
4.04
4.04 search
4.04 run=7 nbConstraintChecks=5376942 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1359
4.04 nbFailedAssignments=818 nbBacktracks=489 nbVisitedNodes=2655 nbRestartNogoods=59
4.05 => wckTime=2.124 cpuTime=2.07 mem=17M49
5.03
5.03 search
5.03 run=8 nbConstraintChecks=8054999 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2025
5.03 nbFailedAssignments=1220 nbBacktracks=745 nbVisitedNodes=3967 nbRestartNogoods=76
5.03 => wckTime=3.111 cpuTime=3.05 mem=17M49
6.44
6.44 search
6.44 run=9 nbConstraintChecks=12075470 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3020
6.44 nbFailedAssignments=1823 nbBacktracks=1129 nbVisitedNodes=5918 nbRestartNogoods=94
6.44 => wckTime=4.523 cpuTime=4.45 mem=17M49
8.41
8.41 search
8.41 run=10 nbConstraintChecks=17527767 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4412
8.41 nbFailedAssignments=2634 nbBacktracks=1705 nbVisitedNodes=8589 nbRestartNogoods=109
8.41 => wckTime=6.488 cpuTime=6.41 mem=17M49
11.09
11.09 search
11.09 run=11 nbConstraintChecks=24730847 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6325
11.09 nbFailedAssignments=3677 nbBacktracks=2569 nbVisitedNodes=12083 nbRestartNogoods=118
11.09 => wckTime=9.166 cpuTime=9.09 mem=17M49
14.58
14.58 search
14.58 run=12 nbConstraintChecks=33774799 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8905
14.58 nbFailedAssignments=4956 nbBacktracks=3867 nbVisitedNodes=16565 nbRestartNogoods=135
14.58 => wckTime=12.657 cpuTime=12.58 mem=17M49
19.17
19.17 search
19.17 run=13 nbConstraintChecks=44687668 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=12357
19.17 nbFailedAssignments=6457 nbBacktracks=5814 nbVisitedNodes=22077 nbRestartNogoods=148
19.17 => wckTime=17.25 cpuTime=17.17 mem=17M49
25.61
25.61 search
25.61 run=14 nbConstraintChecks=61713381 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=17578
25.61 nbFailedAssignments=8754 nbBacktracks=8733 nbVisitedNodes=30461 nbRestartNogoods=153
25.61 => wckTime=23.69 cpuTime=23.58 mem=17M49
34.90
34.90 search
34.90 run=15 nbConstraintChecks=85633406 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=25155
34.90 nbFailedAssignments=11945 nbBacktracks=13111 nbVisitedNodes=42355 nbRestartNogoods=164
34.90 => wckTime=32.976 cpuTime=32.85 mem=17M49
48.40
48.40 search
48.40 run=16 nbConstraintChecks=119072647 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=36208
48.40 nbFailedAssignments=16424 nbBacktracks=19682 nbVisitedNodes=59311 nbRestartNogoods=185
48.40 => wckTime=46.476 cpuTime=46.35 mem=17M49
67.98
67.98 search
67.98 run=17 nbConstraintChecks=168097002 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=52523
67.98 nbFailedAssignments=22880 nbBacktracks=29536 nbVisitedNodes=83999 nbRestartNogoods=203
67.98 => wckTime=66.065 cpuTime=65.93 mem=17M49
97.11
97.11 search
97.11 run=18 nbConstraintChecks=241166125 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=76774
97.11 nbFailedAssignments=32350 nbBacktracks=44314 nbVisitedNodes=120680 nbRestartNogoods=218
97.11 => wckTime=95.189 cpuTime=95.0 mem=17M49
141.57
141.57 search
141.57 run=19 nbConstraintChecks=352265757 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=113639
141.57 nbFailedAssignments=47041 nbBacktracks=66483 nbVisitedNodes=176795 nbRestartNogoods=234
141.57 => wckTime=139.646 cpuTime=139.42 mem=17M49
208.11
208.11 search
208.11 run=20 nbConstraintChecks=517056689 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=168540
208.11 nbFailedAssignments=68684 nbBacktracks=99735 nbVisitedNodes=260197 nbRestartNogoods=245
208.11 => wckTime=206.191 cpuTime=205.88 mem=17M49
305.04
305.04 search
305.04 run=21 nbConstraintChecks=758684358 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=249918
305.04 nbFailedAssignments=100176 nbBacktracks=149613 nbVisitedNodes=382784 nbRestartNogoods=270
305.04 => wckTime=303.116 cpuTime=302.69 mem=17M49
453.51
453.51 search
453.51 run=22 nbConstraintChecks=1122727531 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=373036
453.51 nbFailedAssignments=148474 nbBacktracks=224431 nbVisitedNodes=569253 nbRestartNogoods=281
453.51 => wckTime=451.586 cpuTime=451.0 mem=17M49
675.63
675.64 search
675.64 run=23 nbConstraintChecks=1672944265 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=557711
675.64 nbFailedAssignments=220914 nbBacktracks=336658 nbVisitedNodes=849157 nbRestartNogoods=322
675.64 => wckTime=673.715 cpuTime=672.87 mem=17M49
1010.15
1010.15 search
1010.15 run=24 nbConstraintChecks=2488091137 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=833738
1010.15 nbFailedAssignments=328598 nbBacktracks=504999 nbVisitedNodes=1266131 nbRestartNogoods=338
1010.15 => wckTime=1008.229 cpuTime=1007.03 mem=17M49
1080.02
1080.02 search
1080.02 run=25 nbConstraintChecks=2653868559 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=890807
1080.02 nbFailedAssignments=350734 nbBacktracks=539933 nbVisitedNodes=1351976 nbRestartNogoods=364
1080.02 => wckTime=1078.098 cpuTime=1076.81 mem=17M49
1080.02
1080.02 global
1080.02 nbConstraintChecks=2653922207 nbRestartNogoods=364 solvingWckTime=1078.099 solvingCpuTime=1076.81
1080.02 expiredTime=no totalExploration=yes nbFoundSolutions=0 globalCpuTime=1078.24
1080.02 => wckTime=1079.716 cpuTime=1078.2 mem=17M49
1080.02
1080.02 s OPTIMUM FOUND
1080.02 v 6 4 1 4 0 1 2 1 0 5 4 2 1 3 4 4 4 5 0 3 6 6 6 2 7 4 1 2 0 2 2 2 2 2 4 0 1 2 5 0
1080.02
1080.02 totalWckTime=1079.794 totalCpuTime=1078.25
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node19/watcher-276877-1169248493 -o ROOT/results/node19/solver-276877-1169248493 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276877-1169248493/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.98 1.99 1.99 4/86 13311
/proc/meminfo: memFree=1178256/2055920 swapFree=4171264/4192956
[pid=13310] ppid=13308 vsize=172 CPUtime=0
/proc/13310/stat : 13310 (java) R 13308 13310 12133 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 273243944 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7484196 0 0 4096 0 0 0 0 17 0 0 0
/proc/13310/statm: 43 24 18 14 0 3 0
[startup+0.108154 s]
/proc/loadavg: 1.98 1.99 1.99 4/86 13311
/proc/meminfo: memFree=1178256/2055920 swapFree=4171264/4192956
[pid=13310] ppid=13308 vsize=914988 CPUtime=0.08
/proc/13310/stat : 13310 (java) R 13308 13310 12133 0 -1 0 2996 0 1 0 7 1 0 0 23 0 8 0 273243944 936947712 2742 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072925707 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13310/statm: 228747 2742 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.51623 s]
/proc/loadavg: 1.98 1.99 1.99 4/86 13311
/proc/meminfo: memFree=1178256/2055920 swapFree=4171264/4192956
[pid=13310] ppid=13308 vsize=915332 CPUtime=0.48
/proc/13310/stat : 13310 (java) R 13308 13310 12133 0 -1 0 6461 0 1 0 44 4 0 0 25 0 8 0 273243944 937299968 6200 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13310/statm: 228833 6200 2143 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.33839 s]
/proc/loadavg: 1.98 1.99 1.99 3/93 13318
/proc/meminfo: memFree=1156632/2055920 swapFree=4171264/4192956
[pid=13310] ppid=13308 vsize=915448 CPUtime=1.31
/proc/13310/stat : 13310 (java) R 13308 13310 12133 0 -1 0 8117 0 1 0 119 12 0 0 25 0 8 0 273243944 937418752 7855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13310/statm: 228863 7855 2479 14 0 215333 0
[pid=13310/tid=13312] ppid=13308 vsize=915448 CPUtime=0.03
/proc/13310/task/13312/stat : 13312 (java) S 13308 13310 12133 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273243948 937418752 7855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13313] ppid=13308 vsize=915448 CPUtime=0
/proc/13310/task/13313/stat : 13313 (java) S 13308 13310 12133 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273243948 937418752 7855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13314] ppid=13308 vsize=915448 CPUtime=0
/proc/13310/task/13314/stat : 13314 (java) S 13308 13310 12133 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273243948 937418752 7855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13315] ppid=13308 vsize=915452 CPUtime=0
/proc/13310/task/13315/stat : 13315 (java) S 13308 13310 12133 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 273243952 937422848 7855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13316] ppid=13308 vsize=915448 CPUtime=0.19
/proc/13310/task/13316/stat : 13316 (java) S 13308 13310 12133 0 -1 64 375 0 0 0 18 1 0 0 16 0 8 0 273243952 937418752 7855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13317] ppid=13308 vsize=915448 CPUtime=0
/proc/13310/task/13317/stat : 13317 (java) S 13308 13310 12133 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273243953 937418752 7855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13318] ppid=13308 vsize=915448 CPUtime=0
/proc/13310/task/13318/stat : 13318 (java) S 13308 13310 12133 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273243953 937418752 7855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915448
[startup+2.98973 s]
/proc/loadavg: 1.98 1.99 1.99 3/93 13318
/proc/meminfo: memFree=1152280/2055920 swapFree=4171264/4192956
[pid=13310] ppid=13308 vsize=915584 CPUtime=2.95
/proc/13310/stat : 13310 (java) R 13308 13310 12133 0 -1 0 9233 0 1 0 277 18 0 0 25 0 8 0 273243944 937558016 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074005987 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13310/statm: 228896 8969 2532 14 0 215366 0
[pid=13310/tid=13312] ppid=13308 vsize=915584 CPUtime=0.03
/proc/13310/task/13312/stat : 13312 (java) S 13308 13310 12133 0 -1 64 308 0 0 0 3 0 0 0 16 0 8 0 273243948 937558016 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13313] ppid=13308 vsize=915584 CPUtime=0
/proc/13310/task/13313/stat : 13313 (java) S 13308 13310 12133 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273243948 937558016 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13314] ppid=13308 vsize=915584 CPUtime=0
/proc/13310/task/13314/stat : 13314 (java) S 13308 13310 12133 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273243948 937558016 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13315] ppid=13308 vsize=915584 CPUtime=0
/proc/13310/task/13315/stat : 13315 (java) S 13308 13310 12133 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 273243952 937558016 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13316] ppid=13308 vsize=915584 CPUtime=0.26
/proc/13310/task/13316/stat : 13316 (java) S 13308 13310 12133 0 -1 64 414 0 0 0 25 1 0 0 15 0 8 0 273243952 937558016 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13317] ppid=13308 vsize=915584 CPUtime=0
/proc/13310/task/13317/stat : 13317 (java) S 13308 13310 12133 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273243953 937558016 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13318] ppid=13308 vsize=915584 CPUtime=0
/proc/13310/task/13318/stat : 13318 (java) S 13308 13310 12133 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273243953 937558016 8969 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915584
[startup+6.27331 s]
/proc/loadavg: 1.98 1.99 1.99 3/93 13318
/proc/meminfo: memFree=1152152/2055920 swapFree=4171264/4192956
[pid=13310] ppid=13308 vsize=915584 CPUtime=6.24
/proc/13310/stat : 13310 (java) R 13308 13310 12133 0 -1 0 9257 0 1 0 606 18 0 0 25 0 8 0 273243944 937558016 8990 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073967508 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13310/statm: 228896 8990 2533 14 0 215366 0
[pid=13310/tid=13312] ppid=13308 vsize=915584 CPUtime=0.03
/proc/13310/task/13312/stat : 13312 (java) S 13308 13310 12133 0 -1 64 308 0 0 0 3 0 0 0 16 0 8 0 273243948 937558016 8990 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13313] ppid=13308 vsize=915584 CPUtime=0
/proc/13310/task/13313/stat : 13313 (java) S 13308 13310 12133 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273243948 937558016 8990 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13314] ppid=13308 vsize=915584 CPUtime=0
/proc/13310/task/13314/stat : 13314 (java) S 13308 13310 12133 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273243948 937558016 8990 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13315] ppid=13308 vsize=915584 CPUtime=0
/proc/13310/task/13315/stat : 13315 (java) S 13308 13310 12133 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 273243952 937558016 8990 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13316] ppid=13308 vsize=915584 CPUtime=0.29
/proc/13310/task/13316/stat : 13316 (java) S 13308 13310 12133 0 -1 64 428 0 0 0 28 1 0 0 15 0 8 0 273243952 937558016 8990 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13317] ppid=13308 vsize=915584 CPUtime=0
/proc/13310/task/13317/stat : 13317 (java) S 13308 13310 12133 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273243953 937558016 8990 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13318] ppid=13308 vsize=915584 CPUtime=0
/proc/13310/task/13318/stat : 13318 (java) S 13308 13310 12133 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273243953 937558016 8990 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915584
[startup+12.7615 s]
/proc/loadavg: 1.99 1.99 1.99 3/93 13318
/proc/meminfo: memFree=1152152/2055920 swapFree=4171264/4192956
[pid=13310] ppid=13308 vsize=915584 CPUtime=12.72
/proc/13310/stat : 13310 (java) R 13308 13310 12133 0 -1 0 9268 0 1 0 1254 18 0 0 25 0 8 0 273243944 937558016 9000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918535 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13310/statm: 228896 9000 2533 14 0 215366 0
[pid=13310/tid=13312] ppid=13308 vsize=915584 CPUtime=0.03
/proc/13310/task/13312/stat : 13312 (java) S 13308 13310 12133 0 -1 64 308 0 0 0 3 0 0 0 16 0 8 0 273243948 937558016 9000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13313] ppid=13308 vsize=915584 CPUtime=0
/proc/13310/task/13313/stat : 13313 (java) S 13308 13310 12133 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273243948 937558016 9000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13314] ppid=13308 vsize=915584 CPUtime=0
/proc/13310/task/13314/stat : 13314 (java) S 13308 13310 12133 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273243948 937558016 9000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13315] ppid=13308 vsize=915584 CPUtime=0
/proc/13310/task/13315/stat : 13315 (java) S 13308 13310 12133 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 273243952 937558016 9000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13316] ppid=13308 vsize=915584 CPUtime=0.29
/proc/13310/task/13316/stat : 13316 (java) S 13308 13310 12133 0 -1 64 431 0 0 0 28 1 0 0 16 0 8 0 273243952 937558016 9000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13317] ppid=13308 vsize=915584 CPUtime=0
/proc/13310/task/13317/stat : 13317 (java) S 13308 13310 12133 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273243953 937558016 9000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13318] ppid=13308 vsize=915584 CPUtime=0
/proc/13310/task/13318/stat : 13318 (java) S 13308 13310 12133 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273243953 937558016 9000 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 915584
[startup+25.609 s]
/proc/loadavg: 1.99 1.99 1.99 3/93 13318
/proc/meminfo: memFree=1152152/2055920 swapFree=4171264/4192956
[pid=13310] ppid=13308 vsize=915584 CPUtime=25.54
/proc/13310/stat : 13310 (java) R 13308 13310 12133 0 -1 0 9273 0 1 0 2536 18 0 0 25 0 8 0 273243944 937558016 9004 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073975595 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13310/statm: 228896 9004 2533 14 0 215366 0
[pid=13310/tid=13312] ppid=13308 vsize=915584 CPUtime=0.03
/proc/13310/task/13312/stat : 13312 (java) S 13308 13310 12133 0 -1 64 308 0 0 0 3 0 0 0 16 0 8 0 273243948 937558016 9004 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13313] ppid=13308 vsize=915584 CPUtime=0
/proc/13310/task/13313/stat : 13313 (java) S 13308 13310 12133 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273243948 937558016 9004 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13314] ppid=13308 vsize=915584 CPUtime=0
/proc/13310/task/13314/stat : 13314 (java) S 13308 13310 12133 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273243948 937558016 9004 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13315] ppid=13308 vsize=915584 CPUtime=0
/proc/13310/task/13315/stat : 13315 (java) S 13308 13310 12133 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 273243952 937558016 9004 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13316] ppid=13308 vsize=915584 CPUtime=0.29
/proc/13310/task/13316/stat : 13316 (java) S 13308 13310 12133 0 -1 64 431 0 0 0 28 1 0 0 16 0 8 0 273243952 937558016 9004 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13317] ppid=13308 vsize=915584 CPUtime=0
/proc/13310/task/13317/stat : 13317 (java) S 13308 13310 12133 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273243953 937558016 9004 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13318] ppid=13308 vsize=915584 CPUtime=0
/proc/13310/task/13318/stat : 13318 (java) S 13308 13310 12133 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273243953 937558016 9004 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.54
Current children cumulated vsize (KiB) 915584
[startup+51.2228 s]
/proc/loadavg: 1.99 1.99 1.99 3/93 13318
/proc/meminfo: memFree=1152088/2055920 swapFree=4171264/4192956
[pid=13310] ppid=13308 vsize=915584 CPUtime=51.14
/proc/13310/stat : 13310 (java) R 13308 13310 12133 0 -1 0 9280 0 1 0 5095 19 0 0 25 0 8 0 273243944 937558016 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073964239 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13310/statm: 228896 9011 2533 14 0 215366 0
[pid=13310/tid=13312] ppid=13308 vsize=915584 CPUtime=0.03
/proc/13310/task/13312/stat : 13312 (java) S 13308 13310 12133 0 -1 64 308 0 0 0 3 0 0 0 16 0 8 0 273243948 937558016 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13313] ppid=13308 vsize=915584 CPUtime=0
/proc/13310/task/13313/stat : 13313 (java) S 13308 13310 12133 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273243948 937558016 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13314] ppid=13308 vsize=915584 CPUtime=0
/proc/13310/task/13314/stat : 13314 (java) S 13308 13310 12133 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273243948 937558016 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13315] ppid=13308 vsize=915584 CPUtime=0
/proc/13310/task/13315/stat : 13315 (java) S 13308 13310 12133 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 273243952 937558016 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13316] ppid=13308 vsize=915584 CPUtime=0.29
/proc/13310/task/13316/stat : 13316 (java) S 13308 13310 12133 0 -1 64 431 0 0 0 28 1 0 0 16 0 8 0 273243952 937558016 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13317] ppid=13308 vsize=915584 CPUtime=0
/proc/13310/task/13317/stat : 13317 (java) S 13308 13310 12133 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273243953 937558016 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13318] ppid=13308 vsize=915584 CPUtime=0
/proc/13310/task/13318/stat : 13318 (java) S 13308 13310 12133 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273243953 937558016 9011 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.14
Current children cumulated vsize (KiB) 915584
[startup+102.44 s]
/proc/loadavg: 1.99 1.99 1.99 3/93 13318
/proc/meminfo: memFree=1152024/2055920 swapFree=4171264/4192956
[pid=13310] ppid=13308 vsize=915584 CPUtime=102.3
/proc/13310/stat : 13310 (java) R 13308 13310 12133 0 -1 0 9286 0 1 0 10211 19 0 0 25 0 8 0 273243944 937558016 9016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073957794 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13310/statm: 228896 9016 2533 14 0 215366 0
[pid=13310/tid=13312] ppid=13308 vsize=915584 CPUtime=0.03
/proc/13310/task/13312/stat : 13312 (java) S 13308 13310 12133 0 -1 64 308 0 0 0 3 0 0 0 16 0 8 0 273243948 937558016 9016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13313] ppid=13308 vsize=915584 CPUtime=0
/proc/13310/task/13313/stat : 13313 (java) S 13308 13310 12133 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273243948 937558016 9016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13314] ppid=13308 vsize=915584 CPUtime=0
/proc/13310/task/13314/stat : 13314 (java) S 13308 13310 12133 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273243948 937558016 9016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13315] ppid=13308 vsize=915584 CPUtime=0
/proc/13310/task/13315/stat : 13315 (java) S 13308 13310 12133 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 273243952 937558016 9016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13316] ppid=13308 vsize=915584 CPUtime=0.29
/proc/13310/task/13316/stat : 13316 (java) S 13308 13310 12133 0 -1 64 431 0 0 0 28 1 0 0 16 0 8 0 273243952 937558016 9016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13317] ppid=13308 vsize=915584 CPUtime=0
/proc/13310/task/13317/stat : 13317 (java) S 13308 13310 12133 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273243953 937558016 9016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13318] ppid=13308 vsize=915584 CPUtime=0
/proc/13310/task/13318/stat : 13318 (java) S 13308 13310 12133 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273243953 937558016 9016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 915584
[startup+162.508 s]
/proc/loadavg: 1.99 1.99 1.99 3/93 13318
/proc/meminfo: memFree=1152024/2055920 swapFree=4171264/4192956
[pid=13310] ppid=13308 vsize=915584 CPUtime=162.29
/proc/13310/stat : 13310 (java) R 13308 13310 12133 0 -1 0 9289 0 1 0 16210 19 0 0 25 0 8 0 273243944 937558016 9019 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074061392 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
/proc/13310/task/13315/stat : 13315 (java) S 13308 13310 12133 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 273243952 937558016 9028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13316] ppid=13308 vsize=915584 CPUtime=0.29
/proc/13310/task/13316/stat : 13316 (java) S 13308 13310 12133 0 -1 64 433 0 0 0 28 1 0 0 16 0 8 0 273243952 937558016 9028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13317] ppid=13308 vsize=915584 CPUtime=0
/proc/13310/task/13317/stat : 13317 (java) S 13308 13310 12133 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273243953 937558016 9028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13318] ppid=13308 vsize=915584 CPUtime=0
/proc/13310/task/13318/stat : 13318 (java) S 13308 13310 12133 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273243953 937558016 9028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 642.26
Current children cumulated vsize (KiB) 915584
[startup+703.073 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 13320
/proc/meminfo: memFree=1152024/2055920 swapFree=4171264/4192956
[pid=13310] ppid=13308 vsize=915584 CPUtime=702.23
/proc/13310/stat : 13310 (java) R 13308 13310 12133 0 -1 0 9301 0 1 0 70203 20 0 0 25 0 8 0 273243944 937558016 9030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336188 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13310/statm: 228896 9030 2533 14 0 215366 0
[pid=13310/tid=13312] ppid=13308 vsize=915584 CPUtime=0.03
/proc/13310/task/13312/stat : 13312 (java) S 13308 13310 12133 0 -1 64 308 0 0 0 3 0 0 0 16 0 8 0 273243948 937558016 9030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13313] ppid=13308 vsize=915584 CPUtime=0
/proc/13310/task/13313/stat : 13313 (java) S 13308 13310 12133 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273243948 937558016 9030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13314] ppid=13308 vsize=915584 CPUtime=0
/proc/13310/task/13314/stat : 13314 (java) S 13308 13310 12133 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273243948 937558016 9030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13315] ppid=13308 vsize=915584 CPUtime=0
/proc/13310/task/13315/stat : 13315 (java) S 13308 13310 12133 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 273243952 937558016 9030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13316] ppid=13308 vsize=915584 CPUtime=0.29
/proc/13310/task/13316/stat : 13316 (java) S 13308 13310 12133 0 -1 64 433 0 0 0 28 1 0 0 16 0 8 0 273243952 937558016 9030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13317] ppid=13308 vsize=915584 CPUtime=0
/proc/13310/task/13317/stat : 13317 (java) S 13308 13310 12133 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273243953 937558016 9030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13318] ppid=13308 vsize=915584 CPUtime=0
/proc/13310/task/13318/stat : 13318 (java) S 13308 13310 12133 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273243953 937558016 9030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 702.23
Current children cumulated vsize (KiB) 915584
[startup+763.134 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 13320
/proc/meminfo: memFree=1151960/2055920 swapFree=4171264/4192956
[pid=13310] ppid=13308 vsize=915584 CPUtime=762.24
/proc/13310/stat : 13310 (java) R 13308 13310 12133 0 -1 0 9301 0 1 0 76204 20 0 0 25 0 8 0 273243944 937558016 9030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074006096 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13310/statm: 228896 9030 2533 14 0 215366 0
[pid=13310/tid=13312] ppid=13308 vsize=915584 CPUtime=0.03
/proc/13310/task/13312/stat : 13312 (java) S 13308 13310 12133 0 -1 64 308 0 0 0 3 0 0 0 16 0 8 0 273243948 937558016 9030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13313] ppid=13308 vsize=915584 CPUtime=0
/proc/13310/task/13313/stat : 13313 (java) S 13308 13310 12133 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273243948 937558016 9030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13314] ppid=13308 vsize=915584 CPUtime=0
/proc/13310/task/13314/stat : 13314 (java) S 13308 13310 12133 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273243948 937558016 9030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13315] ppid=13308 vsize=915584 CPUtime=0
/proc/13310/task/13315/stat : 13315 (java) S 13308 13310 12133 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 273243952 937558016 9030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13316] ppid=13308 vsize=915584 CPUtime=0.29
/proc/13310/task/13316/stat : 13316 (java) S 13308 13310 12133 0 -1 64 433 0 0 0 28 1 0 0 16 0 8 0 273243952 937558016 9030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13317] ppid=13308 vsize=915584 CPUtime=0
/proc/13310/task/13317/stat : 13317 (java) S 13308 13310 12133 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273243953 937558016 9030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13318] ppid=13308 vsize=915584 CPUtime=0
/proc/13310/task/13318/stat : 13318 (java) S 13308 13310 12133 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273243953 937558016 9030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 762.24
Current children cumulated vsize (KiB) 915584
[startup+823.199 s]
/proc/loadavg: 2.00 2.00 2.00 4/93 13320
/proc/meminfo: memFree=1151960/2055920 swapFree=4171264/4192956
[pid=13310] ppid=13308 vsize=915584 CPUtime=822.24
/proc/13310/stat : 13310 (java) R 13308 13310 12133 0 -1 0 9301 0 1 0 82204 20 0 0 25 0 8 0 273243944 937558016 9030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074005012 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13310/statm: 228896 9030 2533 14 0 215366 0
[pid=13310/tid=13312] ppid=13308 vsize=915584 CPUtime=0.03
/proc/13310/task/13312/stat : 13312 (java) S 13308 13310 12133 0 -1 64 308 0 0 0 3 0 0 0 16 0 8 0 273243948 937558016 9030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13313] ppid=13308 vsize=915584 CPUtime=0
/proc/13310/task/13313/stat : 13313 (java) S 13308 13310 12133 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273243948 937558016 9030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13314] ppid=13308 vsize=915584 CPUtime=0
/proc/13310/task/13314/stat : 13314 (java) S 13308 13310 12133 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273243948 937558016 9030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13315] ppid=13308 vsize=915584 CPUtime=0
/proc/13310/task/13315/stat : 13315 (java) S 13308 13310 12133 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 273243952 937558016 9030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13316] ppid=13308 vsize=915584 CPUtime=0.29
/proc/13310/task/13316/stat : 13316 (java) S 13308 13310 12133 0 -1 64 433 0 0 0 28 1 0 0 16 0 8 0 273243952 937558016 9030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13317] ppid=13308 vsize=915584 CPUtime=0
/proc/13310/task/13317/stat : 13317 (java) S 13308 13310 12133 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273243953 937558016 9030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13318] ppid=13308 vsize=915584 CPUtime=0
/proc/13310/task/13318/stat : 13318 (java) S 13308 13310 12133 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273243953 937558016 9030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 822.24
Current children cumulated vsize (KiB) 915584
[startup+883.271 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 13320
/proc/meminfo: memFree=1152024/2055920 swapFree=4171264/4192956
[pid=13310] ppid=13308 vsize=915584 CPUtime=882.22
/proc/13310/stat : 13310 (java) R 13308 13310 12133 0 -1 0 9301 0 1 0 88202 20 0 0 25 0 8 0 273243944 937558016 9030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074005740 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13310/statm: 228896 9030 2533 14 0 215366 0
[pid=13310/tid=13312] ppid=13308 vsize=915584 CPUtime=0.03
/proc/13310/task/13312/stat : 13312 (java) S 13308 13310 12133 0 -1 64 308 0 0 0 3 0 0 0 16 0 8 0 273243948 937558016 9030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13313] ppid=13308 vsize=915584 CPUtime=0
/proc/13310/task/13313/stat : 13313 (java) S 13308 13310 12133 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273243948 937558016 9030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13314] ppid=13308 vsize=915584 CPUtime=0
/proc/13310/task/13314/stat : 13314 (java) S 13308 13310 12133 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273243948 937558016 9030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13315] ppid=13308 vsize=915584 CPUtime=0
/proc/13310/task/13315/stat : 13315 (java) S 13308 13310 12133 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 273243952 937558016 9030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13316] ppid=13308 vsize=915584 CPUtime=0.29
/proc/13310/task/13316/stat : 13316 (java) S 13308 13310 12133 0 -1 64 433 0 0 0 28 1 0 0 16 0 8 0 273243952 937558016 9030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13317] ppid=13308 vsize=915584 CPUtime=0
/proc/13310/task/13317/stat : 13317 (java) S 13308 13310 12133 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273243953 937558016 9030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13318] ppid=13308 vsize=915584 CPUtime=0
/proc/13310/task/13318/stat : 13318 (java) S 13308 13310 12133 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273243953 937558016 9030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 882.22
Current children cumulated vsize (KiB) 915584
[startup+943.337 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 13320
/proc/meminfo: memFree=1151960/2055920 swapFree=4171264/4192956
[pid=13310] ppid=13308 vsize=915584 CPUtime=942.24
/proc/13310/stat : 13310 (java) R 13308 13310 12133 0 -1 0 9301 0 1 0 94203 21 0 0 25 0 8 0 273243944 937558016 9030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918564 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13310/statm: 228896 9030 2533 14 0 215366 0
[pid=13310/tid=13312] ppid=13308 vsize=915584 CPUtime=0.03
/proc/13310/task/13312/stat : 13312 (java) S 13308 13310 12133 0 -1 64 308 0 0 0 3 0 0 0 16 0 8 0 273243948 937558016 9030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13313] ppid=13308 vsize=915584 CPUtime=0
/proc/13310/task/13313/stat : 13313 (java) S 13308 13310 12133 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273243948 937558016 9030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13314] ppid=13308 vsize=915584 CPUtime=0
/proc/13310/task/13314/stat : 13314 (java) S 13308 13310 12133 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273243948 937558016 9030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13315] ppid=13308 vsize=915584 CPUtime=0
/proc/13310/task/13315/stat : 13315 (java) S 13308 13310 12133 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 273243952 937558016 9030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13316] ppid=13308 vsize=915584 CPUtime=0.29
/proc/13310/task/13316/stat : 13316 (java) S 13308 13310 12133 0 -1 64 433 0 0 0 28 1 0 0 16 0 8 0 273243952 937558016 9030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13317] ppid=13308 vsize=915584 CPUtime=0
/proc/13310/task/13317/stat : 13317 (java) S 13308 13310 12133 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273243953 937558016 9030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13318] ppid=13308 vsize=915584 CPUtime=0
/proc/13310/task/13318/stat : 13318 (java) S 13308 13310 12133 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273243953 937558016 9030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 942.24
Current children cumulated vsize (KiB) 915584
[startup+1003.41 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 13320
/proc/meminfo: memFree=1151960/2055920 swapFree=4171264/4192956
[pid=13310] ppid=13308 vsize=915584 CPUtime=1002.25
/proc/13310/stat : 13310 (java) R 13308 13310 12133 0 -1 0 9301 0 1 0 100204 21 0 0 25 0 8 0 273243944 937558016 9030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073964185 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13310/statm: 228896 9030 2533 14 0 215366 0
[pid=13310/tid=13312] ppid=13308 vsize=915584 CPUtime=0.03
/proc/13310/task/13312/stat : 13312 (java) S 13308 13310 12133 0 -1 64 308 0 0 0 3 0 0 0 16 0 8 0 273243948 937558016 9030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13313] ppid=13308 vsize=915584 CPUtime=0
/proc/13310/task/13313/stat : 13313 (java) S 13308 13310 12133 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273243948 937558016 9030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13314] ppid=13308 vsize=915584 CPUtime=0
/proc/13310/task/13314/stat : 13314 (java) S 13308 13310 12133 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273243948 937558016 9030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13315] ppid=13308 vsize=915584 CPUtime=0
/proc/13310/task/13315/stat : 13315 (java) S 13308 13310 12133 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 273243952 937558016 9030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13316] ppid=13308 vsize=915584 CPUtime=0.29
/proc/13310/task/13316/stat : 13316 (java) S 13308 13310 12133 0 -1 64 433 0 0 0 28 1 0 0 16 0 8 0 273243952 937558016 9030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13317] ppid=13308 vsize=915584 CPUtime=0
/proc/13310/task/13317/stat : 13317 (java) S 13308 13310 12133 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273243953 937558016 9030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13318] ppid=13308 vsize=915584 CPUtime=0
/proc/13310/task/13318/stat : 13318 (java) S 13308 13310 12133 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273243953 937558016 9030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1002.25
Current children cumulated vsize (KiB) 915584
[startup+1063.47 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 13320
/proc/meminfo: memFree=1151960/2055920 swapFree=4171264/4192956
[pid=13310] ppid=13308 vsize=915584 CPUtime=1062.23
/proc/13310/stat : 13310 (java) R 13308 13310 12133 0 -1 0 9304 0 1 0 106202 21 0 0 25 0 8 0 273243944 937558016 9033 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074000207 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13310/statm: 228896 9033 2533 14 0 215366 0
[pid=13310/tid=13312] ppid=13308 vsize=915584 CPUtime=0.03
/proc/13310/task/13312/stat : 13312 (java) S 13308 13310 12133 0 -1 64 308 0 0 0 3 0 0 0 16 0 8 0 273243948 937558016 9033 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13313] ppid=13308 vsize=915584 CPUtime=0
/proc/13310/task/13313/stat : 13313 (java) S 13308 13310 12133 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273243948 937558016 9033 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13314] ppid=13308 vsize=915584 CPUtime=0
/proc/13310/task/13314/stat : 13314 (java) S 13308 13310 12133 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273243948 937558016 9033 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13315] ppid=13308 vsize=915584 CPUtime=0
/proc/13310/task/13315/stat : 13315 (java) S 13308 13310 12133 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 273243952 937558016 9033 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13316] ppid=13308 vsize=915584 CPUtime=0.29
/proc/13310/task/13316/stat : 13316 (java) S 13308 13310 12133 0 -1 64 433 0 0 0 28 1 0 0 16 0 8 0 273243952 937558016 9033 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13317] ppid=13308 vsize=915584 CPUtime=0
/proc/13310/task/13317/stat : 13317 (java) S 13308 13310 12133 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 273243953 937558016 9033 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13310/tid=13318] ppid=13308 vsize=915584 CPUtime=0
/proc/13310/task/13318/stat : 13318 (java) S 13308 13310 12133 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273243953 937558016 9033 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1062.23
Current children cumulated vsize (KiB) 915584
Child status: 0
Real time (s): 1080.13
CPU time (s): 1078.8
CPU user time (s): 1078.58
CPU system time (s): 0.218966
CPU usage (%): 99.8768
Max. virtual memory (cumulated for all children) (KiB): 915584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1078.58
system time used= 0.218966
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9400
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= 23246
involuntary context switches= 47868
runsolver used 1.3338 s user time and 3.46147 s system time
The end
Begin job on node19 on Fri Jan 19 23:14:53 UTC 2007
IDJOB= 276877
IDBENCH= 6091
IDSOLVER= 68
FILE ID= node19/276877-1169248493
PBS_JOBID= 3589044
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.1/rand-2-40-8-753-100-28_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276877-1169248493/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-276877-1169248493 -o ROOT/results/node19/solver-276877-1169248493 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276877-1169248493/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 6d56ed4d9640b3a878ea4cca279856bf
RANDOM SEED= 767093448
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.260
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.260
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: 1178736 kB
Buffers: 61652 kB
Cached: 698616 kB
SwapCached: 10172 kB
Active: 340528 kB
Inactive: 457768 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1178736 kB
SwapTotal: 4192956 kB
SwapFree: 4171264 kB
Dirty: 1900 kB
Writeback: 0 kB
Mapped: 48296 kB
Slab: 63604 kB
Committed_AS: 7300272 kB
PageTables: 2328 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66561 MiB
End job on node19 on Fri Jan 19 23:32:53 UTC 2007