Trace number 235324

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Abscon 109 ESAC? (TO) 1800.13 1806.79

General information on the benchmark

Nametaillard/
os-taillard-10/os-taillard-10-95-7.xml
MD5SUM1ac4899202187205cc402a22c67930db
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark23.26
SatisfiableNO
(Un)Satisfiability was proved
Number of variables100
Number of constraints900
Maximum constraint arity2
Maximum domain size565
Number of constraints which are defined in extension0
Number of constraints which are defined in intension900
Global constraints used (with number of constraints)

Solver Data (download as text)

0.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=esac.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/235324-1168337186/unknown.xml
0.36	   
0.36	   domains being loaded...
0.38	   
0.38	   variables being loaded...
0.43	     nbVariables=100  nbDomainTypes=100  minDomainSize=469  maxDomainSize=565
0.43	       =>  wckTime=0.127  cpuTime=0.11  mem=8M839
0.43	   
0.43	   predicates being loaded...
0.44	   
0.44	   constraints being loaded...
63.05	     nbConstraints=900  nbConvertedConstraints=900  nbConvertConstraintsChecks=240611558  nbExtensionStructures=900
63.05	     nbSharedExtensionStructures=0  nbConflictsStructures=900  nbSharedConflictsStructures=0
63.05	     nbSharedBinaryRepresentations=347166  maxDegree=18  maxArity=2
63.05	       =>  wckTime=62.743  cpuTime=61.36  mem=102M970
63.34	   
63.34	   solver IterativeSystematicSolver being built... 
63.50	       =>  wckTime=63.198  cpuTime=61.5  mem=95M223
63.71	   
63.71	   preprocessing
63.71	     nbConstraintChecks=3344793  nbPropagations=1739  nbRevisions=2447  nbUselessRevisions=725  nbSingletonTests=109
63.71	     nbEffectiveSingletonTests=0  nbESACBranches=5  nbRemovedValues=0  detectedInconsistency=no
63.71	       =>  wckTime=0.201  cpuTime=0.17  mem=95M223
64.18	   
64.18	   search
64.18	     run=0  nbConstraintChecks=4494976  nbPropagations=2994  nbRevisions=10143  nbUselessRevisions=3337
64.18	     nbAssignments=194  nbFailedAssignments=179  nbBacktracks=10  nbVisitedNodes=384  nbRestartNogoods=0  mapSize=10
64.18	     nbInferences=0  nbTooLargeKeys=0
64.18	       =>  wckTime=0.675  cpuTime=0.63  mem=96M175
65.60	   
65.60	   search
65.61	     run=1  nbConstraintChecks=40923939  nbPropagations=14045  nbRevisions=47852  nbUselessRevisions=15682
65.61	     nbAssignments=922  nbFailedAssignments=568  nbBacktracks=25  nbVisitedNodes=1193  nbRestartNogoods=39  mapSize=25
65.61	     nbInferences=0  nbTooLargeKeys=0
65.61	       =>  wckTime=2.097  cpuTime=2.01  mem=96M175
67.02	   
67.02	   search
67.02	     run=2  nbConstraintChecks=87881225  nbPropagations=31123  nbRevisions=111394  nbUselessRevisions=34436
67.02	     nbAssignments=1700  nbFailedAssignments=1079  nbBacktracks=47  nbVisitedNodes=2264  nbRestartNogoods=97  mapSize=47
67.02	     nbInferences=0  nbTooLargeKeys=0
67.02	       =>  wckTime=3.511  cpuTime=3.4  mem=96M175
69.59	   
69.59	   search
69.59	     run=3  nbConstraintChecks=151975224  nbPropagations=69063  nbRevisions=219031  nbUselessRevisions=63057
69.59	     nbAssignments=3319  nbFailedAssignments=1472  nbBacktracks=80  nbVisitedNodes=3121  nbRestartNogoods=285
69.59	     mapSize=80  nbInferences=0  nbTooLargeKeys=0
69.59	       =>  wckTime=6.083  cpuTime=5.94  mem=96M175
70.05	   
70.05	   search
70.05	     run=4  nbConstraintChecks=162433468  nbPropagations=110112  nbRevisions=339332  nbUselessRevisions=96447
70.05	     nbAssignments=3569  nbFailedAssignments=1667  nbBacktracks=130  nbVisitedNodes=3609  nbRestartNogoods=287
70.05	     mapSize=128  nbInferences=0  nbTooLargeKeys=0
70.05	       =>  wckTime=6.545  cpuTime=6.38  mem=96M175
72.61	   
72.61	   search
72.61	     run=5  nbConstraintChecks=264939427  nbPropagations=165098  nbRevisions=529022  nbUselessRevisions=156173
72.61	     nbAssignments=4956  nbFailedAssignments=2974  nbBacktracks=205  nbVisitedNodes=6378  nbRestartNogoods=321
72.61	     mapSize=203  nbInferences=0  nbTooLargeKeys=0
72.61	       =>  wckTime=9.098  cpuTime=8.91  mem=97M126
84.35	   
84.35	   search
84.35	     run=6  nbConstraintChecks=748387468  nbPropagations=288495  nbRevisions=960886  nbUselessRevisions=297088
84.35	     nbAssignments=10210  nbFailedAssignments=6892  nbBacktracks=318  nbVisitedNodes=14440  nbRestartNogoods=533
84.35	     mapSize=316  nbInferences=0  nbTooLargeKeys=0
84.35	       =>  wckTime=20.84  cpuTime=20.53  mem=97M126
90.52	   
90.52	   search
90.52	     run=7  nbConstraintChecks=895297298  nbPropagations=446955  nbRevisions=1534951  nbUselessRevisions=491635
90.52	     nbAssignments=13256  nbFailedAssignments=9252  nbBacktracks=488  nbVisitedNodes=19487  nbRestartNogoods=682
90.52	     mapSize=484  nbInferences=0  nbTooLargeKeys=0
90.52	       =>  wckTime=27.008  cpuTime=26.64  mem=98M77
99.17	   
99.17	   search
99.17	     run=8  nbConstraintChecks=1261824346  nbPropagations=646321  nbRevisions=2292391  nbUselessRevisions=741610
99.17	     nbAssignments=17904  nbFailedAssignments=13193  nbBacktracks=744  nbVisitedNodes=27885  nbRestartNogoods=785
99.17	     mapSize=740  nbInferences=0  nbTooLargeKeys=0
99.17	       =>  wckTime=35.658  cpuTime=35.22  mem=99M980
112.02	   
112.02	   INFO : Stopping hyperNogood (mapSize=1041, nbTooLargekeys=0, mem=100M931)
115.27	   
115.27	   search
115.28	     run=9  nbConstraintChecks=1918403051  nbPropagations=929210  nbRevisions=3446508  nbUselessRevisions=1124375
115.28	     nbAssignments=26740  nbFailedAssignments=20605  nbBacktracks=1128  nbVisitedNodes=43440  nbRestartNogoods=981
115.28	       =>  wckTime=51.766  cpuTime=51.17  mem=100M931
134.26	   
134.26	   search
134.26	     run=10  nbConstraintChecks=2519129254  nbPropagations=1294653  nbRevisions=5023493  nbUselessRevisions=1667770
134.26	     nbAssignments=35379  nbFailedAssignments=28494  nbBacktracks=1704  nbVisitedNodes=60317  nbRestartNogoods=1148
134.26	       =>  wckTime=70.749  cpuTime=69.96  mem=100M931
158.04	   
158.04	   search
158.04	     run=11  nbConstraintChecks=3221597810  nbPropagations=1783500  nbRevisions=7240567  nbUselessRevisions=2451394
158.04	     nbAssignments=47327  nbFailedAssignments=39116  nbBacktracks=2568  nbVisitedNodes=83110  nbRestartNogoods=1343
158.04	       =>  wckTime=94.535  cpuTime=93.52  mem=100M931
198.19	   
198.19	   search
198.19	     run=12  nbConstraintChecks=4770000331  nbPropagations=2400320  nbRevisions=10319761  nbUselessRevisions=3500679
198.19	     nbAssignments=71638  nbFailedAssignments=62109  nbBacktracks=3865  nbVisitedNodes=131679  nbRestartNogoods=1385
198.19	       =>  wckTime=134.682  cpuTime=133.29  mem=100M931
237.34	   
237.34	   search
237.34	     run=13  nbConstraintChecks=6029012653  nbPropagations=3244867  nbRevisions=14659650  nbUselessRevisions=5000922
237.34	     nbAssignments=99300  nbFailedAssignments=87820  nbBacktracks=5811  nbVisitedNodes=186920  nbRestartNogoods=1491
237.34	       =>  wckTime=173.83  cpuTime=172.23  mem=100M931
298.52	   
298.52	   search
298.52	     run=14  nbConstraintChecks=7933296264  nbPropagations=4388895  nbRevisions=20650698  nbUselessRevisions=7080073
298.52	     nbAssignments=136752  nbFailedAssignments=122208  nbBacktracks=8730  nbVisitedNodes=261424  nbRestartNogoods=1711
298.52	       =>  wckTime=235.015  cpuTime=232.65  mem=100M931
471.38	   
471.38	   search
471.38	     run=15  nbConstraintChecks=14924672117  nbPropagations=6223405  nbRevisions=30501255  nbUselessRevisions=10509752
471.38	     nbAssignments=224995  nbFailedAssignments=205605  nbBacktracks=13109  nbVisitedNodes=436841  nbRestartNogoods=1973
471.38	       =>  wckTime=407.877  cpuTime=404.47  mem=100M931
637.68	   
637.68	   search
637.68	     run=16  nbConstraintChecks=19802808875  nbPropagations=8903626  nbRevisions=44878222  nbUselessRevisions=15622008
637.68	     nbAssignments=320975  nbFailedAssignments=294585  nbBacktracks=19677  nbVisitedNodes=627665  nbRestartNogoods=2242
637.68	       =>  wckTime=574.174  cpuTime=569.96  mem=100M931
1013.11	   
1013.11	   search
1013.11	     run=17  nbConstraintChecks=34096574209  nbPropagations=13078645  nbRevisions=68134991  nbUselessRevisions=23713284
1013.11	     nbAssignments=530506  nbFailedAssignments=493945  nbBacktracks=29529  nbVisitedNodes=1046039  nbRestartNogoods=2437
1013.11	       =>  wckTime=949.607  cpuTime=944.27  mem=100M931
1233.74	   
1233.74	   search
1233.74	     run=18  nbConstraintChecks=38540028339  nbPropagations=18702566  nbRevisions=99049906  nbUselessRevisions=34579864
1233.74	     nbAssignments=694978  nbFailedAssignments=643062  nbBacktracks=44307  nbVisitedNodes=1372714  nbRestartNogoods=2757
1233.74	       =>  wckTime=1170.229  cpuTime=1164.64  mem=100M931
1780.79	   
1780.79	   search
1780.79	     run=19  nbConstraintChecks=60610153470  nbPropagations=26856633  nbRevisions=144462154  nbUselessRevisions=50531430
1780.79	     nbAssignments=1015648  nbFailedAssignments=941525  nbBacktracks=66475  nbVisitedNodes=2013325
1780.79	     nbRestartNogoods=2956
1780.79	       =>  wckTime=1717.278  cpuTime=1711.12  mem=100M931

