Trace number 275753

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
AbsconMax 109 EPFCOPTIMUM 149.749 151.088

General information on the benchmark

NamepseudoSeries/uclid/
44s-smv.xml
MD5SUMc15b80e078b6e0c44dde79342583e0d7
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkMOPT
Best Number of satisfied constraints938
Best CPU time to get the best result obtained on this benchmark149.749
SatisfiableNO
(Un)Satisfiability was provedNO
Number of variables495
Number of constraints939
Maximum constraint arity13
Maximum domain size2
Number of constraints which are defined in extension0
Number of constraints which are defined in intension939
Global constraints used (with number of constraints)

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.30	   
0.30	Abscon 109 (November, 2006)
0.30	   
0.30	   configuration
0.30	     name=epfc.xml
0.33	   
0.33	   instance
0.33	     name=/tmp/evaluation/275753-1169226499/unknown.xml
0.36	   
0.36	   domains being loaded...
0.36	   
0.36	   variables being loaded...
0.45	     nbVariables=495  nbDomainTypes=3  minDomainSize=1  maxDomainSize=2
0.45	       =>  wckTime=0.149  cpuTime=0.11  mem=7M862
0.45	   
0.45	   predicates being loaded...
0.46	   
0.46	   constraints being loaded...
1.13	     nbConstraints=939  nbSingletonDomainVariables=118  nbConvertedConstraints=570  nbConvertConstraintsChecks=229482
1.13	     nbExtensionStructures=12  nbSharedExtensionStructures=558  nbConflictsStructures=66
1.13	     nbSharedConflictsStructures=873  nbSharedBinaryRepresentations=29  nbEvaluationManagers=54
1.13	     nbSharedEvaluationManagers=315  maxDegree=96  maxArity=13
1.13	       =>  wckTime=0.831  cpuTime=0.68  mem=23M465
1.19	   
1.19	   solver LocalSearchSolver being built... 
1.23	       =>  wckTime=0.927  cpuTime=0.72  mem=6M512
1.23	
1.23	s SATISFIABLE
1.23	o 785
1.23	c 154
1.24	o 790
1.24	c 149
1.24	o 794
1.24	c 145
1.24	o 798
1.24	c 141
1.25	o 802
1.25	c 137
1.25	o 803
1.25	c 136
1.25	o 806
1.25	c 133
1.26	o 809
1.26	c 130
1.26	o 812
1.26	c 127
1.26	o 816
1.26	c 123
1.26	o 819
1.26	c 120
1.26	o 822
1.26	c 117
1.27	o 825
1.27	c 114
1.27	o 828
1.27	c 111
1.27	o 829
1.27	c 110
1.27	o 831
1.27	c 108
1.27	o 833
1.27	c 106
1.28	o 835
1.28	c 104
1.28	o 837
1.28	c 102
1.28	o 839
1.28	c 100
1.28	o 841
1.28	c 98
1.28	o 843
1.28	c 96
1.28	o 845
1.28	c 94
1.29	o 847
1.29	c 92
1.29	o 849
1.29	c 90
1.29	o 851
1.29	c 88
1.29	o 853
1.29	c 86
1.29	o 855
1.29	c 84
1.29	o 857
1.29	c 82
1.30	o 859
1.30	c 80
1.30	o 860
1.30	c 79
1.30	o 861
1.30	c 78
1.30	o 862
1.30	c 77
1.31	o 863
1.31	c 76
1.31	o 864
1.31	c 75
1.31	o 865
1.31	c 74
1.31	o 867
1.31	c 72
1.31	o 869
1.31	c 70
1.31	o 871
1.31	c 68
1.32	o 872
1.32	c 67
1.32	o 874
1.32	c 65
1.32	o 876
1.32	c 63
1.32	o 878
1.32	c 61
1.32	o 880
1.32	c 59
1.32	o 882
1.32	c 57
1.32	o 884
1.32	c 55
1.33	o 886
1.33	c 53
1.33	o 887
1.33	c 52
1.33	o 888
1.33	c 51
1.33	o 889
1.33	c 50
1.33	o 890
1.33	c 49
1.34	o 891
1.34	c 48
1.34	o 892
1.34	c 47
1.34	o 893
1.34	c 46
1.34	o 894
1.34	c 45
1.34	o 895
1.34	c 44
1.34	o 896
1.34	c 43
1.35	o 897
1.35	c 42
1.35	o 898
1.35	c 41
1.35	o 899
1.35	c 40
1.35	o 900
1.35	c 39
1.35	o 901
1.35	c 38
1.35	o 902
1.35	c 37
1.37	o 903
1.37	c 36
1.38	o 904
1.38	c 35
1.38	o 905
1.38	c 34
1.39	o 906
1.39	c 33
1.39	o 907
1.39	c 32
1.39	o 908
1.39	c 31
1.39	o 910
1.39	c 29
1.39	o 911
1.39	c 28
1.39	o 913
1.39	c 26
1.40	o 914
1.40	c 25
1.40	o 916
1.40	c 23
1.40	o 918
1.40	c 21
1.40	o 919
1.40	c 20
1.42	o 921
1.42	c 18
1.42	o 922
1.42	c 17
1.42	o 923
1.42	c 16
1.42	o 924
1.42	c 15
1.45	o 925
1.46	c 14
1.46	o 926
1.46	c 13
1.53	o 927
1.53	c 12
1.54	o 928
1.54	c 11
1.57	o 929
1.57	c 10
1.57	o 930
1.57	c 9
1.67	o 931
1.67	c 8
1.79	o 932
1.79	c 7
1.79	o 933
1.79	c 6
1.80	o 934
1.80	c 5
1.81	o 935
1.81	c 4
1.81	o 936
1.81	c 3
1.83	o 937
1.83	c 2
1.88	o 938
1.88	c 1
1.88	   
1.88	   search
1.88	     run=0  nbConstraintChecks=401239  nbAssignments=884
1.88	       =>  wckTime=0.658  cpuTime=0.63  mem=6M512
1.88	   
1.88	   global
1.88	     nbConstraintChecks=401239  nbValidityChecks=0  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
1.88	     solvingWckTime=0.657  solvingCpuTime=0.63  expiredTime=no  totalExploration=no  nbFoundSolutions=0
1.88	     globalCpuTime=1.4
1.88	       =>  wckTime=1.585  cpuTime=1.35  mem=6M512
1.89	   
1.89	   solver IterativeSystematicSolver being built... 
2.07	       =>  wckTime=1.766  cpuTime=1.5  mem=23M484
2.93	   
2.93	   preprocessing
2.93	     nbConstraintChecks=191816  nbValidityChecks=392806  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
2.93	     nbRemovedValues=1  detectedInconsistency=no
2.93	       =>  wckTime=0.858  cpuTime=0.82  mem=23M484
3.31	   
3.31	   search
3.31	     run=0  nbConstraintChecks=95183  nbValidityChecks=249117  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
3.31	     nbAssignments=256  nbFailedAssignments=5  nbBacktracks=31  nbVisitedNodes=263  nbRestartNogoods=0
3.31	       =>  wckTime=1.238  cpuTime=1.19  mem=24M459
3.60	   
3.60	   search
3.60	     run=1  nbConstraintChecks=149440  nbValidityChecks=443323  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
3.60	     nbAssignments=424  nbFailedAssignments=8  nbBacktracks=46  nbVisitedNodes=435  nbRestartNogoods=1
3.60	       =>  wckTime=1.535  cpuTime=1.47  mem=24M459
3.96	   
3.96	   search
3.96	     run=2  nbConstraintChecks=240011  nbValidityChecks=690066  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
3.96	     nbAssignments=677  nbFailedAssignments=12  nbBacktracks=76  nbVisitedNodes=693  nbRestartNogoods=2
3.96	       =>  wckTime=1.894  cpuTime=1.83  mem=24M459
4.29	   
4.29	   search
4.30	     run=3  nbConstraintChecks=308273  nbValidityChecks=917274  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
4.30	     nbAssignments=870  nbFailedAssignments=20  nbBacktracks=110  nbVisitedNodes=899  nbRestartNogoods=3
4.30	       =>  wckTime=2.227  cpuTime=2.16  mem=24M459
4.64	   
4.64	   search
4.64	     run=4  nbConstraintChecks=366857  nbValidityChecks=1125400  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
4.64	     nbAssignments=1046  nbFailedAssignments=31  nbBacktracks=178  nbVisitedNodes=1087  nbRestartNogoods=5
4.64	       =>  wckTime=2.569  cpuTime=2.48  mem=24M459
5.20	   
5.20	   search
5.20	     run=5  nbConstraintChecks=510105  nbValidityChecks=1448883  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
5.20	     nbAssignments=1341  nbFailedAssignments=86  nbBacktracks=253  nbVisitedNodes=1439  nbRestartNogoods=6
5.20	       =>  wckTime=3.134  cpuTime=3.03  mem=24M459
5.69	   
5.69	   search
5.69	     run=6  nbConstraintChecks=599561  nbValidityChecks=1731066  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
5.69	     nbAssignments=1577  nbFailedAssignments=103  nbBacktracks=370  nbVisitedNodes=1696  nbRestartNogoods=7
5.69	       =>  wckTime=3.625  cpuTime=3.51  mem=24M459
6.36	   
6.36	   search
6.36	     run=7  nbConstraintChecks=767181  nbValidityChecks=2169010  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
6.36	     nbAssignments=1884  nbFailedAssignments=156  nbBacktracks=540  nbVisitedNodes=2068  nbRestartNogoods=11
6.36	       =>  wckTime=4.297  cpuTime=4.18  mem=24M459
7.21	   
7.21	   search
7.21	     run=8  nbConstraintChecks=948152  nbValidityChecks=2656794  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
7.21	     nbAssignments=2254  nbFailedAssignments=199  nbBacktracks=813  nbVisitedNodes=2492  nbRestartNogoods=14
7.21	       =>  wckTime=5.141  cpuTime=5.02  mem=24M459
8.42	   
8.42	   search
8.42	     run=9  nbConstraintChecks=1276850  nbValidityChecks=3395938  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
8.42	     nbAssignments=2905  nbFailedAssignments=294  nbBacktracks=1198  nbVisitedNodes=3250  nbRestartNogoods=16
8.42	       =>  wckTime=6.353  cpuTime=6.21  mem=24M459
10.23	   
10.23	   search
10.23	     run=10  nbConstraintChecks=1661108  nbValidityChecks=4539657  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
10.23	     nbAssignments=3664  nbFailedAssignments=408  nbBacktracks=1775  nbVisitedNodes=4163  nbRestartNogoods=22
10.23	       =>  wckTime=8.161  cpuTime=8.0  mem=24M459
12.73	   
12.73	   search
12.73	     run=11  nbConstraintChecks=2233570  nbValidityChecks=6187704  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
12.73	     nbAssignments=4744  nbFailedAssignments=554  nbBacktracks=2639  nbVisitedNodes=5425  nbRestartNogoods=26
12.73	       =>  wckTime=10.659  cpuTime=10.48  mem=24M459
16.80	   
16.80	   search
16.80	     run=12  nbConstraintChecks=3220778  nbValidityChecks=8888009  nbPropagations=0  nbRevisions=0  nbUselessRevisions=0
16.80	     nbAssignments=6431  nbFailedAssignments=852  nbBacktracks=3937  nbVisitedNodes=7454  nbRestartNogoods=31
16.80	       =>  wckTime=14.731  cpuTime=14.52  mem=24M459
22.50	   
22.50	   search
22.50	     run=13  nbConstraintChecks=4376172  nbValidityChecks=12729110  nbPropagations=0  nbRevisions=0
22.50	     nbUselessRevisions=0  nbAssignments=8787  nbFailedAssignments=1190  nbBacktracks=5886  nbVisitedNodes=10220
22.50	     nbRestartNogoods=35
22.50	       =>  wckTime=20.432  cpuTime=20.18  mem=24M459
31.46	   
31.46	   search
31.46	     run=14  nbConstraintChecks=6130992  nbValidityChecks=18600094  nbPropagations=0  nbRevisions=0
31.46	     nbUselessRevisions=0  nbAssignments=12205  nbFailedAssignments=1660  nbBacktracks=8820  nbVisitedNodes=14220
31.46	     nbRestartNogoods=40
31.46	       =>  wckTime=29.394  cpuTime=29.05  mem=24M459
43.12	   
43.12	   search
43.12	     run=15  nbConstraintChecks=8691487  nbValidityChecks=27094823  nbPropagations=0  nbRevisions=0
43.12	     nbUselessRevisions=0  nbAssignments=17113  nbFailedAssignments=2154  nbBacktracks=13199  nbVisitedNodes=19727
43.12	     nbRestartNogoods=46
43.12	       =>  wckTime=41.051  cpuTime=40.61  mem=24M459
62.06	   
62.06	   search
62.06	     run=16  nbConstraintChecks=12364088  nbValidityChecks=40363680  nbPropagations=0  nbRevisions=0
62.06	     nbUselessRevisions=0  nbAssignments=24630  nbFailedAssignments=3077  nbBacktracks=19777  nbVisitedNodes=28388
62.06	     nbRestartNogoods=52
62.06	       =>  wckTime=59.996  cpuTime=59.41  mem=24M459
91.84	   
91.84	   search
91.84	     run=17  nbConstraintChecks=18254722  nbValidityChecks=60403349  nbPropagations=0  nbRevisions=0
91.84	     nbUselessRevisions=0  nbAssignments=35989  nbFailedAssignments=4556  nbBacktracks=29639  nbVisitedNodes=41551
91.84	     nbRestartNogoods=58
91.84	       =>  wckTime=89.775  cpuTime=88.92  mem=24M459
142.30	   
142.30	   search
142.30	     run=18  nbConstraintChecks=29729054  nbValidityChecks=94340042  nbPropagations=0  nbRevisions=0
142.30	     nbUselessRevisions=0  nbAssignments=53614  nbFailedAssignments=7365  nbBacktracks=44423  nbVisitedNodes=62617
142.30	     nbRestartNogoods=63
142.30	       =>  wckTime=140.232  cpuTime=138.96  mem=24M459
151.02	   
151.02	   search
151.02	     run=19  nbConstraintChecks=32103272  nbValidityChecks=99574683  nbPropagations=0  nbRevisions=0
151.02	     nbUselessRevisions=0  nbAssignments=56105  nbFailedAssignments=7867  nbBacktracks=46413  nbVisitedNodes=65710
151.02	     nbRestartNogoods=67
151.02	       =>  wckTime=148.953  cpuTime=147.61  mem=24M459
151.02	   
151.02	   global
151.02	     nbConstraintChecks=32295088  nbValidityChecks=99967489  nbRestartNogoods=67  solvingWckTime=148.954
151.02	     solvingCpuTime=147.62  expiredTime=no  totalExploration=yes  nbFoundSolutions=0  globalCpuTime=149.17
151.02	       =>  wckTime=150.721  cpuTime=149.12  mem=24M459
151.02	
151.02	s OPTIMUM FOUND
151.02	v 0 1 1 0 0 1 0 1 1 1 1 0 0 0 0 1 0 1 0 1 1 1 0 1 1 0 1 1 0 1 1 1 0 1 1 1 0 1 0 1 1 1 0 1 1 0 1 1 1 1 0 1 0 1 1 1 0 0 1 0 1 0 1 1 1 1 1 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 1 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 1 1 1 0 1 0 1 0 1 1 1 1 1 0 1 1 1 1 0 0 0 1 1 0 0 0 0 1 1 0 0 1 1 1 0 1 1 1 1 0 1 1 1 1 1 0 1 0 1 1 1 1 1 0 0 1 1 1 0 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 1 1 1 1 1 1 0 1 0 1 0 1 0 1 1 0 1 1 1 0 0 0 0 0 1 1 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 1 1 1 1 0 0 0 0 0 1 1 0 1 0 1 0 1 1 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 1 0 0 0 0 1 1 1 0 1 1 1 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 1 1 0 1 0 1 1 0 1 1 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 1 1 0 0 0 0 1 1 1 1 1 0 1 0 0 0 0 1 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 1 0 1 1 0 1 1 0 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 0 0 1 1 1 1 1 1 1 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 1 
151.02	   
151.02	   totalWckTime=150.799  totalCpuTime=149.17

