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 (13971 MiB free)
memory of node 1: 16384 MiB (2775 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270049-1502623759/watcher-4270049-1502623759 -o /tmp/evaluation-result-4270049-1502623759/solver-4270049-1502623759 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node148-1502619919-8346 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 852083515 HOME/instance-4270049-1502623759.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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
Current StackSize limit: 8192 KiB
solver pid=11142, runsolver pid=11139
[startup+0.104339 s]*
/proc/loadavg: 2.05 2.05 1.91 4/218 11158
/proc/meminfo: memFree=17132600/32770624 swapFree=67108860/67108860
[pid=11142] ppid=11139 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/11142/stat : 11142 (xcsp3-exec) S 11139 11142 6338 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 95456935 9740288 346 33554432000 4194304 5098028 140731910240496 140731910238600 140279500014204 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32673792 140731910247541 140731910247744 140731910247744 140731910250475 0
/proc/11142/statm: 2378 346 289 221 0 87 0
[pid=11144] ppid=11142 vsize=13978596 memory=28872 CPUtime=0.13 cores=0,2,4,6
/proc/11144/stat : 11144 (java) S 11142 11142 6338 0 -1 1077944320 5530 0 0 0 12 1 0 0 20 0 15 0 95456935 14314082304 7218 33554432000 4194304 4196468 140732428285248 140732428267792 140693672181495 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
/proc/11144/statm: 3494649 7218 2892 1 0 3482966 0
[pid=11144/tid=11145] ppid=11142 vsize=13978596 memory=8514701219881125282 CPUtime=0.1 cores=0,2,4,6
/proc/11144/task/11145/stat : 11145 (java) R 11142 11142 6338 0 -1 4202560 3462 0 0 0 9 1 0 0 20 0 15 0 95456935 14314082304 7218 33554432000 4194304 4196468 140732428285248 140693676412800 140693672193430 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11146] ppid=11142 vsize=13978596 memory=3472468204623819984 CPUtime=0 cores=0,2,4,6
/proc/11144/task/11146/stat : 11146 (java) S 11142 11142 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95456936 14314082304 7218 33554432000 4194304 4196468 140732428285248 140693602270352 140693672191701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11147] ppid=11142 vsize=13978596 memory=140075728668288 CPUtime=0 cores=0,2,4,6
/proc/11144/task/11147/stat : 11147 (java) S 11142 11142 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95456936 14314082304 7218 33554432000 4194304 4196468 140732428285248 140693601217552 140693672191701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11148] ppid=11142 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11144/task/11148/stat : 11148 (java) S 11142 11142 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95456936 14314082304 7218 33554432000 4194304 4196468 140732428285248 140693265365904 140693672191701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11149] ppid=11142 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11144/task/11149/stat : 11149 (java) S 11142 11142 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95456936 14314082304 7218 33554432000 4194304 4196468 140732428285248 140693264313104 140693672191701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11150] ppid=11142 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11144/task/11150/stat : 11150 (java) S 11142 11142 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95456937 14314082304 7218 33554432000 4194304 4196468 140732428285248 140692785424752 140693672192642 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11151] ppid=11142 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11144/task/11151/stat : 11151 (java) S 11142 11142 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95456938 14314082304 7218 33554432000 4194304 4196468 140732428285248 140692784370720 140693672191701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11152] ppid=11142 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11144/task/11152/stat : 11152 (java) S 11142 11142 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95456938 14314082304 7218 33554432000 4194304 4196468 140732428285248 140692783317872 140693672191701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11153] ppid=11142 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11144/task/11153/stat : 11153 (java) S 11142 11142 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95456940 14314082304 7218 33554432000 4194304 4196468 140732428285248 140692782266192 140693672200091 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11154] ppid=11142 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11144/task/11154/stat : 11154 (java) S 11142 11142 6338 0 -1 1077944384 428 0 0 0 0 0 0 0 20 0 15 0 95456941 14314082304 7218 33554432000 4194304 4196468 140732428285248 140692781214576 140693672192642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11155] ppid=11142 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11144/task/11155/stat : 11155 (java) S 11142 11142 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95456941 14314082304 7218 33554432000 4194304 4196468 140732428285248 140692780161776 140693672192642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11156] ppid=11142 vsize=13978596 memory=140075728668288 CPUtime=0.01 cores=0,2,4,6
/proc/11144/task/11156/stat : 11156 (java) R 11142 11142 6338 0 -1 4202560 333 0 0 0 1 0 0 0 20 0 15 0 95456941 14314082304 7218 33554432000 4194304 4196468 140732428285248 140692779106512 140693672202842 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11157] ppid=11142 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11144/task/11157/stat : 11157 (java) S 11142 11142 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95456941 14314082304 7218 33554432000 4194304 4196468 140732428285248 140692778056416 140693672191701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11158] ppid=11142 vsize=13978596 memory=140075728668288 CPUtime=0 cores=0,2,4,6
/proc/11144/task/11158/stat : 11158 (java) S 11142 11142 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95456941 14314082304 7218 33554432000 4194304 4196468 140732428285248 140692777003696 140693672192642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 30256 KiB
[startup+0.211014 s]*
/proc/loadavg: 2.05 2.05 1.91 4/218 11158
/proc/meminfo: memFree=17121148/32770624 swapFree=67108860/67108860
[pid=11142] ppid=11139 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/11142/stat : 11142 (xcsp3-exec) S 11139 11142 6338 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 95456935 9740288 346 33554432000 4194304 5098028 140731910240496 140731910238600 140279500014204 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32673792 140731910247541 140731910247744 140731910247744 140731910250475 0
/proc/11142/statm: 2378 346 289 221 0 87 0
[pid=11144] ppid=11142 vsize=13982852 memory=40568 CPUtime=0.33 cores=0,2,4,6
/proc/11144/stat : 11144 (java) S 11142 11142 6338 0 -1 1077944320 8118 0 0 0 31 2 0 0 20 0 15 0 95456935 14318440448 10142 33554432000 4194304 4196468 140732428285248 140732428267792 140693672181495 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
/proc/11144/statm: 3495713 10142 3084 1 0 3482966 0
[pid=11144/tid=11145] ppid=11142 vsize=13982852 memory=5855082630820233377 CPUtime=0.19 cores=0,2,4,6
/proc/11144/task/11145/stat : 11145 (java) R 11142 11142 6338 0 -1 4202560 5256 0 0 0 18 1 0 0 20 0 15 0 95456935 14318440448 10142 33554432000 4194304 4196468 140732428285248 140693676403488 140693664859509 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11146] ppid=11142 vsize=13982852 memory=3472468204623819984 CPUtime=0 cores=0,2,4,6
/proc/11144/task/11146/stat : 11146 (java) S 11142 11142 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95456936 14318440448 10142 33554432000 4194304 4196468 140732428285248 140693602270352 140693672191701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11147] ppid=11142 vsize=13982852 memory=140075728668288 CPUtime=0 cores=0,2,4,6
/proc/11144/task/11147/stat : 11147 (java) S 11142 11142 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95456936 14318440448 10142 33554432000 4194304 4196468 140732428285248 140693601217552 140693672191701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11148] ppid=11142 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11144/task/11148/stat : 11148 (java) S 11142 11142 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95456936 14318440448 10142 33554432000 4194304 4196468 140732428285248 140693265365904 140693672191701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11149] ppid=11142 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11144/task/11149/stat : 11149 (java) S 11142 11142 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95456936 14318440448 10142 33554432000 4194304 4196468 140732428285248 140693264313104 140693672191701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11150] ppid=11142 vsize=13982852 memory=140075728668288 CPUtime=0 cores=0,2,4,6
/proc/11144/task/11150/stat : 11150 (java) S 11142 11142 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95456937 14318440448 10142 33554432000 4194304 4196468 140732428285248 140692785424752 140693672192642 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11151] ppid=11142 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11144/task/11151/stat : 11151 (java) S 11142 11142 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95456938 14318440448 10142 33554432000 4194304 4196468 140732428285248 140692784370720 140693672191701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11152] ppid=11142 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11144/task/11152/stat : 11152 (java) S 11142 11142 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95456938 14318440448 10142 33554432000 4194304 4196468 140732428285248 140692783317872 140693672191701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11153] ppid=11142 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11144/task/11153/stat : 11153 (java) S 11142 11142 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95456940 14318440448 10142 33554432000 4194304 4196468 140732428285248 140692782266192 140693672200091 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11154] ppid=11142 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/11144/task/11154/stat : 11154 (java) S 11142 11142 6338 0 -1 1077944384 678 0 0 0 3 0 0 0 20 0 15 0 95456941 14318440448 10142 33554432000 4194304 4196468 140732428285248 140692781214576 140693672192642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11155] ppid=11142 vsize=13982852 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/11144/task/11155/stat : 11155 (java) S 11142 11142 6338 0 -1 1077944384 146 0 0 0 1 0 0 0 20 0 15 0 95456941 14318440448 10142 33554432000 4194304 4196468 140732428285248 140692780161776 140693672192642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11156] ppid=11142 vsize=13982852 memory=140075728668288 CPUtime=0.08 cores=0,2,4,6
/proc/11144/task/11156/stat : 11156 (java) S 11142 11142 6338 0 -1 1077944384 737 0 0 0 8 0 0 0 20 0 15 0 95456941 14318440448 10142 33554432000 4194304 4196468 140732428285248 140692779108976 140693672192642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11157] ppid=11142 vsize=13982884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11144/task/11157/stat : 11157 (java) S 11142 11142 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95456941 14318473216 10142 33554432000 4194304 4196468 140732428285248 140692778056416 140693672191701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11158] ppid=11142 vsize=13982884 memory=140075728668288 CPUtime=0 cores=0,2,4,6
/proc/11144/task/11158/stat : 11158 (java) S 11142 11142 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95456941 14318473216 10142 33554432000 4194304 4196468 140732428285248 140692777003696 140693672192642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41952 KiB
[startup+0.310651 s]*
/proc/loadavg: 2.05 2.05 1.91 5/218 11158
/proc/meminfo: memFree=17114572/32770624 swapFree=67108860/67108860
[pid=11142] ppid=11139 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/11142/stat : 11142 (xcsp3-exec) S 11139 11142 6338 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 95456935 9740288 346 33554432000 4194304 5098028 140731910240496 140731910238600 140279500014204 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32673792 140731910247541 140731910247744 140731910247744 140731910250475 0
/proc/11142/statm: 2378 346 289 221 0 87 0
[pid=11144] ppid=11142 vsize=13982852 memory=47004 CPUtime=0.5 cores=0,2,4,6
/proc/11144/stat : 11144 (java) S 11142 11142 6338 0 -1 1077944320 8939 0 0 0 48 2 0 0 20 0 15 0 95456935 14318440448 11751 33554432000 4194304 4196468 140732428285248 140732428267792 140693672181495 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
/proc/11144/statm: 3495713 11751 3097 1 0 3482966 0
[pid=11144/tid=11145] ppid=11142 vsize=13982852 memory=8514701219880862117 CPUtime=0.29 cores=0,2,4,6
/proc/11144/task/11145/stat : 11145 (java) R 11142 11142 6338 0 -1 4202560 5927 0 0 0 27 2 0 0 20 0 15 0 95456935 14318440448 11751 33554432000 4194304 4196468 140732428285248 140693676420080 140693672193430 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11146] ppid=11142 vsize=13982852 memory=3472468204623819984 CPUtime=0 cores=0,2,4,6
/proc/11144/task/11146/stat : 11146 (java) S 11142 11142 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95456936 14318440448 11751 33554432000 4194304 4196468 140732428285248 140693602270352 140693672191701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11147] ppid=11142 vsize=13982852 memory=140075728668288 CPUtime=0 cores=0,2,4,6
/proc/11144/task/11147/stat : 11147 (java) S 11142 11142 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95456936 14318440448 11751 33554432000 4194304 4196468 140732428285248 140693601217552 140693672191701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11148] ppid=11142 vsize=13982852 memory=8 CPUtime=0 cores=0,2,4,6
/proc/11144/task/11148/stat : 11148 (java) S 11142 11142 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95456936 14318440448 11751 33554432000 4194304 4196468 140732428285248 140693265365904 140693672191701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11149] ppid=11142 vsize=13982852 memory=140075593771039 CPUtime=0 cores=0,2,4,6
/proc/11144/task/11149/stat : 11149 (java) S 11142 11142 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95456936 14318440448 11751 33554432000 4194304 4196468 140732428285248 140693264313104 140693672191701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11150] ppid=11142 vsize=13982852 memory=280151187521312 CPUtime=0 cores=0,2,4,6
/proc/11144/task/11150/stat : 11150 (java) S 11142 11142 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95456937 14318440448 11751 33554432000 4194304 4196468 140732428285248 140692785424752 140693672192642 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11151] ppid=11142 vsize=13982852 memory=140075593747983 CPUtime=0 cores=0,2,4,6
/proc/11144/task/11151/stat : 11151 (java) S 11142 11142 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95456938 14318440448 11751 33554432000 4194304 4196468 140732428285248 140692784370720 140693672191701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11152] ppid=11142 vsize=13982852 memory=280151322425440 CPUtime=0 cores=0,2,4,6
/proc/11144/task/11152/stat : 11152 (java) S 11142 11142 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95456938 14318440448 11751 33554432000 4194304 4196468 140732428285248 140692783317872 140693672191701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11153] ppid=11142 vsize=13982852 memory=140075593752591 CPUtime=0 cores=0,2,4,6
/proc/11144/task/11153/stat : 11153 (java) S 11142 11142 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95456940 14318440448 11751 33554432000 4194304 4196468 140732428285248 140692782266192 140693672200091 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11154] ppid=11142 vsize=13982852 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/11144/task/11154/stat : 11154 (java) S 11142 11142 6338 0 -1 1077944384 703 0 0 0 4 0 0 0 20 0 15 0 95456941 14318440448 11751 33554432000 4194304 4196468 140732428285248 140692781214576 140693672192642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11155] ppid=11142 vsize=13982852 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/11144/task/11155/stat : 11155 (java) R 11142 11142 6338 0 -1 1077944384 172 0 0 0 2 0 0 0 20 0 15 0 95456941 14318440448 11751 33554432000 4194304 4196468 140732428285248 140692780161776 140693672192642 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11156] ppid=11142 vsize=13982852 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/11144/task/11156/stat : 11156 (java) R 11142 11142 6338 0 -1 4202560 833 0 0 0 12 0 0 0 20 0 15 0 95456941 14318440448 11751 33554432000 4194304 4196468 140732428285248 140692779106640 140693650366117 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11157] ppid=11142 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11144/task/11157/stat : 11157 (java) S 11142 11142 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95456941 14318440448 11751 33554432000 4194304 4196468 140732428285248 140692778056416 140693672191701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11158] ppid=11142 vsize=13982852 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/11144/task/11158/stat : 11158 (java) S 11142 11142 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95456941 14318440448 11751 33554432000 4194304 4196468 140732428285248 140692777003696 140693672192642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48388 KiB
[startup+0.701655 s]
/proc/loadavg: 2.05 2.05 1.91 6/218 11158
/proc/meminfo: memFree=17093668/32770624 swapFree=67108860/67108860
[pid=11142] ppid=11139 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/11142/stat : 11142 (xcsp3-exec) S 11139 11142 6338 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 95456935 9740288 346 33554432000 4194304 5098028 140731910240496 140731910238600 140279500014204 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32673792 140731910247541 140731910247744 140731910247744 140731910250475 0
/proc/11142/statm: 2378 346 289 221 0 87 0
[pid=11144] ppid=11142 vsize=13984976 memory=282420 CPUtime=1.75 cores=0,2,4,6
/proc/11144/stat : 11144 (java) S 11142 11142 6338 0 -1 1077944320 12211 0 0 0 157 18 0 0 20 0 15 0 95456935 14320615424 70605 33554432000 4194304 4196468 140732428285248 140732428267792 140693672181495 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
/proc/11144/statm: 3496244 70605 3191 1 0 3483478 0
[pid=11144/tid=11145] ppid=11142 vsize=13984976 memory=5795117241467496816 CPUtime=0.59 cores=0,2,4,6
/proc/11144/task/11145/stat : 11145 (java) S 11142 11142 6338 0 -1 1077944384 6456 0 0 0 55 4 0 0 20 0 15 0 95456935 14320615424 70605 33554432000 4194304 4196468 140732428285248 140693676418528 140693672191701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11146] ppid=11142 vsize=13984976 memory=5795117241467496816 CPUtime=0.07 cores=0,2,4,6
/proc/11144/task/11146/stat : 11146 (java) R 11142 11142 6338 0 -1 4202560 61 0 0 0 4 3 0 0 20 0 15 0 95456936 14320615424 70605 33554432000 4194304 4196468 140732428285248 140693602267872 140693657208914 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11147] ppid=11142 vsize=13984976 memory=7588935152971044181 CPUtime=0.07 cores=0,2,4,6
/proc/11144/task/11147/stat : 11147 (java) R 11142 11142 6338 0 -1 4202560 65 0 0 0 4 3 0 0 20 0 15 0 95456936 14320615424 70605 33554432000 4194304 4196468 140732428285248 140693601215352 140693665278236 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11148] ppid=11142 vsize=13984976 memory=8041645962788481611 CPUtime=0.05 cores=0,2,4,6
/proc/11144/task/11148/stat : 11148 (java) R 11142 11142 6338 0 -1 4202560 43 0 0 0 3 2 0 0 20 0 15 0 95456936 14320615424 70605 33554432000 4194304 4196468 140732428285248 140693265365904 140693657209741 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11149] ppid=11142 vsize=13984976 memory=8326441112149131693 CPUtime=0.07 cores=0,2,4,6
/proc/11144/task/11149/stat : 11149 (java) R 11142 11142 6338 0 -1 4202560 56 0 0 0 4 3 0 0 20 0 15 0 95456936 14320615424 70605 33554432000 4194304 4196468 140732428285248 140693264313304 140693657203616 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11150] ppid=11142 vsize=13984976 memory=6944656591801717918 CPUtime=0 cores=0,2,4,6
/proc/11144/task/11150/stat : 11150 (java) S 11142 11142 6338 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 95456937 14320615424 70605 33554432000 4194304 4196468 140732428285248 140692785423264 140693672191701 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11151] ppid=11142 vsize=13984976 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/11144/task/11151/stat : 11151 (java) S 11142 11142 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95456938 14320615424 70605 33554432000 4194304 4196468 140732428285248 140692784370720 140693672191701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11152] ppid=11142 vsize=13984976 memory=6884 CPUtime=0 cores=0,2,4,6
/proc/11144/task/11152/stat : 11152 (java) S 11142 11142 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95456938 14320615424 70605 33554432000 4194304 4196468 140732428285248 140692783317872 140693672191701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11153] ppid=11142 vsize=13984976 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/11144/task/11153/stat : 11153 (java) S 11142 11142 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95456940 14320615424 70605 33554432000 4194304 4196468 140732428285248 140692782266192 140693672200091 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11154] ppid=11142 vsize=13984976 memory=28080 CPUtime=0.23 cores=0,2,4,6
/proc/11144/task/11154/stat : 11154 (java) S 11142 11142 6338 0 -1 1077944384 1516 0 0 0 23 0 0 0 20 0 15 0 95456941 14320615424 70605 33554432000 4194304 4196468 140732428285248 140692781207312 140693672191701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11155] ppid=11142 vsize=13984976 memory=2428 CPUtime=0.26 cores=0,2,4,6
/proc/11144/task/11155/stat : 11155 (java) S 11142 11142 6338 0 -1 1077944384 1011 0 0 0 26 0 0 0 20 0 15 0 95456941 14320615424 70605 33554432000 4194304 4196468 140732428285248 140692780146768 140693672191701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11156] ppid=11142 vsize=13984976 memory=1292 CPUtime=0.36 cores=0,2,4,6
/proc/11144/task/11156/stat : 11156 (java) S 11142 11142 6338 0 -1 1077944384 1694 0 0 0 36 0 0 0 20 0 15 0 95456941 14320615424 70605 33554432000 4194304 4196468 140732428285248 140692779104848 140693672191701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11157] ppid=11142 vsize=13984976 memory=7091832833820811856 CPUtime=0 cores=0,2,4,6
/proc/11144/task/11157/stat : 11157 (java) S 11142 11142 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95456941 14320615424 70605 33554432000 4194304 4196468 140732428285248 140692778056416 140693672191701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11158] ppid=11142 vsize=13984976 memory=7453282923511834215 CPUtime=0 cores=0,2,4,6
/proc/11144/task/11158/stat : 11158 (java) S 11142 11142 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95456941 14320615424 70605 33554432000 4194304 4196468 140732428285248 140692777003696 140693672192642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
Current children cumulated CPU time: 1.75 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 283804 KiB
[startup+1.08744 s]
# the end of solver process 11142 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2.72312 s, system=0.206349 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800975 s]
/proc/loadavg: 2.05 2.05 1.91 6/218 11158
/proc/meminfo: memFree=17093668/32770624 swapFree=67108860/67108860
[pid=11142] ppid=11139 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/11142/stat : 11142 (xcsp3-exec) S 11139 11142 6338 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 95456935 9740288 346 33554432000 4194304 5098028 140731910240496 140731910238600 140279500014204 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32673792 140731910247541 140731910247744 140731910247744 140731910250475 0
/proc/11142/statm: 2378 346 289 221 0 87 0
[pid=11144] ppid=11142 vsize=13984976 memory=288044 CPUtime=2.04 cores=0,2,4,6
/proc/11144/stat : 11144 (java) S 11142 11142 6338 0 -1 1077944320 12704 0 0 0 185 19 0 0 20 0 15 0 95456935 14320615424 72011 33554432000 4194304 4196468 140732428285248 140732428267792 140693672181495 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
/proc/11144/statm: 3496244 72011 3212 1 0 3483478 0
[pid=11144/tid=11145] ppid=11142 vsize=13984976 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/11144/task/11145/stat : 11145 (java) R 11142 11142 6338 0 -1 4202560 6711 0 0 0 64 4 0 0 20 0 15 0 95456935 14320615424 72011 33554432000 4194304 4196468 140732428285248 140693676420176 140693672193430 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11146] ppid=11142 vsize=13984976 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11144/task/11146/stat : 11146 (java) S 11142 11142 6338 0 -1 1077944384 62 0 0 0 4 3 0 0 20 0 15 0 95456936 14320615424 72011 33554432000 4194304 4196468 140732428285248 140693602270352 140693672191701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11147] ppid=11142 vsize=13984976 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11144/task/11147/stat : 11147 (java) S 11142 11142 6338 0 -1 1077944384 66 0 0 0 4 3 0 0 20 0 15 0 95456936 14320615424 72011 33554432000 4194304 4196468 140732428285248 140693601217552 140693672191701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11148] ppid=11142 vsize=13984976 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/11144/task/11148/stat : 11148 (java) S 11142 11142 6338 0 -1 1077944384 44 0 0 0 3 3 0 0 20 0 15 0 95456936 14320615424 72011 33554432000 4194304 4196468 140732428285248 140693265365904 140693672191701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11149] ppid=11142 vsize=13984976 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11144/task/11149/stat : 11149 (java) S 11142 11142 6338 0 -1 1077944384 57 0 0 0 4 3 0 0 20 0 15 0 95456936 14320615424 72011 33554432000 4194304 4196468 140732428285248 140693264313104 140693672191701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11150] ppid=11142 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11144/task/11150/stat : 11150 (java) S 11142 11142 6338 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 95456937 14320615424 72011 33554432000 4194304 4196468 140732428285248 140692785424752 140693672192642 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11151] ppid=11142 vsize=13984976 memory=280151187259632 CPUtime=0 cores=0,2,4,6
/proc/11144/task/11151/stat : 11151 (java) S 11142 11142 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95456938 14320615424 72011 33554432000 4194304 4196468 140732428285248 140692784370720 140693672191701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11152] ppid=11142 vsize=13984976 memory=280151187579984 CPUtime=0 cores=0,2,4,6
/proc/11144/task/11152/stat : 11152 (java) S 11142 11142 6338 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 95456938 14320615424 72011 33554432000 4194304 4196468 140732428285248 140692783317872 140693672191701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11153] ppid=11142 vsize=13984976 memory=280151187338896 CPUtime=0 cores=0,2,4,6
/proc/11144/task/11153/stat : 11153 (java) S 11142 11142 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95456940 14320615424 72011 33554432000 4194304 4196468 140732428285248 140692782266192 140693672200091 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11154] ppid=11142 vsize=13984976 memory=2110426201049268 CPUtime=0.29 cores=0,2,4,6
/proc/11144/task/11154/stat : 11154 (java) R 11142 11142 6338 0 -1 4202560 1534 0 0 0 29 0 0 0 20 0 15 0 95456941 14320615424 72011 33554432000 4194304 4196468 140732428285248 140692781203984 140693656570887 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11155] ppid=11142 vsize=13984976 memory=70 CPUtime=0.34 cores=0,2,4,6
/proc/11144/task/11155/stat : 11155 (java) R 11142 11142 6338 0 -1 4202560 1039 0 0 0 34 0 0 0 20 0 15 0 95456941 14320615424 72011 33554432000 4194304 4196468 140732428285248 140692780137760 140693649776932 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11156] ppid=11142 vsize=13984976 memory=3 CPUtime=0.41 cores=0,2,4,6
/proc/11144/task/11156/stat : 11156 (java) R 11142 11142 6338 0 -1 1077944384 1809 0 0 0 41 0 0 0 20 0 15 0 95456941 14320615424 72011 33554432000 4194304 4196468 140732428285248 140692779108976 140693672192642 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11157] ppid=11142 vsize=13984976 memory=5947 CPUtime=0 cores=0,2,4,6
/proc/11144/task/11157/stat : 11157 (java) S 11142 11142 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95456941 14320615424 72011 33554432000 4194304 4196468 140732428285248 140692778056416 140693672191701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11158] ppid=11142 vsize=13984976 memory=288 CPUtime=0 cores=0,2,4,6
/proc/11144/task/11158/stat : 11158 (java) S 11142 11142 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95456941 14320615424 72011 33554432000 4194304 4196468 140732428285248 140692777003696 140693672192642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
Current children cumulated CPU time: 2.04 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 289428 KiB
[startup+1.001 s]*
/proc/loadavg: 2.05 2.05 1.91 5/218 11158
/proc/meminfo: memFree=16870752/32770624 swapFree=67108860/67108860
[pid=11142] ppid=11139 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/11142/stat : 11142 (xcsp3-exec) S 11139 11142 6338 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 95456935 9740288 346 33554432000 4194304 5098028 140731910240496 140731910238600 140279500014204 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32673792 140731910247541 140731910247744 140731910247744 140731910250475 0
/proc/11142/statm: 2378 346 289 221 0 87 0
[pid=11144] ppid=11142 vsize=13984976 memory=290980 CPUtime=2.7 cores=0,2,4,6
/proc/11144/stat : 11144 (java) S 11142 11142 6338 0 -1 1077944320 13568 0 0 0 251 19 0 0 20 0 15 0 95456935 14320615424 72745 33554432000 4194304 4196468 140732428285248 140732428267792 140693672181495 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
/proc/11144/statm: 3496244 72745 3227 1 0 3483478 0
[pid=11144/tid=11145] ppid=11142 vsize=13984976 memory=5855082630820233377 CPUtime=0.89 cores=0,2,4,6
/proc/11144/task/11145/stat : 11145 (java) R 11142 11142 6338 0 -1 4202560 6723 0 0 0 85 4 0 0 20 0 15 0 95456935 14320615424 72745 33554432000 4194304 4196468 140732428285248 140693676412752 140693285650249 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11146] ppid=11142 vsize=13984976 memory=3472468204623819984 CPUtime=0.07 cores=0,2,4,6
/proc/11144/task/11146/stat : 11146 (java) S 11142 11142 6338 0 -1 1077944384 62 0 0 0 4 3 0 0 20 0 15 0 95456936 14320615424 72745 33554432000 4194304 4196468 140732428285248 140693602270352 140693672191701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11147] ppid=11142 vsize=13984976 memory=3472468204623819970 CPUtime=0.07 cores=0,2,4,6
/proc/11144/task/11147/stat : 11147 (java) S 11142 11142 6338 0 -1 1077944384 66 0 0 0 4 3 0 0 20 0 15 0 95456936 14320615424 72745 33554432000 4194304 4196468 140732428285248 140693601217552 140693672191701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11148] ppid=11142 vsize=13984976 memory=-6944390654727184216 CPUtime=0.06 cores=0,2,4,6
/proc/11144/task/11148/stat : 11148 (java) S 11142 11142 6338 0 -1 1077944384 44 0 0 0 3 3 0 0 20 0 15 0 95456936 14320615424 72745 33554432000 4194304 4196468 140732428285248 140693265365904 140693672191701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11149] ppid=11142 vsize=13984976 memory=6943526294502006880 CPUtime=0.07 cores=0,2,4,6
/proc/11144/task/11149/stat : 11149 (java) S 11142 11142 6338 0 -1 1077944384 57 0 0 0 4 3 0 0 20 0 15 0 95456936 14320615424 72745 33554432000 4194304 4196468 140732428285248 140693264313104 140693672191701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11150] ppid=11142 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11144/task/11150/stat : 11150 (java) S 11142 11142 6338 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 95456937 14320615424 72745 33554432000 4194304 4196468 140732428285248 140692785424752 140693672192642 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11151] ppid=11142 vsize=13984976 memory=7809070665841994859 CPUtime=0 cores=0,2,4,6
/proc/11144/task/11151/stat : 11151 (java) S 11142 11142 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95456938 14320615424 72745 33554432000 4194304 4196468 140732428285248 140692784370720 140693672191701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11152] ppid=11142 vsize=13984976 memory=6944613755445342871 CPUtime=0 cores=0,2,4,6
/proc/11144/task/11152/stat : 11152 (java) S 11142 11142 6338 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 95456938 14320615424 72745 33554432000 4194304 4196468 140732428285248 140692783317872 140693672191701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11153] ppid=11142 vsize=13984976 memory=6944656425123290226 CPUtime=0 cores=0,2,4,6
/proc/11144/task/11153/stat : 11153 (java) S 11142 11142 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95456940 14320615424 72745 33554432000 4194304 4196468 140732428285248 140692782266192 140693672200091 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11154] ppid=11142 vsize=13984976 memory=0 CPUtime=0.48 cores=0,2,4,6
/proc/11144/task/11154/stat : 11154 (java) R 11142 11142 6338 0 -1 4202560 1765 0 0 0 48 0 0 0 20 0 15 0 95456941 14320615424 72745 33554432000 4194304 4196468 140732428285248 140692781202688 140693652882999 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11155] ppid=11142 vsize=13984976 memory=3760558676674359343 CPUtime=0.53 cores=0,2,4,6
/proc/11144/task/11155/stat : 11155 (java) R 11142 11142 6338 0 -1 4202560 1361 0 0 0 53 0 0 0 20 0 15 0 95456941 14320615424 72745 33554432000 4194304 4196468 140732428285248 140692780152368 140693657289119 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11156] ppid=11142 vsize=13984976 memory=280151322298104 CPUtime=0.47 cores=0,2,4,6
/proc/11144/task/11156/stat : 11156 (java) R 11142 11142 6338 0 -1 1077944384 2108 0 0 0 47 0 0 0 20 0 15 0 95456941 14320615424 72745 33554432000 4194304 4196468 140732428285248 140692779108976 140693672192642 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11157] ppid=11142 vsize=13984976 memory=2340757176757 CPUtime=0 cores=0,2,4,6
/proc/11144/task/11157/stat : 11157 (java) S 11142 11142 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95456941 14320615424 72745 33554432000 4194304 4196468 140732428285248 140692778056416 140693672191701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
[pid=11144/tid=11158] ppid=11142 vsize=13984976 memory=7525172850128294064 CPUtime=0 cores=0,2,4,6
/proc/11144/task/11158/stat : 11158 (java) S 11142 11142 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95456941 14320615424 72745 33554432000 4194304 4196468 140732428285248 140692777003696 140693672192642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8867840 140732428293277 140732428293452 140732428293452 140732428296143 0
Current children cumulated CPU time: 2.7 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 292364 KiB
Child status: 0
Real time (s): 1.08749
CPU time (s): 2.92947
CPU user time (s): 2.72312
CPU system time (s): 0.206349
CPU usage (%): 269.378
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 292364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.72312
system time used= 0.206349
maximum resident set size= 296072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15070
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= 1800
involuntary context switches= 17
# summary of solver processes directly reported to runsolver:
# pid: 11142
# total CPU time (s): 2.92947
# total CPU user time (s): 2.72312
# total CPU system time (s): 0.206349
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.037969 second user time and 0.053789 second system time
The end