Verifier Data (download as text)

ERROR: Unexpected answer ! (SAT/UNSAT expected)
Got answer:

Watcher Data (download as text)

runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node14/watcher-235324-1168337186 -o ROOT/results/node14/solver-235324-1168337186 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/235324-1168337186/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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: 2.00 2.00 2.00 5/89 991
/proc/meminfo: memFree=1467384/2055920 swapFree=4163780/4192956
[pid=990] ppid=988 vsize=18540 CPUtime=0
/proc/990/stat : 990 (runsolver) R 988 990 30691 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 182113573 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 212234464551 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/990/statm: 4635 279 244 17 0 2626 0

[startup+0.107771 s]
/proc/loadavg: 2.00 2.00 2.00 5/89 991
/proc/meminfo: memFree=1467384/2055920 swapFree=4163780/4192956
[pid=990] ppid=988 vsize=914988 CPUtime=0.09
/proc/990/stat : 990 (java) R 988 990 30691 0 -1 0 3001 0 1 0 7 2 0 0 24 0 8 0 182113573 936947712 2747 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072924296 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/990/statm: 228747 2747 1428 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988

[startup+0.515808 s]
/proc/loadavg: 2.00 2.00 2.00 5/89 991
/proc/meminfo: memFree=1467384/2055920 swapFree=4163780/4192956
[pid=990] ppid=988 vsize=915328 CPUtime=0.49
/proc/990/stat : 990 (java) R 988 990 30691 0 -1 0 6905 0 1 0 44 5 0 0 25 0 8 0 182113573 937295872 6644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/990/statm: 228832 6644 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328