Verifier Data (download as text)

1 unsatisfied constraints, 938 satisfied constraints

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node50/watcher-275753-1169226499 -o ROOT/results/node50/solver-275753-1169226499 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275753-1169226499/unknown.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB

/proc/loadavg: 0.85 0.97 0.99 5/69 3149
/proc/meminfo: memFree=1452512/2055920 swapFree=4191892/4192956
[pid=3148] ppid=3141 vsize=72 CPUtime=0
/proc/3148/stat : 3148 (java) R 3141 3148 3016 0 -1 0 18 0 0 0 0 0 0 0 19 0 1 0 271048488 73728 2 18446744073709551615 0 0 4294957037 18446744073709551615 240577473831 0 0 4096 0 0 0 0 17 1 0 0
/proc/3148/statm: 18 2 0 0 0 1 0

[startup+0.107014 s]
/proc/loadavg: 0.85 0.97 0.99 5/69 3149
/proc/meminfo: memFree=1452512/2055920 swapFree=4191892/4192956
[pid=3148] ppid=3141 vsize=914988 CPUtime=0.08
/proc/3148/stat : 3148 (java) R 3141 3148 3016 0 -1 0 3010 0 1 0 7 1 0 0 25 0 8 0 271048488 936947712 2756 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155215161 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3148/statm: 228747 2756 1432 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988

