Trace number 237597

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 AC? (TO) 1800.2 1812.36

General information on the benchmark

Namehaystacks/
haystacks_27.xml
MD5SUMa51555354cf54c2b3cbd20e0fa17db14
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 benchmark40.1239
SatisfiableNO
(Un)Satisfiability was proved
Number of variables729
Number of constraints9503
Maximum constraint arity2
Maximum domain size27
Number of constraints which are defined in extension0
Number of constraints which are defined in intension9503
Global constraints used (with number of constraints)

Solver Data (download as text)

0.33	   
0.33	Abscon 109 (November, 2006)
0.33	   
0.33	   configuration
0.33	     name=mac.xml
0.37	   
0.37	   instance
0.37	     name=/tmp/evaluation/237597-1168083343/unknown.xml
0.40	   
0.40	   domains being loaded...
0.40	   
0.40	   variables being loaded...
0.51	     nbVariables=729  nbDomainTypes=1  minDomainSize=27  maxDomainSize=27
0.51	       =>  wckTime=0.178  cpuTime=0.15  mem=7M863
0.51	   
0.51	   predicates being loaded...
0.52	   
0.52	   constraints being loaded...
1.87	     nbConstraints=9503  nbConvertedConstraints=9503  nbConvertConstraintsChecks=2916  nbExtensionStructures=4
1.87	     nbSharedExtensionStructures=9499  nbConflictsStructures=4  nbSharedConflictsStructures=9499
1.87	     nbSharedBinaryRepresentations=161  maxDegree=27  maxArity=2
1.87	       =>  wckTime=1.53  cpuTime=1.3  mem=18M49
1.96	   
1.96	   solver IterativeSystematicSolver being built... 
2.16	       =>  wckTime=1.824  cpuTime=1.47  mem=21M913
2.21	   
2.21	   preprocessing
2.21	     nbConstraintChecks=0  nbPropagations=729  nbRevisions=0  nbUselessRevisions=0  nbRemovedValues=0
2.21	     detectedInconsistency=no
2.21	       =>  wckTime=0.046  cpuTime=0.03  mem=21M913
2.34	   
2.34	   search
2.34	     run=0  nbConstraintChecks=37824  nbPropagations=2570  nbRevisions=1874  nbUselessRevisions=64  nbAssignments=92
2.34	     nbFailedAssignments=10  nbBacktracks=10  nbVisitedNodes=113  nbRestartNogoods=0  mapSize=10  nbInferences=0
2.34	     nbTooLargeKeys=0
2.34	       =>  wckTime=0.176  cpuTime=0.13  mem=22M908
2.39	   
2.39	   search
2.39	     run=1  nbConstraintChecks=75926  nbPropagations=7025  nbRevisions=5677  nbUselessRevisions=200  nbAssignments=194
2.39	     nbFailedAssignments=24  nbBacktracks=25  nbVisitedNodes=243  nbRestartNogoods=4  mapSize=25  nbInferences=0
2.39	     nbTooLargeKeys=0
2.39	       =>  wckTime=0.229  cpuTime=0.17  mem=22M908
2.45	   
2.45	   search
2.45	     run=2  nbConstraintChecks=114242  nbPropagations=13430  nbRevisions=11483  nbUselessRevisions=413
2.45	     nbAssignments=309  nbFailedAssignments=44  nbBacktracks=47  nbVisitedNodes=398  nbRestartNogoods=7  mapSize=47
2.45	     nbInferences=0  nbTooLargeKeys=0
2.45	       =>  wckTime=0.281  cpuTime=0.23  mem=23M902
2.51	   
2.51	   search
2.51	     run=3  nbConstraintChecks=152848  nbPropagations=21867  nbRevisions=19372  nbUselessRevisions=703
2.51	     nbAssignments=443  nbFailedAssignments=71  nbBacktracks=80  nbVisitedNodes=587  nbRestartNogoods=12  mapSize=80
2.51	     nbInferences=1  nbTooLargeKeys=0
2.51	       =>  wckTime=0.342  cpuTime=0.28  mem=23M902
2.58	   
2.58	   search
2.58	     run=4  nbConstraintChecks=191822  nbPropagations=32470  nbRevisions=29473  nbUselessRevisions=1071
2.58	     nbAssignments=607  nbFailedAssignments=108  nbBacktracks=131  nbVisitedNodes=830  nbRestartNogoods=16  mapSize=131
2.58	     nbInferences=6  nbTooLargeKeys=0
2.58	       =>  wckTime=0.412  cpuTime=0.35  mem=23M902
2.66	   
2.66	   search
2.66	     run=5  nbConstraintChecks=231481  nbPropagations=45468  nbRevisions=41991  nbUselessRevisions=1517
2.66	     nbAssignments=819  nbFailedAssignments=157  nbBacktracks=206  nbVisitedNodes=1157  nbRestartNogoods=20  mapSize=206
2.66	     nbInferences=23  nbTooLargeKeys=0
2.66	       =>  wckTime=0.493  cpuTime=0.43  mem=24M897
2.76	   
2.76	   search
2.76	     run=6  nbConstraintChecks=272010  nbPropagations=61182  nbRevisions=57239  nbUselessRevisions=2044
2.76	     nbAssignments=1102  nbFailedAssignments=232  nbBacktracks=320  nbVisitedNodes=1612  nbRestartNogoods=22
2.76	     mapSize=320  nbInferences=45  nbTooLargeKeys=0
2.76	       =>  wckTime=0.599  cpuTime=0.53  mem=25M892
2.91	   
2.91	   search
2.91	     run=7  nbConstraintChecks=313836  nbPropagations=80111  nbRevisions=75678  nbUselessRevisions=2655
2.91	     nbAssignments=1494  nbFailedAssignments=339  nbBacktracks=490  nbVisitedNodes=2260  nbRestartNogoods=28
2.91	     mapSize=490  nbInferences=87  nbTooLargeKeys=0
2.91	       =>  wckTime=0.741  cpuTime=0.66  mem=26M886
3.10	   
3.10	   search
3.10	     run=8  nbConstraintChecks=357751  nbPropagations=103038  nbRevisions=98014  nbUselessRevisions=3354
3.10	     nbAssignments=2056  nbFailedAssignments=490  nbBacktracks=746  nbVisitedNodes=3207  nbRestartNogoods=36
3.10	     mapSize=746  nbInferences=170  nbTooLargeKeys=0
3.10	       =>  wckTime=0.93  cpuTime=0.83  mem=27M881
3.32	   
3.32	   search
3.32	     run=9  nbConstraintChecks=410795  nbPropagations=131040  nbRevisions=125459  nbUselessRevisions=4255
3.32	     nbAssignments=2823  nbFailedAssignments=734  nbBacktracks=1131  nbVisitedNodes=4537  nbRestartNogoods=43
3.32	     mapSize=1127  nbInferences=245  nbTooLargeKeys=0
3.32	       =>  wckTime=1.156  cpuTime=1.06  mem=29M870
3.62	   
3.62	   search
3.62	     run=10  nbConstraintChecks=507498  nbPropagations=166635  nbRevisions=160941  nbUselessRevisions=5653
3.62	     nbAssignments=3868  nbFailedAssignments=1100  nbBacktracks=1707  nbVisitedNodes=6349  nbRestartNogoods=48
3.62	     mapSize=1656  nbInferences=280  nbTooLargeKeys=0
3.62	       =>  wckTime=1.455  cpuTime=1.34  mem=30M865
4.13	   
4.13	   search
4.13	     run=11  nbConstraintChecks=629043  nbPropagations=215735  nbRevisions=208831  nbUselessRevisions=7504
4.13	     nbAssignments=5958  nbFailedAssignments=1469  nbBacktracks=2571  nbVisitedNodes=9936  nbRestartNogoods=51
4.13	     mapSize=2481  nbInferences=1040  nbTooLargeKeys=0
4.13	       =>  wckTime=1.965  cpuTime=1.85  mem=31M860
5.03	   
5.03	   search
5.03	     run=12  nbConstraintChecks=795125  nbPropagations=284096  nbRevisions=274708  nbUselessRevisions=10033
5.03	     nbAssignments=8968  nbFailedAssignments=2068  nbBacktracks=3869  nbVisitedNodes=15161  nbRestartNogoods=55
5.03	     mapSize=3728  nbInferences=2057  nbTooLargeKeys=0
5.03	       =>  wckTime=2.863  cpuTime=2.73  mem=40M812
6.47	   
6.47	   search
6.47	     run=13  nbConstraintChecks=946723  nbPropagations=379541  nbRevisions=364373  nbUselessRevisions=13079
6.47	     nbAssignments=13786  nbFailedAssignments=2896  nbBacktracks=5816  nbVisitedNodes=23583  nbRestartNogoods=66
6.47	     mapSize=5650  nbInferences=4005  nbTooLargeKeys=0
6.47	       =>  wckTime=4.307  cpuTime=4.13  mem=26M161
8.91	   
8.91	   search
8.91	     run=14  nbConstraintChecks=1157699  nbPropagations=520484  nbRevisions=492019  nbUselessRevisions=16797
8.91	     nbAssignments=21899  nbFailedAssignments=3877  nbBacktracks=8736  nbVisitedNodes=37775  nbRestartNogoods=80
8.91	     mapSize=8544  nbInferences=8122  nbTooLargeKeys=0
8.91	       =>  wckTime=6.746  cpuTime=6.54  mem=53M271
12.58	   
12.58	   search
12.58	     run=15  nbConstraintChecks=1509449  nbPropagations=733763  nbRevisions=680308  nbUselessRevisions=21850
12.58	     nbAssignments=34400  nbFailedAssignments=5340  nbBacktracks=13114  nbVisitedNodes=59740  nbRestartNogoods=90
12.58	     mapSize=12852  nbInferences=14661  nbTooLargeKeys=0
12.58	       =>  wckTime=10.413  cpuTime=10.13  mem=63M949
18.26	   
18.26	   search
18.26	     run=16  nbConstraintChecks=1970977  nbPropagations=1055023  nbRevisions=956952  nbUselessRevisions=28441
18.26	     nbAssignments=53640  nbFailedAssignments=7282  nbBacktracks=19683  nbVisitedNodes=93474  nbRestartNogoods=110
18.26	     mapSize=19359  nbInferences=25272  nbTooLargeKeys=0
18.26	       =>  wckTime=16.094  cpuTime=15.71  mem=94M248
28.10	   
28.10	   search
28.10	     run=17  nbConstraintChecks=2728980  nbPropagations=1564195  nbRevisions=1385129  nbUselessRevisions=38073
28.10	     nbAssignments=85996  nbFailedAssignments=9651  nbBacktracks=29536  nbVisitedNodes=150584  nbRestartNogoods=128
28.10	     mapSize=29154  nbInferences=45289  nbTooLargeKeys=0
28.10	       =>  wckTime=25.939  cpuTime=25.38  mem=141M380
42.05	   
42.05	   search
42.05	     run=18  nbConstraintChecks=3837088  nbPropagations=2350910  nbRevisions=2036660  nbUselessRevisions=52478
42.05	     nbAssignments=134182  nbFailedAssignments=13110  nbBacktracks=44315  nbVisitedNodes=235488  nbRestartNogoods=143
42.05	     mapSize=43832  nbInferences=75091  nbTooLargeKeys=0
42.05	       =>  wckTime=39.887  cpuTime=39.05  mem=163M539
66.26	   
66.26	   search
66.26	     run=19  nbConstraintChecks=5816390  nbPropagations=3632723  nbRevisions=3083233  nbUselessRevisions=75379
66.26	     nbAssignments=215438  nbFailedAssignments=17154  nbBacktracks=66483  nbVisitedNodes=379732  nbRestartNogoods=166
66.26	     mapSize=65938  nbInferences=129992  nbTooLargeKeys=0
66.26	       =>  wckTime=64.094  cpuTime=62.84  mem=260M784
92.97	   
92.97	   search
92.97	     run=20  nbConstraintChecks=10759984  nbPropagations=5588141  nbRevisions=4731745  nbUselessRevisions=137428
92.97	     nbAssignments=316953  nbFailedAssignments=27249  nbBacktracks=99736  nbVisitedNodes=559172  nbRestartNogoods=185
92.97	     mapSize=99052  nbInferences=187991  nbTooLargeKeys=0
92.97	       =>  wckTime=90.8  cpuTime=89.11  mem=328M506
150.28	   
150.28	   search
150.28	     run=21  nbConstraintChecks=15649486  nbPropagations=8764780  nbRevisions=7337700  nbUselessRevisions=212750
150.28	     nbAssignments=512783  nbFailedAssignments=33807  nbBacktracks=149614  nbVisitedNodes=907345  nbRestartNogoods=215
150.28	     mapSize=148801  nbInferences=327221  nbTooLargeKeys=0
150.28	       =>  wckTime=148.113  cpuTime=145.42  mem=497M167
187.61	   
187.61	   INFO : Stopping hyperNogood (mapSize=192374, nbTooLargekeys=0, mem=600M713)
194.64	   
194.64	   search
194.64	     run=22  nbConstraintChecks=26531726  nbPropagations=13244923  nbRevisions=11188791  nbUselessRevisions=369840
194.64	     nbAssignments=705045  nbFailedAssignments=66740  nbBacktracks=224433  nbVisitedNodes=1249026  nbRestartNogoods=243
194.64	       =>  wckTime=192.479  cpuTime=189.12  mem=600M713
220.55	   
220.55	   search
220.55	     run=23  nbConstraintChecks=29080641  nbPropagations=18588092  nbRevisions=15907696  nbUselessRevisions=531243
220.55	     nbAssignments=895130  nbFailedAssignments=144404  nbBacktracks=336660  nbVisitedNodes=1594432  nbRestartNogoods=274
220.55	       =>  wckTime=218.381  cpuTime=214.79  mem=600M713
257.80	   
257.80	   search
257.80	     run=24  nbConstraintChecks=32720608  nbPropagations=25218678  nbRevisions=21921051  nbUselessRevisions=697628
257.80	     nbAssignments=1180244  nbFailedAssignments=260956  nbBacktracks=505001  nbVisitedNodes=2112620
257.80	     nbRestartNogoods=305
257.80	       =>  wckTime=255.636  cpuTime=251.71  mem=600M713
312.46	   
312.46	   search
312.46	     run=25  nbConstraintChecks=39424027  nbPropagations=33782356  nbRevisions=29932493  nbUselessRevisions=877227
312.46	     nbAssignments=1606176  nbFailedAssignments=434154  nbBacktracks=757512  nbVisitedNodes=2884668
312.46	     nbRestartNogoods=349
312.46	       =>  wckTime=310.292  cpuTime=305.86  mem=600M713
400.03	   
400.03	   search
400.03	     run=26  nbConstraintChecks=47101560  nbPropagations=45230017  nbRevisions=40833788  nbUselessRevisions=1062719
400.03	     nbAssignments=2248358  nbFailedAssignments=697378  nbBacktracks=1136280  nbVisitedNodes=4053296
400.03	     nbRestartNogoods=393
400.03	       =>  wckTime=397.861  cpuTime=392.64  mem=600M713
519.29	   
519.29	   search
519.29	     run=27  nbConstraintChecks=59093043  nbPropagations=61006602  nbRevisions=56095917  nbUselessRevisions=1272274
519.29	     nbAssignments=3209121  nbFailedAssignments=1089743  nbBacktracks=1704431  nbVisitedNodes=5798633
519.29	     nbRestartNogoods=410
519.29	       =>  wckTime=517.126  cpuTime=510.81  mem=600M713
805.25	   
805.25	   search
805.25	     run=28  nbConstraintChecks=420778817  nbPropagations=90656560  nbRevisions=100082481  nbUselessRevisions=5496005
805.25	     nbAssignments=4751285  nbFailedAssignments=1779500  nbBacktracks=2556659  nbVisitedNodes=8614604
805.25	     nbRestartNogoods=455
805.25	       =>  wckTime=803.083  cpuTime=794.18  mem=600M713
1102.74	   
1102.74	   search
1102.74	     run=29  nbConstraintChecks=445067797  nbPropagations=129977736  nbRevisions=153751893  nbUselessRevisions=9727617
1102.74	     nbAssignments=6917467  nbFailedAssignments=2667172  nbBacktracks=3835000  nbVisitedNodes=12556130
1102.74	     nbRestartNogoods=482
1102.74	       =>  wckTime=1100.572  cpuTime=1088.96  mem=600M713
1545.82	   
1545.82	   search
1545.82	     run=30  nbConstraintChecks=481411192  nbPropagations=183813067  nbRevisions=221936185  nbUselessRevisions=13959939
1545.82	     nbAssignments=10169505  nbFailedAssignments=4001564  nbBacktracks=5752510  nbVisitedNodes=18476952
1545.82	     nbRestartNogoods=499
1545.82	       =>  wckTime=1543.653  cpuTime=1530.21  mem=600M713

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/node30/watcher-237597-1168083343 -o ROOT/results/node30/solver-237597-1168083343 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/237597-1168083343/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: 1.29 1.78 1.81 4/93 4128
/proc/meminfo: memFree=1141792/2055920 swapFree=4191880/4192956
[pid=4127] ppid=4125 vsize=18540 CPUtime=0
/proc/4127/stat : 4127 (runsolver) R 4125 4127 3153 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 156729957 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 264907582759 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/4127/statm: 4635 279 244 17 0 2626 0