[startup+1.33888 s]
/proc/loadavg: 2.00 2.00 2.00 3/96 998
/proc/meminfo: memFree=1443648/2055920 swapFree=4163780/4192956
[pid=990] ppid=988 vsize=915448 CPUtime=1.31
/proc/990/stat : 990 (java) R 988 990 30691 0 -1 0 8423 0 1 0 124 7 0 0 25 0 8 0 182113573 937418752 8161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073751040 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/990/statm: 228862 8161 2167 14 0 215332 0
[pid=990/tid=992] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/992/stat : 992 (java) S 988 990 30691 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 182113577 937418752 8161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=993] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/993/stat : 993 (java) S 988 990 30691 0 -1 64 10 0 0 0 0 0 0 0 21 0 8 0 182113577 937418752 8161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=994] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/994/stat : 994 (java) S 988 990 30691 0 -1 64 4 0 0 0 0 0 0 0 22 0 8 0 182113577 937418752 8161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=995] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/995/stat : 995 (java) S 988 990 30691 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 182113580 937418752 8161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=996] ppid=988 vsize=915448 CPUtime=0.14
/proc/990/task/996/stat : 996 (java) S 988 990 30691 0 -1 64 359 0 0 0 14 0 0 0 16 0 8 0 182113580 937418752 8161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=997] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/997/stat : 997 (java) S 988 990 30691 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 182113580 937418752 8161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=998] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/998/stat : 998 (java) S 988 990 30691 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 182113581 937418752 8161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915448