[startup+0.515084 s]
/proc/loadavg: 0.85 0.97 0.99 5/69 3149
/proc/meminfo: memFree=1452512/2055920 swapFree=4191892/4192956
[pid=3148] ppid=3141 vsize=915332 CPUtime=0.49
/proc/3148/stat : 3148 (java) R 3141 3148 3016 0 -1 0 6638 0 1 0 45 4 0 0 25 0 8 0 271048488 937299968 6377 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3148/statm: 228833 6377 2150 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332

[startup+1.33622 s]
/proc/loadavg: 0.85 0.97 0.99 3/87 3169
/proc/meminfo: memFree=1389520/2055920 swapFree=4191892/4192956
[pid=3148] ppid=3141 vsize=915452 CPUtime=1.29
/proc/3148/stat : 3148 (java) R 3141 3148 3016 0 -1 0 11067 0 1 0 119 10 0 0 25 0 8 0 271048488 937422848 10804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073799207 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3148/statm: 228863 10804 2500 14 0 215333 0
[pid=3148/tid=3156] ppid=3141 vsize=915452 CPUtime=0.04
/proc/3148/task/3156/stat : 3156 (java) S 3141 3148 3016 0 -1 64 408 0 0 0 4 0 0 0 16 0 8 0 271048492 937422848 10804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3157] ppid=3141 vsize=915452 CPUtime=0
/proc/3148/task/3157/stat : 3157 (java) S 3141 3148 3016 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271048493 937422848 10804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3158] ppid=3141 vsize=915452 CPUtime=0
/proc/3148/task/3158/stat : 3158 (java) S 3141 3148 3016 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271048493 937422848 10804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3162] ppid=3141 vsize=915452 CPUtime=0
/proc/3148/task/3162/stat : 3162 (java) S 3141 3148 3016 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271048496 937422848 10804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3163] ppid=3141 vsize=915452 CPUtime=0.18
/proc/3148/task/3163/stat : 3163 (java) S 3141 3148 3016 0 -1 64 390 0 0 0 17 1 0 0 15 0 8 0 271048496 937422848 10804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3164] ppid=3141 vsize=915452 CPUtime=0
/proc/3148/task/3164/stat : 3164 (java) S 3141 3148 3016 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 271048496 937422848 10804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3165] ppid=3141 vsize=915452 CPUtime=0
/proc/3148/task/3165/stat : 3165 (java) S 3141 3148 3016 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271048496 937422848 10804 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915452