[startup+0.107043 s]
/proc/loadavg: 1.29 1.78 1.81 4/93 4128
/proc/meminfo: memFree=1141792/2055920 swapFree=4191880/4192956
[pid=4127] ppid=4125 vsize=912760 CPUtime=0.07
/proc/4127/stat : 4127 (java) R 4125 4127 3153 0 -1 0 2781 0 1 0 6 1 0 0 19 0 8 0 156729957 934666240 2527 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073415488 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4127/statm: 228190 2527 1387 14 0 215091 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912760

[startup+0.516072 s]
/proc/loadavg: 1.29 1.78 1.81 4/93 4128
/proc/meminfo: memFree=1141792/2055920 swapFree=4191880/4192956
[pid=4127] ppid=4125 vsize=915328 CPUtime=0.47
/proc/4127/stat : 4127 (java) R 4125 4127 3153 0 -1 0 6417 0 1 0 43 4 0 0 18 0 8 0 156729957 937295872 6156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073570890 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4127/statm: 228832 6156 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328

[startup+1.34512 s]
/proc/loadavg: 1.43 1.80 1.82 3/100 4135
/proc/meminfo: memFree=1089448/2055920 swapFree=4191880/4192956
[pid=4127] ppid=4125 vsize=915632 CPUtime=1.3
/proc/4127/stat : 4127 (java) R 4125 4127 3153 0 -1 0 16499 0 1 0 104 26 0 0 25 0 8 0 156729957 937607168 16237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4127/statm: 228908 16237 2169 14 0 215378 0
[pid=4127/tid=4129] ppid=4125 vsize=915632 CPUtime=0
/proc/4127/task/4129/stat : 4129 (java) S 4125 4127 3153 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 156729962 937607168 16237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4130] ppid=4125 vsize=915632 CPUtime=0
/proc/4127/task/4130/stat : 4130 (java) S 4125 4127 3153 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 156729963 937607168 16237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4131] ppid=4125 vsize=915632 CPUtime=0
/proc/4127/task/4131/stat : 4131 (java) S 4125 4127 3153 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 156729963 937607168 16237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4132] ppid=4125 vsize=915632 CPUtime=0
/proc/4127/task/4132/stat : 4132 (java) S 4125 4127 3153 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156729966 937607168 16237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4133] ppid=4125 vsize=915632 CPUtime=0.18
/proc/4127/task/4133/stat : 4133 (java) S 4125 4127 3153 0 -1 64 425 0 0 0 17 1 0 0 16 0 8 0 156729966 937607168 16237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4134] ppid=4125 vsize=915632 CPUtime=0
/proc/4127/task/4134/stat : 4134 (java) S 4125 4127 3153 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156729966 937607168 16237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4135] ppid=4125 vsize=915632 CPUtime=0
/proc/4127/task/4135/stat : 4135 (java) S 4125 4127 3153 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156729966 937607168 16237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915632