[startup+2.98504 s]
/proc/loadavg: 2.00 2.00 2.00 3/96 998
/proc/meminfo: memFree=1441280/2055920 swapFree=4163780/4192956
[pid=990] ppid=988 vsize=915448 CPUtime=2.94
/proc/990/stat : 990 (java) R 988 990 30691 0 -1 0 9290 0 1 0 287 7 0 0 25 0 8 0 182113573 937418752 9027 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073751056 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/990/statm: 228862 9027 2167 14 0 215332 0
[pid=990/tid=992] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/992/stat : 992 (java) S 988 990 30691 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 182113577 937418752 9027 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=993] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/993/stat : 993 (java) S 988 990 30691 0 -1 64 10 0 0 0 0 0 0 0 21 0 8 0 182113577 937418752 9027 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=994] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/994/stat : 994 (java) S 988 990 30691 0 -1 64 4 0 0 0 0 0 0 0 22 0 8 0 182113577 937418752 9027 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=995] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/995/stat : 995 (java) S 988 990 30691 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 182113580 937418752 9027 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=996] ppid=988 vsize=915448 CPUtime=0.14
/proc/990/task/996/stat : 996 (java) S 988 990 30691 0 -1 64 360 0 0 0 14 0 0 0 16 0 8 0 182113580 937418752 9027 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=997] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/997/stat : 997 (java) S 988 990 30691 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 182113580 937418752 9027 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=998] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/998/stat : 998 (java) S 988 990 30691 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 182113581 937418752 9027 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915448

[startup+6.26435 s]
/proc/loadavg: 2.00 2.00 2.00 3/96 998
/proc/meminfo: memFree=1434304/2055920 swapFree=4163780/4192956
[pid=990] ppid=988 vsize=915448 CPUtime=6.19
/proc/990/stat : 990 (java) R 988 990 30691 0 -1 0 10876 0 1 0 612 7 0 0 25 0 8 0 182113573 937418752 10613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073751040 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/990/statm: 228862 10613 2167 14 0 215332 0
[pid=990/tid=992] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/992/stat : 992 (java) S 988 990 30691 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 182113577 937418752 10613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=993] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/993/stat : 993 (java) S 988 990 30691 0 -1 64 10 0 0 0 0 0 0 0 21 0 8 0 182113577 937418752 10613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=994] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/994/stat : 994 (java) S 988 990 30691 0 -1 64 4 0 0 0 0 0 0 0 22 0 8 0 182113577 937418752 10613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=995] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/995/stat : 995 (java) S 988 990 30691 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 182113580 937418752 10613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=996] ppid=988 vsize=915448 CPUtime=0.14
/proc/990/task/996/stat : 996 (java) S 988 990 30691 0 -1 64 361 0 0 0 14 0 0 0 16 0 8 0 182113580 937418752 10613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=997] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/997/stat : 997 (java) S 988 990 30691 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 182113580 937418752 10613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=998] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/998/stat : 998 (java) S 988 990 30691 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 182113581 937418752 10613 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915448

[startup+12.75 s]
/proc/loadavg: 2.00 2.00 2.00 3/96 998
/proc/meminfo: memFree=1420944/2055920 swapFree=4163780/4192956
[pid=990] ppid=988 vsize=915448 CPUtime=12.63
/proc/990/stat : 990 (java) R 988 990 30691 0 -1 0 14159 0 1 0 1253 10 0 0 25 0 8 0 182113573 937418752 13896 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073754529 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/990/statm: 228862 13896 2168 14 0 215332 0
[pid=990/tid=992] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/992/stat : 992 (java) S 988 990 30691 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 182113577 937418752 13896 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=993] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/993/stat : 993 (java) S 988 990 30691 0 -1 64 10 0 0 0 0 0 0 0 21 0 8 0 182113577 937418752 13896 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=994] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/994/stat : 994 (java) S 988 990 30691 0 -1 64 4 0 0 0 0 0 0 0 22 0 8 0 182113577 937418752 13896 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=995] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/995/stat : 995 (java) S 988 990 30691 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 182113580 937418752 13896 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=996] ppid=988 vsize=915448 CPUtime=0.16
/proc/990/task/996/stat : 996 (java) S 988 990 30691 0 -1 64 373 0 0 0 16 0 0 0 16 0 8 0 182113580 937418752 13896 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=997] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/997/stat : 997 (java) S 988 990 30691 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 182113580 937418752 13896 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=998] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/998/stat : 998 (java) S 988 990 30691 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 182113581 937418752 13896 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915448