[startup+2.97749 s]
/proc/loadavg: 0.94 0.98 0.99 4/87 3169
/proc/meminfo: memFree=1384016/2055920 swapFree=4191892/4192956
[pid=3148] ppid=3141 vsize=915588 CPUtime=2.92
/proc/3148/stat : 3148 (java) R 3141 3148 3016 0 -1 0 11232 0 1 0 279 13 0 0 25 0 8 0 271048488 937562112 10968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074033529 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3148/statm: 228897 10968 2549 14 0 215367 0
[pid=3148/tid=3156] ppid=3141 vsize=915588 CPUtime=0.04
/proc/3148/task/3156/stat : 3156 (java) S 3141 3148 3016 0 -1 64 408 0 0 0 4 0 0 0 17 0 8 0 271048492 937562112 10968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3157] ppid=3141 vsize=915588 CPUtime=0
/proc/3148/task/3157/stat : 3157 (java) S 3141 3148 3016 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271048493 937562112 10968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3158] ppid=3141 vsize=915588 CPUtime=0
/proc/3148/task/3158/stat : 3158 (java) S 3141 3148 3016 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271048493 937562112 10968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3162] ppid=3141 vsize=915588 CPUtime=0
/proc/3148/task/3162/stat : 3162 (java) S 3141 3148 3016 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271048496 937562112 10968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3163] ppid=3141 vsize=915588 CPUtime=0.27
/proc/3148/task/3163/stat : 3163 (java) S 3141 3148 3016 0 -1 64 439 0 0 0 25 2 0 0 15 0 8 0 271048496 937562112 10968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3164] ppid=3141 vsize=915588 CPUtime=0
/proc/3148/task/3164/stat : 3164 (java) S 3141 3148 3016 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 271048496 937562112 10968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3165] ppid=3141 vsize=915588 CPUtime=0
/proc/3148/task/3165/stat : 3165 (java) S 3141 3148 3016 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271048496 937562112 10968 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915588

