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 (15192 MiB free)
memory of node 1: 16384 MiB (15428 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269058-1502846159/watcher-4269058-1502846159 -o /tmp/evaluation-result-4269058-1502846159/solver-4269058-1502846159 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node112-1502839811-17221 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1355536154 HOME/instance-4269058-1502846159.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=18569, runsolver pid=18566
Current StackSize limit: 8192 KiB
[startup+0.10019 s]*
/proc/loadavg: 2.46 2.25 2.16 3/218 18585
/proc/meminfo: memFree=31338048/32770624 swapFree=67108860/67108860
[pid=18569] ppid=18566 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/18569/stat : 18569 (xcsp3-exec) S 18566 18569 17190 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 117703610 9740288 346 33554432000 4194304 5098028 140732983591936 140732983590040 139871942357628 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20570112 140732983600238 140732983600443 140732983600443 140732983603179 0
/proc/18569/statm: 2378 346 289 221 0 87 0
[pid=18571] ppid=18569 vsize=13978596 memory=29052 CPUtime=0.13 cores=0,2,4,6
/proc/18571/stat : 18571 (java) S 18569 18569 17190 0 -1 1077944320 5132 0 0 0 11 2 0 0 20 0 15 0 117703610 14314082304 7263 33554432000 4194304 4196468 140734389421104 140734389403648 140193661980407 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
/proc/18571/statm: 3494649 7263 2870 1 0 3482966 0
[pid=18571/tid=18572] ppid=18569 vsize=13978596 memory=8514701219881125282 CPUtime=0.09 cores=0,2,4,6
/proc/18571/task/18572/stat : 18572 (java) R 18569 18569 17190 0 -1 4202560 3060 0 0 0 8 1 0 0 20 0 15 0 117703610 14314082304 7263 33554432000 4194304 4196468 140734389421104 140193666212096 140193662002333 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18573] ppid=18569 vsize=13978596 memory=3472468673882825936 CPUtime=0 cores=0,2,4,6
/proc/18571/task/18573/stat : 18573 (java) S 18569 18569 17190 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117703611 14314082304 7263 33554432000 4194304 4196468 140734389421104 140193577048848 140193661990613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18574] ppid=18569 vsize=13978596 memory=140544987674240 CPUtime=0 cores=0,2,4,6
/proc/18571/task/18574/stat : 18574 (java) S 18569 18569 17190 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117703611 14314082304 7263 33554432000 4194304 4196468 140734389421104 140193575996304 140193661990613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18575] ppid=18569 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18571/task/18575/stat : 18575 (java) S 18569 18569 17190 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117703611 14314082304 7263 33554432000 4194304 4196468 140734389421104 140193574943760 140193661990613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18576] ppid=18569 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18571/task/18576/stat : 18576 (java) S 18569 18569 17190 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117703611 14314082304 7263 33554432000 4194304 4196468 140734389421104 140193573891216 140193661990613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18577] ppid=18569 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18571/task/18577/stat : 18577 (java) S 18569 18569 17190 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117703612 14314082304 7263 33554432000 4194304 4196468 140734389421104 140193136216048 140193661991554 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18578] ppid=18569 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18571/task/18578/stat : 18578 (java) S 18569 18569 17190 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117703613 14314082304 7263 33554432000 4194304 4196468 140734389421104 140193135162272 140193661990613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18579] ppid=18569 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18571/task/18579/stat : 18579 (java) S 18569 18569 17190 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117703613 14314082304 7263 33554432000 4194304 4196468 140734389421104 140193134109680 140193661990613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18580] ppid=18569 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18571/task/18580/stat : 18580 (java) S 18569 18569 17190 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117703615 14314082304 7263 33554432000 4194304 4196468 140734389421104 140193133058256 140193661999003 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18581] ppid=18569 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18571/task/18581/stat : 18581 (java) S 18569 18569 17190 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 117703615 14314082304 7263 33554432000 4194304 4196468 140734389421104 140193132005872 140193661991554 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18582] ppid=18569 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18571/task/18582/stat : 18582 (java) S 18569 18569 17190 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 117703615 14314082304 7263 33554432000 4194304 4196468 140734389421104 140193130953328 140193661991554 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18583] ppid=18569 vsize=13978596 memory=140544987674240 CPUtime=0.01 cores=0,2,4,6
/proc/18571/task/18583/stat : 18583 (java) R 18569 18569 17190 0 -1 4202560 352 0 0 0 1 0 0 0 20 0 15 0 117703615 14314082304 7263 33554432000 4194304 4196468 140734389421104 140193129900784 140193640680608 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18584] ppid=18569 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18571/task/18584/stat : 18584 (java) S 18569 18569 17190 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117703615 14314082304 7263 33554432000 4194304 4196468 140734389421104 140193128848480 140193661990613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18585] ppid=18569 vsize=13978596 memory=140544987674240 CPUtime=0 cores=0,2,4,6
/proc/18571/task/18585/stat : 18585 (java) S 18569 18569 17190 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117703616 14314082304 7263 33554432000 4194304 4196468 140734389421104 140193127794992 140193661991554 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 30436 KiB
[startup+0.210773 s]*
/proc/loadavg: 2.46 2.25 2.16 4/218 18585
/proc/meminfo: memFree=31327836/32770624 swapFree=67108860/67108860
[pid=18569] ppid=18566 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/18569/stat : 18569 (xcsp3-exec) S 18566 18569 17190 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 117703610 9740288 346 33554432000 4194304 5098028 140732983591936 140732983590040 139871942357628 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20570112 140732983600238 140732983600443 140732983600443 140732983603179 0
/proc/18569/statm: 2378 346 289 221 0 87 0
[pid=18571] ppid=18569 vsize=13982852 memory=40788 CPUtime=0.33 cores=0,2,4,6
/proc/18571/stat : 18571 (java) S 18569 18569 17190 0 -1 1077944320 7802 0 0 0 31 2 0 0 20 0 15 0 117703610 14318440448 10197 33554432000 4194304 4196468 140734389421104 140734389403648 140193661980407 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
/proc/18571/statm: 3495713 10197 3080 1 0 3482966 0
[pid=18571/tid=18572] ppid=18569 vsize=13982852 memory=5853961137533323680 CPUtime=0.2 cores=0,2,4,6
/proc/18571/task/18572/stat : 18572 (java) R 18569 18569 17190 0 -1 4202560 4908 0 0 0 18 2 0 0 20 0 15 0 117703610 14318440448 10197 33554432000 4194304 4196468 140734389421104 140193666207184 140193662002333 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18573] ppid=18569 vsize=13982852 memory=3472468673882825936 CPUtime=0 cores=0,2,4,6
/proc/18571/task/18573/stat : 18573 (java) S 18569 18569 17190 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117703611 14318440448 10197 33554432000 4194304 4196468 140734389421104 140193577048848 140193661990613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18574] ppid=18569 vsize=13982852 memory=140544987674240 CPUtime=0 cores=0,2,4,6
/proc/18571/task/18574/stat : 18574 (java) S 18569 18569 17190 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117703611 14318440448 10197 33554432000 4194304 4196468 140734389421104 140193575996304 140193661990613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18575] ppid=18569 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18571/task/18575/stat : 18575 (java) S 18569 18569 17190 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117703611 14318440448 10197 33554432000 4194304 4196468 140734389421104 140193574943760 140193661990613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18576] ppid=18569 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18571/task/18576/stat : 18576 (java) S 18569 18569 17190 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117703611 14318440448 10197 33554432000 4194304 4196468 140734389421104 140193573891216 140193661990613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18577] ppid=18569 vsize=13982852 memory=140544987674240 CPUtime=0 cores=0,2,4,6
/proc/18571/task/18577/stat : 18577 (java) S 18569 18569 17190 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117703612 14318440448 10197 33554432000 4194304 4196468 140734389421104 140193136216048 140193661991554 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18578] ppid=18569 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18571/task/18578/stat : 18578 (java) S 18569 18569 17190 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117703613 14318440448 10197 33554432000 4194304 4196468 140734389421104 140193135162272 140193661990613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18579] ppid=18569 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18571/task/18579/stat : 18579 (java) S 18569 18569 17190 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117703613 14318440448 10197 33554432000 4194304 4196468 140734389421104 140193134109680 140193661990613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18580] ppid=18569 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18571/task/18580/stat : 18580 (java) S 18569 18569 17190 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117703615 14318440448 10197 33554432000 4194304 4196468 140734389421104 140193133058256 140193661999003 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18581] ppid=18569 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/18571/task/18581/stat : 18581 (java) S 18569 18569 17190 0 -1 1077944384 401 0 0 0 2 0 0 0 20 0 15 0 117703615 14318440448 10197 33554432000 4194304 4196468 140734389421104 140193132005872 140193661991554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18582] ppid=18569 vsize=13982852 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/18571/task/18582/stat : 18582 (java) S 18569 18569 17190 0 -1 1077944384 472 0 0 0 2 0 0 0 20 0 15 0 117703615 14318440448 10197 33554432000 4194304 4196468 140734389421104 140193130953328 140193661991554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18583] ppid=18569 vsize=13982852 memory=140544987674240 CPUtime=0.08 cores=0,2,4,6
/proc/18571/task/18583/stat : 18583 (java) R 18569 18569 17190 0 -1 4202560 720 0 0 0 8 0 0 0 20 0 15 0 117703615 14318440448 10197 33554432000 4194304 4196468 140734389421104 140193129900784 140193646226820 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18584] ppid=18569 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18571/task/18584/stat : 18584 (java) S 18569 18569 17190 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117703615 14318440448 10197 33554432000 4194304 4196468 140734389421104 140193128848480 140193661990613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18585] ppid=18569 vsize=13982852 memory=140544987674240 CPUtime=0 cores=0,2,4,6
/proc/18571/task/18585/stat : 18585 (java) S 18569 18569 17190 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117703616 14318440448 10197 33554432000 4194304 4196468 140734389421104 140193127794992 140193661991554 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 42172 KiB
[startup+0.310956 s]*
/proc/loadavg: 2.46 2.25 2.16 6/218 18585
/proc/meminfo: memFree=31321260/32770624 swapFree=67108860/67108860
[pid=18569] ppid=18566 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/18569/stat : 18569 (xcsp3-exec) S 18566 18569 17190 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 117703610 9740288 346 33554432000 4194304 5098028 140732983591936 140732983590040 139871942357628 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20570112 140732983600238 140732983600443 140732983600443 140732983603179 0
/proc/18569/statm: 2378 346 289 221 0 87 0
[pid=18571] ppid=18569 vsize=13982852 memory=47400 CPUtime=0.52 cores=0,2,4,6
/proc/18571/stat : 18571 (java) S 18569 18569 17190 0 -1 1077944320 8531 0 0 0 49 3 0 0 20 0 15 0 117703610 14318440448 11850 33554432000 4194304 4196468 140734389421104 140734389403648 140193661980407 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
/proc/18571/statm: 3495713 11850 3096 1 0 3482966 0
[pid=18571/tid=18572] ppid=18569 vsize=13982852 memory=8514701219880862117 CPUtime=0.29 cores=0,2,4,6
/proc/18571/task/18572/stat : 18572 (java) R 18569 18569 17190 0 -1 4202560 5450 0 0 0 27 2 0 0 20 0 15 0 117703610 14318440448 11850 33554432000 4194304 4196468 140734389421104 140193666218416 140193662002333 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18573] ppid=18569 vsize=13982852 memory=3472468673882825936 CPUtime=0 cores=0,2,4,6
/proc/18571/task/18573/stat : 18573 (java) S 18569 18569 17190 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117703611 14318440448 11850 33554432000 4194304 4196468 140734389421104 140193577048848 140193661990613 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18574] ppid=18569 vsize=13982852 memory=140544987674240 CPUtime=0 cores=0,2,4,6
/proc/18571/task/18574/stat : 18574 (java) S 18569 18569 17190 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117703611 14318440448 11850 33554432000 4194304 4196468 140734389421104 140193575996304 140193661990613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18575] ppid=18569 vsize=13982852 memory=3 CPUtime=0 cores=0,2,4,6
/proc/18571/task/18575/stat : 18575 (java) S 18569 18569 17190 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117703611 14318440448 11850 33554432000 4194304 4196468 140734389421104 140193574943760 140193661990613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18576] ppid=18569 vsize=13982852 memory=140544886056991 CPUtime=0 cores=0,2,4,6
/proc/18571/task/18576/stat : 18576 (java) S 18569 18569 17190 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117703611 14318440448 11850 33554432000 4194304 4196468 140734389421104 140193573891216 140193661990613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18577] ppid=18569 vsize=13982852 memory=281089772093216 CPUtime=0 cores=0,2,4,6
/proc/18571/task/18577/stat : 18577 (java) S 18569 18569 17190 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117703612 14318440448 11850 33554432000 4194304 4196468 140734389421104 140193136216048 140193661991554 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18578] ppid=18569 vsize=13982852 memory=140544886033935 CPUtime=0 cores=0,2,4,6
/proc/18571/task/18578/stat : 18578 (java) S 18569 18569 17190 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117703613 14318440448 11850 33554432000 4194304 4196468 140734389421104 140193135162272 140193661990613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18579] ppid=18569 vsize=13982852 memory=281089873591304 CPUtime=0 cores=0,2,4,6
/proc/18571/task/18579/stat : 18579 (java) S 18569 18569 17190 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117703613 14318440448 11850 33554432000 4194304 4196468 140734389421104 140193134109680 140193661990613 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18580] ppid=18569 vsize=13982852 memory=140544886056991 CPUtime=0 cores=0,2,4,6
/proc/18571/task/18580/stat : 18580 (java) S 18569 18569 17190 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117703615 14318440448 11850 33554432000 4194304 4196468 140734389421104 140193133058256 140193661999003 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18581] ppid=18569 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/18571/task/18581/stat : 18581 (java) R 18569 18569 17190 0 -1 4202560 450 0 0 0 3 0 0 0 20 0 15 0 117703615 14318440448 11850 33554432000 4194304 4196468 140734389421104 140193131995984 140193643503448 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18582] ppid=18569 vsize=13982852 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/18571/task/18582/stat : 18582 (java) R 18569 18569 17190 0 -1 1077944384 507 0 0 0 4 0 0 0 20 0 15 0 117703615 14318440448 11850 33554432000 4194304 4196468 140734389421104 140193130953328 140193661991554 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18583] ppid=18569 vsize=13982852 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/18571/task/18583/stat : 18583 (java) R 18569 18569 17190 0 -1 4202560 821 0 0 0 13 0 0 0 20 0 15 0 117703615 14318440448 11850 33554432000 4194304 4196468 140734389421104 140193129897528 140193641057872 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18584] ppid=18569 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18571/task/18584/stat : 18584 (java) S 18569 18569 17190 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117703615 14318440448 11850 33554432000 4194304 4196468 140734389421104 140193128848480 140193661990613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18585] ppid=18569 vsize=13982852 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/18571/task/18585/stat : 18585 (java) S 18569 18569 17190 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117703616 14318440448 11850 33554432000 4194304 4196468 140734389421104 140193127794992 140193661991554 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48784 KiB
[startup+0.706936 s]
/proc/loadavg: 2.46 2.25 2.16 4/218 18585
/proc/meminfo: memFree=31303676/32770624 swapFree=67108860/67108860
[pid=18569] ppid=18566 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/18569/stat : 18569 (xcsp3-exec) S 18566 18569 17190 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 117703610 9740288 346 33554432000 4194304 5098028 140732983591936 140732983590040 139871942357628 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20570112 140732983600238 140732983600443 140732983600443 140732983603179 0
/proc/18569/statm: 2378 346 289 221 0 87 0
[pid=18571] ppid=18569 vsize=13984976 memory=288216 CPUtime=1.68 cores=0,2,4,6
/proc/18571/stat : 18571 (java) S 18569 18569 17190 0 -1 1077944320 11603 0 0 0 153 15 0 0 20 0 15 0 117703610 14320615424 72054 33554432000 4194304 4196468 140734389421104 140734389403648 140193661980407 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
/proc/18571/statm: 3496244 72054 3203 1 0 3483478 0
[pid=18571/tid=18572] ppid=18569 vsize=13984976 memory=5865469479800824941 CPUtime=0.59 cores=0,2,4,6
/proc/18571/task/18572/stat : 18572 (java) R 18569 18569 17190 0 -1 4202560 5976 0 0 0 55 4 0 0 20 0 15 0 117703610 14320615424 72054 33554432000 4194304 4196468 140734389421104 140193666218128 140193256133731 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18573] ppid=18569 vsize=13984976 memory=7019257425709197167 CPUtime=0.06 cores=0,2,4,6
/proc/18571/task/18573/stat : 18573 (java) S 18569 18569 17190 0 -1 1077944384 61 0 0 0 4 2 0 0 20 0 15 0 117703611 14320615424 72054 33554432000 4194304 4196468 140734389421104 140193577048848 140193661990613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18574] ppid=18569 vsize=13984976 memory=6291616985311629395 CPUtime=0.07 cores=0,2,4,6
/proc/18571/task/18574/stat : 18574 (java) S 18569 18569 17190 0 -1 1077944384 59 0 0 0 4 3 0 0 20 0 15 0 117703611 14320615424 72054 33554432000 4194304 4196468 140734389421104 140193575996304 140193661990613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18575] ppid=18569 vsize=13984976 memory=7747766295893256779 CPUtime=0.02 cores=0,2,4,6
/proc/18571/task/18575/stat : 18575 (java) S 18569 18569 17190 0 -1 1077944384 28 0 0 0 1 1 0 0 20 0 15 0 117703611 14320615424 72054 33554432000 4194304 4196468 140734389421104 140193574943760 140193661990613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18576] ppid=18569 vsize=13984976 memory=8370611207638964880 CPUtime=0.03 cores=0,2,4,6
/proc/18571/task/18576/stat : 18576 (java) S 18569 18569 17190 0 -1 1077944384 41 0 0 0 2 1 0 0 20 0 15 0 117703611 14320615424 72054 33554432000 4194304 4196468 140734389421104 140193573891216 140193661990613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18577] ppid=18569 vsize=13984976 memory=6944656592455360569 CPUtime=0 cores=0,2,4,6
/proc/18571/task/18577/stat : 18577 (java) S 18569 18569 17190 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 117703612 14320615424 72054 33554432000 4194304 4196468 140734389421104 140193136216048 140193661991554 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18578] ppid=18569 vsize=13984976 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/18571/task/18578/stat : 18578 (java) S 18569 18569 17190 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 117703613 14320615424 72054 33554432000 4194304 4196468 140734389421104 140193135162272 140193661990613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18579] ppid=18569 vsize=13984976 memory=6884 CPUtime=0 cores=0,2,4,6
/proc/18571/task/18579/stat : 18579 (java) S 18569 18569 17190 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117703613 14320615424 72054 33554432000 4194304 4196468 140734389421104 140193134109680 140193661990613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18580] ppid=18569 vsize=13984976 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/18571/task/18580/stat : 18580 (java) S 18569 18569 17190 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117703615 14320615424 72054 33554432000 4194304 4196468 140734389421104 140193133058256 140193661999003 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18581] ppid=18569 vsize=13984976 memory=33092 CPUtime=0.23 cores=0,2,4,6
/proc/18571/task/18581/stat : 18581 (java) R 18569 18569 17190 0 -1 4202560 1167 0 0 0 23 0 0 0 20 0 15 0 117703615 14320615424 72054 33554432000 4194304 4196468 140734389421104 140193131992416 140193646379992 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18582] ppid=18569 vsize=13984976 memory=2332 CPUtime=0.25 cores=0,2,4,6
/proc/18571/task/18582/stat : 18582 (java) R 18569 18569 17190 0 -1 4202560 1256 0 0 0 25 0 0 0 20 0 15 0 117703615 14320615424 72054 33554432000 4194304 4196468 140734389421104 140193130953328 140193646875512 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18583] ppid=18569 vsize=13984976 memory=1292 CPUtime=0.35 cores=0,2,4,6
/proc/18571/task/18583/stat : 18583 (java) R 18569 18569 17190 0 -1 4202560 1638 0 0 0 35 0 0 0 20 0 15 0 117703615 14320615424 72054 33554432000 4194304 4196468 140734389421104 140193129900784 140193646060894 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18584] ppid=18569 vsize=13984976 memory=7091832833820811856 CPUtime=0 cores=0,2,4,6
/proc/18571/task/18584/stat : 18584 (java) S 18569 18569 17190 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117703615 14320615424 72054 33554432000 4194304 4196468 140734389421104 140193128848480 140193661990613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18585] ppid=18569 vsize=13984976 memory=6083073826404724833 CPUtime=0 cores=0,2,4,6
/proc/18571/task/18585/stat : 18585 (java) S 18569 18569 17190 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117703616 14320615424 72054 33554432000 4194304 4196468 140734389421104 140193127794992 140193661991554 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 289600 KiB
[startup+1.36801 s]
# the end of solver process 18569 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.44145 s, system=0.171698 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800911 s]
/proc/loadavg: 2.46 2.25 2.16 4/218 18585
/proc/meminfo: memFree=31303676/32770624 swapFree=67108860/67108860
[pid=18569] ppid=18566 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/18569/stat : 18569 (xcsp3-exec) S 18566 18569 17190 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 117703610 9740288 346 33554432000 4194304 5098028 140732983591936 140732983590040 139871942357628 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20570112 140732983600238 140732983600443 140732983600443 140732983603179 0
/proc/18569/statm: 2378 346 289 221 0 87 0
[pid=18571] ppid=18569 vsize=13984976 memory=289352 CPUtime=1.95 cores=0,2,4,6
/proc/18571/stat : 18571 (java) S 18569 18569 17190 0 -1 1077944320 12013 0 0 0 179 16 0 0 20 0 15 0 117703610 14320615424 72338 33554432000 4194304 4196468 140734389421104 140734389403648 140193661980407 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
/proc/18571/statm: 3496244 72338 3220 1 0 3483478 0
[pid=18571/tid=18572] ppid=18569 vsize=13984976 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/18571/task/18572/stat : 18572 (java) R 18569 18569 17190 0 -1 4202560 6229 0 0 0 64 4 0 0 20 0 15 0 117703610 14320615424 72338 33554432000 4194304 4196468 140734389421104 140193666217328 140193661992342 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18573] ppid=18569 vsize=13984976 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/18571/task/18573/stat : 18573 (java) S 18569 18569 17190 0 -1 1077944384 61 0 0 0 4 2 0 0 20 0 15 0 117703611 14320615424 72338 33554432000 4194304 4196468 140734389421104 140193577048848 140193661990613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18574] ppid=18569 vsize=13984976 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18571/task/18574/stat : 18574 (java) S 18569 18569 17190 0 -1 1077944384 59 0 0 0 4 3 0 0 20 0 15 0 117703611 14320615424 72338 33554432000 4194304 4196468 140734389421104 140193575996304 140193661990613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18575] ppid=18569 vsize=13984976 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/18571/task/18575/stat : 18575 (java) S 18569 18569 17190 0 -1 1077944384 28 0 0 0 1 1 0 0 20 0 15 0 117703611 14320615424 72338 33554432000 4194304 4196468 140734389421104 140193574943760 140193661990613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18576] ppid=18569 vsize=13984976 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/18571/task/18576/stat : 18576 (java) S 18569 18569 17190 0 -1 1077944384 41 0 0 0 2 1 0 0 20 0 15 0 117703611 14320615424 72338 33554432000 4194304 4196468 140734389421104 140193573891216 140193661990613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18577] ppid=18569 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18571/task/18577/stat : 18577 (java) S 18569 18569 17190 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 117703612 14320615424 72338 33554432000 4194304 4196468 140734389421104 140193136216048 140193661991554 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18578] ppid=18569 vsize=13984976 memory=281089771831536 CPUtime=0 cores=0,2,4,6
/proc/18571/task/18578/stat : 18578 (java) S 18569 18569 17190 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 117703613 14320615424 72338 33554432000 4194304 4196468 140734389421104 140193135162272 140193661990613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18579] ppid=18569 vsize=13984976 memory=281089771900352 CPUtime=0 cores=0,2,4,6
/proc/18571/task/18579/stat : 18579 (java) S 18569 18569 17190 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117703613 14320615424 72338 33554432000 4194304 4196468 140734389421104 140193134109680 140193661990613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18580] ppid=18569 vsize=13984976 memory=281089771910800 CPUtime=0 cores=0,2,4,6
/proc/18571/task/18580/stat : 18580 (java) S 18569 18569 17190 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117703615 14320615424 72338 33554432000 4194304 4196468 140734389421104 140193133058256 140193661999003 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18581] ppid=18569 vsize=13984976 memory=2110895493335188 CPUtime=0.29 cores=0,2,4,6
/proc/18571/task/18581/stat : 18581 (java) S 18569 18569 17190 0 -1 1077944384 1190 0 0 0 29 0 0 0 20 0 15 0 117703615 14320615424 72338 33554432000 4194304 4196468 140734389421104 140193132005872 140193661991554 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18582] ppid=18569 vsize=13984976 memory=1200 CPUtime=0.33 cores=0,2,4,6
/proc/18571/task/18582/stat : 18582 (java) R 18569 18569 17190 0 -1 4202560 1297 0 0 0 33 0 0 0 20 0 15 0 117703615 14320615424 72338 33554432000 4194304 4196468 140734389421104 140193130953456 140193645887109 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18583] ppid=18569 vsize=13984976 memory=15872 CPUtime=0.39 cores=0,2,4,6
/proc/18571/task/18583/stat : 18583 (java) R 18569 18569 17190 0 -1 1077944384 1727 0 0 0 39 0 0 0 20 0 15 0 117703615 14320615424 72338 33554432000 4194304 4196468 140734389421104 140193129900784 140193661991554 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18584] ppid=18569 vsize=13984976 memory=4040 CPUtime=0 cores=0,2,4,6
/proc/18571/task/18584/stat : 18584 (java) S 18569 18569 17190 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117703615 14320615424 72338 33554432000 4194304 4196468 140734389421104 140193128848480 140193661990613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18585] ppid=18569 vsize=13984976 memory=19392 CPUtime=0 cores=0,2,4,6
/proc/18571/task/18585/stat : 18585 (java) S 18569 18569 17190 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117703616 14320615424 72338 33554432000 4194304 4196468 140734389421104 140193127794992 140193661991554 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
Current children cumulated CPU time: 1.95 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 290736 KiB
[startup+1.20074 s]
/proc/loadavg: 2.46 2.25 2.16 5/218 18585
/proc/meminfo: memFree=31075796/32770624 swapFree=67108860/67108860
[pid=18569] ppid=18566 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/18569/stat : 18569 (xcsp3-exec) S 18566 18569 17190 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 117703610 9740288 346 33554432000 4194304 5098028 140732983591936 140732983590040 139871942357628 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20570112 140732983600238 140732983600443 140732983600443 140732983603179 0
/proc/18569/statm: 2378 346 289 221 0 87 0
[pid=18571] ppid=18569 vsize=13984976 memory=298508 CPUtime=3.21 cores=0,2,4,6
/proc/18571/stat : 18571 (java) S 18569 18569 17190 0 -1 1077944320 14367 0 0 0 305 16 0 0 20 0 15 0 117703610 14320615424 74627 33554432000 4194304 4196468 140734389421104 140734389403648 140193661980407 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
/proc/18571/statm: 3496244 74627 3227 1 0 3483478 0
[pid=18571/tid=18572] ppid=18569 vsize=13984976 memory=7092414496878127446 CPUtime=1.08 cores=0,2,4,6
/proc/18571/task/18572/stat : 18572 (java) R 18569 18569 17190 0 -1 4202560 6283 0 0 0 104 4 0 0 20 0 15 0 117703610 14320615424 74627 33554432000 4194304 4196468 140734389421104 140193666211664 140193257352168 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18573] ppid=18569 vsize=13984976 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/18571/task/18573/stat : 18573 (java) S 18569 18569 17190 0 -1 1077944384 61 0 0 0 4 2 0 0 20 0 15 0 117703611 14320615424 74627 33554432000 4194304 4196468 140734389421104 140193577048848 140193661990613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18574] ppid=18569 vsize=13984976 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18571/task/18574/stat : 18574 (java) S 18569 18569 17190 0 -1 1077944384 59 0 0 0 4 3 0 0 20 0 15 0 117703611 14320615424 74627 33554432000 4194304 4196468 140734389421104 140193575996304 140193661990613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18575] ppid=18569 vsize=13984976 memory=302022848351043610 CPUtime=0.02 cores=0,2,4,6
/proc/18571/task/18575/stat : 18575 (java) S 18569 18569 17190 0 -1 1077944384 28 0 0 0 1 1 0 0 20 0 15 0 117703611 14320615424 74627 33554432000 4194304 4196468 140734389421104 140193574943760 140193661990613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18576] ppid=18569 vsize=13984976 memory=302022895662793015 CPUtime=0.03 cores=0,2,4,6
/proc/18571/task/18576/stat : 18576 (java) S 18569 18569 17190 0 -1 1077944384 41 0 0 0 2 1 0 0 20 0 15 0 117703611 14320615424 74627 33554432000 4194304 4196468 140734389421104 140193573891216 140193661990613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18577] ppid=18569 vsize=13984976 memory=14134433267583532 CPUtime=0 cores=0,2,4,6
/proc/18571/task/18577/stat : 18577 (java) S 18569 18569 17190 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 117703612 14320615424 74627 33554432000 4194304 4196468 140734389421104 140193136216048 140193661991554 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18578] ppid=18569 vsize=13984976 memory=4638805891223803747 CPUtime=0 cores=0,2,4,6
/proc/18571/task/18578/stat : 18578 (java) S 18569 18569 17190 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 117703613 14320615424 74627 33554432000 4194304 4196468 140734389421104 140193135162272 140193661990613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18579] ppid=18569 vsize=13984976 memory=7374760321226335320 CPUtime=0 cores=0,2,4,6
/proc/18571/task/18579/stat : 18579 (java) S 18569 18569 17190 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117703613 14320615424 74627 33554432000 4194304 4196468 140734389421104 140193134109680 140193661990613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18580] ppid=18569 vsize=13984976 memory=6947454883872138840 CPUtime=0 cores=0,2,4,6
/proc/18571/task/18580/stat : 18580 (java) S 18569 18569 17190 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117703615 14320615424 74627 33554432000 4194304 4196468 140734389421104 140193133058256 140193661999003 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18581] ppid=18569 vsize=13984976 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/18571/task/18581/stat : 18581 (java) R 18569 18569 17190 0 -1 4202560 2035 0 0 0 67 0 0 0 20 0 15 0 117703615 14320615424 74627 33554432000 4194304 4196468 140734389421104 140193131995344 140193639575184 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18582] ppid=18569 vsize=13984976 memory=281089772373888 CPUtime=0.71 cores=0,2,4,6
/proc/18571/task/18582/stat : 18582 (java) R 18569 18569 17190 0 -1 4202560 2115 0 0 0 71 0 0 0 20 0 15 0 117703615 14320615424 74627 33554432000 4194304 4196468 140734389421104 140193130942928 140193643524851 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18583] ppid=18569 vsize=13984976 memory=140544886184608 CPUtime=0.5 cores=0,2,4,6
/proc/18571/task/18583/stat : 18583 (java) S 18569 18569 17190 0 -1 1077944384 2364 0 0 0 49 1 0 0 20 0 15 0 117703615 14320615424 74627 33554432000 4194304 4196468 140734389421104 140193129900784 140193661991554 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18584] ppid=18569 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18571/task/18584/stat : 18584 (java) S 18569 18569 17190 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117703615 14320615424 74627 33554432000 4194304 4196468 140734389421104 140193128848480 140193661990613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18585] ppid=18569 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18571/task/18585/stat : 18585 (java) S 18569 18569 17190 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117703616 14320615424 74627 33554432000 4194304 4196468 140734389421104 140193127794992 140193661991554 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
Current children cumulated CPU time: 3.21 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 299892 KiB
[startup+1.30074 s]
/proc/loadavg: 2.46 2.25 2.16 5/218 18585
/proc/meminfo: memFree=31075796/32770624 swapFree=67108860/67108860
[pid=18569] ppid=18566 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/18569/stat : 18569 (xcsp3-exec) S 18566 18569 17190 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 117703610 9740288 346 33554432000 4194304 5098028 140732983591936 140732983590040 139871942357628 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20570112 140732983600238 140732983600443 140732983600443 140732983603179 0
/proc/18569/statm: 2378 346 289 221 0 87 0
[pid=18571] ppid=18569 vsize=13984976 memory=298764 CPUtime=3.48 cores=0,2,4,6
/proc/18571/stat : 18571 (java) S 18569 18569 17190 0 -1 1077944320 14402 0 0 0 332 16 0 0 20 0 15 0 117703610 14320615424 74691 33554432000 4194304 4196468 140734389421104 140734389403648 140193661980407 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
/proc/18571/statm: 3496244 74691 3227 1 0 3483478 0
[pid=18571/tid=18572] ppid=18569 vsize=13984976 memory=1384 CPUtime=1.18 cores=0,2,4,6
/proc/18571/task/18572/stat : 18572 (java) R 18569 18569 17190 0 -1 4202560 6283 0 0 0 114 4 0 0 20 0 15 0 117703610 14320615424 74691 33554432000 4194304 4196468 140734389421104 140193666211664 140193257650998 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18573] ppid=18569 vsize=13984976 memory=5070 CPUtime=0.06 cores=0,2,4,6
/proc/18571/task/18573/stat : 18573 (java) S 18569 18569 17190 0 -1 1077944384 61 0 0 0 4 2 0 0 20 0 15 0 117703611 14320615424 74691 33554432000 4194304 4196468 140734389421104 140193577048848 140193661990613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18574] ppid=18569 vsize=13984976 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/18571/task/18574/stat : 18574 (java) S 18569 18569 17190 0 -1 1077944384 59 0 0 0 4 3 0 0 20 0 15 0 117703611 14320615424 74691 33554432000 4194304 4196468 140734389421104 140193575996304 140193661990613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18575] ppid=18569 vsize=13984976 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/18571/task/18575/stat : 18575 (java) S 18569 18569 17190 0 -1 1077944384 28 0 0 0 1 1 0 0 20 0 15 0 117703611 14320615424 74691 33554432000 4194304 4196468 140734389421104 140193574943760 140193661990613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18576] ppid=18569 vsize=13984976 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/18571/task/18576/stat : 18576 (java) S 18569 18569 17190 0 -1 1077944384 41 0 0 0 2 1 0 0 20 0 15 0 117703611 14320615424 74691 33554432000 4194304 4196468 140734389421104 140193573891216 140193661990613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18577] ppid=18569 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18571/task/18577/stat : 18577 (java) S 18569 18569 17190 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 117703612 14320615424 74691 33554432000 4194304 4196468 140734389421104 140193136216048 140193661991554 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18578] ppid=18569 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18571/task/18578/stat : 18578 (java) S 18569 18569 17190 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 117703613 14320615424 74691 33554432000 4194304 4196468 140734389421104 140193135162272 140193661990613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18579] ppid=18569 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18571/task/18579/stat : 18579 (java) S 18569 18569 17190 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117703613 14320615424 74691 33554432000 4194304 4196468 140734389421104 140193134109680 140193661990613 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18580] ppid=18569 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18571/task/18580/stat : 18580 (java) S 18569 18569 17190 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117703615 14320615424 74691 33554432000 4194304 4196468 140734389421104 140193133058256 140193661999003 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18581] ppid=18569 vsize=13984976 memory=0 CPUtime=0.75 cores=0,2,4,6
/proc/18571/task/18581/stat : 18581 (java) R 18569 18569 17190 0 -1 4202560 2049 0 0 0 75 0 0 0 20 0 15 0 117703615 14320615424 74691 33554432000 4194304 4196468 140734389421104 140193132005872 140193645509996 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18582] ppid=18569 vsize=13984976 memory=281089772151840 CPUtime=0.79 cores=0,2,4,6
/proc/18571/task/18582/stat : 18582 (java) R 18569 18569 17190 0 -1 4202560 2129 0 0 0 79 0 0 0 20 0 15 0 117703615 14320615424 74691 33554432000 4194304 4196468 140734389421104 140193130953328 140193641402848 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18583] ppid=18569 vsize=13984976 memory=0 CPUtime=0.5 cores=0,2,4,6
/proc/18571/task/18583/stat : 18583 (java) R 18569 18569 17190 0 -1 1077944384 2371 0 0 0 49 1 0 0 20 0 15 0 117703615 14320615424 74691 33554432000 4194304 4196468 140734389421104 140193129900784 140193661991554 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18584] ppid=18569 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18571/task/18584/stat : 18584 (java) S 18569 18569 17190 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117703615 14320615424 74691 33554432000 4194304 4196468 140734389421104 140193128848480 140193661990613 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
[pid=18571/tid=18585] ppid=18569 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18571/task/18585/stat : 18585 (java) S 18569 18569 17190 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117703616 14320615424 74691 33554432000 4194304 4196468 140734389421104 140193127794992 140193661991554 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23289856 140734389429399 140734389429575 140734389429575 140734389432271 0
Current children cumulated CPU time: 3.48 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 300148 KiB
Child status: 0
Real time (s): 1.36806
CPU time (s): 3.61315
CPU user time (s): 3.44145
CPU system time (s): 0.171698
CPU usage (%): 264.107
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 300148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.44145
system time used= 0.171698
maximum resident set size= 299748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14973
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1867
involuntary context switches= 22
# summary of solver processes directly reported to runsolver:
# pid: 18569
# total CPU time (s): 3.61315
# total CPU user time (s): 3.44145
# total CPU system time (s): 0.171698
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.039814 second user time and 0.052065 second system time
The end