[startup+25.5932 s]
/proc/loadavg: 2.07 2.02 2.00 3/96 998
/proc/meminfo: memFree=1384144/2055920 swapFree=4163780/4192956
[pid=990] ppid=988 vsize=915448 CPUtime=25.36
/proc/990/stat : 990 (java) R 988 990 30691 0 -1 0 23262 0 1 0 2522 14 0 0 25 0 8 0 182113573 937418752 22997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073753874 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/990/statm: 228862 22997 2179 14 0 215332 0
[pid=990/tid=992] ppid=988 vsize=915448 CPUtime=0.27
/proc/990/task/992/stat : 992 (java) S 988 990 30691 0 -1 64 6702 0 0 0 25 2 0 0 16 0 8 0 182113577 937418752 22997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=993] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/993/stat : 993 (java) S 988 990 30691 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 182113577 937418752 22997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=994] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/994/stat : 994 (java) S 988 990 30691 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 182113577 937418752 22997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=995] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/995/stat : 995 (java) S 988 990 30691 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 182113580 937418752 22997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=996] ppid=988 vsize=915448 CPUtime=0.16
/proc/990/task/996/stat : 996 (java) S 988 990 30691 0 -1 64 374 0 0 0 16 0 0 0 16 0 8 0 182113580 937418752 22997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=997] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/997/stat : 997 (java) S 988 990 30691 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 182113580 937418752 22997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=998] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/998/stat : 998 (java) S 988 990 30691 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 182113581 937418752 22997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915448

[startup+51.1966 s]
/proc/loadavg: 2.05 2.01 2.00 3/96 998
/proc/meminfo: memFree=1344592/2055920 swapFree=4163780/4192956
[pid=990] ppid=988 vsize=915448 CPUtime=50.71
/proc/990/stat : 990 (java) R 988 990 30691 0 -1 0 33156 0 1 0 5051 20 0 0 25 0 8 0 182113573 937418752 32889 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073753888 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/990/statm: 228862 32889 2179 14 0 215332 0
[pid=990/tid=992] ppid=988 vsize=915448 CPUtime=0.67
/proc/990/task/992/stat : 992 (java) S 988 990 30691 0 -1 64 16589 0 0 0 60 7 0 0 16 0 8 0 182113577 937418752 32889 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=993] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/993/stat : 993 (java) S 988 990 30691 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 182113577 937418752 32889 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=994] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/994/stat : 994 (java) S 988 990 30691 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 182113577 937418752 32889 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=995] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/995/stat : 995 (java) S 988 990 30691 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 182113580 937418752 32889 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=996] ppid=988 vsize=915448 CPUtime=0.17
/proc/990/task/996/stat : 996 (java) S 988 990 30691 0 -1 64 379 0 0 0 17 0 0 0 16 0 8 0 182113580 937418752 32889 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=997] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/997/stat : 997 (java) S 988 990 30691 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 182113580 937418752 32889 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=998] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/998/stat : 998 (java) S 988 990 30691 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 182113581 937418752 32889 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 915448

[startup+102.423 s]
/proc/loadavg: 2.02 2.01 2.00 3/96 998
/proc/meminfo: memFree=1320856/2055920 swapFree=4163780/4192956
[pid=990] ppid=988 vsize=915448 CPUtime=101.46
/proc/990/stat : 990 (java) R 988 990 30691 0 -1 0 39465 0 1 0 10120 26 0 0 25 0 8 0 182113573 937418752 39189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073972204 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/990/statm: 228862 39189 2546 14 0 215332 0
[pid=990/tid=992] ppid=988 vsize=915448 CPUtime=0.94
/proc/990/task/992/stat : 992 (java) S 988 990 30691 0 -1 64 22383 0 0 0 85 9 0 0 16 0 8 0 182113577 937418752 39189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=993] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/993/stat : 993 (java) S 988 990 30691 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 182113577 937418752 39189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=994] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/994/stat : 994 (java) S 988 990 30691 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 182113577 937418752 39189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=995] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/995/stat : 995 (java) S 988 990 30691 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 182113580 937418752 39189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=996] ppid=988 vsize=915448 CPUtime=0.31
/proc/990/task/996/stat : 996 (java) S 988 990 30691 0 -1 64 449 0 0 0 30 1 0 0 16 0 8 0 182113580 937418752 39189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=997] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/997/stat : 997 (java) S 988 990 30691 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 182113580 937418752 39189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=998] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/998/stat : 998 (java) S 988 990 30691 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 182113581 937418752 39189 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.46
Current children cumulated vsize (KiB) 915448