[startup+6.27204 s]
/proc/loadavg: 0.94 0.98 0.99 3/87 3169
/proc/meminfo: memFree=1383632/2055920 swapFree=4191892/4192956
[pid=3148] ppid=3141 vsize=915588 CPUtime=6.18
/proc/3148/stat : 3148 (java) R 3141 3148 3016 0 -1 0 11259 0 1 0 605 13 0 0 25 0 8 0 271048488 937562112 10991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074110668 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3148/statm: 228897 10991 2552 14 0 215367 0
[pid=3148/tid=3156] ppid=3141 vsize=915588 CPUtime=0.04
/proc/3148/task/3156/stat : 3156 (java) S 3141 3148 3016 0 -1 64 409 0 0 0 4 0 0 0 17 0 8 0 271048492 937562112 10991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3157] ppid=3141 vsize=915588 CPUtime=0
/proc/3148/task/3157/stat : 3157 (java) S 3141 3148 3016 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271048493 937562112 10991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3158] ppid=3141 vsize=915588 CPUtime=0
/proc/3148/task/3158/stat : 3158 (java) S 3141 3148 3016 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271048493 937562112 10991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3162] ppid=3141 vsize=915588 CPUtime=0
/proc/3148/task/3162/stat : 3162 (java) S 3141 3148 3016 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271048496 937562112 10991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3163] ppid=3141 vsize=915588 CPUtime=0.3
/proc/3148/task/3163/stat : 3163 (java) S 3141 3148 3016 0 -1 64 459 0 0 0 28 2 0 0 15 0 8 0 271048496 937562112 10991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3164] ppid=3141 vsize=915588 CPUtime=0
/proc/3148/task/3164/stat : 3164 (java) S 3141 3148 3016 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 271048496 937562112 10991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3165] ppid=3141 vsize=915588 CPUtime=0
/proc/3148/task/3165/stat : 3165 (java) S 3141 3148 3016 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271048496 937562112 10991 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915588