[startup+2.99023 s]
/proc/loadavg: 1.43 1.80 1.82 3/100 4135
/proc/meminfo: memFree=1072488/2055920 swapFree=4191880/4192956
[pid=4127] ppid=4125 vsize=915720 CPUtime=2.93
/proc/4127/stat : 4127 (java) R 4125 4127 3153 0 -1 0 20027 0 1 0 239 54 0 0 25 0 8 0 156729957 937697280 19762 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074023421 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4127/statm: 228930 19762 2534 14 0 215400 0
[pid=4127/tid=4129] ppid=4125 vsize=915720 CPUtime=0.13
/proc/4127/task/4129/stat : 4129 (java) S 4125 4127 3153 0 -1 64 2924 0 0 0 13 0 0 0 17 0 8 0 156729962 937697280 19762 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4130] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4130/stat : 4130 (java) S 4125 4127 3153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156729963 937697280 19762 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4131] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4131/stat : 4131 (java) S 4125 4127 3153 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156729963 937697280 19762 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4132] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4132/stat : 4132 (java) S 4125 4127 3153 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156729966 937697280 19762 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4133] ppid=4125 vsize=915720 CPUtime=0.31
/proc/4127/task/4133/stat : 4133 (java) S 4125 4127 3153 0 -1 64 489 0 0 0 29 2 0 0 15 0 8 0 156729966 937697280 19762 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4134] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4134/stat : 4134 (java) S 4125 4127 3153 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156729966 937697280 19762 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4135] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4135/stat : 4135 (java) S 4125 4127 3153 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156729966 937697280 19762 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915720