[startup+162.513 s]
/proc/loadavg: 2.00 2.00 2.00 3/96 998
/proc/meminfo: memFree=1320792/2055920 swapFree=4163780/4192956
[pid=990] ppid=988 vsize=915448 CPUtime=160.97
/proc/990/stat : 990 (java) R 988 990 30691 0 -1 0 39469 0 1 0 16071 26 0 0 25 0 8 0 182113573 937418752 39193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073972250 0 4 0 23759 18446744073709551615 0 0 17 0 0 0

################
# More data... #
################

Current children cumulated CPU time (s) 1417.19
Current children cumulated vsize (KiB) 915448

[startup+1483.49 s]
/proc/loadavg: 2.00 2.01 2.00 3/101 1199
/proc/meminfo: memFree=1187872/2055920 swapFree=4163780/4192956
[pid=990] ppid=988 vsize=915448 CPUtime=1477.16
/proc/990/stat : 990 (java) R 988 990 30691 0 -1 0 39470 0 1 0 147681 35 0 0 25 0 8 0 182113573 937418752 39193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073991226 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/990/statm: 228862 39193 2546 14 0 215332 0
[pid=990/tid=992] ppid=988 vsize=915448 CPUtime=0.94
/proc/990/task/992/stat : 992 (java) S 988 990 30691 0 -1 64 22383 0 0 0 85 9 0 0 16 0 8 0 182113577 937418752 39193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=990/tid=993] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/993/stat : 993 (java) S 988 990 30691 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 182113577 937418752 39193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=994] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/994/stat : 994 (java) S 988 990 30691 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 182113577 937418752 39193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=995] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/995/stat : 995 (java) S 988 990 30691 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 182113580 937418752 39193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=996] ppid=988 vsize=915448 CPUtime=0.32
/proc/990/task/996/stat : 996 (java) S 988 990 30691 0 -1 64 453 0 0 0 31 1 0 0 16 0 8 0 182113580 937418752 39193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=990/tid=997] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/997/stat : 997 (java) S 988 990 30691 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 182113580 937418752 39193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=998] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/998/stat : 998 (java) S 988 990 30691 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 182113581 937418752 39193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1477.16
Current children cumulated vsize (KiB) 915448

[startup+1543.51 s]
/proc/loadavg: 2.00 2.01 2.00 3/101 1199
/proc/meminfo: memFree=1187808/2055920 swapFree=4163780/4192956
[pid=990] ppid=988 vsize=915448 CPUtime=1537.11
/proc/990/stat : 990 (java) R 988 990 30691 0 -1 0 39470 0 1 0 153676 35 0 0 25 0 8 0 182113573 937418752 39193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073972248 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/990/statm: 228862 39193 2546 14 0 215332 0
[pid=990/tid=992] ppid=988 vsize=915448 CPUtime=0.94
/proc/990/task/992/stat : 992 (java) S 988 990 30691 0 -1 64 22383 0 0 0 85 9 0 0 16 0 8 0 182113577 937418752 39193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=990/tid=993] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/993/stat : 993 (java) S 988 990 30691 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 182113577 937418752 39193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=994] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/994/stat : 994 (java) S 988 990 30691 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 182113577 937418752 39193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=995] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/995/stat : 995 (java) S 988 990 30691 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 182113580 937418752 39193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=996] ppid=988 vsize=915448 CPUtime=0.32
/proc/990/task/996/stat : 996 (java) S 988 990 30691 0 -1 64 453 0 0 0 31 1 0 0 16 0 8 0 182113580 937418752 39193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=990/tid=997] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/997/stat : 997 (java) S 988 990 30691 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 182113580 937418752 39193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=998] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/998/stat : 998 (java) S 988 990 30691 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 182113581 937418752 39193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1537.11
Current children cumulated vsize (KiB) 915448

