0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.33 name=epfc.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/276859-1169248116/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=40 nbDomainTypes=1 minDomainSize=8 maxDomainSize=8
0.43 => wckTime=0.105 cpuTime=0.1 mem=6M887
0.43
0.43 relations being loaded...
0.54
0.54 constraints being loaded...
0.71 nbConstraints=751 nbRelationTypes=752 nbExtensionStructures=751 nbSharedExtensionStructures=0
0.71 nbConflictsStructures=751 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=11884 maxDegree=39
0.71 maxArity=2
0.71 => wckTime=0.38 cpuTime=0.24 mem=11M779
0.76
0.76 solver LocalSearchSolver being built...
0.80 => wckTime=0.471 cpuTime=0.29 mem=6M107
0.80
0.80 s SATISFIABLE
0.80 o 688
0.80 c 63
0.81 o 695
0.81 c 56
0.81 o 700
0.81 c 51
0.81 o 705
0.81 c 46
0.81 o 709
0.81 c 42
0.81 o 712
0.81 c 39
0.81 o 716
0.81 c 35
0.81 o 718
0.81 c 33
0.81 o 722
0.81 c 29
0.81 o 724
0.81 c 27
0.82 o 725
0.82 c 26
0.82 o 726
0.82 c 25
0.82 o 730
0.82 c 21
0.82 o 731
0.82 c 20
0.82 o 732
0.82 c 19
0.82 o 733
0.82 c 18
0.82 o 734
0.82 c 17
0.82 o 735
0.82 c 16
0.84 o 736
0.84 c 15
0.85 o 737
0.85 c 14
0.85 o 739
0.85 c 12
0.85 o 740
0.85 c 11
0.85 o 742
0.85 c 9
0.85 o 743
0.85 c 8
0.85 o 744
0.85 c 7
0.87 o 745
0.87 c 6
0.87 o 746
0.87 c 5
0.88 o 747
0.88 c 4
0.88 o 749
0.88 c 2
1.98 o 750
1.98 c 1
1.98
1.98 search
1.98 run=0 nbConstraintChecks=7228578 nbAssignments=3942
1.98 => wckTime=1.185 cpuTime=1.15 mem=6M107
1.99
1.99 global
1.99 nbConstraintChecks=7228578 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
1.99 solvingWckTime=1.184 solvingCpuTime=1.15 expiredTime=no totalExploration=no nbFoundSolutions=0
1.99 globalCpuTime=1.48
1.99 => wckTime=1.657 cpuTime=1.44 mem=6M107
1.99
1.99 solver IterativeSystematicSolver being built...
2.12 => wckTime=1.788 cpuTime=1.55 mem=17M48
2.21
2.21 preprocessing
2.21 nbConstraintChecks=58922 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
2.21 detectedInconsistency=no
2.21 => wckTime=0.088 cpuTime=0.06 mem=17M48
2.26
2.26 search
2.26 run=0 nbConstraintChecks=100799 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=31
2.26 nbFailedAssignments=14 nbBacktracks=10 nbVisitedNodes=56 nbRestartNogoods=0
2.26 => wckTime=0.14 cpuTime=0.11 mem=17M48
2.34
2.34 search
2.34 run=1 nbConstraintChecks=254619 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=73
2.34 nbFailedAssignments=35 nbBacktracks=25 nbVisitedNodes=134 nbRestartNogoods=11
2.34 => wckTime=0.221 cpuTime=0.17 mem=17M48
2.44
2.44 search
2.44 run=2 nbConstraintChecks=507043 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=143
2.44 nbFailedAssignments=76 nbBacktracks=47 nbVisitedNodes=265 nbRestartNogoods=19
2.44 => wckTime=0.321 cpuTime=0.27 mem=17M48
2.59
2.59 search
2.59 run=3 nbConstraintChecks=888483 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=242
2.59 nbFailedAssignments=135 nbBacktracks=81 nbVisitedNodes=456 nbRestartNogoods=41
2.59 => wckTime=0.47 cpuTime=0.42 mem=17M48
2.82
2.82 search
2.82 run=4 nbConstraintChecks=1497017 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=397
2.83 nbFailedAssignments=233 nbBacktracks=131 nbVisitedNodes=755 nbRestartNogoods=57
2.83 => wckTime=0.706 cpuTime=0.65 mem=17M48
3.12
3.12 search
3.12 run=5 nbConstraintChecks=2341799 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=614
3.12 nbFailedAssignments=369 nbBacktracks=206 nbVisitedNodes=1177 nbRestartNogoods=66
3.12 => wckTime=1.007 cpuTime=0.95 mem=17M48
3.55
3.55 search
3.55 run=6 nbConstraintChecks=3525012 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=910
3.55 nbFailedAssignments=545 nbBacktracks=319 nbVisitedNodes=1758 nbRestartNogoods=77
3.55 => wckTime=1.433 cpuTime=1.36 mem=17M48
4.17
4.17 search
4.17 run=7 nbConstraintChecks=5264548 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1353
4.17 nbFailedAssignments=812 nbBacktracks=489 nbVisitedNodes=2635 nbRestartNogoods=94
4.17 => wckTime=2.053 cpuTime=1.97 mem=17M48
5.19
5.19 search
5.19 run=8 nbConstraintChecks=7934382 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2028
5.19 nbFailedAssignments=1226 nbBacktracks=745 nbVisitedNodes=3954 nbRestartNogoods=107
5.19 => wckTime=3.077 cpuTime=2.97 mem=17M48
6.67
6.67 search
6.68 run=9 nbConstraintChecks=12068309 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3048
6.68 nbFailedAssignments=1855 nbBacktracks=1129 nbVisitedNodes=5966 nbRestartNogoods=121
6.68 => wckTime=4.558 cpuTime=4.43 mem=17M48
8.71
8.71 search
8.71 run=10 nbConstraintChecks=17544721 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4461
8.71 nbFailedAssignments=2685 nbBacktracks=1705 nbVisitedNodes=8689 nbRestartNogoods=138
8.71 => wckTime=6.595 cpuTime=6.44 mem=17M48
11.43
11.43 search
11.43 run=11 nbConstraintChecks=24721447 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6346
11.43 nbFailedAssignments=3699 nbBacktracks=2569 nbVisitedNodes=12219 nbRestartNogoods=145
11.43 => wckTime=9.314 cpuTime=9.13 mem=17M48
15.32
15.32 search
15.32 run=12 nbConstraintChecks=34112612 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8977
15.32 nbFailedAssignments=5027 nbBacktracks=3867 nbVisitedNodes=16869 nbRestartNogoods=158
15.32 => wckTime=13.203 cpuTime=12.99 mem=17M48
20.53
20.53 search
20.53 run=13 nbConstraintChecks=47637445 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=12824
20.53 nbFailedAssignments=6922 nbBacktracks=5815 nbVisitedNodes=23452 nbRestartNogoods=167
20.53 => wckTime=18.409 cpuTime=18.15 mem=17M48
27.28
27.28 search
27.28 run=14 nbConstraintChecks=64237042 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=18075
27.28 nbFailedAssignments=9247 nbBacktracks=8734 nbVisitedNodes=31882 nbRestartNogoods=176
27.28 => wckTime=25.163 cpuTime=24.84 mem=17M48
36.63
36.63 search
36.63 run=15 nbConstraintChecks=87420472 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=25548
36.63 nbFailedAssignments=12334 nbBacktracks=13112 nbVisitedNodes=43465 nbRestartNogoods=192
36.63 => wckTime=34.509 cpuTime=34.1 mem=17M48
50.45
50.45 search
50.45 run=16 nbConstraintChecks=121281671 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=36565
50.45 nbFailedAssignments=16776 nbBacktracks=19680 nbVisitedNodes=60315 nbRestartNogoods=209
50.45 => wckTime=48.336 cpuTime=47.81 mem=17M48
71.05
71.05 search
71.05 run=17 nbConstraintChecks=171792955 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=53146
71.05 nbFailedAssignments=23497 nbBacktracks=29534 nbVisitedNodes=85820 nbRestartNogoods=228
71.05 => wckTime=68.935 cpuTime=68.24 mem=17M48
100.81
100.81 search
100.81 run=18 nbConstraintChecks=245279017 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=77494
100.81 nbFailedAssignments=33059 nbBacktracks=44316 nbVisitedNodes=122671 nbRestartNogoods=238
100.81 => wckTime=98.696 cpuTime=97.73 mem=17M48
144.17
144.17 search
144.17 run=19 nbConstraintChecks=353462002 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=113754
144.17 nbFailedAssignments=47146 nbBacktracks=66485 nbVisitedNodes=177151 nbRestartNogoods=250
144.17 => wckTime=142.053 cpuTime=140.72 mem=17M48
211.44
211.44 search
211.44 run=20 nbConstraintChecks=517803817 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=168419
211.44 nbFailedAssignments=68552 nbBacktracks=99738 nbVisitedNodes=260130 nbRestartNogoods=276
211.44 => wckTime=209.327 cpuTime=207.42 mem=17M48
311.77
311.77 search
311.77 run=21 nbConstraintChecks=758957685 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=250328
311.77 nbFailedAssignments=100578 nbBacktracks=149617 nbVisitedNodes=383670 nbRestartNogoods=289
311.77 => wckTime=309.654 cpuTime=306.86 mem=17M48
459.98
459.98 search
459.98 run=22 nbConstraintChecks=1121442726 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=372169
459.98 nbFailedAssignments=147594 nbBacktracks=224435 nbVisitedNodes=566893 nbRestartNogoods=306
459.98 => wckTime=457.867 cpuTime=453.72 mem=17M48
681.86
681.86 search
681.86 run=23 nbConstraintChecks=1660482844 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=553764
681.86 nbFailedAssignments=216958 nbBacktracks=336662 nbVisitedNodes=839577 nbRestartNogoods=332
681.86 => wckTime=679.742 cpuTime=673.59 mem=17M48
1016.54
1016.54 search
1016.54 run=24 nbConstraintChecks=2472140100 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=827099
1016.54 nbFailedAssignments=321946 nbBacktracks=505003 nbVisitedNodes=1250709 nbRestartNogoods=344
1016.54 => wckTime=1014.421 cpuTime=1005.32 mem=17M48
1516.59
1516.59 search
1516.59 run=25 nbConstraintChecks=3679798058 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1236613
1516.59 nbFailedAssignments=478943 nbBacktracks=757514 nbVisitedNodes=1865651 nbRestartNogoods=363
1516.59 => wckTime=1514.473 cpuTime=1501.02 mem=17M48
1608.64
1608.64 search
1608.64 run=26 nbConstraintChecks=3895771423 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1310784
1608.64 nbFailedAssignments=507268 nbBacktracks=803361 nbVisitedNodes=1977079 nbRestartNogoods=374
1608.64 => wckTime=1606.526 cpuTime=1592.27 mem=17M48
1608.64
1608.64 global
1608.64 nbConstraintChecks=3895830345 nbRestartNogoods=374 solvingWckTime=1606.527 solvingCpuTime=1592.28
1608.64 expiredTime=no totalExploration=yes nbFoundSolutions=0 globalCpuTime=1593.87
1608.64 => wckTime=1608.316 cpuTime=1593.83 mem=17M48
1608.65
1608.65 s OPTIMUM FOUND
1608.65 v 0 7 1 0 4 1 4 3 0 1 5 6 3 0 6 5 0 0 6 2 6 5 0 3 0 1 4 0 6 3 7 6 1 7 7 4 4 3 3 2
1608.65
1608.65 totalWckTime=1608.399 totalCpuTime=1593.87
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node4/watcher-276859-1169248116 -o ROOT/results/node4/solver-276859-1169248116 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276859-1169248116/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.96 2.00 1.99 4/87 28463
/proc/meminfo: memFree=1291432/2055920 swapFree=4182144/4192956
[pid=28462] ppid=28460 vsize=18540 CPUtime=0
/proc/28462/stat : 28462 (runsolver) R 28460 28462 27867 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 273207182 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 259913215271 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/28462/statm: 4635 279 244 17 0 2626 0
[startup+0.107946 s]
/proc/loadavg: 1.96 2.00 1.99 4/87 28463
/proc/meminfo: memFree=1291432/2055920 swapFree=4182144/4192956
[pid=28462] ppid=28460 vsize=912760 CPUtime=0.07
/proc/28462/stat : 28462 (java) S 28460 28462 27867 0 -1 0 2791 0 1 0 6 1 0 0 18 0 8 0 273207182 934666240 2537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28462/statm: 228190 2537 1390 14 0 215091 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912760
[startup+0.517986 s]
/proc/loadavg: 1.96 2.00 1.99 4/87 28463
/proc/meminfo: memFree=1291432/2055920 swapFree=4182144/4192956
[pid=28462] ppid=28460 vsize=915332 CPUtime=0.47
/proc/28462/stat : 28462 (java) R 28460 28462 27867 0 -1 0 6265 0 1 0 44 3 0 0 18 0 8 0 273207182 937299968 6004 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28462/statm: 228833 6004 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915332
[startup+1.34006 s]
/proc/loadavg: 1.96 2.00 1.99 3/94 28470
/proc/meminfo: memFree=1269616/2055920 swapFree=4182144/4192956
[pid=28462] ppid=28460 vsize=915448 CPUtime=1.29
/proc/28462/stat : 28462 (java) R 28460 28462 27867 0 -1 0 8112 0 1 0 115 14 0 0 24 0 8 0 273207182 937418752 7850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073845244 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28462/statm: 228862 7850 2479 14 0 215332 0
[pid=28462/tid=28464] ppid=28460 vsize=915448 CPUtime=0.03
/proc/28462/task/28464/stat : 28464 (java) S 28460 28462 27867 0 -1 64 306 0 0 0 3 0 0 0 16 0 8 0 273207188 937418752 7850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28465] ppid=28460 vsize=915448 CPUtime=0
/proc/28462/task/28465/stat : 28465 (java) S 28460 28462 27867 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273207188 937418752 7850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28466] ppid=28460 vsize=915448 CPUtime=0
/proc/28462/task/28466/stat : 28466 (java) S 28460 28462 27867 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273207188 937418752 7850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28467] ppid=28460 vsize=915448 CPUtime=0
/proc/28462/task/28467/stat : 28467 (java) S 28460 28462 27867 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273207192 937418752 7850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28468] ppid=28460 vsize=915448 CPUtime=0.2
/proc/28462/task/28468/stat : 28468 (java) S 28460 28462 27867 0 -1 64 374 0 0 0 19 1 0 0 16 0 8 0 273207192 937418752 7850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28469] ppid=28460 vsize=915448 CPUtime=0
/proc/28462/task/28469/stat : 28469 (java) S 28460 28462 27867 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273207192 937418752 7850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28470] ppid=28460 vsize=915448 CPUtime=0
/proc/28462/task/28470/stat : 28470 (java) S 28460 28462 27867 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273207192 937418752 7850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915448
[startup+2.99322 s]
/proc/loadavg: 1.96 2.00 1.99 3/94 28470
/proc/meminfo: memFree=1265328/2055920 swapFree=4182144/4192956
[pid=28462] ppid=28460 vsize=915580 CPUtime=2.93
/proc/28462/stat : 28462 (java) R 28460 28462 27867 0 -1 0 9227 0 1 0 269 24 0 0 25 0 8 0 273207182 937553920 8963 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073961826 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28462/statm: 228895 8963 2532 14 0 215365 0
[pid=28462/tid=28464] ppid=28460 vsize=915580 CPUtime=0.03
/proc/28462/task/28464/stat : 28464 (java) S 28460 28462 27867 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273207188 937553920 8963 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28465] ppid=28460 vsize=915580 CPUtime=0
/proc/28462/task/28465/stat : 28465 (java) S 28460 28462 27867 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273207188 937553920 8963 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28466] ppid=28460 vsize=915580 CPUtime=0
/proc/28462/task/28466/stat : 28466 (java) S 28460 28462 27867 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273207188 937553920 8963 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28467] ppid=28460 vsize=915580 CPUtime=0
/proc/28462/task/28467/stat : 28467 (java) S 28460 28462 27867 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273207192 937553920 8963 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28468] ppid=28460 vsize=915580 CPUtime=0.27
/proc/28462/task/28468/stat : 28468 (java) S 28460 28462 27867 0 -1 64 413 0 0 0 26 1 0 0 15 0 8 0 273207192 937553920 8963 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28469] ppid=28460 vsize=915580 CPUtime=0
/proc/28462/task/28469/stat : 28469 (java) S 28460 28462 27867 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273207192 937553920 8963 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28470] ppid=28460 vsize=915580 CPUtime=0
/proc/28462/task/28470/stat : 28470 (java) S 28460 28462 27867 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273207192 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.93
Current children cumulated vsize (KiB) 915580
[startup+6.28953 s]
/proc/loadavg: 1.96 2.00 1.99 3/94 28470
/proc/meminfo: memFree=1265136/2055920 swapFree=4182144/4192956
[pid=28462] ppid=28460 vsize=915580 CPUtime=6.19
/proc/28462/stat : 28462 (java) R 28460 28462 27867 0 -1 0 9253 0 1 0 595 24 0 0 25 0 8 0 273207182 937553920 8986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073844297 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28462/statm: 228895 8986 2532 14 0 215365 0
[pid=28462/tid=28464] ppid=28460 vsize=915580 CPUtime=0.03
/proc/28462/task/28464/stat : 28464 (java) S 28460 28462 27867 0 -1 64 307 0 0 0 3 0 0 0 17 0 8 0 273207188 937553920 8986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28465] ppid=28460 vsize=915580 CPUtime=0
/proc/28462/task/28465/stat : 28465 (java) S 28460 28462 27867 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273207188 937553920 8986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28466] ppid=28460 vsize=915580 CPUtime=0
/proc/28462/task/28466/stat : 28466 (java) S 28460 28462 27867 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273207188 937553920 8986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28467] ppid=28460 vsize=915580 CPUtime=0
/proc/28462/task/28467/stat : 28467 (java) S 28460 28462 27867 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273207192 937553920 8986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28468] ppid=28460 vsize=915580 CPUtime=0.31
/proc/28462/task/28468/stat : 28468 (java) S 28460 28462 27867 0 -1 64 429 0 0 0 30 1 0 0 16 0 8 0 273207192 937553920 8986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28469] ppid=28460 vsize=915580 CPUtime=0
/proc/28462/task/28469/stat : 28469 (java) S 28460 28462 27867 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273207192 937553920 8986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28470] ppid=28460 vsize=915580 CPUtime=0
/proc/28462/task/28470/stat : 28470 (java) S 28460 28462 27867 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273207192 937553920 8986 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915580
[startup+12.7731 s]
/proc/loadavg: 1.96 2.00 1.99 3/94 28470
/proc/meminfo: memFree=1265072/2055920 swapFree=4182144/4192956
[pid=28462] ppid=28460 vsize=915580 CPUtime=12.62
/proc/28462/stat : 28462 (java) R 28460 28462 27867 0 -1 0 9265 0 1 0 1238 24 0 0 25 0 8 0 273207182 937553920 8995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073936673 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28462/statm: 228895 8995 2532 14 0 215365 0
[pid=28462/tid=28464] ppid=28460 vsize=915580 CPUtime=0.03
/proc/28462/task/28464/stat : 28464 (java) S 28460 28462 27867 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273207188 937553920 8995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28465] ppid=28460 vsize=915580 CPUtime=0
/proc/28462/task/28465/stat : 28465 (java) S 28460 28462 27867 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273207188 937553920 8995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28466] ppid=28460 vsize=915580 CPUtime=0
/proc/28462/task/28466/stat : 28466 (java) S 28460 28462 27867 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273207188 937553920 8995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28467] ppid=28460 vsize=915580 CPUtime=0
/proc/28462/task/28467/stat : 28467 (java) S 28460 28462 27867 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273207192 937553920 8995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28468] ppid=28460 vsize=915580 CPUtime=0.31
/proc/28462/task/28468/stat : 28468 (java) S 28460 28462 27867 0 -1 64 432 0 0 0 30 1 0 0 15 0 8 0 273207192 937553920 8995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28469] ppid=28460 vsize=915580 CPUtime=0
/proc/28462/task/28469/stat : 28469 (java) S 28460 28462 27867 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273207192 937553920 8995 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28470] ppid=28460 vsize=915580 CPUtime=0
/proc/28462/task/28470/stat : 28470 (java) S 28460 28462 27867 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273207192 937553920 8995 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.6174 s]
/proc/loadavg: 1.97 2.00 1.99 3/94 28470
/proc/meminfo: memFree=1265136/2055920 swapFree=4182144/4192956
[pid=28462] ppid=28460 vsize=915580 CPUtime=25.34
/proc/28462/stat : 28462 (java) R 28460 28462 27867 0 -1 0 9269 0 1 0 2510 24 0 0 25 0 8 0 273207182 937553920 8999 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073937673 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28462/statm: 228895 8999 2532 14 0 215365 0
[pid=28462/tid=28464] ppid=28460 vsize=915580 CPUtime=0.03
/proc/28462/task/28464/stat : 28464 (java) S 28460 28462 27867 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273207188 937553920 8999 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28465] ppid=28460 vsize=915580 CPUtime=0
/proc/28462/task/28465/stat : 28465 (java) S 28460 28462 27867 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273207188 937553920 8999 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28466] ppid=28460 vsize=915580 CPUtime=0
/proc/28462/task/28466/stat : 28466 (java) S 28460 28462 27867 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273207188 937553920 8999 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28467] ppid=28460 vsize=915580 CPUtime=0
/proc/28462/task/28467/stat : 28467 (java) S 28460 28462 27867 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273207192 937553920 8999 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28468] ppid=28460 vsize=915580 CPUtime=0.31
/proc/28462/task/28468/stat : 28468 (java) S 28460 28462 27867 0 -1 64 432 0 0 0 30 1 0 0 15 0 8 0 273207192 937553920 8999 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28469] ppid=28460 vsize=915580 CPUtime=0
/proc/28462/task/28469/stat : 28469 (java) S 28460 28462 27867 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273207192 937553920 8999 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28470] ppid=28460 vsize=915580 CPUtime=0
/proc/28462/task/28470/stat : 28470 (java) S 28460 28462 27867 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273207192 937553920 8999 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915580
[startup+51.2318 s]
/proc/loadavg: 1.98 2.00 1.99 3/94 28470
/proc/meminfo: memFree=1265136/2055920 swapFree=4182144/4192956
[pid=28462] ppid=28460 vsize=915580 CPUtime=50.74
/proc/28462/stat : 28462 (java) R 28460 28462 27867 0 -1 0 9277 0 1 0 5049 25 0 0 25 0 8 0 273207182 937553920 9007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073999002 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28462/statm: 228895 9007 2532 14 0 215365 0
[pid=28462/tid=28464] ppid=28460 vsize=915580 CPUtime=0.03
/proc/28462/task/28464/stat : 28464 (java) S 28460 28462 27867 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273207188 937553920 9007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28465] ppid=28460 vsize=915580 CPUtime=0
/proc/28462/task/28465/stat : 28465 (java) S 28460 28462 27867 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273207188 937553920 9007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28466] ppid=28460 vsize=915580 CPUtime=0
/proc/28462/task/28466/stat : 28466 (java) S 28460 28462 27867 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273207188 937553920 9007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28467] ppid=28460 vsize=915580 CPUtime=0
/proc/28462/task/28467/stat : 28467 (java) S 28460 28462 27867 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273207192 937553920 9007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28468] ppid=28460 vsize=915580 CPUtime=0.31
/proc/28462/task/28468/stat : 28468 (java) S 28460 28462 27867 0 -1 64 432 0 0 0 30 1 0 0 16 0 8 0 273207192 937553920 9007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28469] ppid=28460 vsize=915580 CPUtime=0
/proc/28462/task/28469/stat : 28469 (java) S 28460 28462 27867 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273207192 937553920 9007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28470] ppid=28460 vsize=915580 CPUtime=0
/proc/28462/task/28470/stat : 28470 (java) S 28460 28462 27867 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273207192 937553920 9007 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 915580
[startup+102.454 s]
/proc/loadavg: 1.99 2.00 1.99 3/94 28470
/proc/meminfo: memFree=1265136/2055920 swapFree=4182144/4192956
[pid=28462] ppid=28460 vsize=915580 CPUtime=101.52
/proc/28462/stat : 28462 (java) R 28460 28462 27867 0 -1 0 9283 0 1 0 10126 26 0 0 25 0 8 0 273207182 937553920 9012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073973104 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28462/statm: 228895 9012 2532 14 0 215365 0
[pid=28462/tid=28464] ppid=28460 vsize=915580 CPUtime=0.03
/proc/28462/task/28464/stat : 28464 (java) S 28460 28462 27867 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273207188 937553920 9012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28465] ppid=28460 vsize=915580 CPUtime=0
/proc/28462/task/28465/stat : 28465 (java) S 28460 28462 27867 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273207188 937553920 9012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28466] ppid=28460 vsize=915580 CPUtime=0
/proc/28462/task/28466/stat : 28466 (java) S 28460 28462 27867 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273207188 937553920 9012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28467] ppid=28460 vsize=915580 CPUtime=0
/proc/28462/task/28467/stat : 28467 (java) S 28460 28462 27867 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273207192 937553920 9012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28468] ppid=28460 vsize=915580 CPUtime=0.31
/proc/28462/task/28468/stat : 28468 (java) S 28460 28462 27867 0 -1 64 433 0 0 0 30 1 0 0 16 0 8 0 273207192 937553920 9012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28469] ppid=28460 vsize=915580 CPUtime=0
/proc/28462/task/28469/stat : 28469 (java) S 28460 28462 27867 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273207192 937553920 9012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28470] ppid=28460 vsize=915580 CPUtime=0
/proc/28462/task/28470/stat : 28470 (java) S 28460 28462 27867 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273207192 937553920 9012 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.52
Current children cumulated vsize (KiB) 915580
[startup+162.518 s]
/proc/loadavg: 1.99 2.00 1.99 3/94 28470
/proc/meminfo: memFree=1265136/2055920 swapFree=4182144/4192956
[pid=28462] ppid=28460 vsize=915580 CPUtime=161.08
/proc/28462/stat : 28462 (java) R 28460 28462 27867 0 -1 0 9287 0 1 0 16081 27 0 0 25 0 8 0 273207182 937553920 9016 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073937639 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
/proc/28462/task/28467/stat : 28467 (java) S 28460 28462 27867 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273207192 937553920 9028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28468] ppid=28460 vsize=915580 CPUtime=0.31
/proc/28462/task/28468/stat : 28468 (java) S 28460 28462 27867 0 -1 64 434 0 0 0 30 1 0 0 16 0 8 0 273207192 937553920 9028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28469] ppid=28460 vsize=915580 CPUtime=0
/proc/28462/task/28469/stat : 28469 (java) S 28460 28462 27867 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273207192 937553920 9028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28470] ppid=28460 vsize=915580 CPUtime=0
/proc/28462/task/28470/stat : 28470 (java) S 28460 28462 27867 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273207192 937553920 9028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1173.15
Current children cumulated vsize (KiB) 915580
[startup+1243.7 s]
/proc/loadavg: 2.01 2.01 2.00 3/94 28472
/proc/meminfo: memFree=1265008/2055920 swapFree=4182144/4192956
[pid=28462] ppid=28460 vsize=915580 CPUtime=1232.7
/proc/28462/stat : 28462 (java) R 28460 28462 27867 0 -1 0 9300 0 1 0 123232 38 0 0 25 0 8 0 273207182 937553920 9028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073955236 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28462/statm: 228895 9028 2532 14 0 215365 0
[pid=28462/tid=28464] ppid=28460 vsize=915580 CPUtime=0.03
/proc/28462/task/28464/stat : 28464 (java) S 28460 28462 27867 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273207188 937553920 9028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28465] ppid=28460 vsize=915580 CPUtime=0
/proc/28462/task/28465/stat : 28465 (java) S 28460 28462 27867 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273207188 937553920 9028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28466] ppid=28460 vsize=915580 CPUtime=0
/proc/28462/task/28466/stat : 28466 (java) S 28460 28462 27867 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273207188 937553920 9028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28467] ppid=28460 vsize=915580 CPUtime=0
/proc/28462/task/28467/stat : 28467 (java) S 28460 28462 27867 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273207192 937553920 9028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28468] ppid=28460 vsize=915580 CPUtime=0.31
/proc/28462/task/28468/stat : 28468 (java) S 28460 28462 27867 0 -1 64 434 0 0 0 30 1 0 0 16 0 8 0 273207192 937553920 9028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28469] ppid=28460 vsize=915580 CPUtime=0
/proc/28462/task/28469/stat : 28469 (java) S 28460 28462 27867 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273207192 937553920 9028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28470] ppid=28460 vsize=915580 CPUtime=0
/proc/28462/task/28470/stat : 28470 (java) S 28460 28462 27867 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273207192 937553920 9028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1232.7
Current children cumulated vsize (KiB) 915580
[startup+1303.76 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 28472
/proc/meminfo: memFree=1265072/2055920 swapFree=4182144/4192956
[pid=28462] ppid=28460 vsize=915580 CPUtime=1292.24
/proc/28462/stat : 28462 (java) R 28460 28462 27867 0 -1 0 9300 0 1 0 129185 39 0 0 25 0 8 0 273207182 937553920 9028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073939008 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28462/statm: 228895 9028 2532 14 0 215365 0
[pid=28462/tid=28464] ppid=28460 vsize=915580 CPUtime=0.03
/proc/28462/task/28464/stat : 28464 (java) S 28460 28462 27867 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273207188 937553920 9028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28465] ppid=28460 vsize=915580 CPUtime=0
/proc/28462/task/28465/stat : 28465 (java) S 28460 28462 27867 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273207188 937553920 9028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28466] ppid=28460 vsize=915580 CPUtime=0
/proc/28462/task/28466/stat : 28466 (java) S 28460 28462 27867 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273207188 937553920 9028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28467] ppid=28460 vsize=915580 CPUtime=0
/proc/28462/task/28467/stat : 28467 (java) S 28460 28462 27867 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273207192 937553920 9028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28468] ppid=28460 vsize=915580 CPUtime=0.31
/proc/28462/task/28468/stat : 28468 (java) S 28460 28462 27867 0 -1 64 434 0 0 0 30 1 0 0 16 0 8 0 273207192 937553920 9028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28469] ppid=28460 vsize=915580 CPUtime=0
/proc/28462/task/28469/stat : 28469 (java) S 28460 28462 27867 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273207192 937553920 9028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28470] ppid=28460 vsize=915580 CPUtime=0
/proc/28462/task/28470/stat : 28470 (java) S 28460 28462 27867 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273207192 937553920 9028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1292.24
Current children cumulated vsize (KiB) 915580
[startup+1363.82 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 28472
/proc/meminfo: memFree=1265008/2055920 swapFree=4182144/4192956
[pid=28462] ppid=28460 vsize=915580 CPUtime=1351.76
/proc/28462/stat : 28462 (java) R 28460 28462 27867 0 -1 0 9300 0 1 0 135136 40 0 0 25 0 8 0 273207182 937553920 9028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073955184 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28462/statm: 228895 9028 2532 14 0 215365 0
[pid=28462/tid=28464] ppid=28460 vsize=915580 CPUtime=0.03
/proc/28462/task/28464/stat : 28464 (java) S 28460 28462 27867 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273207188 937553920 9028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28465] ppid=28460 vsize=915580 CPUtime=0
/proc/28462/task/28465/stat : 28465 (java) S 28460 28462 27867 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273207188 937553920 9028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28466] ppid=28460 vsize=915580 CPUtime=0
/proc/28462/task/28466/stat : 28466 (java) S 28460 28462 27867 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273207188 937553920 9028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28467] ppid=28460 vsize=915580 CPUtime=0
/proc/28462/task/28467/stat : 28467 (java) S 28460 28462 27867 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273207192 937553920 9028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28468] ppid=28460 vsize=915580 CPUtime=0.31
/proc/28462/task/28468/stat : 28468 (java) S 28460 28462 27867 0 -1 64 434 0 0 0 30 1 0 0 16 0 8 0 273207192 937553920 9028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28469] ppid=28460 vsize=915580 CPUtime=0
/proc/28462/task/28469/stat : 28469 (java) S 28460 28462 27867 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273207192 937553920 9028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28470] ppid=28460 vsize=915580 CPUtime=0
/proc/28462/task/28470/stat : 28470 (java) S 28460 28462 27867 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273207192 937553920 9028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1351.76
Current children cumulated vsize (KiB) 915580
[startup+1423.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 28472
/proc/meminfo: memFree=1265072/2055920 swapFree=4182144/4192956
[pid=28462] ppid=28460 vsize=915580 CPUtime=1411.3
/proc/28462/stat : 28462 (java) R 28460 28462 27867 0 -1 0 9300 0 1 0 141090 40 0 0 25 0 8 0 273207182 937553920 9028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073999000 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28462/statm: 228895 9028 2532 14 0 215365 0
[pid=28462/tid=28464] ppid=28460 vsize=915580 CPUtime=0.03
/proc/28462/task/28464/stat : 28464 (java) S 28460 28462 27867 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273207188 937553920 9028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28465] ppid=28460 vsize=915580 CPUtime=0
/proc/28462/task/28465/stat : 28465 (java) S 28460 28462 27867 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273207188 937553920 9028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28466] ppid=28460 vsize=915580 CPUtime=0
/proc/28462/task/28466/stat : 28466 (java) S 28460 28462 27867 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273207188 937553920 9028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28467] ppid=28460 vsize=915580 CPUtime=0
/proc/28462/task/28467/stat : 28467 (java) S 28460 28462 27867 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273207192 937553920 9028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28468] ppid=28460 vsize=915580 CPUtime=0.31
/proc/28462/task/28468/stat : 28468 (java) S 28460 28462 27867 0 -1 64 434 0 0 0 30 1 0 0 16 0 8 0 273207192 937553920 9028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28469] ppid=28460 vsize=915580 CPUtime=0
/proc/28462/task/28469/stat : 28469 (java) S 28460 28462 27867 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273207192 937553920 9028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28470] ppid=28460 vsize=915580 CPUtime=0
/proc/28462/task/28470/stat : 28470 (java) S 28460 28462 27867 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273207192 937553920 9028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1411.3
Current children cumulated vsize (KiB) 915580
[startup+1483.96 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 28472
/proc/meminfo: memFree=1265072/2055920 swapFree=4182144/4192956
[pid=28462] ppid=28460 vsize=915580 CPUtime=1470.84
/proc/28462/stat : 28462 (java) R 28460 28462 27867 0 -1 0 9300 0 1 0 147043 41 0 0 25 0 8 0 273207182 937553920 9028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918564 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28462/statm: 228895 9028 2532 14 0 215365 0
[pid=28462/tid=28464] ppid=28460 vsize=915580 CPUtime=0.03
/proc/28462/task/28464/stat : 28464 (java) S 28460 28462 27867 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273207188 937553920 9028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28465] ppid=28460 vsize=915580 CPUtime=0
/proc/28462/task/28465/stat : 28465 (java) S 28460 28462 27867 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273207188 937553920 9028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28466] ppid=28460 vsize=915580 CPUtime=0
/proc/28462/task/28466/stat : 28466 (java) S 28460 28462 27867 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273207188 937553920 9028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28467] ppid=28460 vsize=915580 CPUtime=0
/proc/28462/task/28467/stat : 28467 (java) S 28460 28462 27867 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273207192 937553920 9028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28468] ppid=28460 vsize=915580 CPUtime=0.31
/proc/28462/task/28468/stat : 28468 (java) S 28460 28462 27867 0 -1 64 434 0 0 0 30 1 0 0 16 0 8 0 273207192 937553920 9028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28469] ppid=28460 vsize=915580 CPUtime=0
/proc/28462/task/28469/stat : 28469 (java) S 28460 28462 27867 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273207192 937553920 9028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28470] ppid=28460 vsize=915580 CPUtime=0
/proc/28462/task/28470/stat : 28470 (java) S 28460 28462 27867 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 273207192 937553920 9028 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1470.84
Current children cumulated vsize (KiB) 915580
[startup+1544.02 s]
/proc/loadavg: 2.15 2.03 2.01 3/94 28472
/proc/meminfo: memFree=1265008/2055920 swapFree=4182144/4192956
[pid=28462] ppid=28460 vsize=915580 CPUtime=1530.38
/proc/28462/stat : 28462 (java) R 28460 28462 27867 0 -1 0 9302 0 1 0 152996 42 0 0 25 0 8 0 273207182 937553920 9030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073957020 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28462/statm: 228895 9030 2532 14 0 215365 0
[pid=28462/tid=28464] ppid=28460 vsize=915580 CPUtime=0.03
/proc/28462/task/28464/stat : 28464 (java) S 28460 28462 27867 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273207188 937553920 9030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28465] ppid=28460 vsize=915580 CPUtime=0
/proc/28462/task/28465/stat : 28465 (java) S 28460 28462 27867 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273207188 937553920 9030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28466] ppid=28460 vsize=915580 CPUtime=0
/proc/28462/task/28466/stat : 28466 (java) S 28460 28462 27867 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273207188 937553920 9030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28467] ppid=28460 vsize=915580 CPUtime=0
/proc/28462/task/28467/stat : 28467 (java) S 28460 28462 27867 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273207192 937553920 9030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28468] ppid=28460 vsize=915580 CPUtime=0.31
/proc/28462/task/28468/stat : 28468 (java) S 28460 28462 27867 0 -1 64 434 0 0 0 30 1 0 0 16 0 8 0 273207192 937553920 9030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28469] ppid=28460 vsize=915580 CPUtime=0
/proc/28462/task/28469/stat : 28469 (java) S 28460 28462 27867 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273207192 937553920 9030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28470] ppid=28460 vsize=915580 CPUtime=0.01
/proc/28462/task/28470/stat : 28470 (java) S 28460 28462 27867 0 -1 64 0 0 0 0 0 1 0 0 15 0 8 0 273207192 937553920 9030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1530.38
Current children cumulated vsize (KiB) 915580
[startup+1604.09 s]
/proc/loadavg: 2.05 2.02 2.00 3/100 28567
/proc/meminfo: memFree=1302720/2055920 swapFree=4182144/4192956
[pid=28462] ppid=28460 vsize=915580 CPUtime=1589.93
/proc/28462/stat : 28462 (java) R 28460 28462 27867 0 -1 0 9302 0 1 0 158949 44 0 0 25 0 8 0 273207182 937553920 9030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073956020 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28462/statm: 228895 9030 2532 14 0 215365 0
[pid=28462/tid=28464] ppid=28460 vsize=915580 CPUtime=0.03
/proc/28462/task/28464/stat : 28464 (java) S 28460 28462 27867 0 -1 64 307 0 0 0 3 0 0 0 16 0 8 0 273207188 937553920 9030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28465] ppid=28460 vsize=915580 CPUtime=0
/proc/28462/task/28465/stat : 28465 (java) S 28460 28462 27867 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 273207188 937553920 9030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28466] ppid=28460 vsize=915580 CPUtime=0
/proc/28462/task/28466/stat : 28466 (java) S 28460 28462 27867 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 273207188 937553920 9030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28467] ppid=28460 vsize=915580 CPUtime=0
/proc/28462/task/28467/stat : 28467 (java) S 28460 28462 27867 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 273207192 937553920 9030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28468] ppid=28460 vsize=915580 CPUtime=0.31
/proc/28462/task/28468/stat : 28468 (java) S 28460 28462 27867 0 -1 64 434 0 0 0 30 1 0 0 16 0 8 0 273207192 937553920 9030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28469] ppid=28460 vsize=915580 CPUtime=0
/proc/28462/task/28469/stat : 28469 (java) S 28460 28462 27867 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 273207192 937553920 9030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28462/tid=28470] ppid=28460 vsize=915580 CPUtime=0.01
/proc/28462/task/28470/stat : 28470 (java) S 28460 28462 27867 0 -1 64 0 0 0 0 0 1 0 0 15 0 8 0 273207192 937553920 9030 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1589.93
Current children cumulated vsize (KiB) 915580
Child status: 0
Real time (s): 1608.69
CPU time (s): 1594.47
CPU user time (s): 1594.02
CPU system time (s): 0.447931
CPU usage (%): 99.1161
Max. virtual memory (cumulated for all children) (KiB): 915580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1594.02
system time used= 0.447931
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9398
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= 33858
involuntary context switches= 63087
runsolver used 2.18167 s user time and 4.94625 s system time
The end
Begin job on node4 on Fri Jan 19 23:08:36 UTC 2007
IDJOB= 276859
IDBENCH= 6081
IDSOLVER= 68
FILE ID= node4/276859-1169248116
PBS_JOBID= 3589059
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-16_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276859-1169248116/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-276859-1169248116 -o ROOT/results/node4/solver-276859-1169248116 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/276859-1169248116/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= fd67395de66a8cf85dc6b74543f5764c
RANDOM SEED= 401281068
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.223
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.223
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: 1291912 kB
Buffers: 64280 kB
Cached: 510960 kB
SwapCached: 2148 kB
Active: 257272 kB
Inactive: 424216 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1291912 kB
SwapTotal: 4192956 kB
SwapFree: 4182144 kB
Dirty: 1792 kB
Writeback: 0 kB
Mapped: 117264 kB
Slab: 67148 kB
Committed_AS: 7609492 kB
PageTables: 2536 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 node4 on Fri Jan 19 23:35:25 UTC 2007