[startup+6.26943 s]
/proc/loadavg: 1.43 1.80 1.82 3/100 4135
/proc/meminfo: memFree=1072424/2055920 swapFree=4191880/4192956
[pid=4127] ppid=4125 vsize=915720 CPUtime=6.17
/proc/4127/stat : 4127 (java) R 4125 4127 3153 0 -1 0 20036 0 1 0 563 54 0 0 25 0 8 0 156729957 937697280 19769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073983104 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4127/statm: 228930 19769 2534 14 0 215400 0
[pid=4127/tid=4129] ppid=4125 vsize=915720 CPUtime=0.13
/proc/4127/task/4129/stat : 4129 (java) S 4125 4127 3153 0 -1 64 2924 0 0 0 13 0 0 0 16 0 8 0 156729962 937697280 19769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4130] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4130/stat : 4130 (java) S 4125 4127 3153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156729963 937697280 19769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4131] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4131/stat : 4131 (java) S 4125 4127 3153 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156729963 937697280 19769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4132] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4132/stat : 4132 (java) S 4125 4127 3153 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156729966 937697280 19769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4133] ppid=4125 vsize=915720 CPUtime=0.33
/proc/4127/task/4133/stat : 4133 (java) S 4125 4127 3153 0 -1 64 497 0 0 0 31 2 0 0 16 0 8 0 156729966 937697280 19769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4134] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4134/stat : 4134 (java) S 4125 4127 3153 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156729966 937697280 19769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4135] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4135/stat : 4135 (java) S 4125 4127 3153 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156729966 937697280 19769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 915720