[startup+1603.51 s]
/proc/loadavg: 2.07 2.02 2.00 3/101 1199
/proc/meminfo: memFree=1187808/2055920 swapFree=4163780/4192956
[pid=990] ppid=988 vsize=915448 CPUtime=1597.08
/proc/990/stat : 990 (java) R 988 990 30691 0 -1 0 39470 0 1 0 159672 36 0 0 25 0 8 0 182113573 937418752 39193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073989873 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/990/statm: 228862 39193 2546 14 0 215332 0
[pid=990/tid=992] ppid=988 vsize=915448 CPUtime=0.94
/proc/990/task/992/stat : 992 (java) S 988 990 30691 0 -1 64 22383 0 0 0 85 9 0 0 16 0 8 0 182113577 937418752 39193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=990/tid=993] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/993/stat : 993 (java) S 988 990 30691 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 182113577 937418752 39193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=994] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/994/stat : 994 (java) S 988 990 30691 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 182113577 937418752 39193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=995] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/995/stat : 995 (java) S 988 990 30691 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 182113580 937418752 39193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=996] ppid=988 vsize=915448 CPUtime=0.32
/proc/990/task/996/stat : 996 (java) S 988 990 30691 0 -1 64 453 0 0 0 31 1 0 0 16 0 8 0 182113580 937418752 39193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=990/tid=997] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/997/stat : 997 (java) S 988 990 30691 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 182113580 937418752 39193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=998] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/998/stat : 998 (java) S 988 990 30691 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 182113581 937418752 39193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1597.08
Current children cumulated vsize (KiB) 915448

[startup+1663.6 s]
/proc/loadavg: 2.08 2.03 2.00 3/101 1199
/proc/meminfo: memFree=1187808/2055920 swapFree=4163780/4192956
[pid=990] ppid=988 vsize=915448 CPUtime=1657.08
/proc/990/stat : 990 (java) R 988 990 30691 0 -1 0 39470 0 1 0 165672 36 0 0 25 0 8 0 182113573 937418752 39193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073972281 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/990/statm: 228862 39193 2546 14 0 215332 0
[pid=990/tid=992] ppid=988 vsize=915448 CPUtime=0.94
/proc/990/task/992/stat : 992 (java) S 988 990 30691 0 -1 64 22383 0 0 0 85 9 0 0 16 0 8 0 182113577 937418752 39193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=990/tid=993] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/993/stat : 993 (java) S 988 990 30691 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 182113577 937418752 39193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=994] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/994/stat : 994 (java) S 988 990 30691 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 182113577 937418752 39193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=995] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/995/stat : 995 (java) S 988 990 30691 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 182113580 937418752 39193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=996] ppid=988 vsize=915448 CPUtime=0.32
/proc/990/task/996/stat : 996 (java) S 988 990 30691 0 -1 64 453 0 0 0 31 1 0 0 16 0 8 0 182113580 937418752 39193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=990/tid=997] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/997/stat : 997 (java) S 988 990 30691 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 182113580 937418752 39193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=998] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/998/stat : 998 (java) S 988 990 30691 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 182113581 937418752 39193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1657.08
Current children cumulated vsize (KiB) 915448

[startup+1723.62 s]
/proc/loadavg: 2.03 2.02 2.00 3/101 1199
/proc/meminfo: memFree=1187744/2055920 swapFree=4163780/4192956
[pid=990] ppid=988 vsize=915448 CPUtime=1717.04
/proc/990/stat : 990 (java) R 988 990 30691 0 -1 0 39470 0 1 0 171668 36 0 0 25 0 8 0 182113573 937418752 39193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073972281 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/990/statm: 228862 39193 2546 14 0 215332 0
[pid=990/tid=992] ppid=988 vsize=915448 CPUtime=0.94
/proc/990/task/992/stat : 992 (java) S 988 990 30691 0 -1 64 22383 0 0 0 85 9 0 0 16 0 8 0 182113577 937418752 39193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=990/tid=993] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/993/stat : 993 (java) S 988 990 30691 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 182113577 937418752 39193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=994] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/994/stat : 994 (java) S 988 990 30691 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 182113577 937418752 39193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=995] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/995/stat : 995 (java) S 988 990 30691 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 182113580 937418752 39193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=996] ppid=988 vsize=915448 CPUtime=0.32
/proc/990/task/996/stat : 996 (java) S 988 990 30691 0 -1 64 453 0 0 0 31 1 0 0 16 0 8 0 182113580 937418752 39193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=990/tid=997] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/997/stat : 997 (java) S 988 990 30691 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 182113580 937418752 39193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=998] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/998/stat : 998 (java) S 988 990 30691 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 182113581 937418752 39193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1717.04
Current children cumulated vsize (KiB) 915448

