0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393886-1568447493.xml" -tl '20160s' -p 8
0.12/0.18 c Choco e747e1e
0.12/0.18 c [HOME/instance-4393886-1568447493.xml, -tl, 20160s, -p, 8]
0.33/0.22 c 8 solvers in parallel
0.33/0.28 c parse instance...
1008.84/195.76 Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
1166.81/217.82 at org.chocosolver.solver.constraints.extension.nary.PropCompactTable.computeSupports(PropCompactTable.java:101)
1166.81/217.82 at org.chocosolver.solver.constraints.extension.nary.PropCompactTable.<init>(PropCompactTable.java:61)
1166.81/217.82 at org.chocosolver.solver.constraints.IIntConstraintFactory.table(IIntConstraintFactory.java:2096)
1166.81/217.82 at org.chocosolver.solver.constraints.IIntConstraintFactory.table(IIntConstraintFactory.java:2043)
1166.81/217.82 at org.chocosolver.solver.expression.discrete.relational.ReExpression.extension(ReExpression.java:152)
1166.81/217.82 at org.chocosolver.parser.xcsp.XCSPParser.buildCtrIntension(XCSPParser.java:112)
1166.81/217.82 at org.xcsp.parser.loaders.CtrLoaderInteger.intension(CtrLoaderInteger.java:283)
1166.81/217.82 at org.xcsp.parser.loaders.CtrLoaderInteger.load(CtrLoaderInteger.java:164)
1166.81/217.82 at org.xcsp.parser.XCallbacks.loadCtr(XCallbacks.java:527)
1166.81/217.82 at org.xcsp.parser.XCallbacks.lambda$loadCtrs$3(XCallbacks.java:510)
1166.81/217.82 at org.xcsp.parser.XCallbacks$$Lambda$95/1519280649.accept(Unknown Source)
1166.81/217.82 at java.util.Spliterators$ArraySpliterator.forEachRemaining(Spliterators.java:948)
1166.81/217.82 at java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:580)
1166.81/217.82 at org.xcsp.parser.XCallbacks.loadCtrs(XCallbacks.java:507)
1166.81/217.82 at org.chocosolver.parser.xcsp.XCSPParser.loadGroup(XCSPParser.java:1416)
1166.81/217.82 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:422)
1166.81/217.82 at org.xcsp.parser.XCallbacks.loadConstraints(XCallbacks.java:407)
1166.81/217.82 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:297)
1166.81/217.82 at org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:320)
1166.81/217.82 at org.chocosolver.parser.xcsp.XCSPParser.model(XCSPParser.java:88)
1166.81/217.82 at org.chocosolver.parser.xcsp.XCSP.parse(XCSP.java:111)
1166.81/217.82 at org.chocosolver.parser.xcsp.XCSP.buildModel(XCSP.java:99)
1166.81/217.82 at org.chocosolver.parser.xcsp.ChocoXCSP.main(ChocoXCSP.java:22)
1353.76/243.66 s UNKNOWN
1353.76/243.66 c Unexpected resolution interruption!
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15112 MiB free)
memory of node 1: 16384 MiB (15669 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393886-1568447493/watcher-4393886-1568447493 -o /tmp/evaluation-result-4393886-1568447493/solver-4393886-1568447493 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1568442142-17223 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 531399320 HOME/instance-4393886-1568447493.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=18741, runsolver pid=18738
[startup+0.100111 s]*
/proc/loadavg: 7.64 7.99 7.88 2/212 18762
/proc/meminfo: memFree=31504840/32770624 swapFree=67004236/67108860
[pid=18741] ppid=18738 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18741/stat : 18741 (xcsp3-exec) S 18738 18741 17196 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420910876 115843072 363 33554432000 4194304 5098028 140733172985568 140733172983672 139677093655164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15446016 140733172990838 140733172991081 140733172991081 140733172993994 0
/proc/18741/statm: 28282 363 304 221 0 87 0
[pid=18743] ppid=18741 vsize=28227388 memory=29036 CPUtime=0.12 cores=0-7
/proc/18743/stat : 18743 (java) S 18741 18741 17196 0 -1 1077944320 5685 0 0 0 11 1 0 0 20 0 20 0 420910876 28904845312 7259 33554432000 4194304 4196468 140726148394320 140726148376864 140094004272887 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
/proc/18743/statm: 7056847 7259 3143 1 0 7019032 0
[pid=18743/tid=18744] ppid=18741 vsize=28227388 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/18743/task/18744/stat : 18744 (java) R 18741 18741 17196 0 -1 4202560 3601 0 0 0 8 1 0 0 20 0 20 0 420910876 28904845312 7259 33554432000 4194304 4196468 140726148394320 140094008499232 140093988353374 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18745] ppid=18741 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18743/task/18745/stat : 18745 (java) S 18741 18741 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420910877 28904845312 7259 33554432000 4194304 4196468 140726148394320 140093924124944 140094004283093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18746] ppid=18741 vsize=28227388 memory=288370408331392640 CPUtime=0 cores=0-7
/proc/18743/task/18746/stat : 18746 (java) S 18741 18741 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420910877 28904845312 7259 33554432000 4194304 4196468 140726148394320 140093923072400 140094004283093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18747] ppid=18741 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18743/task/18747/stat : 18747 (java) S 18741 18741 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420910877 28904845312 7259 33554432000 4194304 4196468 140726148394320 140093922019856 140094004283093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18748] ppid=18741 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18743/task/18748/stat : 18748 (java) S 18741 18741 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420910877 28904845312 7259 33554432000 4194304 4196468 140726148394320 140093920967312 140094004283093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18749] ppid=18741 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18743/task/18749/stat : 18749 (java) S 18741 18741 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420910877 28904845312 7259 33554432000 4194304 4196468 140726148394320 140093919914768 140094004283093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18750] ppid=18741 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/18743/task/18750/stat : 18750 (java) S 18741 18741 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420910877 28904845312 7259 33554432000 4194304 4196468 140726148394320 140093918862224 140094004283093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18751] ppid=18741 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18743/task/18751/stat : 18751 (java) S 18741 18741 17196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420910877 28904845312 7259 33554432000 4194304 4196468 140726148394320 140093917809680 140094004283093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18752] ppid=18741 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18743/task/18752/stat : 18752 (java) S 18741 18741 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420910877 28904845312 7259 33554432000 4194304 4196468 140726148394320 140093916757136 140094004283093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18753] ppid=18741 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18743/task/18753/stat : 18753 (java) S 18741 18741 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420910878 28904845312 7259 33554432000 4194304 4196468 140726148394320 140093119625200 140094004284034 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18754] ppid=18741 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18743/task/18754/stat : 18754 (java) S 18741 18741 17196 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420910879 28904845312 7259 33554432000 4194304 4196468 140726148394320 140093118571424 140094004283093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18755] ppid=18741 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18743/task/18755/stat : 18755 (java) S 18741 18741 17196 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420910879 28904845312 7259 33554432000 4194304 4196468 140726148394320 140093117518832 140094004283093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18756] ppid=18741 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18743/task/18756/stat : 18756 (java) S 18741 18741 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420910882 28904845312 7259 33554432000 4194304 4196468 140726148394320 140093116467408 140094004291483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18757] ppid=18741 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18743/task/18757/stat : 18757 (java) S 18741 18741 17196 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 20 0 420910882 28904845312 7259 33554432000 4194304 4196468 140726148394320 140093115415024 140094004284034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18758] ppid=18741 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18743/task/18758/stat : 18758 (java) S 18741 18741 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420910882 28904845312 7259 33554432000 4194304 4196468 140726148394320 140093114362480 140094004284034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18759] ppid=18741 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18743/task/18759/stat : 18759 (java) S 18741 18741 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420910882 28904845312 7259 33554432000 4194304 4196468 140726148394320 140093113309936 140094004284034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18760] ppid=18741 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/18743/task/18760/stat : 18760 (java) S 18741 18741 17196 0 -1 1077944384 346 0 0 0 1 0 0 0 20 0 20 0 420910882 28904845312 7259 33554432000 4194304 4196468 140726148394320 140093112257392 140094004284034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18761] ppid=18741 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18743/task/18761/stat : 18761 (java) S 18741 18741 17196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420910882 28904845312 7259 33554432000 4194304 4196468 140726148394320 140093111204064 140094004283093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18762] ppid=18741 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/18743/task/18762/stat : 18762 (java) S 18741 18741 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420910882 28904845312 7259 33554432000 4194304 4196468 140726148394320 140093110151600 140094004284034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 30488 KiB
[startup+0.210473 s]*
/proc/loadavg: 7.64 7.99 7.88 2/212 18762
/proc/meminfo: memFree=31491096/32770624 swapFree=67004236/67108860
[pid=18741] ppid=18738 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18741/stat : 18741 (xcsp3-exec) S 18738 18741 17196 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420910876 115843072 363 33554432000 4194304 5098028 140733172985568 140733172983672 139677093655164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15446016 140733172990838 140733172991081 140733172991081 140733172993994 0
/proc/18741/statm: 28282 363 304 221 0 87 0
[pid=18743] ppid=18741 vsize=28227388 memory=40620 CPUtime=0.33 cores=0-7
/proc/18743/stat : 18743 (java) S 18741 18741 17196 0 -1 1077944320 9400 0 0 0 30 3 0 0 20 0 20 0 420910876 28904845312 10155 33554432000 4194304 4196468 140726148394320 140726148376864 140094004272887 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
/proc/18743/statm: 7056847 10155 3294 1 0 7019032 0
[pid=18743/tid=18744] ppid=18741 vsize=28227388 memory=8316850467074736180 CPUtime=0.19 cores=0-7
/proc/18743/task/18744/stat : 18744 (java) R 18741 18741 17196 0 -1 4202560 6619 0 0 0 17 2 0 0 20 0 20 0 420910876 28904845312 10155 33554432000 4194304 4196468 140726148394320 140094008503536 140094004284822 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18745] ppid=18741 vsize=28227388 memory=14965 CPUtime=0 cores=0-7
/proc/18743/task/18745/stat : 18745 (java) S 18741 18741 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420910877 28904845312 10155 33554432000 4194304 4196468 140726148394320 140093924124944 140094004283093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18746] ppid=18741 vsize=28227388 memory=140032179698260 CPUtime=0 cores=0-7
/proc/18743/task/18746/stat : 18746 (java) S 18741 18741 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420910877 28904845312 10155 33554432000 4194304 4196468 140726148394320 140093923072400 140094004283093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18747] ppid=18741 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/18743/task/18747/stat : 18747 (java) S 18741 18741 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420910877 28904845312 10155 33554432000 4194304 4196468 140726148394320 140093922019856 140094004283093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18748] ppid=18741 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18743/task/18748/stat : 18748 (java) S 18741 18741 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420910877 28904845312 10155 33554432000 4194304 4196468 140726148394320 140093920967312 140094004283093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18749] ppid=18741 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18743/task/18749/stat : 18749 (java) S 18741 18741 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420910877 28904845312 10155 33554432000 4194304 4196468 140726148394320 140093919914768 140094004283093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18750] ppid=18741 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/18743/task/18750/stat : 18750 (java) S 18741 18741 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420910877 28904845312 10155 33554432000 4194304 4196468 140726148394320 140093918862224 140094004283093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18751] ppid=18741 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18743/task/18751/stat : 18751 (java) S 18741 18741 17196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420910877 28904845312 10155 33554432000 4194304 4196468 140726148394320 140093917809680 140094004283093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18752] ppid=18741 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18743/task/18752/stat : 18752 (java) S 18741 18741 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420910877 28904845312 10155 33554432000 4194304 4196468 140726148394320 140093916757136 140094004283093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18753] ppid=18741 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18743/task/18753/stat : 18753 (java) S 18741 18741 17196 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 420910878 28904845312 10155 33554432000 4194304 4196468 140726148394320 140093119625200 140094004284034 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18754] ppid=18741 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18743/task/18754/stat : 18754 (java) S 18741 18741 17196 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420910879 28904845312 10155 33554432000 4194304 4196468 140726148394320 140093118571424 140094004283093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18755] ppid=18741 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18743/task/18755/stat : 18755 (java) S 18741 18741 17196 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420910879 28904845312 10155 33554432000 4194304 4196468 140726148394320 140093117518832 140094004283093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18756] ppid=18741 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18743/task/18756/stat : 18756 (java) S 18741 18741 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420910882 28904845312 10155 33554432000 4194304 4196468 140726148394320 140093116467408 140094004291483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18757] ppid=18741 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/18743/task/18757/stat : 18757 (java) S 18741 18741 17196 0 -1 1077944384 511 0 0 0 1 0 0 0 20 0 20 0 420910882 28904845312 10155 33554432000 4194304 4196468 140726148394320 140093115415024 140094004284034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18758] ppid=18741 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/18743/task/18758/stat : 18758 (java) R 18741 18741 17196 0 -1 4202560 57 0 0 0 1 0 0 0 20 0 20 0 420910882 28904845312 10155 33554432000 4194304 4196468 140726148394320 140093114362480 140094004294234 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18759] ppid=18741 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7
/proc/18743/task/18759/stat : 18759 (java) S 18741 18741 17196 0 -1 1077944384 93 0 0 0 1 0 0 0 20 0 20 0 420910882 28904845312 10155 33554432000 4194304 4196468 140726148394320 140093113309936 140094004284034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18760] ppid=18741 vsize=28227388 memory=-1 CPUtime=0.07 cores=0-7
/proc/18743/task/18760/stat : 18760 (java) R 18741 18741 17196 0 -1 4202560 804 0 0 0 7 0 0 0 20 0 20 0 420910882 28904845312 10155 33554432000 4194304 4196468 140726148394320 140093112257392 140093983118816 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18761] ppid=18741 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/18743/task/18761/stat : 18761 (java) S 18741 18741 17196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420910882 28904845312 10155 33554432000 4194304 4196468 140726148394320 140093111204064 140094004283093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18762] ppid=18741 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/18743/task/18762/stat : 18762 (java) S 18741 18741 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420910882 28904845312 10155 33554432000 4194304 4196468 140726148394320 140093110151600 140094004284034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42072 KiB
[startup+0.309832 s]*
/proc/loadavg: 7.64 7.99 7.88 5/212 18762
/proc/meminfo: memFree=31484100/32770624 swapFree=67004236/67108860
[pid=18741] ppid=18738 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18741/stat : 18741 (xcsp3-exec) S 18738 18741 17196 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420910876 115843072 363 33554432000 4194304 5098028 140733172985568 140733172983672 139677093655164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15446016 140733172990838 140733172991081 140733172991081 140733172993994 0
/proc/18741/statm: 28282 363 304 221 0 87 0
[pid=18743] ppid=18741 vsize=28231644 memory=50012 CPUtime=0.51 cores=0-7
/proc/18743/stat : 18743 (java) S 18741 18741 17196 0 -1 1077944320 10886 0 0 0 47 4 0 0 20 0 20 0 420910876 28909203456 12503 33554432000 4194304 4196468 140726148394320 140726148376864 140094004272887 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
/proc/18743/statm: 7057911 12503 3347 1 0 7019032 0
[pid=18743/tid=18744] ppid=18741 vsize=28231644 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/18743/task/18744/stat : 18744 (java) R 18741 18741 17196 0 -1 4202560 7740 0 0 0 27 3 0 0 20 0 20 0 420910876 28909203456 12503 33554432000 4194304 4196468 140726148394320 140094008506752 140093988353374 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18745] ppid=18741 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/18743/task/18745/stat : 18745 (java) S 18741 18741 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420910877 28909203456 12503 33554432000 4194304 4196468 140726148394320 140093924124944 140094004283093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18746] ppid=18741 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/18743/task/18746/stat : 18746 (java) S 18741 18741 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420910877 28909203456 12503 33554432000 4194304 4196468 140726148394320 140093923072400 140094004283093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18747] ppid=18741 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/18743/task/18747/stat : 18747 (java) S 18741 18741 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420910877 28909203456 12503 33554432000 4194304 4196468 140726148394320 140093922019856 140094004283093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18748] ppid=18741 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/18743/task/18748/stat : 18748 (java) S 18741 18741 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420910877 28909203456 12503 33554432000 4194304 4196468 140726148394320 140093920967312 140094004283093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18749] ppid=18741 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/18743/task/18749/stat : 18749 (java) S 18741 18741 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420910877 28909203456 12503 33554432000 4194304 4196468 140726148394320 140093919914768 140094004283093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18750] ppid=18741 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/18743/task/18750/stat : 18750 (java) S 18741 18741 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420910877 28909203456 12503 33554432000 4194304 4196468 140726148394320 140093918862224 140094004283093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18751] ppid=18741 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/18743/task/18751/stat : 18751 (java) S 18741 18741 17196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420910877 28909203456 12503 33554432000 4194304 4196468 140726148394320 140093917809680 140094004283093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18752] ppid=18741 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/18743/task/18752/stat : 18752 (java) S 18741 18741 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420910877 28909203456 12503 33554432000 4194304 4196468 140726148394320 140093916757136 140094004283093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18753] ppid=18741 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/18743/task/18753/stat : 18753 (java) S 18741 18741 17196 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 420910878 28909203456 12503 33554432000 4194304 4196468 140726148394320 140093119625200 140094004284034 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18754] ppid=18741 vsize=28231644 memory=280064080158080 CPUtime=0 cores=0-7
/proc/18743/task/18754/stat : 18754 (java) S 18741 18741 17196 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420910879 28909203456 12503 33554432000 4194304 4196468 140726148394320 140093118571424 140094004283093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18755] ppid=18741 vsize=28231644 memory=280064080162688 CPUtime=0 cores=0-7
/proc/18743/task/18755/stat : 18755 (java) S 18741 18741 17196 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420910879 28909203456 12503 33554432000 4194304 4196468 140726148394320 140093117518832 140094004283093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18756] ppid=18741 vsize=28231644 memory=280064080167296 CPUtime=0 cores=0-7
/proc/18743/task/18756/stat : 18756 (java) S 18741 18741 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420910882 28909203456 12503 33554432000 4194304 4196468 140726148394320 140093116467408 140094004291483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18757] ppid=18741 vsize=28231644 memory=280064080171904 CPUtime=0.02 cores=0-7
/proc/18743/task/18757/stat : 18757 (java) S 18741 18741 17196 0 -1 1077944384 530 0 0 0 2 0 0 0 20 0 20 0 420910882 28909203456 12532 33554432000 4194304 4196468 140726148394320 140093115415024 140094004284034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18758] ppid=18741 vsize=28231644 memory=280064080176512 CPUtime=0.02 cores=0-7
/proc/18743/task/18758/stat : 18758 (java) S 18741 18741 17196 0 -1 1077944384 66 0 0 0 2 0 0 0 20 0 20 0 420910882 28909203456 12532 33554432000 4194304 4196468 140726148394320 140093114362480 140094004284034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18759] ppid=18741 vsize=28231644 memory=280064080181120 CPUtime=0.03 cores=0-7
/proc/18743/task/18759/stat : 18759 (java) R 18741 18741 17196 0 -1 4202560 246 0 0 0 3 0 0 0 20 0 20 0 420910882 28909203456 12532 33554432000 4194304 4196468 140726148394320 140093113309936 140093982126160 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18760] ppid=18741 vsize=28231644 memory=280064080185728 CPUtime=0.12 cores=0-7
/proc/18743/task/18760/stat : 18760 (java) S 18741 18741 17196 0 -1 1077944384 993 0 0 0 12 0 0 0 20 0 20 0 420910882 28909203456 12532 33554432000 4194304 4196468 140726148394320 140093112257392 140094004284034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18761] ppid=18741 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/18743/task/18761/stat : 18761 (java) S 18741 18741 17196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420910882 28909203456 12532 33554432000 4194304 4196468 140726148394320 140093111204064 140094004283093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18762] ppid=18741 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/18743/task/18762/stat : 18762 (java) S 18741 18741 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420910882 28909203456 12532 33554432000 4194304 4196468 140726148394320 140093110151600 140094004284034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51464 KiB
[startup+0.700985 s]
/proc/loadavg: 7.64 7.99 7.88 5/212 18762
/proc/meminfo: memFree=31473728/32770624 swapFree=67004236/67108860
[pid=18741] ppid=18738 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18741/stat : 18741 (xcsp3-exec) S 18738 18741 17196 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420910876 115843072 363 33554432000 4194304 5098028 140733172985568 140733172983672 139677093655164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15446016 140733172990838 140733172991081 140733172991081 140733172993994 0
/proc/18741/statm: 28282 363 304 221 0 87 0
[pid=18743] ppid=18741 vsize=28233768 memory=131044 CPUtime=1.35 cores=0-7
/proc/18743/stat : 18743 (java) S 18741 18741 17196 0 -1 1077944320 13168 0 0 0 129 6 0 0 20 0 20 0 420910876 28911378432 32761 33554432000 4194304 4196468 140726148394320 140726148376864 140094004272887 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
/proc/18743/statm: 7058442 32761 3438 1 0 7019544 0
[pid=18743/tid=18744] ppid=18741 vsize=28233768 memory=0 CPUtime=0.67 cores=0-7
/proc/18743/task/18744/stat : 18744 (java) R 18741 18741 17196 0 -1 4202560 9027 0 0 0 63 4 0 0 20 0 20 0 420910876 28911378432 32761 33554432000 4194304 4196468 140726148394320 140094008509568 140093598987771 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18745] ppid=18741 vsize=28233768 memory=140032040280960 CPUtime=0 cores=0-7
/proc/18743/task/18745/stat : 18745 (java) S 18741 18741 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420910877 28911378432 32761 33554432000 4194304 4196468 140726148394320 140093924124944 140094004283093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18746] ppid=18741 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/18743/task/18746/stat : 18746 (java) S 18741 18741 17196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420910877 28911378432 32761 33554432000 4194304 4196468 140726148394320 140093923072400 140094004283093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18747] ppid=18741 vsize=28233768 memory=1052 CPUtime=0 cores=0-7
/proc/18743/task/18747/stat : 18747 (java) S 18741 18741 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420910877 28911378432 32761 33554432000 4194304 4196468 140726148394320 140093922019856 140094004283093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
################
# More data... #
################
[pid=18743/tid=18744] ppid=18741 vsize=28300332 memory=9047017150487036571 CPUtime=39.22 cores=0-7
/proc/18743/task/18744/stat : 18744 (java) S 18741 18741 17196 0 -1 1077944384 19364 0 0 0 3906 16 0 0 20 0 21 0 420910876 28979539968 4661677 33554432000 4194304 4196468 140726148394320 140094008513568 140094004283093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18745] ppid=18741 vsize=28300332 memory=-8961168018402230209 CPUtime=157.73 cores=0-7
/proc/18743/task/18745/stat : 18745 (java) R 18741 18741 17196 0 -1 4202560 89148 0 0 0 15186 587 0 0 20 0 21 0 420910877 28979539968 4661677 33554432000 4194304 4196468 140726148394320 140093924124944 140093984299409 0 4 0 16800975 0 0 0 -1 4 0 0 32 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18746] ppid=18741 vsize=28300332 memory=1452 CPUtime=158.12 cores=0-7
/proc/18743/task/18746/stat : 18746 (java) R 18741 18741 17196 0 -1 4202560 109295 0 0 0 15232 580 0 0 20 0 21 0 420910877 28979539968 4661677 33554432000 4194304 4196468 140726148394320 140093923072288 140093989223523 0 4 0 16800975 0 0 0 -1 3 0 0 36 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18747] ppid=18741 vsize=28300332 memory=6791534058613427641 CPUtime=157.16 cores=0-7
/proc/18743/task/18747/stat : 18747 (java) R 18741 18741 17196 0 -1 4202560 54952 0 0 0 15160 556 0 0 20 0 21 0 420910877 28979539968 4661677 33554432000 4194304 4196468 140726148394320 140093922020056 140093988970526 0 4 0 16800975 0 0 0 -1 5 0 0 36 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18748] ppid=18741 vsize=28300332 memory=18646708 CPUtime=157.9 cores=0-7
/proc/18743/task/18748/stat : 18748 (java) R 18741 18741 17196 0 -1 4202560 93259 0 0 0 15205 585 0 0 20 0 21 0 420910877 28979539968 4661677 33554432000 4194304 4196468 140726148394320 140093920967576 140093988970662 0 4 0 16800975 0 0 0 -1 1 0 0 34 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18749] ppid=18741 vsize=28300332 memory=740 CPUtime=158.71 cores=0-7
/proc/18743/task/18749/stat : 18749 (java) R 18741 18741 17196 0 -1 4202560 62124 0 0 0 15290 581 0 0 20 0 21 0 420910877 28979539968 4661677 33554432000 4194304 4196468 140726148394320 140093919914968 140093984299104 0 4 0 16800975 0 0 0 -1 2 0 0 29 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18750] ppid=18741 vsize=28300332 memory=1052 CPUtime=157.84 cores=0-7
/proc/18743/task/18750/stat : 18750 (java) R 18741 18741 17196 0 -1 4202560 45678 0 0 0 15191 593 0 0 20 0 21 0 420910877 28979539968 4661677 33554432000 4194304 4196468 140726148394320 140093918862424 140093984299409 0 4 0 16800975 0 0 0 -1 0 0 0 29 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18751] ppid=18741 vsize=28300332 memory=792 CPUtime=157.13 cores=0-7
/proc/18743/task/18751/stat : 18751 (java) R 18741 18741 17196 0 -1 4202560 67116 0 0 0 15132 581 0 0 20 0 21 0 420910877 28979539968 4661677 33554432000 4194304 4196468 140726148394320 140093917809880 140093988970526 0 4 0 16800975 0 0 0 -1 7 0 0 31 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18752] ppid=18741 vsize=28300332 memory=1448 CPUtime=157.75 cores=0-7
/proc/18743/task/18752/stat : 18752 (java) R 18741 18741 17196 0 -1 4202560 96694 0 0 0 15126 649 0 0 20 0 21 0 420910877 28979539968 4661677 33554432000 4194304 4196468 140726148394320 140093916757032 140093996901095 0 4 0 16800975 0 0 0 -1 6 0 0 31 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18753] ppid=18741 vsize=28300332 memory=1964 CPUtime=41.59 cores=0-7
/proc/18743/task/18753/stat : 18753 (java) S 18741 18741 17196 0 -1 1077944384 117285 0 0 0 4124 35 0 0 20 0 21 0 420910878 28979539968 4661677 33554432000 4194304 4196468 140726148394320 140093119623520 140094004283093 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18754] ppid=18741 vsize=28300332 memory=2456 CPUtime=0 cores=0-7
/proc/18743/task/18754/stat : 18754 (java) S 18741 18741 17196 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 21 0 420910879 28979539968 4661677 33554432000 4194304 4196468 140726148394320 140093118571488 140094004283093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18755] ppid=18741 vsize=28300332 memory=1760 CPUtime=0 cores=0-7
/proc/18743/task/18755/stat : 18755 (java) S 18741 18741 17196 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 21 0 420910879 28979539968 4661677 33554432000 4194304 4196468 140726148394320 140093117518848 140094004283093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18756] ppid=18741 vsize=28300332 memory=111632 CPUtime=0 cores=0-7
/proc/18743/task/18756/stat : 18756 (java) S 18741 18741 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 420910882 28979539968 4661677 33554432000 4194304 4196468 140726148394320 140093116467408 140094004291483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18757] ppid=18741 vsize=28300332 memory=804 CPUtime=0.24 cores=0-7
/proc/18743/task/18757/stat : 18757 (java) S 18741 18741 17196 0 -1 1077944384 3027 0 0 0 23 1 0 0 20 0 21 0 420910882 28979539968 4661677 33554432000 4194304 4196468 140726148394320 140093115415024 140094004284034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18758] ppid=18741 vsize=28300332 memory=4104 CPUtime=0.23 cores=0-7
/proc/18743/task/18758/stat : 18758 (java) S 18741 18741 17196 0 -1 1077944384 1978 0 0 0 22 1 0 0 20 0 21 0 420910882 28979539968 4661677 33554432000 4194304 4196468 140726148394320 140093114362480 140094004284034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18759] ppid=18741 vsize=28300332 memory=1808 CPUtime=0.38 cores=0-7
/proc/18743/task/18759/stat : 18759 (java) S 18741 18741 17196 0 -1 1077944384 4000 0 0 0 37 1 0 0 20 0 21 0 420910882 28979539968 4661677 33554432000 4194304 4196468 140726148394320 140093113309936 140094004284034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18760] ppid=18741 vsize=28300332 memory=1452 CPUtime=0.52 cores=0-7
/proc/18743/task/18760/stat : 18760 (java) S 18741 18741 17196 0 -1 1077944384 8075 0 0 0 51 1 0 0 20 0 21 0 420910882 28979539968 4661677 33554432000 4194304 4196468 140726148394320 140093112257392 140094004284034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18761] ppid=18741 vsize=28300332 memory=18646708 CPUtime=0 cores=0-7
/proc/18743/task/18761/stat : 18761 (java) S 18741 18741 17196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 420910882 28979539968 4661677 33554432000 4194304 4196468 140726148394320 140093111204064 140094004283093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18762] ppid=18741 vsize=28300332 memory=4104 CPUtime=0.08 cores=0-7
/proc/18743/task/18762/stat : 18762 (java) S 18741 18741 17196 0 -1 1077944384 553 0 0 0 5 3 0 0 20 0 21 0 420910882 28979539968 4661677 33554432000 4194304 4196468 140726148394320 140093110151600 140094004284034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18777] ppid=18741 vsize=28300332 memory=1808 CPUtime=0 cores=0-7
/proc/18743/task/18777/stat : 18777 (java) S 18741 18741 17196 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 21 0 420934821 28979539968 4661677 33554432000 4194304 4196468 140726148394320 140093034011968 140094004283093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
Current children cumulated CPU time: 1344.72 s
Current children cumulated vsize: 28413460 KiB
Current children cumulated memory: 18648160 KiB
[startup+243.202 s]
/proc/loadavg: 5.85 6.39 7.20 9/213 18777
/proc/meminfo: memFree=12854324/32770624 swapFree=67004236/67108860
[pid=18741] ppid=18738 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18741/stat : 18741 (xcsp3-exec) S 18738 18741 17196 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420910876 115843072 363 33554432000 4194304 5098028 140733172985568 140733172983672 139677093655164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15446016 140733172990838 140733172991081 140733172991081 140733172993994 0
/proc/18741/statm: 28282 363 304 221 0 87 0
[pid=18743] ppid=18741 vsize=28300332 memory=18646736 CPUtime=1350.98 cores=0-7
/proc/18743/stat : 18743 (java) S 18741 18741 17196 0 -1 1077944320 786324 0 0 0 130324 4774 0 0 20 0 21 0 420910876 28979539968 4661684 33554432000 4194304 4196468 140726148394320 140726148376864 140094004272887 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
/proc/18743/statm: 7075083 4661684 3507 1 0 7036185 0
[pid=18743/tid=18744] ppid=18741 vsize=28300332 memory=1452 CPUtime=39.22 cores=0-7
/proc/18743/task/18744/stat : 18744 (java) S 18741 18741 17196 0 -1 1077944384 19364 0 0 0 3906 16 0 0 20 0 21 0 420910876 28979539968 4661684 33554432000 4194304 4196468 140726148394320 140094008513568 140094004283093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18745] ppid=18741 vsize=28300332 memory=18646600 CPUtime=158.51 cores=0-7
/proc/18743/task/18745/stat : 18745 (java) R 18741 18741 17196 0 -1 4202560 92317 0 0 0 15264 587 0 0 20 0 21 0 420910877 28979539968 4661684 33554432000 4194304 4196468 140726148394320 140093924124944 140093989269523 0 4 0 16800975 0 0 0 -1 4 0 0 32 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18746] ppid=18741 vsize=28300332 memory=4449 CPUtime=158.9 cores=0-7
/proc/18743/task/18746/stat : 18746 (java) R 18741 18741 17196 0 -1 4202560 109333 0 0 0 15310 580 0 0 20 0 21 0 420910877 28979539968 4661684 33554432000 4194304 4196468 140726148394320 140093923072400 140093989269549 0 4 0 16800975 0 0 0 -1 3 0 0 36 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18747] ppid=18741 vsize=28300332 memory=6791534058613427641 CPUtime=157.94 cores=0-7
/proc/18743/task/18747/stat : 18747 (java) R 18741 18741 17196 0 -1 4202560 60743 0 0 0 15238 556 0 0 20 0 21 0 420910877 28979539968 4661684 33554432000 4194304 4196468 140726148394320 140093922020056 140093989269539 0 4 0 16800975 0 0 0 -1 5 0 0 36 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18748] ppid=18741 vsize=28300332 memory=1052 CPUtime=158.69 cores=0-7
/proc/18743/task/18748/stat : 18748 (java) R 18741 18741 17196 0 -1 4202560 93259 0 0 0 15284 585 0 0 20 0 21 0 420910877 28979539968 4661684 33554432000 4194304 4196468 140726148394320 140093920967512 140093989269498 0 4 0 16800975 0 0 0 -1 1 0 0 34 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18749] ppid=18741 vsize=28300332 memory=7548 CPUtime=159.49 cores=0-7
/proc/18743/task/18749/stat : 18749 (java) R 18741 18741 17196 0 -1 4202560 62124 0 0 0 15368 581 0 0 20 0 21 0 420910877 28979539968 4661684 33554432000 4194304 4196468 140726148394320 140093919914968 140093989269536 0 4 0 16800975 0 0 0 -1 2 0 0 29 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18750] ppid=18741 vsize=28300332 memory=4004 CPUtime=158.63 cores=0-7
/proc/18743/task/18750/stat : 18750 (java) R 18741 18741 17196 0 -1 4202560 45678 0 0 0 15270 593 0 0 20 0 21 0 420910877 28979539968 4661684 33554432000 4194304 4196468 140726148394320 140093918862224 140093989269232 0 4 0 16800975 0 0 0 -1 0 0 0 29 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18751] ppid=18741 vsize=28300332 memory=18646600 CPUtime=157.9 cores=0-7
/proc/18743/task/18751/stat : 18751 (java) R 18741 18741 17196 0 -1 4202560 67116 0 0 0 15209 581 0 0 20 0 21 0 420910877 28979539968 4661684 33554432000 4194304 4196468 140726148394320 140093917809880 140093989269268 0 4 0 16800975 0 0 0 -1 7 0 0 31 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18752] ppid=18741 vsize=28300332 memory=3588 CPUtime=158.52 cores=0-7
/proc/18743/task/18752/stat : 18752 (java) R 18741 18741 17196 0 -1 4202560 96694 0 0 0 15203 649 0 0 20 0 21 0 420910877 28979539968 4661684 33554432000 4194304 4196468 140726148394320 140093916757024 140093988971617 0 4 0 16800975 0 0 0 -1 6 0 0 31 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18753] ppid=18741 vsize=28300332 memory=41076 CPUtime=41.6 cores=0-7
/proc/18743/task/18753/stat : 18753 (java) S 18741 18741 17196 0 -1 1077944384 120664 0 0 0 4125 35 0 0 20 0 21 0 420910878 28979539968 4661684 33554432000 4194304 4196468 140726148394320 140093119623744 140094004283093 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18754] ppid=18741 vsize=28300332 memory=984 CPUtime=0 cores=0-7
/proc/18743/task/18754/stat : 18754 (java) S 18741 18741 17196 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 21 0 420910879 28979539968 4661684 33554432000 4194304 4196468 140726148394320 140093118571488 140094004283093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18755] ppid=18741 vsize=28300332 memory=14068 CPUtime=0 cores=0-7
/proc/18743/task/18755/stat : 18755 (java) S 18741 18741 17196 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 21 0 420910879 28979539968 4661684 33554432000 4194304 4196468 140726148394320 140093117518848 140094004283093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18756] ppid=18741 vsize=28300332 memory=2120 CPUtime=0 cores=0-7
/proc/18743/task/18756/stat : 18756 (java) S 18741 18741 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 420910882 28979539968 4661684 33554432000 4194304 4196468 140726148394320 140093116467408 140094004291483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18757] ppid=18741 vsize=28300332 memory=504 CPUtime=0.24 cores=0-7
/proc/18743/task/18757/stat : 18757 (java) S 18741 18741 17196 0 -1 1077944384 3027 0 0 0 23 1 0 0 20 0 21 0 420910882 28979539968 4661684 33554432000 4194304 4196468 140726148394320 140093115415024 140094004284034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18758] ppid=18741 vsize=28300332 memory=1560 CPUtime=0.23 cores=0-7
/proc/18743/task/18758/stat : 18758 (java) S 18741 18741 17196 0 -1 1077944384 1978 0 0 0 22 1 0 0 20 0 21 0 420910882 28979539968 4661684 33554432000 4194304 4196468 140726148394320 140093114362480 140094004284034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18759] ppid=18741 vsize=28300332 memory=924 CPUtime=0.38 cores=0-7
/proc/18743/task/18759/stat : 18759 (java) S 18741 18741 17196 0 -1 1077944384 4000 0 0 0 37 1 0 0 20 0 21 0 420910882 28979539968 4661684 33554432000 4194304 4196468 140726148394320 140093113309936 140094004284034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18760] ppid=18741 vsize=28300332 memory=1692 CPUtime=0.52 cores=0-7
/proc/18743/task/18760/stat : 18760 (java) S 18741 18741 17196 0 -1 1077944384 8075 0 0 0 51 1 0 0 20 0 21 0 420910882 28979539968 4661684 33554432000 4194304 4196468 140726148394320 140093112257392 140094004284034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18761] ppid=18741 vsize=28300332 memory=792 CPUtime=0 cores=0-7
/proc/18743/task/18761/stat : 18761 (java) S 18741 18741 17196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 420910882 28979539968 4661684 33554432000 4194304 4196468 140726148394320 140093111204064 140094004283093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18762] ppid=18741 vsize=28300332 memory=1448 CPUtime=0.08 cores=0-7
/proc/18743/task/18762/stat : 18762 (java) S 18741 18741 17196 0 -1 1077944384 553 0 0 0 5 3 0 0 20 0 21 0 420910882 28979539968 4661684 33554432000 4194304 4196468 140726148394320 140093110151600 140094004284034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18777] ppid=18741 vsize=28300332 memory=1964 CPUtime=0 cores=0-7
/proc/18743/task/18777/stat : 18777 (java) S 18741 18741 17196 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 21 0 420934821 28979539968 4661684 33554432000 4194304 4196468 140726148394320 140093034011968 140094004283093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
Current children cumulated CPU time: 1350.98 s
Current children cumulated vsize: 28413460 KiB
Current children cumulated memory: 18648188 KiB
[startup+243.602 s]
/proc/loadavg: 5.85 6.39 7.20 9/213 18777
/proc/meminfo: memFree=12854324/32770624 swapFree=67004236/67108860
[pid=18741] ppid=18738 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18741/stat : 18741 (xcsp3-exec) S 18738 18741 17196 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420910876 115843072 363 33554432000 4194304 5098028 140733172985568 140733172983672 139677093655164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15446016 140733172990838 140733172991081 140733172991081 140733172993994 0
/proc/18741/statm: 28282 363 304 221 0 87 0
[pid=18743] ppid=18741 vsize=28300332 memory=18646736 CPUtime=1353.76 cores=0-7
/proc/18743/stat : 18743 (java) S 18741 18741 17196 0 -1 1077944320 786324 0 0 0 130602 4774 0 0 20 0 21 0 420910876 28979539968 4661684 33554432000 4194304 4196468 140726148394320 140726148376864 140094004272887 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
/proc/18743/statm: 7075083 4661684 3507 1 0 7036185 0
[pid=18743/tid=18744] ppid=18741 vsize=28300332 memory=7018971531261208916 CPUtime=39.22 cores=0-7
/proc/18743/task/18744/stat : 18744 (java) S 18741 18741 17196 0 -1 1077944384 19364 0 0 0 3906 16 0 0 20 0 21 0 420910876 28979539968 4661684 33554432000 4194304 4196468 140726148394320 140094008513568 140094004283093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18745] ppid=18741 vsize=28300332 memory=7595155107716031851 CPUtime=158.85 cores=0-7
/proc/18743/task/18745/stat : 18745 (java) S 18741 18741 17196 0 -1 1077944384 92317 0 0 0 15298 587 0 0 20 0 21 0 420910877 28979539968 4661684 33554432000 4194304 4196468 140726148394320 140093924124944 140094004283093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 32 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18746] ppid=18741 vsize=28300332 memory=1452 CPUtime=159.25 cores=0-7
/proc/18743/task/18746/stat : 18746 (java) S 18741 18741 17196 0 -1 1077944384 109333 0 0 0 15345 580 0 0 20 0 21 0 420910877 28979539968 4661684 33554432000 4194304 4196468 140726148394320 140093923072400 140094004283093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 36 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18747] ppid=18741 vsize=28300332 memory=1416 CPUtime=158.28 cores=0-7
/proc/18743/task/18747/stat : 18747 (java) S 18741 18741 17196 0 -1 1077944384 60743 0 0 0 15272 556 0 0 20 0 21 0 420910877 28979539968 4661684 33554432000 4194304 4196468 140726148394320 140093922019856 140094004283093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 36 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18748] ppid=18741 vsize=28300332 memory=1556 CPUtime=159.03 cores=0-7
/proc/18743/task/18748/stat : 18748 (java) S 18741 18741 17196 0 -1 1077944384 93259 0 0 0 15318 585 0 0 20 0 21 0 420910877 28979539968 4661684 33554432000 4194304 4196468 140726148394320 140093920967312 140094004283093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 34 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18749] ppid=18741 vsize=28300332 memory=740 CPUtime=159.83 cores=0-7
/proc/18743/task/18749/stat : 18749 (java) S 18741 18741 17196 0 -1 1077944384 62124 0 0 0 15402 581 0 0 20 0 21 0 420910877 28979539968 4661684 33554432000 4194304 4196468 140726148394320 140093919914768 140094004283093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 29 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18750] ppid=18741 vsize=28300332 memory=1052 CPUtime=158.97 cores=0-7
/proc/18743/task/18750/stat : 18750 (java) S 18741 18741 17196 0 -1 1077944384 45678 0 0 0 15304 593 0 0 20 0 21 0 420910877 28979539968 4661684 33554432000 4194304 4196468 140726148394320 140093918862224 140094004283093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 29 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18751] ppid=18741 vsize=28300332 memory=7548 CPUtime=158.23 cores=0-7
/proc/18743/task/18751/stat : 18751 (java) S 18741 18741 17196 0 -1 1077944384 67116 0 0 0 15242 581 0 0 20 0 21 0 420910877 28979539968 4661684 33554432000 4194304 4196468 140726148394320 140093917809680 140094004283093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 31 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18752] ppid=18741 vsize=28300332 memory=4004 CPUtime=158.86 cores=0-7
/proc/18743/task/18752/stat : 18752 (java) S 18741 18741 17196 0 -1 1077944384 96694 0 0 0 15237 649 0 0 20 0 21 0 420910877 28979539968 4661684 33554432000 4194304 4196468 140726148394320 140093916757136 140094004283093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 31 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18753] ppid=18741 vsize=28300332 memory=18646708 CPUtime=41.66 cores=0-7
/proc/18743/task/18753/stat : 18753 (java) R 18741 18741 17196 0 -1 4202560 120664 0 0 0 4131 35 0 0 20 0 21 0 420910878 28979539968 4661684 33554432000 4194304 4196468 140726148394320 140093119623632 140093982643067 0 0 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18754] ppid=18741 vsize=28300332 memory=1452 CPUtime=0 cores=0-7
/proc/18743/task/18754/stat : 18754 (java) S 18741 18741 17196 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 21 0 420910879 28979539968 4661684 33554432000 4194304 4196468 140726148394320 140093118571488 140094004283093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18755] ppid=18741 vsize=28300332 memory=18646604 CPUtime=0 cores=0-7
/proc/18743/task/18755/stat : 18755 (java) S 18741 18741 17196 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 21 0 420910879 28979539968 4661684 33554432000 4194304 4196468 140726148394320 140093117518848 140094004283093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18756] ppid=18741 vsize=28300332 memory=2120 CPUtime=0 cores=0-7
/proc/18743/task/18756/stat : 18756 (java) S 18741 18741 17196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 420910882 28979539968 4661684 33554432000 4194304 4196468 140726148394320 140093116467408 140094004291483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18757] ppid=18741 vsize=28300332 memory=504 CPUtime=0.24 cores=0-7
/proc/18743/task/18757/stat : 18757 (java) S 18741 18741 17196 0 -1 1077944384 3027 0 0 0 23 1 0 0 20 0 21 0 420910882 28979539968 4661684 33554432000 4194304 4196468 140726148394320 140093115415024 140094004284034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18758] ppid=18741 vsize=28300332 memory=1560 CPUtime=0.23 cores=0-7
/proc/18743/task/18758/stat : 18758 (java) S 18741 18741 17196 0 -1 1077944384 1978 0 0 0 22 1 0 0 20 0 21 0 420910882 28979539968 4661684 33554432000 4194304 4196468 140726148394320 140093114362480 140094004284034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18759] ppid=18741 vsize=28300332 memory=6791534058613427641 CPUtime=0.38 cores=0-7
/proc/18743/task/18759/stat : 18759 (java) S 18741 18741 17196 0 -1 1077944384 4000 0 0 0 37 1 0 0 20 0 21 0 420910882 28979539968 4661684 33554432000 4194304 4196468 140726148394320 140093113309936 140094004284034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18760] ppid=18741 vsize=28300332 memory=4004 CPUtime=0.52 cores=0-7
/proc/18743/task/18760/stat : 18760 (java) S 18741 18741 17196 0 -1 1077944384 8075 0 0 0 51 1 0 0 20 0 21 0 420910882 28979539968 4661684 33554432000 4194304 4196468 140726148394320 140093112257392 140094004284034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18761] ppid=18741 vsize=28300332 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/18743/task/18761/stat : 18761 (java) S 18741 18741 17196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 420910882 28979539968 4661684 33554432000 4194304 4196468 140726148394320 140093111204064 140094004283093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18762] ppid=18741 vsize=28300332 memory=1416 CPUtime=0.08 cores=0-7
/proc/18743/task/18762/stat : 18762 (java) S 18741 18741 17196 0 -1 1077944384 553 0 0 0 5 3 0 0 20 0 21 0 420910882 28979539968 4661684 33554432000 4194304 4196468 140726148394320 140093110151600 140094004284034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
[pid=18743/tid=18777] ppid=18741 vsize=28300332 memory=1556 CPUtime=0 cores=0-7
/proc/18743/task/18777/stat : 18777 (java) S 18741 18741 17196 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 21 0 420934821 28979539968 4661684 33554432000 4194304 4196468 140726148394320 140093034011968 140094004283093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31784960 140726148400106 140726148400278 140726148400278 140726148403151 0
Current children cumulated CPU time: 1353.76 s
Current children cumulated vsize: 28413460 KiB
Current children cumulated memory: 18648188 KiB
[startup+243.701 s]
/proc/loadavg: 5.85 6.39 7.20 9/213 18777
/proc/meminfo: memFree=12854324/32770624 swapFree=67004236/67108860
[pid=18741] ppid=18738 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/18741/stat : 18741 (xcsp3-exec) S 18738 18741 17196 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420910876 115843072 363 33554432000 4194304 5098028 140733172985568 140733172983672 139677093655164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15446016 140733172990838 140733172991081 140733172991081 140733172993994 0
/proc/18741/statm: 28282 363 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1452 KiB
Child status: 1
Real time (s): 243.758
CPU time (s): 1353.93
CPU user time (s): 1306.09
CPU system time (s): 47.8465
CPU usage (%): 555.44
Max. virtual memory (cumulated for all children) (KiB): 28413460
Max. memory (cumulated for all children) (KiB): 18648188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1306.09
system time used= 47.8465
maximum resident set size= 18647016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 786958
page faults= 0
swaps= 0
block input operations= 0
block output operations= 472
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 49978
involuntary context switches= 24961
# summary of solver processes directly reported to runsolver:
# pid: 18741
# total CPU time (s): 1353.93
# total CPU user time (s): 1306.09
# total CPU system time (s): 47.8465
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.90035 second user time and 2.53783 second system time
The end
Begin job on node148 at 2019-09-14 09:50:56
IDJOB=4393886
IDBENCH=140558
IDSOLVER=2841
FILE ID=node148/4393886-1568447493
RUNJOBID= node148-1568442142-17223
PBS_JOBID= 21702344
Free space on /tmp= 61308 MiB
SOLVER NAME= choco-solver parallel 2019-06-14
BENCH NAME= XCSP17/Ramsey/Ramsey-int-s1/Ramsey-int-13.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4393886-1568447493/watcher-4393886-1568447493 -o /tmp/evaluation-result-4393886-1568447493/solver-4393886-1568447493 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1568442142-17223 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 531399320 HOME/instance-4393886-1568447493.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= f1adf00e8f8fa1741c0d4b74f691c684
RANDOM SEED=531399320
node148.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.13
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.13
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.13
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.13
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
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 pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32770624 kB
MemFree: 31522032 kB
MemAvailable: 31909476 kB
Buffers: 103288 kB
Cached: 579956 kB
SwapCached: 3808 kB
Active: 415660 kB
Inactive: 273824 kB
Active(anon): 3488 kB
Inactive(anon): 43744 kB
Active(file): 412172 kB
Inactive(file): 230080 kB
Unevictable: 108944 kB
Mlocked: 108944 kB
SwapTotal: 67108860 kB
SwapFree: 67004236 kB
Dirty: 26288 kB
Writeback: 0 kB
AnonPages: 112620 kB
Mapped: 44444 kB
Shmem: 32356 kB
Slab: 150252 kB
SReclaimable: 122056 kB
SUnreclaim: 28196 kB
KernelStack: 3344 kB
PageTables: 5084 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 498248 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 67584 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 124288 kB
DirectMap2M: 33421312 kB
Free space on /tmp at the end= 61284 MiB
End job on node148 at 2019-09-14 09:55:00