[startup+12.7629 s]
/proc/loadavg: 1.52 1.80 1.82 3/100 4135
/proc/meminfo: memFree=1034088/2055920 swapFree=4191880/4192956
[pid=4127] ppid=4125 vsize=915720 CPUtime=12.6
/proc/4127/stat : 4127 (java) R 4125 4127 3153 0 -1 0 29625 0 1 0 1203 57 0 0 25 0 8 0 156729957 937697280 29356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073995609 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4127/statm: 228930 29356 2534 14 0 215400 0
[pid=4127/tid=4129] ppid=4125 vsize=915720 CPUtime=0.23
/proc/4127/task/4129/stat : 4129 (java) S 4125 4127 3153 0 -1 64 12511 0 0 0 19 4 0 0 16 0 8 0 156729962 937697280 29356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4130] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4130/stat : 4130 (java) S 4125 4127 3153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156729963 937697280 29356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4131] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4131/stat : 4131 (java) S 4125 4127 3153 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156729963 937697280 29356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4132] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4132/stat : 4132 (java) S 4125 4127 3153 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156729966 937697280 29356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4133] ppid=4125 vsize=915720 CPUtime=0.33
/proc/4127/task/4133/stat : 4133 (java) S 4125 4127 3153 0 -1 64 497 0 0 0 31 2 0 0 16 0 8 0 156729966 937697280 29356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4134] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4134/stat : 4134 (java) S 4125 4127 3153 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156729966 937697280 29356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4135] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4135/stat : 4135 (java) S 4125 4127 3153 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156729966 937697280 29356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915720

[startup+25.6187 s]
/proc/loadavg: 1.59 1.81 1.82 3/100 4135
/proc/meminfo: memFree=981992/2055920 swapFree=4191880/4192956
[pid=4127] ppid=4125 vsize=915720 CPUtime=25.34
/proc/4127/stat : 4127 (java) R 4125 4127 3153 0 -1 0 42615 0 1 0 2471 63 0 0 25 0 8 0 156729957 937697280 42343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074056960 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4127/statm: 228930 42343 2534 14 0 215400 0
[pid=4127/tid=4129] ppid=4125 vsize=915720 CPUtime=0.35
/proc/4127/task/4129/stat : 4129 (java) S 4125 4127 3153 0 -1 64 25498 0 0 0 26 9 0 0 16 0 8 0 156729962 937697280 42343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4130] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4130/stat : 4130 (java) S 4125 4127 3153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156729963 937697280 42343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4131] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4131/stat : 4131 (java) S 4125 4127 3153 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156729963 937697280 42343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4132] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4132/stat : 4132 (java) S 4125 4127 3153 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156729966 937697280 42343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4133] ppid=4125 vsize=915720 CPUtime=0.33
/proc/4127/task/4133/stat : 4133 (java) S 4125 4127 3153 0 -1 64 497 0 0 0 31 2 0 0 16 0 8 0 156729966 937697280 42343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4134] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4134/stat : 4134 (java) S 4125 4127 3153 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156729966 937697280 42343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4135] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4135/stat : 4135 (java) S 4125 4127 3153 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156729966 937697280 42343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915720