[startup+12.7451 s]
/proc/loadavg: 1.10 1.02 1.01 3/87 3169
/proc/meminfo: memFree=1383632/2055920 swapFree=4191892/4192956
[pid=3148] ppid=3141 vsize=915588 CPUtime=12.6
/proc/3148/stat : 3148 (java) R 3141 3148 3016 0 -1 0 11269 0 1 0 1247 13 0 0 25 0 8 0 271048488 937562112 10996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073858193 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3148/statm: 228897 10996 2552 14 0 215367 0
[pid=3148/tid=3156] ppid=3141 vsize=915588 CPUtime=0.04
/proc/3148/task/3156/stat : 3156 (java) S 3141 3148 3016 0 -1 64 409 0 0 0 4 0 0 0 17 0 8 0 271048492 937562112 10996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3157] ppid=3141 vsize=915588 CPUtime=0
/proc/3148/task/3157/stat : 3157 (java) S 3141 3148 3016 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271048493 937562112 10996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3158] ppid=3141 vsize=915588 CPUtime=0
/proc/3148/task/3158/stat : 3158 (java) S 3141 3148 3016 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271048493 937562112 10996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3162] ppid=3141 vsize=915588 CPUtime=0
/proc/3148/task/3162/stat : 3162 (java) S 3141 3148 3016 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271048496 937562112 10996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3163] ppid=3141 vsize=915588 CPUtime=0.32
/proc/3148/task/3163/stat : 3163 (java) S 3141 3148 3016 0 -1 64 467 0 0 0 30 2 0 0 16 0 8 0 271048496 937562112 10996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3164] ppid=3141 vsize=915588 CPUtime=0
/proc/3148/task/3164/stat : 3164 (java) S 3141 3148 3016 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 271048496 937562112 10996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3165] ppid=3141 vsize=915588 CPUtime=0
/proc/3148/task/3165/stat : 3165 (java) S 3141 3148 3016 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271048496 937562112 10996 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915588