[startup+1783.64 s]
/proc/loadavg: 2.01 2.02 2.00 3/101 1199
/proc/meminfo: memFree=1187744/2055920 swapFree=4163780/4192956
[pid=990] ppid=988 vsize=915448 CPUtime=1777.01
/proc/990/stat : 990 (java) R 988 990 30691 0 -1 0 39470 0 1 0 177665 36 0 0 25 0 8 0 182113573 937418752 39193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073972392 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/990/statm: 228862 39193 2546 14 0 215332 0
[pid=990/tid=992] ppid=988 vsize=915448 CPUtime=0.94
/proc/990/task/992/stat : 992 (java) S 988 990 30691 0 -1 64 22383 0 0 0 85 9 0 0 16 0 8 0 182113577 937418752 39193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=990/tid=993] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/993/stat : 993 (java) S 988 990 30691 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 182113577 937418752 39193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=994] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/994/stat : 994 (java) S 988 990 30691 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 182113577 937418752 39193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=995] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/995/stat : 995 (java) S 988 990 30691 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 182113580 937418752 39193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=996] ppid=988 vsize=915448 CPUtime=0.32
/proc/990/task/996/stat : 996 (java) S 988 990 30691 0 -1 64 453 0 0 0 31 1 0 0 16 0 8 0 182113580 937418752 39193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=990/tid=997] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/997/stat : 997 (java) S 988 990 30691 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 182113580 937418752 39193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=998] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/998/stat : 998 (java) S 988 990 30691 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 182113581 937418752 39193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1777.01
Current children cumulated vsize (KiB) 915448



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1806.73 s]
/proc/loadavg: 2.00 2.01 2.00 3/101 1199
/proc/meminfo: memFree=1187744/2055920 swapFree=4163780/4192956
[pid=990] ppid=988 vsize=915448 CPUtime=1800.07
/proc/990/stat : 990 (java) R 988 990 30691 0 -1 0 39470 0 1 0 179971 36 0 0 25 0 8 0 182113573 937418752 39193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073972273 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/990/statm: 228862 39193 2546 14 0 215332 0
[pid=990/tid=992] ppid=988 vsize=915448 CPUtime=0.94
/proc/990/task/992/stat : 992 (java) S 988 990 30691 0 -1 64 22383 0 0 0 85 9 0 0 16 0 8 0 182113577 937418752 39193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=990/tid=993] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/993/stat : 993 (java) S 988 990 30691 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 182113577 937418752 39193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=994] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/994/stat : 994 (java) S 988 990 30691 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 182113577 937418752 39193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=995] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/995/stat : 995 (java) S 988 990 30691 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 182113580 937418752 39193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=996] ppid=988 vsize=915448 CPUtime=0.32
/proc/990/task/996/stat : 996 (java) S 988 990 30691 0 -1 64 453 0 0 0 31 1 0 0 16 0 8 0 182113580 937418752 39193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=990/tid=997] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/997/stat : 997 (java) S 988 990 30691 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 182113580 937418752 39193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=990/tid=998] ppid=988 vsize=915448 CPUtime=0
/proc/990/task/998/stat : 998 (java) S 988 990 30691 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 182113581 937418752 39193 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 915448

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Child status: 143
Real time (s): 1806.79
CPU time (s): 1800.13
CPU user time (s): 1799.74
CPU system time (s): 0.38994
CPU usage (%): 99.6315
Max. virtual memory (cumulated for all children) (KiB): 915452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.74
system time used= 0.38994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39486
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= 38012
involuntary context switches= 60939

runsolver used 2.41463 s user time and 6.16906 s system time

The end

Launcher Data (download as text)

Begin job on node14 on Tue Jan  9 10:06:26 UTC 2007


IDJOB= 235324
IDBENCH= 6760
FILE ID= node14/235324-1168337186

PBS_JOBID= 3503051

Free space on /tmp= 66560 MiB

BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-10/os-taillard-10-95-7.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/235324-1168337186/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node14/watcher-235324-1168337186 -o ROOT/results/node14/solver-235324-1168337186 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/235324-1168337186/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  1ac4899202187205cc402a22c67930db

RANDOM SEED= 128590621

TIME LIMIT= 1800 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.227
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.227
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1467864 kB
Buffers:         71976 kB
Cached:         398852 kB
SwapCached:       4084 kB
Active:         244164 kB
Inactive:       272656 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1467864 kB
SwapTotal:     4192956 kB
SwapFree:      4163780 kB
Dirty:            1876 kB
Writeback:           0 kB
Mapped:          55824 kB
Slab:            56236 kB
Committed_AS:  6235424 kB
PageTables:       2180 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 node14 on Tue Jan  9 10:36:33 UTC 2007