[startup+51.2333 s]
/proc/loadavg: 1.73 1.82 1.82 3/100 4135
/proc/meminfo: memFree=889320/2055920 swapFree=4191880/4192956
[pid=4127] ppid=4125 vsize=915720 CPUtime=50.72
/proc/4127/stat : 4127 (java) R 4125 4127 3153 0 -1 0 65772 0 1 0 5000 72 0 0 25 0 8 0 156729957 937697280 65494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074023158 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4127/statm: 228930 65494 2534 14 0 215400 0
[pid=4127/tid=4129] ppid=4125 vsize=915720 CPUtime=0.59
/proc/4127/task/4129/stat : 4129 (java) S 4125 4127 3153 0 -1 64 48649 0 0 0 41 18 0 0 16 0 8 0 156729962 937697280 65494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4130] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4130/stat : 4130 (java) S 4125 4127 3153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156729963 937697280 65494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4131] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4131/stat : 4131 (java) S 4125 4127 3153 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156729963 937697280 65494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4132] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4132/stat : 4132 (java) S 4125 4127 3153 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156729966 937697280 65494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4133] ppid=4125 vsize=915720 CPUtime=0.33
/proc/4127/task/4133/stat : 4133 (java) S 4125 4127 3153 0 -1 64 497 0 0 0 31 2 0 0 16 0 8 0 156729966 937697280 65494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4134] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4134/stat : 4134 (java) S 4125 4127 3153 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156729966 937697280 65494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4135] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4135/stat : 4135 (java) S 4125 4127 3153 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156729966 937697280 65494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 915720

[startup+102.455 s]
/proc/loadavg: 1.96 1.87 1.84 3/100 4135
/proc/meminfo: memFree=747560/2055920 swapFree=4191880/4192956
[pid=4127] ppid=4125 vsize=915720 CPUtime=101.48
/proc/4127/stat : 4127 (java) R 4125 4127 3153 0 -1 0 101149 0 1 0 10062 86 0 0 25 0 8 0 156729957 937697280 100861 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074102151 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4127/statm: 228930 100861 2534 14 0 215400 0
[pid=4127/tid=4129] ppid=4125 vsize=915720 CPUtime=0.98
/proc/4127/task/4129/stat : 4129 (java) S 4125 4127 3153 0 -1 64 84016 0 0 0 67 31 0 0 16 0 8 0 156729962 937697280 100861 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4130] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4130/stat : 4130 (java) S 4125 4127 3153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156729963 937697280 100861 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4131] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4131/stat : 4131 (java) S 4125 4127 3153 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156729963 937697280 100861 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4132] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4132/stat : 4132 (java) S 4125 4127 3153 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156729966 937697280 100861 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4133] ppid=4125 vsize=915720 CPUtime=0.33
/proc/4127/task/4133/stat : 4133 (java) S 4125 4127 3153 0 -1 64 497 0 0 0 31 2 0 0 16 0 8 0 156729966 937697280 100861 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4134] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4134/stat : 4134 (java) S 4125 4127 3153 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156729966 937697280 100861 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4135] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4135/stat : 4135 (java) S 4125 4127 3153 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156729966 937697280 100861 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.48
Current children cumulated vsize (KiB) 915720

[startup+162.535 s]
/proc/loadavg: 1.98 1.89 1.84 3/100 4135
/proc/meminfo: memFree=595880/2055920 swapFree=4191880/4192956
[pid=4127] ppid=4125 vsize=915720 CPUtime=161.02
/proc/4127/stat : 4127 (java) R 4125 4127 3153 0 -1 0 139004 0 1 0 16002 100 0 0 25 0 8 0 156729957 937697280 138704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074023324 0 4 0 23759 18446744073709551615 0 0 17 1 0 0

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

Current children cumulated CPU time (s) 1412
Current children cumulated vsize (KiB) 915720

[startup+1483.76 s]
/proc/loadavg: 2.01 2.01 1.93 3/100 4193
/proc/meminfo: memFree=516656/2055920 swapFree=4191880/4192956
[pid=4127] ppid=4125 vsize=915720 CPUtime=1471.97
/proc/4127/stat : 4127 (java) R 4125 4127 3153 0 -1 0 155862 0 1 0 147080 117 0 0 25 0 8 0 156729957 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074043866 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4127/statm: 228930 155557 2534 14 0 215400 0
[pid=4127/tid=4129] ppid=4125 vsize=915720 CPUtime=1.64
/proc/4127/task/4129/stat : 4129 (java) S 4125 4127 3153 0 -1 64 138712 0 0 0 113 51 0 0 16 0 8 0 156729962 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4130] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4130/stat : 4130 (java) S 4125 4127 3153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156729963 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4131] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4131/stat : 4131 (java) S 4125 4127 3153 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156729963 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4132] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4132/stat : 4132 (java) S 4125 4127 3153 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156729966 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4133] ppid=4125 vsize=915720 CPUtime=0.33
/proc/4127/task/4133/stat : 4133 (java) S 4125 4127 3153 0 -1 64 497 0 0 0 31 2 0 0 16 0 8 0 156729966 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4134] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4134/stat : 4134 (java) S 4125 4127 3153 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156729966 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4135] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4135/stat : 4135 (java) S 4125 4127 3153 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156729966 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1471.97
Current children cumulated vsize (KiB) 915720