[startup+25.6033 s]
/proc/loadavg: 1.24 1.05 1.02 3/87 3169
/proc/meminfo: memFree=1383760/2055920 swapFree=4191892/4192956
[pid=3148] ppid=3141 vsize=915588 CPUtime=25.37
/proc/3148/stat : 3148 (java) R 3141 3148 3016 0 -1 0 11271 0 1 0 2524 13 0 0 25 0 8 0 271048488 937562112 10997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074057742 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3148/statm: 228897 10997 2552 14 0 215367 0
[pid=3148/tid=3156] ppid=3141 vsize=915588 CPUtime=0.04
/proc/3148/task/3156/stat : 3156 (java) S 3141 3148 3016 0 -1 64 409 0 0 0 4 0 0 0 16 0 8 0 271048492 937562112 10997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3157] ppid=3141 vsize=915588 CPUtime=0
/proc/3148/task/3157/stat : 3157 (java) S 3141 3148 3016 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271048493 937562112 10997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3158] ppid=3141 vsize=915588 CPUtime=0
/proc/3148/task/3158/stat : 3158 (java) S 3141 3148 3016 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271048493 937562112 10997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3162] ppid=3141 vsize=915588 CPUtime=0
/proc/3148/task/3162/stat : 3162 (java) S 3141 3148 3016 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271048496 937562112 10997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3163] ppid=3141 vsize=915588 CPUtime=0.32
/proc/3148/task/3163/stat : 3163 (java) S 3141 3148 3016 0 -1 64 468 0 0 0 30 2 0 0 15 0 8 0 271048496 937562112 10997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3164] ppid=3141 vsize=915588 CPUtime=0
/proc/3148/task/3164/stat : 3164 (java) S 3141 3148 3016 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 271048496 937562112 10997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3165] ppid=3141 vsize=915588 CPUtime=0
/proc/3148/task/3165/stat : 3165 (java) S 3141 3148 3016 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271048496 937562112 10997 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915588

[startup+51.2036 s]
/proc/loadavg: 1.50 1.12 1.04 3/87 3169
/proc/meminfo: memFree=1383760/2055920 swapFree=4191892/4192956
[pid=3148] ppid=3141 vsize=915588 CPUtime=50.74
/proc/3148/stat : 3148 (java) R 3141 3148 3016 0 -1 0 11273 0 1 0 5060 14 0 0 25 0 8 0 271048488 937562112 10998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336188 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3148/statm: 228897 10998 2552 14 0 215367 0
[pid=3148/tid=3156] ppid=3141 vsize=915588 CPUtime=0.04
/proc/3148/task/3156/stat : 3156 (java) S 3141 3148 3016 0 -1 64 409 0 0 0 4 0 0 0 16 0 8 0 271048492 937562112 10998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3157] ppid=3141 vsize=915588 CPUtime=0
/proc/3148/task/3157/stat : 3157 (java) S 3141 3148 3016 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271048493 937562112 10998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3158] ppid=3141 vsize=915588 CPUtime=0
/proc/3148/task/3158/stat : 3158 (java) S 3141 3148 3016 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271048493 937562112 10998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3162] ppid=3141 vsize=915588 CPUtime=0
/proc/3148/task/3162/stat : 3162 (java) S 3141 3148 3016 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271048496 937562112 10998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3163] ppid=3141 vsize=915588 CPUtime=0.32
/proc/3148/task/3163/stat : 3163 (java) S 3141 3148 3016 0 -1 64 470 0 0 0 30 2 0 0 16 0 8 0 271048496 937562112 10998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3164] ppid=3141 vsize=915588 CPUtime=0
/proc/3148/task/3164/stat : 3164 (java) S 3141 3148 3016 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 271048496 937562112 10998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3165] ppid=3141 vsize=915588 CPUtime=0
/proc/3148/task/3165/stat : 3165 (java) S 3141 3148 3016 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271048496 937562112 10998 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 915588

