0.02/0.08
0.02/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.28
0.18/0.28 instance
0.18/0.28 name=HOME/instance-2099217-1247417701.xml
0.28/0.31
0.28/0.31 domains being loaded...
0.28/0.32
0.28/0.32 variables being loaded...
0.28/0.35 nbVariables=50 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23 nbTotalValues=1150
0.28/0.35 => wckTime=0.108 cpuTime=0.09 mem=7M892
0.28/0.35
0.28/0.35 relations being loaded...
0.48/0.50
0.48/0.50 constraints being loaded...
0.68/0.72 nbConstraints=462 nbRelationTypes=462 nbExtensionStructures=462 nbSharedExtensionStructures=0
0.68/0.73 nbConflictsStructures=462 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2309 minDegree=11
0.68/0.73 maxDegree=27 minArity=2 maxArity=2 nbGenerators=0 nbFusions=0 symmetryWckTime=0.064 symmetryCpuTime=0.03
0.68/0.73 => wckTime=0.477 cpuTime=0.34 mem=23M569
0.77/0.82
0.77/0.82 solver IterativeSystematicSolver being built...
0.87/0.95 => wckTime=0.701 cpuTime=0.46 mem=22M657
0.87/0.96
0.87/0.96 preprocessing
0.87/0.96 nbConstraintChecks=0 nbPropagations=50 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.87/0.96 detectedInconsistency=no
0.87/0.96 => wckTime=0.011 cpuTime=0.01 mem=22M657
1.07/1.14
1.07/1.14 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=23M649)
1267.76/1272.81
1267.76/1272.81 search
1267.76/1272.81 run=27 nbConstraintChecks=7661911489 minDepth=1 maxDepth=50 nbPropagations=270893505 nbRevisions=4218530770
1267.76/1272.81 nbUselessRevisions=3471374785 nbAssignments=4460056 nbFailedAssignments=1681359 nbInferredBacktracks=27
1267.76/1272.81 nbBacktracks=2778361 nbVisitedNodes=7628179 nbRestartNogoods=236 nbFoundSolutions=1 nbSEliminables=10.57
1267.76/1272.81 nbREliminables=1.9 nbIEliminables=0.17 nbDEliminables=0 nbPEliminables=0
1267.76/1272.81 => wckTime=1271.854 cpuTime=1266.76 mem=23M649
1267.76/1272.81
1267.76/1272.81 global
1267.76/1272.81 nbConstraintChecks=7661911489 nbPropagations=270893555 nbRevisions=4218530770 nbUselessRevisions=3471374785
1267.76/1272.81 nbRestartNogoods=236 solvingWckTime=1271.86 solvingCpuTime=1266.77 expiredTime=no totalExploration=no
1267.76/1272.81 nbFoundSolutions=1 firstSolutionCpuTime=1267.23 globalCpuTime=1267.29
1267.76/1272.81 => wckTime=1272.563 cpuTime=1267.24 mem=23M649
1267.76/1272.81
1267.76/1272.81 s SATISFIABLE
1267.76/1272.81 v 5 6 9 22 22 12 11 19 5 19 15 22 13 15 5 1 14 19 22 16 18 2 11 0 3 5 1 10 0 13 0 3 4 1 10 9 2 14 4 22 13 14 20 1 20 14 18 1 11 6
1267.76/1272.81 d NODES 4460056
1267.76/1272.81 d CHECKS 7661911489
1267.76/1272.81
1267.76/1272.81 totalWckTime=1272.631 totalCpuTime=1267.29
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2099217-1247417701/watcher-2099217-1247417701 -o /tmp/evaluation-result-2099217-1247417701/solver-2099217-1247417701 -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-2099217-1247417701.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: 1.98 1.98 1.99 3/80 2364
/proc/meminfo: memFree=1665456/2055920 swapFree=4192812/4192956
[pid=2364] ppid=2362 vsize=152 CPUtime=0
/proc/2364/stat : 2364 (java) R 2362 2364 2093 0 -1 0 200 0 0 0 0 0 0 0 18 0 1 0 28837579 155648 22 996147200 134512640 134550932 4294955968 18446744073709551615 7830475 0 0 4096 0 0 0 0 17 0 0 0
/proc/2364/statm: 38 26 19 9 0 4 0
[startup+0.0379209 s]
/proc/loadavg: 1.98 1.98 1.99 3/80 2364
/proc/meminfo: memFree=1665456/2055920 swapFree=4192812/4192956
[pid=2364] ppid=2362 vsize=861936 CPUtime=0.02
/proc/2364/stat : 2364 (java) S 2362 2364 2093 0 -1 0 2225 0 1 0 1 1 0 0 18 0 5 0 28837579 882622464 1842 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0
/proc/2364/statm: 215484 1844 848 9 0 210399 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 861936
[startup+0.10193 s]
/proc/loadavg: 1.98 1.98 1.99 3/80 2364
/proc/meminfo: memFree=1665456/2055920 swapFree=4192812/4192956
[pid=2364] ppid=2362 vsize=865980 CPUtime=0.09
/proc/2364/stat : 2364 (java) S 2362 2364 2093 0 -1 0 3747 0 1 0 7 2 0 0 18 0 9 0 28837579 886763520 3213 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2364/statm: 216495 3214 1700 9 0 210980 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865980
[startup+0.301971 s]
/proc/loadavg: 1.98 1.98 1.99 3/80 2364
/proc/meminfo: memFree=1665456/2055920 swapFree=4192812/4192956
[pid=2364] ppid=2362 vsize=866380 CPUtime=0.28
/proc/2364/stat : 2364 (java) S 2362 2364 2093 0 -1 0 5977 0 1 0 25 3 0 0 18 0 9 0 28837579 887173120 5343 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2364/statm: 216595 5343 1984 9 0 211053 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866380
[startup+0.701046 s]
/proc/loadavg: 1.98 1.98 1.99 3/80 2364
/proc/meminfo: memFree=1665456/2055920 swapFree=4192812/4192956
[pid=2364] ppid=2362 vsize=867432 CPUtime=0.68
/proc/2364/stat : 2364 (java) S 2362 2364 2093 0 -1 0 10224 0 1 0 62 6 0 0 18 0 10 0 28837579 888250368 9561 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2364/statm: 216858 9561 2019 9 0 211316 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867432
[startup+1.5022 s]
/proc/loadavg: 1.98 1.98 1.99 5/90 2377
/proc/meminfo: memFree=1629664/2055920 swapFree=4192812/4192956
[pid=2364] ppid=2362 vsize=868868 CPUtime=1.46
/proc/2364/stat : 2364 (java) S 2362 2364 2093 0 -1 0 18828 294 1 0 138 8 0 0 18 0 9 0 28837579 889720832 11605 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2364/statm: 217217 11605 2656 9 0 211653 0
[pid=2364/tid=2366] ppid=2362 vsize=868868 CPUtime=1.15
/proc/2364/task/2366/stat : 2366 (java) R 2362 2364 2093 0 -1 64 12595 294 1 0 110 5 0 0 21 0 9 0 28837580 889720832 11605 996147200 134512640 134550932 4294955968 18446744073709551615 4125952176 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2364/tid=2367] ppid=2362 vsize=868868 CPUtime=0.06
/proc/2364/task/2367/stat : 2367 (java) S 2362 2364 2093 0 -1 64 4672 294 0 0 6 0 0 0 17 0 9 0 28837582 889720832 11605 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2364/tid=2368] ppid=2362 vsize=868868 CPUtime=0
/proc/2364/task/2368/stat : 2368 (java) S 2362 2364 2093 0 -1 64 19 294 0 0 0 0 0 0 16 0 9 0 28837582 889720832 11605 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2364/tid=2369] ppid=2362 vsize=868868 CPUtime=0
/proc/2364/task/2369/stat : 2369 (java) S 2362 2364 2093 0 -1 64 10 294 0 0 0 0 0 0 16 0 9 0 28837582 889720832 11605 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2364/tid=2370] ppid=2362 vsize=868868 CPUtime=0
/proc/2364/task/2370/stat : 2370 (java) S 2362 2364 2093 0 -1 64 2 294 0 0 0 0 0 0 23 0 9 0 28837584 889720832 11605 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2364/tid=2371] ppid=2362 vsize=868868 CPUtime=0.21
/proc/2364/task/2371/stat : 2371 (java) S 2362 2364 2093 0 -1 64 724 294 0 0 21 0 0 0 15 0 9 0 28837584 889720832 11605 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2364/tid=2372] ppid=2362 vsize=868868 CPUtime=0
/proc/2364/task/2372/stat : 2372 (java) S 2362 2364 2093 0 -1 64 0 294 0 0 0 0 0 0 24 0 9 0 28837584 889720832 11605 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2364/tid=2373] ppid=2362 vsize=868868 CPUtime=0
/proc/2364/task/2373/stat : 2373 (java) S 2362 2364 2093 0 -1 64 4 294 0 0 0 0 0 0 15 0 9 0 28837584 889720832 11605 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 868868
[startup+3.1015 s]
/proc/loadavg: 1.98 1.98 1.99 3/89 2377
/proc/meminfo: memFree=1629152/2055920 swapFree=4192812/4192956
[pid=2364] ppid=2362 vsize=868868 CPUtime=3.04
/proc/2364/stat : 2364 (java) S 2362 2364 2093 0 -1 0 18848 294 1 0 296 8 0 0 18 0 9 0 28837579 889720832 11623 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2364/statm: 217217 11623 2656 9 0 211653 0
[pid=2364/tid=2366] ppid=2362 vsize=868868 CPUtime=2.71
/proc/2364/task/2366/stat : 2366 (java) R 2362 2364 2093 0 -1 64 12597 294 1 0 265 6 0 0 18 0 9 0 28837580 889720832 11623 996147200 134512640 134550932 4294955968 18446744073709551615 4126900352 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2364/tid=2367] ppid=2362 vsize=868868 CPUtime=0.06
/proc/2364/task/2367/stat : 2367 (java) S 2362 2364 2093 0 -1 64 4672 294 0 0 6 0 0 0 16 0 9 0 28837582 889720832 11623 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2364/tid=2368] ppid=2362 vsize=868868 CPUtime=0
/proc/2364/task/2368/stat : 2368 (java) S 2362 2364 2093 0 -1 64 19 294 0 0 0 0 0 0 16 0 9 0 28837582 889720832 11623 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2364/tid=2369] ppid=2362 vsize=868868 CPUtime=0
/proc/2364/task/2369/stat : 2369 (java) S 2362 2364 2093 0 -1 64 10 294 0 0 0 0 0 0 16 0 9 0 28837582 889720832 11623 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2364/tid=2370] ppid=2362 vsize=868868 CPUtime=0
/proc/2364/task/2370/stat : 2370 (java) S 2362 2364 2093 0 -1 64 2 294 0 0 0 0 0 0 23 0 9 0 28837584 889720832 11623 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2364/tid=2371] ppid=2362 vsize=868868 CPUtime=0.24
/proc/2364/task/2371/stat : 2371 (java) S 2362 2364 2093 0 -1 64 742 294 0 0 24 0 0 0 15 0 9 0 28837584 889720832 11623 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2364/tid=2372] ppid=2362 vsize=868868 CPUtime=0
/proc/2364/task/2372/stat : 2372 (java) S 2362 2364 2093 0 -1 64 0 294 0 0 0 0 0 0 24 0 9 0 28837584 889720832 11623 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2364/tid=2373] ppid=2362 vsize=868868 CPUtime=0
/proc/2364/task/2373/stat : 2373 (java) S 2362 2364 2093 0 -1 64 4 294 0 0 0 0 0 0 15 0 9 0 28837584 889720832 11623 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 868868
[startup+6.30211 s]
/proc/loadavg: 1.98 1.98 1.99 3/89 2377
/proc/meminfo: memFree=1628960/2055920 swapFree=4192812/4192956
[pid=2364] ppid=2362 vsize=868868 CPUtime=6.21
/proc/2364/stat : 2364 (java) S 2362 2364 2093 0 -1 0 18866 294 1 0 613 8 0 0 18 0 9 0 28837579 889720832 11626 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2364/statm: 217217 11626 2656 9 0 211653 0
[pid=2364/tid=2366] ppid=2362 vsize=868868 CPUtime=5.88
/proc/2364/task/2366/stat : 2366 (java) R 2362 2364 2093 0 -1 64 12598 294 1 0 582 6 0 0 25 0 9 0 28837580 889720832 11626 996147200 134512640 134550932 4294955968 18446744073709551615 4126920034 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2364/tid=2367] ppid=2362 vsize=868868 CPUtime=0.06
/proc/2364/task/2367/stat : 2367 (java) S 2362 2364 2093 0 -1 64 4672 294 0 0 6 0 0 0 16 0 9 0 28837582 889720832 11626 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2364/tid=2368] ppid=2362 vsize=868868 CPUtime=0
/proc/2364/task/2368/stat : 2368 (java) S 2362 2364 2093 0 -1 64 19 294 0 0 0 0 0 0 16 0 9 0 28837582 889720832 11626 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2364/tid=2369] ppid=2362 vsize=868868 CPUtime=0
/proc/2364/task/2369/stat : 2369 (java) S 2362 2364 2093 0 -1 64 10 294 0 0 0 0 0 0 16 0 9 0 28837582 889720832 11626 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2364/tid=2370] ppid=2362 vsize=868868 CPUtime=0
/proc/2364/task/2370/stat : 2370 (java) S 2362 2364 2093 0 -1 64 2 294 0 0 0 0 0 0 23 0 9 0 28837584 889720832 11626 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2364/tid=2371] ppid=2362 vsize=868868 CPUtime=0.24
/proc/2364/task/2371/stat : 2371 (java) S 2362 2364 2093 0 -1 64 744 294 0 0 24 0 0 0 16 0 9 0 28837584 889720832 11626 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2364/tid=2372] ppid=2362 vsize=868868 CPUtime=0
/proc/2364/task/2372/stat : 2372 (java) S 2362 2364 2093 0 -1 64 0 294 0 0 0 0 0 0 24 0 9 0 28837584 889720832 11626 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2364/tid=2373] ppid=2362 vsize=868868 CPUtime=0
/proc/2364/task/2373/stat : 2373 (java) S 2362 2364 2093 0 -1 64 19 294 0 0 0 0 0 0 15 0 9 0 28837584 889720832 11626 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 868868
[startup+12.7013 s]
/proc/loadavg: 1.98 1.98 1.99 3/89 2377
/proc/meminfo: memFree=1628768/2055920 swapFree=4192812/4192956
[pid=2364] ppid=2362 vsize=868868 CPUtime=12.55
/proc/2364/stat : 2364 (java) S 2362 2364 2093 0 -1 0 18866 294 1 0 1247 8 0 0 18 0 9 0 28837579 889720832 11626 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2364/statm: 217217 11626 2656 9 0 211653 0
[pid=2364/tid=2366] ppid=2362 vsize=868868 CPUtime=12.21
/proc/2364/task/2366/stat : 2366 (java) R 2362 2364 2093 0 -1 64 12598 294 1 0 1215 6 0 0 25 0 9 0 28837580 889720832 11626 996147200 134512640 134550932 4294955968 18446744073709551615 4126382999 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2364/tid=2367] ppid=2362 vsize=868868 CPUtime=0.06
/proc/2364/task/2367/stat : 2367 (java) S 2362 2364 2093 0 -1 64 4672 294 0 0 6 0 0 0 16 0 9 0 28837582 889720832 11626 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2364/tid=2368] ppid=2362 vsize=868868 CPUtime=0
/proc/2364/task/2368/stat : 2368 (java) S 2362 2364 2093 0 -1 64 19 294 0 0 0 0 0 0 16 0 9 0 28837582 889720832 11626 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2364/tid=2369] ppid=2362 vsize=868868 CPUtime=0
/proc/2364/task/2369/stat : 2369 (java) S 2362 2364 2093 0 -1 64 10 294 0 0 0 0 0 0 16 0 9 0 28837582 889720832 11626 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2364/tid=2370] ppid=2362 vsize=868868 CPUtime=0
/proc/2364/task/2370/stat : 2370 (java) S 2362 2364 2093 0 -1 64 2 294 0 0 0 0 0 0 23 0 9 0 28837584 889720832 11626 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2364/tid=2371] ppid=2362 vsize=868868 CPUtime=0.24
/proc/2364/task/2371/stat : 2371 (java) S 2362 2364 2093 0 -1 64 744 294 0 0 24 0 0 0 16 0 9 0 28837584 889720832 11626 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2364/tid=2372] ppid=2362 vsize=868868 CPUtime=0
/proc/2364/task/2372/stat : 2372 (java) S 2362 2364 2093 0 -1 64 0 294 0 0 0 0 0 0 24 0 9 0 28837584 889720832 11626 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2364/tid=2373] ppid=2362 vsize=868868 CPUtime=0
/proc/2364/task/2373/stat : 2373 (java) S 2362 2364 2093 0 -1 64 19 294 0 0 0 0 0 0 15 0 9 0 28837584 889720832 11626 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 868868
[startup+25.5028 s]
/proc/loadavg: 1.98 1.98 1.99 3/89 2377
/proc/meminfo: memFree=1628896/2055920 swapFree=4192812/4192956
[pid=2364] ppid=2362 vsize=868868 CPUtime=25.23
/proc/2364/stat : 2364 (java) S 2362 2364 2093 0 -1 0 18866 294 1 0 2515 8 0 0 18 0 9 0 28837579 889720832 11626 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2364/statm: 217217 11626 2656 9 0 211653 0
[pid=2364/tid=2366] ppid=2362 vsize=868868 CPUtime=24.9
/proc/2364/task/2366/stat : 2366 (java) R 2362 2364 2093 0 -1 64 12598 294 1 0 2484 6 0 0 25 0 9 0 28837580 889720832 11626 996147200 134512640 134550932 4294955968 18446744073709551615 4126902863 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2364/tid=2367] ppid=2362 vsize=868868 CPUtime=0.06
/proc/2364/task/2367/stat : 2367 (java) S 2362 2364 2093 0 -1 64 4672 294 0 0 6 0 0 0 16 0 9 0 28837582 889720832 11626 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2364/tid=2368] ppid=2362 vsize=868868 CPUtime=0
/proc/2364/task/2368/stat : 2368 (java) S 2362 2364 2093 0 -1 64 19 294 0 0 0 0 0 0 16 0 9 0 28837582 889720832 11626 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2364/tid=2369] ppid=2362 vsize=868868 CPUtime=0
/proc/2364/task/2369/stat : 2369 (java) S 2362 2364 2093 0 -1 64 10 294 0 0 0 0 0 0 16 0 9 0 28837582 889720832 11626 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2364/tid=2370] ppid=2362 vsize=868868 CPUtime=0
/proc/2364/task/2370/stat : 2370 (java) S 2362 2364 2093 0 -1 64 2 294 0 0 0 0 0 0 23 0 9 0 28837584 889720832 11626 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2364/tid=2371] ppid=2362 vsize=868868 CPUtime=0.24
/proc/2364/task/2371/stat : 2371 (java) S 2362 2364 2093 0 -1 64 744 294 0 0 24 0 0 0 16 0 9 0 28837584 889720832 11626 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2364/tid=2372] ppid=2362 vsize=868868 CPUtime=0
/proc/2364/task/2372/stat : 2372 (java) S 2362 2364 2093 0 -1 64 0 294 0 0 0 0 0 0 24 0 9 0 28837584 889720832 11626 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2364/tid=2373] ppid=2362 vsize=868868 CPUtime=0
/proc/2364/task/2373/stat : 2373 (java) S 2362 2364 2093 0 -1 64 19 294 0 0 0 0 0 0 15 0 9 0 28837584 889720832 11626 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 868868
[startup+51.1027 s]
/proc/loadavg: 1.99 1.98 1.99 3/89 2377
/proc/meminfo: memFree=1628832/2055920 swapFree=4192812/4192956
[pid=2364] ppid=2362 vsize=868868 CPUtime=50.59
/proc/2364/stat : 2364 (java) S 2362 2364 2093 0 -1 0 18867 294 1 0 5050 9 0 0 18 0 9 0 28837579 889720832 11626 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2364/statm: 217217 11626 2656 9 0 211653 0
[pid=2364/tid=2366] ppid=2362 vsize=868868 CPUtime=50.25
/proc/2364/task/2366/stat : 2366 (java) R 2362 2364 2093 0 -1 64 12599 294 1 0 5019 6 0 0 25 0 9 0 28837580 889720832 11626 996147200 134512640 134550932 4294955968 18446744073709551615 4126913788 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2364/tid=2367] ppid=2362 vsize=868868 CPUtime=0.06
/proc/2364/task/2367/stat : 2367 (java) S 2362 2364 2093 0 -1 64 4672 294 0 0 6 0 0 0 16 0 9 0 28837582 889720832 11626 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2364/tid=2368] ppid=2362 vsize=868868 CPUtime=0
/proc/2364/task/2368/stat : 2368 (java) S 2362 2364 2093 0 -1 64 19 294 0 0 0 0 0 0 16 0 9 0 28837582 889720832 11626 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2364/tid=2369] ppid=2362 vsize=868868 CPUtime=0
/proc/2364/task/2369/stat : 2369 (java) S 2362 2364 2093 0 -1 64 10 294 0 0 0 0 0 0 16 0 9 0 28837582 889720832 11626 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2364/tid=2370] ppid=2362 vsize=868868 CPUtime=0
/proc/2364/task/2370/stat : 2370 (java) S 2362 2364 2093 0 -1 64 2 294 0 0 0 0 0 0 23 0 9 0 28837584 889720832 11626 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2364/tid=2371] ppid=2362 vsize=868868 CPUtime=0.25
/proc/2364/task/2371/stat : 2371 (java) S 2362 2364 2093 0 -1 64 744 294 0 0 25 0 0 0 16 0 9 0 28837584 889720832 11626 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2364/tid=2372] ppid=2362 vsize=868868 CPUtime=0
/proc/2364/task/2372/stat : 2372 (java) S 2362 2364 2093 0 -1 64 0 294 0 0 0 0 0 0 24 0 9 0 28837584 889720832 11626 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
################
# More data... #
################
/proc/2364/stat : 2364 (java) S 2362 2364 2093 0 -1 0 18874 294 1 0 125555 11 0 0 18 0 9 0 28837579 889720832 11632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2364/statm: 217217 11632 2656 9 0 211653 0
[pid=2364/tid=2366] ppid=2362 vsize=868868 CPUtime=1255.33
/proc/2364/task/2366/stat : 2366 (java) R 2362 2364 2093 0 -1 64 12600 294 1 0 125524 9 0 0 25 0 9 0 28837580 889720832 11632 996147200 134512640 134550932 4294955968 18446744073709551615 4126913778 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2364/tid=2367] ppid=2362 vsize=868868 CPUtime=0.06
/proc/2364/task/2367/stat : 2367 (java) S 2362 2364 2093 0 -1 64 4672 294 0 0 6 0 0 0 16 0 9 0 28837582 889720832 11632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2364/tid=2368] ppid=2362 vsize=868868 CPUtime=0
/proc/2364/task/2368/stat : 2368 (java) S 2362 2364 2093 0 -1 64 19 294 0 0 0 0 0 0 16 0 9 0 28837582 889720832 11632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2364/tid=2369] ppid=2362 vsize=868868 CPUtime=0
/proc/2364/task/2369/stat : 2369 (java) S 2362 2364 2093 0 -1 64 10 294 0 0 0 0 0 0 16 0 9 0 28837582 889720832 11632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2364/tid=2370] ppid=2362 vsize=868868 CPUtime=0
/proc/2364/task/2370/stat : 2370 (java) S 2362 2364 2093 0 -1 64 2 294 0 0 0 0 0 0 23 0 9 0 28837584 889720832 11632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2364/tid=2371] ppid=2362 vsize=868868 CPUtime=0.25
/proc/2364/task/2371/stat : 2371 (java) S 2362 2364 2093 0 -1 64 750 294 0 0 25 0 0 0 16 0 9 0 28837584 889720832 11632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2364/tid=2372] ppid=2362 vsize=868868 CPUtime=0
/proc/2364/task/2372/stat : 2372 (java) S 2362 2364 2093 0 -1 64 0 294 0 0 0 0 0 0 24 0 9 0 28837584 889720832 11632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2364/tid=2373] ppid=2362 vsize=868868 CPUtime=0
/proc/2364/task/2373/stat : 2373 (java) S 2362 2364 2093 0 -1 64 19 294 0 0 0 0 0 0 15 0 9 0 28837584 889720832 11632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1255.66
Current children cumulated vsize (KiB) 868868
[startup+1267.1 s]
/proc/loadavg: 1.99 1.97 1.99 3/89 2502
/proc/meminfo: memFree=1687720/2055920 swapFree=4192812/4192956
[pid=2364] ppid=2362 vsize=868868 CPUtime=1262.06
/proc/2364/stat : 2364 (java) S 2362 2364 2093 0 -1 0 18874 294 1 0 126195 11 0 0 18 0 9 0 28837579 889720832 11632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2364/statm: 217217 11632 2656 9 0 211653 0
[pid=2364/tid=2366] ppid=2362 vsize=868868 CPUtime=1261.73
/proc/2364/task/2366/stat : 2366 (java) R 2362 2364 2093 0 -1 64 12600 294 1 0 126164 9 0 0 25 0 9 0 28837580 889720832 11632 996147200 134512640 134550932 4294955968 18446744073709551615 4126923015 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2364/tid=2367] ppid=2362 vsize=868868 CPUtime=0.06
/proc/2364/task/2367/stat : 2367 (java) S 2362 2364 2093 0 -1 64 4672 294 0 0 6 0 0 0 16 0 9 0 28837582 889720832 11632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2364/tid=2368] ppid=2362 vsize=868868 CPUtime=0
/proc/2364/task/2368/stat : 2368 (java) S 2362 2364 2093 0 -1 64 19 294 0 0 0 0 0 0 16 0 9 0 28837582 889720832 11632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2364/tid=2369] ppid=2362 vsize=868868 CPUtime=0
/proc/2364/task/2369/stat : 2369 (java) S 2362 2364 2093 0 -1 64 10 294 0 0 0 0 0 0 16 0 9 0 28837582 889720832 11632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2364/tid=2370] ppid=2362 vsize=868868 CPUtime=0
/proc/2364/task/2370/stat : 2370 (java) S 2362 2364 2093 0 -1 64 2 294 0 0 0 0 0 0 23 0 9 0 28837584 889720832 11632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2364/tid=2371] ppid=2362 vsize=868868 CPUtime=0.25
/proc/2364/task/2371/stat : 2371 (java) S 2362 2364 2093 0 -1 64 750 294 0 0 25 0 0 0 16 0 9 0 28837584 889720832 11632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2364/tid=2372] ppid=2362 vsize=868868 CPUtime=0
/proc/2364/task/2372/stat : 2372 (java) S 2362 2364 2093 0 -1 64 0 294 0 0 0 0 0 0 24 0 9 0 28837584 889720832 11632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2364/tid=2373] ppid=2362 vsize=868868 CPUtime=0
/proc/2364/task/2373/stat : 2373 (java) S 2362 2364 2093 0 -1 64 19 294 0 0 0 0 0 0 15 0 9 0 28837584 889720832 11632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1262.06
Current children cumulated vsize (KiB) 868868
[startup+1270.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/89 2502
/proc/meminfo: memFree=1687720/2055920 swapFree=4192812/4192956
[pid=2364] ppid=2362 vsize=868868 CPUtime=1265.26
/proc/2364/stat : 2364 (java) S 2362 2364 2093 0 -1 0 18874 294 1 0 126515 11 0 0 18 0 9 0 28837579 889720832 11632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2364/statm: 217217 11632 2656 9 0 211653 0
[pid=2364/tid=2366] ppid=2362 vsize=868868 CPUtime=1264.92
/proc/2364/task/2366/stat : 2366 (java) R 2362 2364 2093 0 -1 64 12600 294 1 0 126483 9 0 0 25 0 9 0 28837580 889720832 11632 996147200 134512640 134550932 4294955968 18446744073709551615 4126901169 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2364/tid=2367] ppid=2362 vsize=868868 CPUtime=0.06
/proc/2364/task/2367/stat : 2367 (java) S 2362 2364 2093 0 -1 64 4672 294 0 0 6 0 0 0 16 0 9 0 28837582 889720832 11632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2364/tid=2368] ppid=2362 vsize=868868 CPUtime=0
/proc/2364/task/2368/stat : 2368 (java) S 2362 2364 2093 0 -1 64 19 294 0 0 0 0 0 0 16 0 9 0 28837582 889720832 11632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2364/tid=2369] ppid=2362 vsize=868868 CPUtime=0
/proc/2364/task/2369/stat : 2369 (java) S 2362 2364 2093 0 -1 64 10 294 0 0 0 0 0 0 16 0 9 0 28837582 889720832 11632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2364/tid=2370] ppid=2362 vsize=868868 CPUtime=0
/proc/2364/task/2370/stat : 2370 (java) S 2362 2364 2093 0 -1 64 2 294 0 0 0 0 0 0 23 0 9 0 28837584 889720832 11632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2364/tid=2371] ppid=2362 vsize=868868 CPUtime=0.25
/proc/2364/task/2371/stat : 2371 (java) S 2362 2364 2093 0 -1 64 750 294 0 0 25 0 0 0 16 0 9 0 28837584 889720832 11632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2364/tid=2372] ppid=2362 vsize=868868 CPUtime=0
/proc/2364/task/2372/stat : 2372 (java) S 2362 2364 2093 0 -1 64 0 294 0 0 0 0 0 0 24 0 9 0 28837584 889720832 11632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2364/tid=2373] ppid=2362 vsize=868868 CPUtime=0
/proc/2364/task/2373/stat : 2373 (java) S 2362 2364 2093 0 -1 64 19 294 0 0 0 0 0 0 15 0 9 0 28837584 889720832 11632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1265.26
Current children cumulated vsize (KiB) 868868
[startup+1271.9 s]
/proc/loadavg: 1.99 1.97 1.99 3/89 2502
/proc/meminfo: memFree=1687720/2055920 swapFree=4192812/4192956
[pid=2364] ppid=2362 vsize=868868 CPUtime=1266.86
/proc/2364/stat : 2364 (java) S 2362 2364 2093 0 -1 0 18874 294 1 0 126675 11 0 0 18 0 9 0 28837579 889720832 11632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2364/statm: 217217 11632 2656 9 0 211653 0
[pid=2364/tid=2366] ppid=2362 vsize=868868 CPUtime=1266.52
/proc/2364/task/2366/stat : 2366 (java) R 2362 2364 2093 0 -1 64 12600 294 1 0 126643 9 0 0 25 0 9 0 28837580 889720832 11632 996147200 134512640 134550932 4294955968 18446744073709551615 4126902783 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2364/tid=2367] ppid=2362 vsize=868868 CPUtime=0.06
/proc/2364/task/2367/stat : 2367 (java) S 2362 2364 2093 0 -1 64 4672 294 0 0 6 0 0 0 16 0 9 0 28837582 889720832 11632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2364/tid=2368] ppid=2362 vsize=868868 CPUtime=0
/proc/2364/task/2368/stat : 2368 (java) S 2362 2364 2093 0 -1 64 19 294 0 0 0 0 0 0 16 0 9 0 28837582 889720832 11632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2364/tid=2369] ppid=2362 vsize=868868 CPUtime=0
/proc/2364/task/2369/stat : 2369 (java) S 2362 2364 2093 0 -1 64 10 294 0 0 0 0 0 0 16 0 9 0 28837582 889720832 11632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2364/tid=2370] ppid=2362 vsize=868868 CPUtime=0
/proc/2364/task/2370/stat : 2370 (java) S 2362 2364 2093 0 -1 64 2 294 0 0 0 0 0 0 23 0 9 0 28837584 889720832 11632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2364/tid=2371] ppid=2362 vsize=868868 CPUtime=0.25
/proc/2364/task/2371/stat : 2371 (java) S 2362 2364 2093 0 -1 64 750 294 0 0 25 0 0 0 16 0 9 0 28837584 889720832 11632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2364/tid=2372] ppid=2362 vsize=868868 CPUtime=0
/proc/2364/task/2372/stat : 2372 (java) S 2362 2364 2093 0 -1 64 0 294 0 0 0 0 0 0 24 0 9 0 28837584 889720832 11632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2364/tid=2373] ppid=2362 vsize=868868 CPUtime=0
/proc/2364/task/2373/stat : 2373 (java) S 2362 2364 2093 0 -1 64 19 294 0 0 0 0 0 0 15 0 9 0 28837584 889720832 11632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1266.86
Current children cumulated vsize (KiB) 868868
[startup+1272.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/89 2502
/proc/meminfo: memFree=1687720/2055920 swapFree=4192812/4192956
[pid=2364] ppid=2362 vsize=868868 CPUtime=1267.26
/proc/2364/stat : 2364 (java) S 2362 2364 2093 0 -1 0 18874 294 1 0 126715 11 0 0 18 0 9 0 28837579 889720832 11632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2364/statm: 217217 11632 2656 9 0 211653 0
[pid=2364/tid=2366] ppid=2362 vsize=868868 CPUtime=1266.92
/proc/2364/task/2366/stat : 2366 (java) R 2362 2364 2093 0 -1 64 12600 294 1 0 126683 9 0 0 25 0 9 0 28837580 889720832 11632 996147200 134512640 134550932 4294955968 18446744073709551615 4126921115 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2364/tid=2367] ppid=2362 vsize=868868 CPUtime=0.06
/proc/2364/task/2367/stat : 2367 (java) S 2362 2364 2093 0 -1 64 4672 294 0 0 6 0 0 0 16 0 9 0 28837582 889720832 11632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2364/tid=2368] ppid=2362 vsize=868868 CPUtime=0
/proc/2364/task/2368/stat : 2368 (java) S 2362 2364 2093 0 -1 64 19 294 0 0 0 0 0 0 16 0 9 0 28837582 889720832 11632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2364/tid=2369] ppid=2362 vsize=868868 CPUtime=0
/proc/2364/task/2369/stat : 2369 (java) S 2362 2364 2093 0 -1 64 10 294 0 0 0 0 0 0 16 0 9 0 28837582 889720832 11632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2364/tid=2370] ppid=2362 vsize=868868 CPUtime=0
/proc/2364/task/2370/stat : 2370 (java) S 2362 2364 2093 0 -1 64 2 294 0 0 0 0 0 0 23 0 9 0 28837584 889720832 11632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2364/tid=2371] ppid=2362 vsize=868868 CPUtime=0.25
/proc/2364/task/2371/stat : 2371 (java) S 2362 2364 2093 0 -1 64 750 294 0 0 25 0 0 0 16 0 9 0 28837584 889720832 11632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2364/tid=2372] ppid=2362 vsize=868868 CPUtime=0
/proc/2364/task/2372/stat : 2372 (java) S 2362 2364 2093 0 -1 64 0 294 0 0 0 0 0 0 24 0 9 0 28837584 889720832 11632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2364/tid=2373] ppid=2362 vsize=868868 CPUtime=0
/proc/2364/task/2373/stat : 2373 (java) S 2362 2364 2093 0 -1 64 19 294 0 0 0 0 0 0 15 0 9 0 28837584 889720832 11632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1267.26
Current children cumulated vsize (KiB) 868868
[startup+1272.71 s]
/proc/loadavg: 1.99 1.97 1.99 3/89 2502
/proc/meminfo: memFree=1687720/2055920 swapFree=4192812/4192956
[pid=2364] ppid=2362 vsize=868868 CPUtime=1267.66
/proc/2364/stat : 2364 (java) S 2362 2364 2093 0 -1 0 18874 294 1 0 126755 11 0 0 18 0 9 0 28837579 889720832 11632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2364/statm: 217217 11632 2656 9 0 211653 0
[pid=2364/tid=2366] ppid=2362 vsize=868868 CPUtime=1267.32
/proc/2364/task/2366/stat : 2366 (java) R 2362 2364 2093 0 -1 64 12600 294 1 0 126723 9 0 0 25 0 9 0 28837580 889720832 11632 996147200 134512640 134550932 4294955968 18446744073709551615 4126902464 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2364/tid=2367] ppid=2362 vsize=868868 CPUtime=0.06
/proc/2364/task/2367/stat : 2367 (java) S 2362 2364 2093 0 -1 64 4672 294 0 0 6 0 0 0 16 0 9 0 28837582 889720832 11632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2364/tid=2368] ppid=2362 vsize=868868 CPUtime=0
/proc/2364/task/2368/stat : 2368 (java) S 2362 2364 2093 0 -1 64 19 294 0 0 0 0 0 0 16 0 9 0 28837582 889720832 11632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2364/tid=2369] ppid=2362 vsize=868868 CPUtime=0
/proc/2364/task/2369/stat : 2369 (java) S 2362 2364 2093 0 -1 64 10 294 0 0 0 0 0 0 16 0 9 0 28837582 889720832 11632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2364/tid=2370] ppid=2362 vsize=868868 CPUtime=0
/proc/2364/task/2370/stat : 2370 (java) S 2362 2364 2093 0 -1 64 2 294 0 0 0 0 0 0 23 0 9 0 28837584 889720832 11632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2364/tid=2371] ppid=2362 vsize=868868 CPUtime=0.25
/proc/2364/task/2371/stat : 2371 (java) S 2362 2364 2093 0 -1 64 750 294 0 0 25 0 0 0 16 0 9 0 28837584 889720832 11632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2364/tid=2372] ppid=2362 vsize=868868 CPUtime=0
/proc/2364/task/2372/stat : 2372 (java) S 2362 2364 2093 0 -1 64 0 294 0 0 0 0 0 0 24 0 9 0 28837584 889720832 11632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2364/tid=2373] ppid=2362 vsize=868868 CPUtime=0
/proc/2364/task/2373/stat : 2373 (java) S 2362 2364 2093 0 -1 64 19 294 0 0 0 0 0 0 15 0 9 0 28837584 889720832 11632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1267.66
Current children cumulated vsize (KiB) 868868
[startup+1272.8 s]
/proc/loadavg: 1.99 1.97 1.99 3/89 2502
/proc/meminfo: memFree=1687720/2055920 swapFree=4192812/4192956
[pid=2364] ppid=2362 vsize=868868 CPUtime=1267.76
/proc/2364/stat : 2364 (java) S 2362 2364 2093 0 -1 0 18874 294 1 0 126765 11 0 0 18 0 9 0 28837579 889720832 11632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2364/statm: 217217 11632 2656 9 0 211653 0
[pid=2364/tid=2366] ppid=2362 vsize=868868 CPUtime=1267.42
/proc/2364/task/2366/stat : 2366 (java) R 2362 2364 2093 0 -1 64 12600 294 1 0 126733 9 0 0 25 0 9 0 28837580 889720832 11632 996147200 134512640 134550932 4294955968 18446744073709551615 4125952222 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2364/tid=2367] ppid=2362 vsize=868868 CPUtime=0.06
/proc/2364/task/2367/stat : 2367 (java) S 2362 2364 2093 0 -1 64 4672 294 0 0 6 0 0 0 16 0 9 0 28837582 889720832 11632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2364/tid=2368] ppid=2362 vsize=868868 CPUtime=0
/proc/2364/task/2368/stat : 2368 (java) S 2362 2364 2093 0 -1 64 19 294 0 0 0 0 0 0 16 0 9 0 28837582 889720832 11632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2364/tid=2369] ppid=2362 vsize=868868 CPUtime=0
/proc/2364/task/2369/stat : 2369 (java) S 2362 2364 2093 0 -1 64 10 294 0 0 0 0 0 0 16 0 9 0 28837582 889720832 11632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2364/tid=2370] ppid=2362 vsize=868868 CPUtime=0
/proc/2364/task/2370/stat : 2370 (java) S 2362 2364 2093 0 -1 64 2 294 0 0 0 0 0 0 23 0 9 0 28837584 889720832 11632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2364/tid=2371] ppid=2362 vsize=868868 CPUtime=0.25
/proc/2364/task/2371/stat : 2371 (java) S 2362 2364 2093 0 -1 64 750 294 0 0 25 0 0 0 16 0 9 0 28837584 889720832 11632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2364/tid=2372] ppid=2362 vsize=868868 CPUtime=0
/proc/2364/task/2372/stat : 2372 (java) S 2362 2364 2093 0 -1 64 0 294 0 0 0 0 0 0 24 0 9 0 28837584 889720832 11632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2364/tid=2373] ppid=2362 vsize=868868 CPUtime=0
/proc/2364/task/2373/stat : 2373 (java) S 2362 2364 2093 0 -1 64 19 294 0 0 0 0 0 0 15 0 9 0 28837584 889720832 11632 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1267.76
Current children cumulated vsize (KiB) 868868
Child status: 0
Real time (s): 1272.86
CPU time (s): 1267.8
CPU user time (s): 1267.67
CPU system time (s): 0.134979
CPU usage (%): 99.6027
Max. virtual memory (cumulated for all children) (KiB): 868868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1267.67
system time used= 0.134979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19287
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= 26985
involuntary context switches= 30347
runsolver used 1.58776 second user time and 4.21136 second system time
The end
Begin job on node5 at 2009-07-12 18:55:01
IDJOB=2099217
IDBENCH=59999
IDSOLVER=773
FILE ID=node5/2099217-1247417701
PBS_JOBID= 9510671
Free space on /tmp= 66432 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/rand-2-50-23/normalized-rand-2-50-23-587-230-39_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-2099217-1247417701/watcher-2099217-1247417701 -o /tmp/evaluation-result-2099217-1247417701/solver-2099217-1247417701 -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-2099217-1247417701.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 15d340518ecd37c880bb1114afb81cb2
RANDOM SEED=1173002712
node5.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.258
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.258
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: 1665936 kB
Buffers: 55824 kB
Cached: 146340 kB
SwapCached: 0 kB
Active: 237768 kB
Inactive: 95936 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1665936 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2444 kB
Writeback: 0 kB
Mapped: 151912 kB
Slab: 41252 kB
Committed_AS: 1026572 kB
PageTables: 2008 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= 66436 MiB
End job on node5 at 2009-07-12 19:16:14