[startup+1543.79 s]
/proc/loadavg: 2.00 2.00 1.93 3/106 4333
/proc/meminfo: memFree=515368/2055920 swapFree=4191880/4192956
[pid=4127] ppid=4125 vsize=915720 CPUtime=1531.89
/proc/4127/stat : 4127 (java) R 4125 4127 3153 0 -1 0 155862 0 1 0 153064 125 0 0 25 0 8 0 156729957 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074046544 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4127/statm: 228930 155557 2534 14 0 215400 0
[pid=4127/tid=4129] ppid=4125 vsize=915720 CPUtime=1.64
/proc/4127/task/4129/stat : 4129 (java) S 4125 4127 3153 0 -1 64 138712 0 0 0 113 51 0 0 16 0 8 0 156729962 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4130] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4130/stat : 4130 (java) S 4125 4127 3153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156729963 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4131] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4131/stat : 4131 (java) S 4125 4127 3153 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156729963 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4132] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4132/stat : 4132 (java) S 4125 4127 3153 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156729966 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4133] ppid=4125 vsize=915720 CPUtime=0.33
/proc/4127/task/4133/stat : 4133 (java) S 4125 4127 3153 0 -1 64 497 0 0 0 31 2 0 0 16 0 8 0 156729966 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4134] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4134/stat : 4134 (java) S 4125 4127 3153 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156729966 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4135] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4135/stat : 4135 (java) S 4125 4127 3153 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156729966 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1531.89
Current children cumulated vsize (KiB) 915720

[startup+1603.81 s]
/proc/loadavg: 2.00 2.00 1.93 3/100 4391
/proc/meminfo: memFree=516336/2055920 swapFree=4191880/4192956
[pid=4127] ppid=4125 vsize=915720 CPUtime=1591.82
/proc/4127/stat : 4127 (java) R 4125 4127 3153 0 -1 0 155862 0 1 0 159053 129 0 0 25 0 8 0 156729957 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074016571 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4127/statm: 228930 155557 2534 14 0 215400 0
[pid=4127/tid=4129] ppid=4125 vsize=915720 CPUtime=1.64
/proc/4127/task/4129/stat : 4129 (java) S 4125 4127 3153 0 -1 64 138712 0 0 0 113 51 0 0 16 0 8 0 156729962 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4130] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4130/stat : 4130 (java) S 4125 4127 3153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156729963 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4131] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4131/stat : 4131 (java) S 4125 4127 3153 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156729963 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4132] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4132/stat : 4132 (java) S 4125 4127 3153 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156729966 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4133] ppid=4125 vsize=915720 CPUtime=0.33
/proc/4127/task/4133/stat : 4133 (java) S 4125 4127 3153 0 -1 64 497 0 0 0 31 2 0 0 16 0 8 0 156729966 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4134] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4134/stat : 4134 (java) S 4125 4127 3153 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156729966 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4135] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4135/stat : 4135 (java) S 4125 4127 3153 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156729966 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1591.82
Current children cumulated vsize (KiB) 915720

[startup+1663.82 s]
/proc/loadavg: 2.07 2.02 1.94 3/100 4391
/proc/meminfo: memFree=516336/2055920 swapFree=4191880/4192956
[pid=4127] ppid=4125 vsize=915720 CPUtime=1651.78
/proc/4127/stat : 4127 (java) R 4125 4127 3153 0 -1 0 155862 0 1 0 165049 129 0 0 25 0 8 0 156729957 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073987439 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4127/statm: 228930 155557 2534 14 0 215400 0
[pid=4127/tid=4129] ppid=4125 vsize=915720 CPUtime=1.64
/proc/4127/task/4129/stat : 4129 (java) S 4125 4127 3153 0 -1 64 138712 0 0 0 113 51 0 0 16 0 8 0 156729962 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4130] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4130/stat : 4130 (java) S 4125 4127 3153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156729963 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4131] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4131/stat : 4131 (java) S 4125 4127 3153 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156729963 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4132] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4132/stat : 4132 (java) S 4125 4127 3153 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156729966 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4133] ppid=4125 vsize=915720 CPUtime=0.33
/proc/4127/task/4133/stat : 4133 (java) S 4125 4127 3153 0 -1 64 497 0 0 0 31 2 0 0 16 0 8 0 156729966 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4134] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4134/stat : 4134 (java) S 4125 4127 3153 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156729966 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4135] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4135/stat : 4135 (java) S 4125 4127 3153 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156729966 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1651.78
Current children cumulated vsize (KiB) 915720