[startup+102.504 s]
/proc/loadavg: 1.80 1.27 1.09 3/87 3169
/proc/meminfo: memFree=1383888/2055920 swapFree=4191892/4192956
[pid=3148] ppid=3141 vsize=915588 CPUtime=101.62
/proc/3148/stat : 3148 (java) R 3141 3148 3016 0 -1 0 11274 0 1 0 10148 14 0 0 25 0 8 0 271048488 937562112 10999 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074031279 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3148/statm: 228897 10999 2552 14 0 215367 0
[pid=3148/tid=3156] ppid=3141 vsize=915588 CPUtime=0.04
/proc/3148/task/3156/stat : 3156 (java) S 3141 3148 3016 0 -1 64 409 0 0 0 4 0 0 0 16 0 8 0 271048492 937562112 10999 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3157] ppid=3141 vsize=915588 CPUtime=0
/proc/3148/task/3157/stat : 3157 (java) S 3141 3148 3016 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271048493 937562112 10999 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3158] ppid=3141 vsize=915588 CPUtime=0
/proc/3148/task/3158/stat : 3158 (java) S 3141 3148 3016 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271048493 937562112 10999 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3162] ppid=3141 vsize=915588 CPUtime=0
/proc/3148/task/3162/stat : 3162 (java) S 3141 3148 3016 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271048496 937562112 10999 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3163] ppid=3141 vsize=915588 CPUtime=0.32
/proc/3148/task/3163/stat : 3163 (java) S 3141 3148 3016 0 -1 64 471 0 0 0 30 2 0 0 16 0 8 0 271048496 937562112 10999 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3164] ppid=3141 vsize=915588 CPUtime=0
/proc/3148/task/3164/stat : 3164 (java) S 3141 3148 3016 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 271048496 937562112 10999 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3148/tid=3165] ppid=3141 vsize=915588 CPUtime=0
/proc/3148/task/3165/stat : 3165 (java) S 3141 3148 3016 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271048496 937562112 10999 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.62
Current children cumulated vsize (KiB) 915588

Child status: 0
Real time (s): 151.088
CPU time (s): 149.749
CPU user time (s): 149.596
CPU system time (s): 0.152976
CPU usage (%): 99.1142
Max. virtual memory (cumulated for all children) (KiB): 916104

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 149.596
system time used= 0.152976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11290
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= 4643
involuntary context switches= 8528

runsolver used 0.170974 s user time and 0.38994 s system time

The end

Launcher Data (download as text)

Begin job on node50 on Fri Jan 19 17:08:19 UTC 2007


IDJOB= 275753
IDBENCH= 4665
IDSOLVER= 68
FILE ID= node50/275753-1169226499

PBS_JOBID= 3589250

Free space on /tmp= 66561 MiB

SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/uclid/44s-smv.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275753-1169226499/unknown.xml
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node50/watcher-275753-1169226499 -o ROOT/results/node50/solver-275753-1169226499 -C 2400 -M 900  java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275753-1169226499/unknown.xml

META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH=  c15b80e078b6e0c44dde79342583e0d7

RANDOM SEED= 730675698

TIME LIMIT= 2400 seconds

MEMORY LIMIT= 900 MiB


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.263
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	: 5931.00
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.263
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:       1453000 kB
Buffers:         45564 kB
Cached:         461032 kB
SwapCached:        276 kB
Active:         139028 kB
Inactive:       387092 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1453000 kB
SwapTotal:     4192956 kB
SwapFree:      4191892 kB
Dirty:            3888 kB
Writeback:           0 kB
Mapped:          28404 kB
Slab:            62492 kB
Committed_AS:  5267732 kB
PageTables:       1676 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 node50 on Fri Jan 19 17:10:51 UTC 2007