0.06/0.08
0.06/0.08 Abscon 112 (May, 2008)
0.18/0.24
0.18/0.24 configuration
0.18/0.24 name=mac.xml
0.18/0.27
0.18/0.27 instance
0.18/0.27 name=HOME/instance-2093329-1247401160.xml
0.29/0.31
0.29/0.31 domains being loaded...
0.29/0.31
0.29/0.31 variables being loaded...
0.29/0.34 nbVariables=26 nbDomainTypes=1 minDomainSize=26 maxDomainSize=26 nbTotalValues=676
0.29/0.34 => wckTime=0.101 cpuTime=0.08 mem=7M892
0.29/0.34
0.29/0.34 relations being loaded...
0.39/0.45
0.39/0.45 constraints being loaded...
0.58/0.66 nbConstraints=325 nbRelationTypes=325 nbExtensionStructures=325 nbSharedExtensionStructures=0
0.58/0.66 nbConflictsStructures=325 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=940 minDegree=25
0.58/0.66 maxDegree=25 minArity=2 maxArity=2 nbGenerators=0 nbFusions=0 symmetryWckTime=0.052 symmetryCpuTime=0.03
0.58/0.66 => wckTime=0.412 cpuTime=0.29 mem=20M594
0.67/0.73
0.67/0.73 solver IterativeSystematicSolver being built...
0.78/0.86 => wckTime=0.622 cpuTime=0.41 mem=21M877
0.78/0.87
0.78/0.87 preprocessing
0.78/0.87 nbConstraintChecks=0 nbPropagations=26 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.78/0.87 detectedInconsistency=no
0.78/0.87 => wckTime=0.0060 cpuTime=0.0 mem=21M877
0.98/1.02
0.98/1.02 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=22M852)
1267.60/1279.66
1267.60/1279.66 search
1267.60/1279.66 run=28 nbConstraintChecks=7246209346 minDepth=0 maxDepth=13 nbPropagations=238322377 nbRevisions=5225658234
1267.60/1279.66 nbUselessRevisions=4587177090 nbAssignments=4551168 nbFailedAssignments=2202899 nbInferredBacktracks=2
1267.60/1279.66 nbBacktracks=2348101 nbVisitedNodes=8463912 nbRestartNogoods=323 nbSEliminables=6.7 nbREliminables=0
1267.60/1279.66 nbIEliminables=0 nbDEliminables=0 nbPEliminables=0
1267.60/1279.66 => wckTime=1278.792 cpuTime=1266.73 mem=22M852
1267.60/1279.66
1267.60/1279.66 global
1267.60/1279.66 nbConstraintChecks=7246209346 nbPropagations=238322403 nbRevisions=5225658234 nbUselessRevisions=4587177090
1267.60/1279.66 nbRestartNogoods=323 solvingWckTime=1278.797 solvingCpuTime=1266.73 expiredTime=no totalExploration=yes
1267.60/1279.66 nbFoundSolutions=0 globalCpuTime=1267.19
1267.60/1279.66 => wckTime=1279.422 cpuTime=1267.14 mem=22M852
1267.60/1279.66
1267.60/1279.66 s UNSATISFIABLE
1267.60/1279.66 d NODES 4551168
1267.60/1279.66 d CHECKS 7246209346
1267.60/1279.66
1267.60/1279.67 totalWckTime=1279.488 totalCpuTime=1267.19
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2093329-1247401160/watcher-2093329-1247401160 -o /tmp/evaluation-result-2093329-1247401160/solver-2093329-1247401160 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2093329-1247401160.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 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
[startup+0 s]
/proc/loadavg: 0.40 0.09 0.03 4/80 890
/proc/meminfo: memFree=1639296/2055920 swapFree=4192812/4192956
[pid=890] ppid=888 vsize=272 CPUtime=0
/proc/890/stat : 890 (java) R 888 890 746 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 27179447 278528 37 996147200 134512640 134550932 4294955968 18446744073709551615 10384164 0 0 4096 0 0 0 0 17 0 0 0
/proc/890/statm: 68 37 28 9 0 6 0
[startup+0.075509 s]
/proc/loadavg: 0.40 0.09 0.03 4/80 890
/proc/meminfo: memFree=1639296/2055920 swapFree=4192812/4192956
[pid=890] ppid=888 vsize=864144 CPUtime=0.06
/proc/890/stat : 890 (java) S 888 890 746 0 -1 0 3148 0 1 0 5 1 0 0 18 0 9 0 27179447 884883456 2633 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/890/statm: 216036 2633 1245 9 0 210929 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 864144
[startup+0.10151 s]
/proc/loadavg: 0.40 0.09 0.03 4/80 890
/proc/meminfo: memFree=1639296/2055920 swapFree=4192812/4192956
[pid=890] ppid=888 vsize=865980 CPUtime=0.09
/proc/890/stat : 890 (java) S 888 890 746 0 -1 0 3815 0 1 0 8 1 0 0 18 0 9 0 27179447 886763520 3265 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/890/statm: 216495 3265 1719 9 0 210980 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865980
[startup+0.30153 s]
/proc/loadavg: 0.40 0.09 0.03 4/80 890
/proc/meminfo: memFree=1639296/2055920 swapFree=4192812/4192956
[pid=890] ppid=888 vsize=866472 CPUtime=0.29
/proc/890/stat : 890 (java) S 888 890 746 0 -1 0 6101 0 1 0 26 3 0 0 18 0 9 0 27179447 887267328 5467 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/890/statm: 216618 5467 1987 9 0 211076 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866472
[startup+0.701575 s]
/proc/loadavg: 0.40 0.09 0.03 4/80 890
/proc/meminfo: memFree=1639296/2055920 swapFree=4192812/4192956
[pid=890] ppid=888 vsize=867848 CPUtime=0.67
/proc/890/stat : 890 (java) S 888 890 746 0 -1 0 13216 164 1 0 62 5 0 0 18 0 11 0 27179447 888676352 9148 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/890/statm: 216962 9148 2113 9 0 211420 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 867848
[startup+1.50268 s]
/proc/loadavg: 0.40 0.09 0.03 4/90 903
/proc/meminfo: memFree=1605936/2055920 swapFree=4192812/4192956
[pid=890] ppid=888 vsize=867936 CPUtime=1.47
/proc/890/stat : 890 (java) S 888 890 746 0 -1 0 17730 288 1 0 140 7 0 0 18 0 9 0 27179447 888766464 10908 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/890/statm: 216984 10908 2657 9 0 211420 0
[pid=890/tid=892] ppid=888 vsize=867936 CPUtime=1.16
/proc/890/task/892/stat : 892 (java) R 888 890 746 0 -1 64 12135 288 1 0 111 5 0 0 21 0 9 0 27179448 888766464 10908 996147200 134512640 134550932 4294955968 18446744073709551615 4126095869 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=890/tid=893] ppid=888 vsize=867936 CPUtime=0.05
/proc/890/task/893/stat : 893 (java) S 888 890 746 0 -1 64 4051 288 0 0 5 0 0 0 17 0 9 0 27179449 888766464 10908 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=890/tid=894] ppid=888 vsize=867936 CPUtime=0
/proc/890/task/894/stat : 894 (java) S 888 890 746 0 -1 64 19 288 0 0 0 0 0 0 16 0 9 0 27179450 888766464 10908 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=890/tid=895] ppid=888 vsize=867936 CPUtime=0
/proc/890/task/895/stat : 895 (java) S 888 890 746 0 -1 64 7 288 0 0 0 0 0 0 16 0 9 0 27179450 888766464 10908 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=890/tid=896] ppid=888 vsize=867936 CPUtime=0
/proc/890/task/896/stat : 896 (java) S 888 890 746 0 -1 64 1 288 0 0 0 0 0 0 23 0 9 0 27179452 888766464 10908 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=890/tid=897] ppid=888 vsize=867936 CPUtime=0.22
/proc/890/task/897/stat : 897 (java) S 888 890 746 0 -1 64 708 288 0 0 22 0 0 0 15 0 9 0 27179452 888766464 10908 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=890/tid=898] ppid=888 vsize=867936 CPUtime=0
/proc/890/task/898/stat : 898 (java) S 888 890 746 0 -1 64 1 288 0 0 0 0 0 0 24 0 9 0 27179452 888766464 10908 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=890/tid=899] ppid=888 vsize=867936 CPUtime=0
/proc/890/task/899/stat : 899 (java) S 888 890 746 0 -1 64 5 288 0 0 0 0 0 0 15 0 9 0 27179452 888766464 10908 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867936
[startup+3.10283 s]
/proc/loadavg: 0.40 0.09 0.03 3/89 903
/proc/meminfo: memFree=1605488/2055920 swapFree=4192812/4192956
[pid=890] ppid=888 vsize=867936 CPUtime=3.06
/proc/890/stat : 890 (java) S 888 890 746 0 -1 0 17739 288 1 0 299 7 0 0 18 0 9 0 27179447 888766464 10916 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/890/statm: 216984 10916 2657 9 0 211420 0
[pid=890/tid=892] ppid=888 vsize=867936 CPUtime=2.74
/proc/890/task/892/stat : 892 (java) R 888 890 746 0 -1 64 12139 288 1 0 269 5 0 0 25 0 9 0 27179448 888766464 10916 996147200 134512640 134550932 4294955968 18446744073709551615 4126903922 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=890/tid=893] ppid=888 vsize=867936 CPUtime=0.05
/proc/890/task/893/stat : 893 (java) S 888 890 746 0 -1 64 4051 288 0 0 5 0 0 0 17 0 9 0 27179449 888766464 10916 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=890/tid=894] ppid=888 vsize=867936 CPUtime=0
/proc/890/task/894/stat : 894 (java) S 888 890 746 0 -1 64 19 288 0 0 0 0 0 0 16 0 9 0 27179450 888766464 10916 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=890/tid=895] ppid=888 vsize=867936 CPUtime=0
/proc/890/task/895/stat : 895 (java) S 888 890 746 0 -1 64 7 288 0 0 0 0 0 0 16 0 9 0 27179450 888766464 10916 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=890/tid=896] ppid=888 vsize=867936 CPUtime=0
/proc/890/task/896/stat : 896 (java) S 888 890 746 0 -1 64 1 288 0 0 0 0 0 0 23 0 9 0 27179452 888766464 10916 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=890/tid=897] ppid=888 vsize=867936 CPUtime=0.23
/proc/890/task/897/stat : 897 (java) S 888 890 746 0 -1 64 713 288 0 0 23 0 0 0 15 0 9 0 27179452 888766464 10916 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=890/tid=898] ppid=888 vsize=867936 CPUtime=0
/proc/890/task/898/stat : 898 (java) S 888 890 746 0 -1 64 1 288 0 0 0 0 0 0 24 0 9 0 27179452 888766464 10916 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=890/tid=899] ppid=888 vsize=867936 CPUtime=0
/proc/890/task/899/stat : 899 (java) S 888 890 746 0 -1 64 5 288 0 0 0 0 0 0 15 0 9 0 27179452 888766464 10916 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 867936
[startup+6.3011 s]
/proc/loadavg: 0.53 0.13 0.04 3/89 903
/proc/meminfo: memFree=1605296/2055920 swapFree=4192812/4192956
[pid=890] ppid=888 vsize=867936 CPUtime=6.22
/proc/890/stat : 890 (java) S 888 890 746 0 -1 0 17760 288 1 0 615 7 0 0 18 0 9 0 27179447 888766464 10921 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/890/statm: 216984 10921 2657 9 0 211420 0
[pid=890/tid=892] ppid=888 vsize=867936 CPUtime=5.9
/proc/890/task/892/stat : 892 (java) R 888 890 746 0 -1 64 12145 288 1 0 585 5 0 0 25 0 9 0 27179448 888766464 10921 996147200 134512640 134550932 4294955968 18446744073709551615 4125952176 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=890/tid=893] ppid=888 vsize=867936 CPUtime=0.05
/proc/890/task/893/stat : 893 (java) S 888 890 746 0 -1 64 4051 288 0 0 5 0 0 0 16 0 9 0 27179449 888766464 10921 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=890/tid=894] ppid=888 vsize=867936 CPUtime=0
/proc/890/task/894/stat : 894 (java) S 888 890 746 0 -1 64 19 288 0 0 0 0 0 0 16 0 9 0 27179450 888766464 10921 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=890/tid=895] ppid=888 vsize=867936 CPUtime=0
/proc/890/task/895/stat : 895 (java) S 888 890 746 0 -1 64 7 288 0 0 0 0 0 0 16 0 9 0 27179450 888766464 10921 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=890/tid=896] ppid=888 vsize=867936 CPUtime=0
/proc/890/task/896/stat : 896 (java) S 888 890 746 0 -1 64 1 288 0 0 0 0 0 0 23 0 9 0 27179452 888766464 10921 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=890/tid=897] ppid=888 vsize=867936 CPUtime=0.23
/proc/890/task/897/stat : 897 (java) S 888 890 746 0 -1 64 715 288 0 0 23 0 0 0 16 0 9 0 27179452 888766464 10921 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=890/tid=898] ppid=888 vsize=867936 CPUtime=0
/proc/890/task/898/stat : 898 (java) S 888 890 746 0 -1 64 1 288 0 0 0 0 0 0 24 0 9 0 27179452 888766464 10921 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=890/tid=899] ppid=888 vsize=867936 CPUtime=0
/proc/890/task/899/stat : 899 (java) S 888 890 746 0 -1 64 18 288 0 0 0 0 0 0 15 0 9 0 27179452 888766464 10921 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 867936
[startup+12.7027 s]
/proc/loadavg: 0.64 0.16 0.05 3/89 903
/proc/meminfo: memFree=1605168/2055920 swapFree=4192812/4192956
[pid=890] ppid=888 vsize=867936 CPUtime=12.56
/proc/890/stat : 890 (java) S 888 890 746 0 -1 0 17762 288 1 0 1249 7 0 0 18 0 9 0 27179447 888766464 10923 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/890/statm: 216984 10923 2657 9 0 211420 0
[pid=890/tid=892] ppid=888 vsize=867936 CPUtime=12.24
/proc/890/task/892/stat : 892 (java) R 888 890 746 0 -1 64 12147 288 1 0 1219 5 0 0 25 0 9 0 27179448 888766464 10923 996147200 134512640 134550932 4294955968 18446744073709551615 4126939750 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=890/tid=893] ppid=888 vsize=867936 CPUtime=0.05
/proc/890/task/893/stat : 893 (java) S 888 890 746 0 -1 64 4051 288 0 0 5 0 0 0 16 0 9 0 27179449 888766464 10923 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=890/tid=894] ppid=888 vsize=867936 CPUtime=0
/proc/890/task/894/stat : 894 (java) S 888 890 746 0 -1 64 19 288 0 0 0 0 0 0 16 0 9 0 27179450 888766464 10923 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=890/tid=895] ppid=888 vsize=867936 CPUtime=0
/proc/890/task/895/stat : 895 (java) S 888 890 746 0 -1 64 7 288 0 0 0 0 0 0 16 0 9 0 27179450 888766464 10923 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=890/tid=896] ppid=888 vsize=867936 CPUtime=0
/proc/890/task/896/stat : 896 (java) S 888 890 746 0 -1 64 1 288 0 0 0 0 0 0 23 0 9 0 27179452 888766464 10923 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=890/tid=897] ppid=888 vsize=867936 CPUtime=0.23
/proc/890/task/897/stat : 897 (java) S 888 890 746 0 -1 64 715 288 0 0 23 0 0 0 16 0 9 0 27179452 888766464 10923 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=890/tid=898] ppid=888 vsize=867936 CPUtime=0
/proc/890/task/898/stat : 898 (java) S 888 890 746 0 -1 64 1 288 0 0 0 0 0 0 24 0 9 0 27179452 888766464 10923 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=890/tid=899] ppid=888 vsize=867936 CPUtime=0
/proc/890/task/899/stat : 899 (java) S 888 890 746 0 -1 64 18 288 0 0 0 0 0 0 15 0 9 0 27179452 888766464 10923 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 867936
[startup+25.5019 s]
/proc/loadavg: 0.94 0.25 0.08 3/89 903
/proc/meminfo: memFree=1605104/2055920 swapFree=4192812/4192956
[pid=890] ppid=888 vsize=867936 CPUtime=25.24
/proc/890/stat : 890 (java) S 888 890 746 0 -1 0 17765 288 1 0 2517 7 0 0 18 0 9 0 27179447 888766464 10925 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/890/statm: 216984 10925 2657 9 0 211420 0
[pid=890/tid=892] ppid=888 vsize=867936 CPUtime=24.92
/proc/890/task/892/stat : 892 (java) R 888 890 746 0 -1 64 12149 288 1 0 2487 5 0 0 25 0 9 0 27179448 888766464 10925 996147200 134512640 134550932 4294955968 18446744073709551615 4126895100 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=890/tid=893] ppid=888 vsize=867936 CPUtime=0.05
/proc/890/task/893/stat : 893 (java) S 888 890 746 0 -1 64 4051 288 0 0 5 0 0 0 16 0 9 0 27179449 888766464 10925 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=890/tid=894] ppid=888 vsize=867936 CPUtime=0
/proc/890/task/894/stat : 894 (java) S 888 890 746 0 -1 64 19 288 0 0 0 0 0 0 16 0 9 0 27179450 888766464 10925 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=890/tid=895] ppid=888 vsize=867936 CPUtime=0
/proc/890/task/895/stat : 895 (java) S 888 890 746 0 -1 64 7 288 0 0 0 0 0 0 16 0 9 0 27179450 888766464 10925 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=890/tid=896] ppid=888 vsize=867936 CPUtime=0
/proc/890/task/896/stat : 896 (java) S 888 890 746 0 -1 64 1 288 0 0 0 0 0 0 23 0 9 0 27179452 888766464 10925 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=890/tid=897] ppid=888 vsize=867936 CPUtime=0.24
/proc/890/task/897/stat : 897 (java) S 888 890 746 0 -1 64 716 288 0 0 24 0 0 0 16 0 9 0 27179452 888766464 10925 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=890/tid=898] ppid=888 vsize=867936 CPUtime=0
/proc/890/task/898/stat : 898 (java) S 888 890 746 0 -1 64 1 288 0 0 0 0 0 0 24 0 9 0 27179452 888766464 10925 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=890/tid=899] ppid=888 vsize=867936 CPUtime=0
/proc/890/task/899/stat : 899 (java) S 888 890 746 0 -1 64 18 288 0 0 0 0 0 0 15 0 9 0 27179452 888766464 10925 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 867936
[startup+51.1013 s]
/proc/loadavg: 1.30 0.39 0.13 3/89 903
/proc/meminfo: memFree=1605104/2055920 swapFree=4192812/4192956
[pid=890] ppid=888 vsize=867936 CPUtime=50.6
/proc/890/stat : 890 (java) S 888 890 746 0 -1 0 17766 288 1 0 5053 7 0 0 18 0 9 0 27179447 888766464 10926 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/890/statm: 216984 10926 2657 9 0 211420 0
[pid=890/tid=892] ppid=888 vsize=867936 CPUtime=50.27
/proc/890/task/892/stat : 892 (java) R 888 890 746 0 -1 64 12150 288 1 0 5022 5 0 0 25 0 9 0 27179448 888766464 10926 996147200 134512640 134550932 4294955968 18446744073709551615 4126932995 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=890/tid=893] ppid=888 vsize=867936 CPUtime=0.05
/proc/890/task/893/stat : 893 (java) S 888 890 746 0 -1 64 4051 288 0 0 5 0 0 0 16 0 9 0 27179449 888766464 10926 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=890/tid=894] ppid=888 vsize=867936 CPUtime=0
/proc/890/task/894/stat : 894 (java) S 888 890 746 0 -1 64 19 288 0 0 0 0 0 0 16 0 9 0 27179450 888766464 10926 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=890/tid=895] ppid=888 vsize=867936 CPUtime=0
/proc/890/task/895/stat : 895 (java) S 888 890 746 0 -1 64 7 288 0 0 0 0 0 0 16 0 9 0 27179450 888766464 10926 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=890/tid=896] ppid=888 vsize=867936 CPUtime=0
/proc/890/task/896/stat : 896 (java) S 888 890 746 0 -1 64 1 288 0 0 0 0 0 0 23 0 9 0 27179452 888766464 10926 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=890/tid=897] ppid=888 vsize=867936 CPUtime=0.24
/proc/890/task/897/stat : 897 (java) S 888 890 746 0 -1 64 716 288 0 0 24 0 0 0 16 0 9 0 27179452 888766464 10926 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=890/tid=898] ppid=888 vsize=867936 CPUtime=0
/proc/890/task/898/stat : 898 (java) S 888 890 746 0 -1 64 1 288 0 0 0 0 0 0 24 0 9 0 27179452 888766464 10926 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
################
# More data... #
################
/proc/890/stat : 890 (java) S 888 890 746 0 -1 0 17781 288 1 0 125514 8 0 0 18 0 9 0 27179447 888766464 10935 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/890/statm: 216984 10935 2657 9 0 211420 0
[pid=890/tid=892] ppid=888 vsize=867936 CPUtime=1254.89
/proc/890/task/892/stat : 892 (java) R 888 890 746 0 -1 64 12158 288 1 0 125483 6 0 0 25 0 9 0 27179448 888766464 10935 996147200 134512640 134550932 4294955968 18446744073709551615 4126905570 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=890/tid=893] ppid=888 vsize=867936 CPUtime=0.05
/proc/890/task/893/stat : 893 (java) S 888 890 746 0 -1 64 4051 288 0 0 5 0 0 0 16 0 9 0 27179449 888766464 10935 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=890/tid=894] ppid=888 vsize=867936 CPUtime=0
/proc/890/task/894/stat : 894 (java) S 888 890 746 0 -1 64 19 288 0 0 0 0 0 0 16 0 9 0 27179450 888766464 10935 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=890/tid=895] ppid=888 vsize=867936 CPUtime=0
/proc/890/task/895/stat : 895 (java) S 888 890 746 0 -1 64 7 288 0 0 0 0 0 0 16 0 9 0 27179450 888766464 10935 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=890/tid=896] ppid=888 vsize=867936 CPUtime=0
/proc/890/task/896/stat : 896 (java) S 888 890 746 0 -1 64 1 288 0 0 0 0 0 0 23 0 9 0 27179452 888766464 10935 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=890/tid=897] ppid=888 vsize=867936 CPUtime=0.24
/proc/890/task/897/stat : 897 (java) S 888 890 746 0 -1 64 723 288 0 0 24 0 0 0 16 0 9 0 27179452 888766464 10935 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=890/tid=898] ppid=888 vsize=867936 CPUtime=0
/proc/890/task/898/stat : 898 (java) S 888 890 746 0 -1 64 1 288 0 0 0 0 0 0 24 0 9 0 27179452 888766464 10935 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=890/tid=899] ppid=888 vsize=867936 CPUtime=0
/proc/890/task/899/stat : 899 (java) S 888 890 746 0 -1 64 18 288 0 0 0 0 0 0 15 0 9 0 27179452 888766464 10935 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1255.22
Current children cumulated vsize (KiB) 867936
[startup+1273.5 s]
/proc/loadavg: 2.00 1.99 1.50 3/89 903
/proc/meminfo: memFree=1604400/2055920 swapFree=4192812/4192956
[pid=890] ppid=888 vsize=867936 CPUtime=1261.56
/proc/890/stat : 890 (java) S 888 890 746 0 -1 0 17781 288 1 0 126148 8 0 0 18 0 9 0 27179447 888766464 10935 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/890/statm: 216984 10935 2657 9 0 211420 0
[pid=890/tid=892] ppid=888 vsize=867936 CPUtime=1261.23
/proc/890/task/892/stat : 892 (java) R 888 890 746 0 -1 64 12158 288 1 0 126117 6 0 0 25 0 9 0 27179448 888766464 10935 996147200 134512640 134550932 4294955968 18446744073709551615 4126908536 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=890/tid=893] ppid=888 vsize=867936 CPUtime=0.05
/proc/890/task/893/stat : 893 (java) S 888 890 746 0 -1 64 4051 288 0 0 5 0 0 0 16 0 9 0 27179449 888766464 10935 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=890/tid=894] ppid=888 vsize=867936 CPUtime=0
/proc/890/task/894/stat : 894 (java) S 888 890 746 0 -1 64 19 288 0 0 0 0 0 0 16 0 9 0 27179450 888766464 10935 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=890/tid=895] ppid=888 vsize=867936 CPUtime=0
/proc/890/task/895/stat : 895 (java) S 888 890 746 0 -1 64 7 288 0 0 0 0 0 0 16 0 9 0 27179450 888766464 10935 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=890/tid=896] ppid=888 vsize=867936 CPUtime=0
/proc/890/task/896/stat : 896 (java) S 888 890 746 0 -1 64 1 288 0 0 0 0 0 0 23 0 9 0 27179452 888766464 10935 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=890/tid=897] ppid=888 vsize=867936 CPUtime=0.24
/proc/890/task/897/stat : 897 (java) S 888 890 746 0 -1 64 723 288 0 0 24 0 0 0 16 0 9 0 27179452 888766464 10935 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=890/tid=898] ppid=888 vsize=867936 CPUtime=0
/proc/890/task/898/stat : 898 (java) S 888 890 746 0 -1 64 1 288 0 0 0 0 0 0 24 0 9 0 27179452 888766464 10935 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=890/tid=899] ppid=888 vsize=867936 CPUtime=0
/proc/890/task/899/stat : 899 (java) S 888 890 746 0 -1 64 18 288 0 0 0 0 0 0 15 0 9 0 27179452 888766464 10935 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1261.56
Current children cumulated vsize (KiB) 867936
[startup+1276.7 s]
/proc/loadavg: 2.00 1.99 1.50 3/89 903
/proc/meminfo: memFree=1604400/2055920 swapFree=4192812/4192956
[pid=890] ppid=888 vsize=867936 CPUtime=1264.73
/proc/890/stat : 890 (java) S 888 890 746 0 -1 0 17781 288 1 0 126465 8 0 0 18 0 9 0 27179447 888766464 10935 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/890/statm: 216984 10935 2657 9 0 211420 0
[pid=890/tid=892] ppid=888 vsize=867936 CPUtime=1264.4
/proc/890/task/892/stat : 892 (java) R 888 890 746 0 -1 64 12158 288 1 0 126434 6 0 0 25 0 9 0 27179448 888766464 10935 996147200 134512640 134550932 4294955968 18446744073709551615 4126891907 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=890/tid=893] ppid=888 vsize=867936 CPUtime=0.05
/proc/890/task/893/stat : 893 (java) S 888 890 746 0 -1 64 4051 288 0 0 5 0 0 0 16 0 9 0 27179449 888766464 10935 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=890/tid=894] ppid=888 vsize=867936 CPUtime=0
/proc/890/task/894/stat : 894 (java) S 888 890 746 0 -1 64 19 288 0 0 0 0 0 0 16 0 9 0 27179450 888766464 10935 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=890/tid=895] ppid=888 vsize=867936 CPUtime=0
/proc/890/task/895/stat : 895 (java) S 888 890 746 0 -1 64 7 288 0 0 0 0 0 0 16 0 9 0 27179450 888766464 10935 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=890/tid=896] ppid=888 vsize=867936 CPUtime=0
/proc/890/task/896/stat : 896 (java) S 888 890 746 0 -1 64 1 288 0 0 0 0 0 0 23 0 9 0 27179452 888766464 10935 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=890/tid=897] ppid=888 vsize=867936 CPUtime=0.24
/proc/890/task/897/stat : 897 (java) S 888 890 746 0 -1 64 723 288 0 0 24 0 0 0 16 0 9 0 27179452 888766464 10935 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=890/tid=898] ppid=888 vsize=867936 CPUtime=0
/proc/890/task/898/stat : 898 (java) S 888 890 746 0 -1 64 1 288 0 0 0 0 0 0 24 0 9 0 27179452 888766464 10935 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=890/tid=899] ppid=888 vsize=867936 CPUtime=0
/proc/890/task/899/stat : 899 (java) S 888 890 746 0 -1 64 18 288 0 0 0 0 0 0 15 0 9 0 27179452 888766464 10935 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1264.73
Current children cumulated vsize (KiB) 867936
[startup+1278.3 s]
/proc/loadavg: 2.00 1.99 1.50 3/89 903
/proc/meminfo: memFree=1604400/2055920 swapFree=4192812/4192956
[pid=890] ppid=888 vsize=867936 CPUtime=1266.31
/proc/890/stat : 890 (java) S 888 890 746 0 -1 0 17781 288 1 0 126623 8 0 0 18 0 9 0 27179447 888766464 10935 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/890/statm: 216984 10935 2657 9 0 211420 0
[pid=890/tid=892] ppid=888 vsize=867936 CPUtime=1265.99
/proc/890/task/892/stat : 892 (java) R 888 890 746 0 -1 64 12158 288 1 0 126593 6 0 0 25 0 9 0 27179448 888766464 10935 996147200 134512640 134550932 4294955968 18446744073709551615 4126894695 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=890/tid=893] ppid=888 vsize=867936 CPUtime=0.05
/proc/890/task/893/stat : 893 (java) S 888 890 746 0 -1 64 4051 288 0 0 5 0 0 0 16 0 9 0 27179449 888766464 10935 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=890/tid=894] ppid=888 vsize=867936 CPUtime=0
/proc/890/task/894/stat : 894 (java) S 888 890 746 0 -1 64 19 288 0 0 0 0 0 0 16 0 9 0 27179450 888766464 10935 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=890/tid=895] ppid=888 vsize=867936 CPUtime=0
/proc/890/task/895/stat : 895 (java) S 888 890 746 0 -1 64 7 288 0 0 0 0 0 0 16 0 9 0 27179450 888766464 10935 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=890/tid=896] ppid=888 vsize=867936 CPUtime=0
/proc/890/task/896/stat : 896 (java) S 888 890 746 0 -1 64 1 288 0 0 0 0 0 0 23 0 9 0 27179452 888766464 10935 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=890/tid=897] ppid=888 vsize=867936 CPUtime=0.24
/proc/890/task/897/stat : 897 (java) S 888 890 746 0 -1 64 723 288 0 0 24 0 0 0 16 0 9 0 27179452 888766464 10935 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=890/tid=898] ppid=888 vsize=867936 CPUtime=0
/proc/890/task/898/stat : 898 (java) S 888 890 746 0 -1 64 1 288 0 0 0 0 0 0 24 0 9 0 27179452 888766464 10935 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=890/tid=899] ppid=888 vsize=867936 CPUtime=0
/proc/890/task/899/stat : 899 (java) S 888 890 746 0 -1 64 18 288 0 0 0 0 0 0 15 0 9 0 27179452 888766464 10935 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1266.31
Current children cumulated vsize (KiB) 867936
[startup+1279.1 s]
/proc/loadavg: 2.00 1.99 1.50 3/89 903
/proc/meminfo: memFree=1604400/2055920 swapFree=4192812/4192956
[pid=890] ppid=888 vsize=867936 CPUtime=1267.11
/proc/890/stat : 890 (java) S 888 890 746 0 -1 0 17781 288 1 0 126703 8 0 0 18 0 9 0 27179447 888766464 10935 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/890/statm: 216984 10935 2657 9 0 211420 0
[pid=890/tid=892] ppid=888 vsize=867936 CPUtime=1266.78
/proc/890/task/892/stat : 892 (java) R 888 890 746 0 -1 64 12158 288 1 0 126672 6 0 0 25 0 9 0 27179448 888766464 10935 996147200 134512640 134550932 4294955968 18446744073709551615 4126892303 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=890/tid=893] ppid=888 vsize=867936 CPUtime=0.05
/proc/890/task/893/stat : 893 (java) S 888 890 746 0 -1 64 4051 288 0 0 5 0 0 0 16 0 9 0 27179449 888766464 10935 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=890/tid=894] ppid=888 vsize=867936 CPUtime=0
/proc/890/task/894/stat : 894 (java) S 888 890 746 0 -1 64 19 288 0 0 0 0 0 0 16 0 9 0 27179450 888766464 10935 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=890/tid=895] ppid=888 vsize=867936 CPUtime=0
/proc/890/task/895/stat : 895 (java) S 888 890 746 0 -1 64 7 288 0 0 0 0 0 0 16 0 9 0 27179450 888766464 10935 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=890/tid=896] ppid=888 vsize=867936 CPUtime=0
/proc/890/task/896/stat : 896 (java) S 888 890 746 0 -1 64 1 288 0 0 0 0 0 0 23 0 9 0 27179452 888766464 10935 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=890/tid=897] ppid=888 vsize=867936 CPUtime=0.24
/proc/890/task/897/stat : 897 (java) S 888 890 746 0 -1 64 723 288 0 0 24 0 0 0 16 0 9 0 27179452 888766464 10935 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=890/tid=898] ppid=888 vsize=867936 CPUtime=0
/proc/890/task/898/stat : 898 (java) S 888 890 746 0 -1 64 1 288 0 0 0 0 0 0 24 0 9 0 27179452 888766464 10935 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=890/tid=899] ppid=888 vsize=867936 CPUtime=0
/proc/890/task/899/stat : 899 (java) S 888 890 746 0 -1 64 18 288 0 0 0 0 0 0 15 0 9 0 27179452 888766464 10935 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1267.11
Current children cumulated vsize (KiB) 867936
[startup+1279.5 s]
/proc/loadavg: 2.00 1.99 1.50 3/89 903
/proc/meminfo: memFree=1604336/2055920 swapFree=4192812/4192956
[pid=890] ppid=888 vsize=867936 CPUtime=1267.5
/proc/890/stat : 890 (java) S 888 890 746 0 -1 0 17781 288 1 0 126742 8 0 0 18 0 9 0 27179447 888766464 10935 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/890/statm: 216984 10935 2657 9 0 211420 0
[pid=890/tid=892] ppid=888 vsize=867936 CPUtime=1267.17
/proc/890/task/892/stat : 892 (java) R 888 890 746 0 -1 64 12158 288 1 0 126711 6 0 0 25 0 9 0 27179448 888766464 10935 996147200 134512640 134550932 4294955968 18446744073709551615 4126903878 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=890/tid=893] ppid=888 vsize=867936 CPUtime=0.05
/proc/890/task/893/stat : 893 (java) S 888 890 746 0 -1 64 4051 288 0 0 5 0 0 0 16 0 9 0 27179449 888766464 10935 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=890/tid=894] ppid=888 vsize=867936 CPUtime=0
/proc/890/task/894/stat : 894 (java) S 888 890 746 0 -1 64 19 288 0 0 0 0 0 0 16 0 9 0 27179450 888766464 10935 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=890/tid=895] ppid=888 vsize=867936 CPUtime=0
/proc/890/task/895/stat : 895 (java) S 888 890 746 0 -1 64 7 288 0 0 0 0 0 0 16 0 9 0 27179450 888766464 10935 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=890/tid=896] ppid=888 vsize=867936 CPUtime=0
/proc/890/task/896/stat : 896 (java) S 888 890 746 0 -1 64 1 288 0 0 0 0 0 0 23 0 9 0 27179452 888766464 10935 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=890/tid=897] ppid=888 vsize=867936 CPUtime=0.24
/proc/890/task/897/stat : 897 (java) S 888 890 746 0 -1 64 723 288 0 0 24 0 0 0 16 0 9 0 27179452 888766464 10935 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=890/tid=898] ppid=888 vsize=867936 CPUtime=0
/proc/890/task/898/stat : 898 (java) S 888 890 746 0 -1 64 1 288 0 0 0 0 0 0 24 0 9 0 27179452 888766464 10935 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=890/tid=899] ppid=888 vsize=867936 CPUtime=0
/proc/890/task/899/stat : 899 (java) S 888 890 746 0 -1 64 18 288 0 0 0 0 0 0 15 0 9 0 27179452 888766464 10935 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1267.5
Current children cumulated vsize (KiB) 867936
[startup+1279.6 s]
/proc/loadavg: 2.00 1.99 1.50 3/89 903
/proc/meminfo: memFree=1604336/2055920 swapFree=4192812/4192956
[pid=890] ppid=888 vsize=867936 CPUtime=1267.6
/proc/890/stat : 890 (java) S 888 890 746 0 -1 0 17781 288 1 0 126752 8 0 0 18 0 9 0 27179447 888766464 10935 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/890/statm: 216984 10935 2657 9 0 211420 0
[pid=890/tid=892] ppid=888 vsize=867936 CPUtime=1267.27
/proc/890/task/892/stat : 892 (java) R 888 890 746 0 -1 64 12158 288 1 0 126721 6 0 0 25 0 9 0 27179448 888766464 10935 996147200 134512640 134550932 4294955968 18446744073709551615 4126894880 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=890/tid=893] ppid=888 vsize=867936 CPUtime=0.05
/proc/890/task/893/stat : 893 (java) S 888 890 746 0 -1 64 4051 288 0 0 5 0 0 0 16 0 9 0 27179449 888766464 10935 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=890/tid=894] ppid=888 vsize=867936 CPUtime=0
/proc/890/task/894/stat : 894 (java) S 888 890 746 0 -1 64 19 288 0 0 0 0 0 0 16 0 9 0 27179450 888766464 10935 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=890/tid=895] ppid=888 vsize=867936 CPUtime=0
/proc/890/task/895/stat : 895 (java) S 888 890 746 0 -1 64 7 288 0 0 0 0 0 0 16 0 9 0 27179450 888766464 10935 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=890/tid=896] ppid=888 vsize=867936 CPUtime=0
/proc/890/task/896/stat : 896 (java) S 888 890 746 0 -1 64 1 288 0 0 0 0 0 0 23 0 9 0 27179452 888766464 10935 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=890/tid=897] ppid=888 vsize=867936 CPUtime=0.24
/proc/890/task/897/stat : 897 (java) S 888 890 746 0 -1 64 723 288 0 0 24 0 0 0 16 0 9 0 27179452 888766464 10935 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=890/tid=898] ppid=888 vsize=867936 CPUtime=0
/proc/890/task/898/stat : 898 (java) S 888 890 746 0 -1 64 1 288 0 0 0 0 0 0 24 0 9 0 27179452 888766464 10935 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=890/tid=899] ppid=888 vsize=867936 CPUtime=0
/proc/890/task/899/stat : 899 (java) S 888 890 746 0 -1 64 18 288 0 0 0 0 0 0 15 0 9 0 27179452 888766464 10935 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1267.6
Current children cumulated vsize (KiB) 867936
Child status: 0
Real time (s): 1279.7
CPU time (s): 1267.69
CPU user time (s): 1267.59
CPU system time (s): 0.096985
CPU usage (%): 99.0614
Max. virtual memory (cumulated for all children) (KiB): 867936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1267.59
system time used= 0.096985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18181
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= 27056
involuntary context switches= 53516
runsolver used 1.79773 second user time and 4.03039 second system time
The end
Begin job on node61 at 2009-07-12 14:19:20
IDJOB=2093329
IDBENCH=53518
IDSOLVER=773
FILE ID=node61/2093329-1247401160
PBS_JOBID= 9510524
Free space on /tmp= 66408 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/rand-2-26/normalized-rand-26-26-325-155-52021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2093329-1247401160/watcher-2093329-1247401160 -o /tmp/evaluation-result-2093329-1247401160/solver-2093329-1247401160 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2093329-1247401160.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 1c48693b0a57d78b43fa49bf02ae620f
RANDOM SEED=2057975308
node61.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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.229
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.229
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: 1639776 kB
Buffers: 86840 kB
Cached: 207804 kB
SwapCached: 0 kB
Active: 232060 kB
Inactive: 118496 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1639776 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4988 kB
Writeback: 0 kB
Mapped: 76376 kB
Slab: 51004 kB
Committed_AS: 1039832 kB
PageTables: 1844 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264884 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66408 MiB
End job on node61 at 2009-07-12 14:40:40