[startup+1723.83 s]
/proc/loadavg: 2.02 2.01 1.94 3/100 4391
/proc/meminfo: memFree=516336/2055920 swapFree=4191880/4192956
[pid=4127] ppid=4125 vsize=915720 CPUtime=1711.75
/proc/4127/stat : 4127 (java) R 4125 4127 3153 0 -1 0 155862 0 1 0 171046 129 0 0 25 0 8 0 156729957 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073983280 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4127/statm: 228930 155557 2534 14 0 215400 0
[pid=4127/tid=4129] ppid=4125 vsize=915720 CPUtime=1.64
/proc/4127/task/4129/stat : 4129 (java) S 4125 4127 3153 0 -1 64 138712 0 0 0 113 51 0 0 16 0 8 0 156729962 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4130] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4130/stat : 4130 (java) S 4125 4127 3153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156729963 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4131] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4131/stat : 4131 (java) S 4125 4127 3153 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156729963 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4132] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4132/stat : 4132 (java) S 4125 4127 3153 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156729966 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4133] ppid=4125 vsize=915720 CPUtime=0.33
/proc/4127/task/4133/stat : 4133 (java) S 4125 4127 3153 0 -1 64 497 0 0 0 31 2 0 0 16 0 8 0 156729966 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4134] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4134/stat : 4134 (java) S 4125 4127 3153 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156729966 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4135] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4135/stat : 4135 (java) S 4125 4127 3153 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156729966 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1711.75
Current children cumulated vsize (KiB) 915720

[startup+1783.85 s]
/proc/loadavg: 2.12 2.04 1.95 3/100 4391
/proc/meminfo: memFree=516336/2055920 swapFree=4191880/4192956
[pid=4127] ppid=4125 vsize=915720 CPUtime=1771.68
/proc/4127/stat : 4127 (java) R 4125 4127 3153 0 -1 0 155862 0 1 0 177039 129 0 0 25 0 8 0 156729957 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074017224 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4127/statm: 228930 155557 2534 14 0 215400 0
[pid=4127/tid=4129] ppid=4125 vsize=915720 CPUtime=1.64
/proc/4127/task/4129/stat : 4129 (java) S 4125 4127 3153 0 -1 64 138712 0 0 0 113 51 0 0 16 0 8 0 156729962 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4130] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4130/stat : 4130 (java) S 4125 4127 3153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156729963 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4131] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4131/stat : 4131 (java) S 4125 4127 3153 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156729963 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4132] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4132/stat : 4132 (java) S 4125 4127 3153 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156729966 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4133] ppid=4125 vsize=915720 CPUtime=0.33
/proc/4127/task/4133/stat : 4133 (java) S 4125 4127 3153 0 -1 64 497 0 0 0 31 2 0 0 16 0 8 0 156729966 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4134] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4134/stat : 4134 (java) S 4125 4127 3153 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156729966 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4135] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4135/stat : 4135 (java) R 4125 4127 3153 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156729966 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1771.68
Current children cumulated vsize (KiB) 915720



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1812.25 s]
/proc/loadavg: 2.07 2.03 1.95 3/100 4391
/proc/meminfo: memFree=516336/2055920 swapFree=4191880/4192956
[pid=4127] ppid=4125 vsize=915720 CPUtime=1800.08
/proc/4127/stat : 4127 (java) R 4125 4127 3153 0 -1 0 155862 0 1 0 179879 129 0 0 25 0 8 0 156729957 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074013556 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4127/statm: 228930 155557 2534 14 0 215400 0
[pid=4127/tid=4129] ppid=4125 vsize=915720 CPUtime=1.64
/proc/4127/task/4129/stat : 4129 (java) S 4125 4127 3153 0 -1 64 138712 0 0 0 113 51 0 0 16 0 8 0 156729962 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4130] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4130/stat : 4130 (java) S 4125 4127 3153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156729963 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4131] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4131/stat : 4131 (java) S 4125 4127 3153 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156729963 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4132] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4132/stat : 4132 (java) S 4125 4127 3153 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156729966 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4133] ppid=4125 vsize=915720 CPUtime=0.33
/proc/4127/task/4133/stat : 4133 (java) S 4125 4127 3153 0 -1 64 497 0 0 0 31 2 0 0 16 0 8 0 156729966 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4134] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4134/stat : 4134 (java) S 4125 4127 3153 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156729966 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4135] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4135/stat : 4135 (java) S 4125 4127 3153 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156729966 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 915720

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

Child status: 143
Real time (s): 1812.36
CPU time (s): 1800.2
CPU user time (s): 1798.81
CPU system time (s): 1.38779
CPU usage (%): 99.3287
Max. virtual memory (cumulated for all children) (KiB): 915720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.81
system time used= 1.38779
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155877
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= 38289
involuntary context switches= 86064

runsolver used 2.40263 s user time and 5.64414 s system time

The end

Launcher Data (download as text)

Begin job on node30 on Sat Jan  6 11:35:47 UTC 2007


IDJOB= 237597
IDBENCH= 6951
FILE ID= node30/237597-1168083343

PBS_JOBID= 3476077

Free space on /tmp= 66480 MiB

BENCH NAME= HOME/pub/bench/CPAI06/haystacks/haystacks_27.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/237597-1168083343/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node30/watcher-237597-1168083343 -o ROOT/results/node30/solver-237597-1168083343 -C 1800 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/237597-1168083343/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  a51555354cf54c2b3cbd20e0fa17db14

RANDOM SEED= 650313467

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.234
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.234
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:       1142208 kB
Buffers:         50736 kB
Cached:         673468 kB
SwapCached:        268 kB
Active:         231788 kB
Inactive:       594612 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1142208 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            2836 kB
Writeback:           0 kB
Mapped:         129916 kB
Slab:            71856 kB
Committed_AS:  3893488 kB
PageTables:       2376 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= 66480 MiB



End job on node30 on Sat Jan  6 12:06:17 UTC 2007