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 (13817 MiB free)
memory of node 1: 16384 MiB (15345 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272599-1502768785/watcher-4272599-1502768785 -o /tmp/evaluation-result-4272599-1502768785/solver-4272599-1502768785 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502662595-11629 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1705235670 HOME/instance-4272599-1502768785.xml
running on 4 cores: 1,3,5,7
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
Current StackSize limit: 8192 KiB
solver pid=32227, runsolver pid=32224
[startup+0.100242 s]*
/proc/loadavg: 1.71 1.64 1.67 2/206 32237
/proc/meminfo: memFree=29852564/32770624 swapFree=67108860/67108860
[pid=32227] ppid=32224 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/32227/stat : 32227 (xcsp3-exec) S 32224 32227 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 79099110 9740288 345 18446744073709551615 4194304 5098028 140730181660016 140730181658120 140289408950908 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 39178240 140730181665144 140730181665349 140730181665349 140730181668843 0
/proc/32227/statm: 2378 345 289 221 0 87 0
[pid=32229] ppid=32227 vsize=13840740 memory=19920 CPUtime=0.04 cores=1,3,5,7
/proc/32229/stat : 32229 (java) S 32227 32227 897 0 -1 1077944320 4382 0 0 0 3 1 0 0 20 0 13 0 79099115 14172917760 4980 18446744073709551615 4194304 4196468 140734965248672 140734965231216 139843913662199 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
/proc/32229/statm: 3460185 4980 2380 1 0 3449682 0
[pid=32229/tid=32230] ppid=32227 vsize=13840740 memory=7311146985107750967 CPUtime=0.04 cores=1,3,5,7
/proc/32229/task/32230/stat : 32230 (java) R 32227 32227 897 0 -1 4202560 2778 0 0 0 3 1 0 0 20 0 13 0 79099116 14172917760 4980 18446744073709551615 4194304 4196468 140734965248672 139843917898008 139843897742686 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32231] ppid=32227 vsize=13840740 memory=12619 CPUtime=0 cores=1,3,5,7
/proc/32229/task/32231/stat : 32231 (java) S 32227 32227 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 79099116 14172917760 4980 18446744073709551615 4194304 4196468 140734965248672 139843870628368 139843913672405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32232] ppid=32227 vsize=13840740 memory=140179521878498 CPUtime=0 cores=1,3,5,7
/proc/32229/task/32232/stat : 32232 (java) S 32227 32227 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 79099116 14172917760 4980 18446744073709551615 4194304 4196468 140734965248672 139843869575824 139843913672405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32233] ppid=32227 vsize=13840740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32229/task/32233/stat : 32233 (java) S 32227 32227 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 79099116 14172917760 4980 18446744073709551615 4194304 4196468 140734965248672 139843868522768 139843913672405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32234] ppid=32227 vsize=13840740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32229/task/32234/stat : 32234 (java) S 32227 32227 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 79099116 14172917760 4980 18446744073709551615 4194304 4196468 140734965248672 139843510397328 139843913672405 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32235] ppid=32227 vsize=13840740 memory=140179521848960 CPUtime=0 cores=1,3,5,7
/proc/32229/task/32235/stat : 32235 (java) S 32227 32227 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 79099118 14172917760 4980 18446744073709551615 4194304 4196468 140734965248672 139843391691504 139843913673346 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32236] ppid=32227 vsize=13840740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32229/task/32236/stat : 32236 (java) S 32227 32227 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 13 0 79099118 14172917760 4980 18446744073709551615 4194304 4196468 140734965248672 139843390637728 139843913672405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32237] ppid=32227 vsize=13840740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32229/task/32237/stat : 32237 (java) S 32227 32227 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 13 0 79099118 14172917760 4980 18446744073709551615 4194304 4196468 140734965248672 139843389584624 139843913672405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32238] ppid=32227 vsize=13840740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32229/task/32238/stat : 32238 (java) S 32227 32227 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 79099121 14172917760 4980 18446744073709551615 4194304 4196468 140734965248672 139843388533200 139843913680795 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32239] ppid=32227 vsize=13840740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32229/task/32239/stat : 32239 (java) R 32227 32227 897 0 -1 4202560 275 0 0 0 0 0 0 0 20 0 13 0 79099121 14172917760 4980 18446744073709551615 4194304 4196468 140734965248672 139843387467256 139843894298211 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32240] ppid=32227 vsize=13840740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32229/task/32240/stat : 32240 (java) S 32227 32227 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 79099121 14172917760 4980 18446744073709551615 4194304 4196468 140734965248672 139843386427456 139843913672405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32241] ppid=32227 vsize=13840740 memory=140179521848960 CPUtime=0 cores=1,3,5,7
/proc/32229/task/32241/stat : 32241 (java) S 32227 32227 897 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 13 0 79099121 14172917760 4980 18446744073709551615 4194304 4196468 140734965248672 139843385374704 139843913673346 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 13850252 KiB
Current children cumulated memory: 21300 KiB
[startup+0.211122 s]*
/proc/loadavg: 1.71 1.64 1.67 3/212 32243
/proc/meminfo: memFree=29845520/32770624 swapFree=67108860/67108860
[pid=32227] ppid=32224 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/32227/stat : 32227 (xcsp3-exec) S 32224 32227 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 79099110 9740288 345 18446744073709551615 4194304 5098028 140730181660016 140730181658120 140289408950908 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 39178240 140730181665144 140730181665349 140730181665349 140730181668843 0
/proc/32227/statm: 2378 345 289 221 0 87 0
[pid=32229] ppid=32227 vsize=13974352 memory=30648 CPUtime=0.17 cores=1,3,5,7
/proc/32229/stat : 32229 (java) S 32227 32227 897 0 -1 1077944320 6141 0 0 0 15 2 0 0 20 0 15 0 79099115 14309736448 7662 18446744073709551615 4194304 4196468 140734965248672 140734965231216 139843913662199 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
/proc/32229/statm: 3493588 7662 2961 1 0 3482964 0
[pid=32229/tid=32230] ppid=32227 vsize=13974352 memory=7311146985107750967 CPUtime=0.11 cores=1,3,5,7
/proc/32229/task/32230/stat : 32230 (java) R 32227 32227 897 0 -1 4202560 3447 0 0 0 10 1 0 0 20 0 15 0 79099116 14309736448 7662 18446744073709551615 4194304 4196468 140734965248672 139843917891720 139843897742686 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32231] ppid=32227 vsize=13974352 memory=12619 CPUtime=0 cores=1,3,5,7
/proc/32229/task/32231/stat : 32231 (java) S 32227 32227 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79099116 14309736448 7662 18446744073709551615 4194304 4196468 140734965248672 139843870628368 139843913672405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32232] ppid=32227 vsize=13974352 memory=140179521878498 CPUtime=0 cores=1,3,5,7
/proc/32229/task/32232/stat : 32232 (java) S 32227 32227 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79099116 14309736448 7662 18446744073709551615 4194304 4196468 140734965248672 139843869575824 139843913672405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32233] ppid=32227 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32229/task/32233/stat : 32233 (java) S 32227 32227 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79099116 14309736448 7662 18446744073709551615 4194304 4196468 140734965248672 139843868522768 139843913672405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32234] ppid=32227 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32229/task/32234/stat : 32234 (java) S 32227 32227 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 79099116 14309736448 7662 18446744073709551615 4194304 4196468 140734965248672 139843510397328 139843913672405 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32235] ppid=32227 vsize=13974352 memory=140179521848960 CPUtime=0 cores=1,3,5,7
/proc/32229/task/32235/stat : 32235 (java) S 32227 32227 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 79099118 14309736448 7728 18446744073709551615 4194304 4196468 140734965248672 139843391691504 139843913673346 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32236] ppid=32227 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32229/task/32236/stat : 32236 (java) S 32227 32227 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 79099118 14309736448 7728 18446744073709551615 4194304 4196468 140734965248672 139843390637728 139843913672405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32237] ppid=32227 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32229/task/32237/stat : 32237 (java) S 32227 32227 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 79099118 14309736448 7728 18446744073709551615 4194304 4196468 140734965248672 139843389584624 139843913672405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32238] ppid=32227 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32229/task/32238/stat : 32238 (java) S 32227 32227 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79099121 14309736448 7728 18446744073709551615 4194304 4196468 140734965248672 139843388533200 139843913680795 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32239] ppid=32227 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/32229/task/32239/stat : 32239 (java) R 32227 32227 897 0 -1 4202560 545 0 0 0 1 0 0 0 20 0 15 0 79099121 14309736448 7728 18446744073709551615 4194304 4196468 140734965248672 139843387461320 139843894362496 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32240] ppid=32227 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32229/task/32240/stat : 32240 (java) S 32227 32227 897 0 -1 1077944384 184 0 0 0 0 0 0 0 20 0 15 0 79099121 14309736448 7728 18446744073709551615 4194304 4196468 140734965248672 139843386427760 139843913673346 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32241] ppid=32227 vsize=13974352 memory=140179521848960 CPUtime=0.03 cores=1,3,5,7
/proc/32229/task/32241/stat : 32241 (java) R 32227 32227 897 0 -1 4202560 697 0 0 0 3 0 0 0 20 0 15 0 79099121 14309736448 7728 18446744073709551615 4194304 4196468 140734965248672 139843385370616 139843898188559 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32242] ppid=32227 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32229/task/32242/stat : 32242 (java) S 32227 32227 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79099121 14309736448 7728 18446744073709551615 4194304 4196468 140734965248672 139843384322400 139843913672405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32243] ppid=32227 vsize=13974352 memory=140179521848960 CPUtime=0 cores=1,3,5,7
/proc/32229/task/32243/stat : 32243 (java) S 32227 32227 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79099125 14309736448 7728 18446744073709551615 4194304 4196468 140734965248672 139843383270448 139843913673346 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 32028 KiB
[startup+0.310322 s]*
/proc/loadavg: 1.71 1.64 1.67 4/212 32243
/proc/meminfo: memFree=29833048/32770624 swapFree=67108860/67108860
[pid=32227] ppid=32224 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/32227/stat : 32227 (xcsp3-exec) S 32224 32227 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 79099110 9740288 345 18446744073709551615 4194304 5098028 140730181660016 140730181658120 140289408950908 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 39178240 140730181665144 140730181665349 140730181665349 140730181668843 0
/proc/32227/statm: 2378 345 289 221 0 87 0
[pid=32229] ppid=32227 vsize=13978608 memory=40436 CPUtime=0.35 cores=1,3,5,7
/proc/32229/stat : 32229 (java) S 32227 32227 897 0 -1 1077944320 9806 0 0 0 32 3 0 0 20 0 15 0 79099115 14314094592 10109 18446744073709551615 4194304 4196468 140734965248672 140734965231216 139843913662199 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
/proc/32229/statm: 3494652 10109 3045 1 0 3482964 0
[pid=32229/tid=32230] ppid=32227 vsize=13978608 memory=-8774313645642428999 CPUtime=0.2 cores=1,3,5,7
/proc/32229/task/32230/stat : 32230 (java) R 32227 32227 897 0 -1 4202560 6892 0 0 0 18 2 0 0 20 0 15 0 79099116 14314094592 10109 18446744073709551615 4194304 4196468 140734965248672 139843917864000 139843897742686 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32231] ppid=32227 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32229/task/32231/stat : 32231 (java) S 32227 32227 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79099116 14314094592 10109 18446744073709551615 4194304 4196468 140734965248672 139843870628368 139843913672405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32232] ppid=32227 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32229/task/32232/stat : 32232 (java) S 32227 32227 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79099116 14314094592 10109 18446744073709551615 4194304 4196468 140734965248672 139843869575824 139843913672405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32233] ppid=32227 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32229/task/32233/stat : 32233 (java) S 32227 32227 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79099116 14314094592 10109 18446744073709551615 4194304 4196468 140734965248672 139843868522768 139843913672405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32234] ppid=32227 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32229/task/32234/stat : 32234 (java) S 32227 32227 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 79099116 14314094592 10109 18446744073709551615 4194304 4196468 140734965248672 139843510397328 139843913672405 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32235] ppid=32227 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32229/task/32235/stat : 32235 (java) S 32227 32227 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 79099118 14314094592 10109 18446744073709551615 4194304 4196468 140734965248672 139843391691504 139843913673346 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32236] ppid=32227 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32229/task/32236/stat : 32236 (java) S 32227 32227 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 79099118 14314094592 10109 18446744073709551615 4194304 4196468 140734965248672 139843390637728 139843913672405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32237] ppid=32227 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32229/task/32237/stat : 32237 (java) S 32227 32227 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 79099118 14314094592 10109 18446744073709551615 4194304 4196468 140734965248672 139843389584624 139843913672405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32238] ppid=32227 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32229/task/32238/stat : 32238 (java) S 32227 32227 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79099121 14314094592 10109 18446744073709551615 4194304 4196468 140734965248672 139843388533200 139843913680795 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32239] ppid=32227 vsize=13978608 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/32229/task/32239/stat : 32239 (java) S 32227 32227 897 0 -1 1077944384 565 0 0 0 2 0 0 0 20 0 15 0 79099121 14314094592 10109 18446744073709551615 4194304 4196468 140734965248672 139843387480304 139843913673346 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32240] ppid=32227 vsize=13978608 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/32229/task/32240/stat : 32240 (java) S 32227 32227 897 0 -1 1077944384 287 0 0 0 2 0 0 0 20 0 15 0 79099121 14314094592 10109 18446744073709551615 4194304 4196468 140734965248672 139843386427760 139843913673346 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32241] ppid=32227 vsize=13978608 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32229/task/32241/stat : 32241 (java) R 32227 32227 897 0 -1 4202560 760 0 0 0 8 0 0 0 20 0 15 0 79099121 14314094592 10109 18446744073709551615 4194304 4196468 140734965248672 139843385374704 139843892267102 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32242] ppid=32227 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32229/task/32242/stat : 32242 (java) S 32227 32227 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79099121 14314094592 10109 18446744073709551615 4194304 4196468 140734965248672 139843384322400 139843913672405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32243] ppid=32227 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32229/task/32243/stat : 32243 (java) S 32227 32227 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79099125 14314094592 10109 18446744073709551615 4194304 4196468 140734965248672 139843383270448 139843913673346 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 41816 KiB
[startup+0.702246 s]
/proc/loadavg: 1.71 1.64 1.67 5/212 32243
/proc/meminfo: memFree=29814100/32770624 swapFree=67108860/67108860
[pid=32227] ppid=32224 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/32227/stat : 32227 (xcsp3-exec) S 32224 32227 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 79099110 9740288 345 18446744073709551615 4194304 5098028 140730181660016 140730181658120 140289408950908 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 39178240 140730181665144 140730181665349 140730181665349 140730181668843 0
/proc/32227/statm: 2378 345 289 221 0 87 0
[pid=32229] ppid=32227 vsize=13978684 memory=86424 CPUtime=1.49 cores=1,3,5,7
/proc/32229/stat : 32229 (java) S 32227 32227 897 0 -1 1077944320 13701 0 0 0 144 5 0 0 20 0 15 0 79099115 14314172416 21606 18446744073709551615 4194304 4196468 140734965248672 140734965231216 139843913662199 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
/proc/32229/statm: 3494671 21606 3167 1 0 3482964 0
[pid=32229/tid=32230] ppid=32227 vsize=13978684 memory=1292 CPUtime=0.59 cores=1,3,5,7
/proc/32229/task/32230/stat : 32230 (java) R 32227 32227 897 0 -1 4202560 7881 0 0 0 56 3 0 0 20 0 15 0 79099116 14314172416 21606 18446744073709551615 4194304 4196468 140734965248672 139843917900592 139843551824324 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32231] ppid=32227 vsize=13978684 memory=5793150107522192228 CPUtime=0 cores=1,3,5,7
/proc/32229/task/32231/stat : 32231 (java) S 32227 32227 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79099116 14314172416 21606 18446744073709551615 4194304 4196468 140734965248672 139843870628368 139843913672405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32232] ppid=32227 vsize=13978684 memory=5793149887113625056 CPUtime=0 cores=1,3,5,7
/proc/32229/task/32232/stat : 32232 (java) S 32227 32227 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79099116 14314172416 21606 18446744073709551615 4194304 4196468 140734965248672 139843869575824 139843913672405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32233] ppid=32227 vsize=13978684 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/32229/task/32233/stat : 32233 (java) S 32227 32227 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79099116 14314172416 21606 18446744073709551615 4194304 4196468 140734965248672 139843868522768 139843913672405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32234] ppid=32227 vsize=13978684 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/32229/task/32234/stat : 32234 (java) S 32227 32227 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 79099116 14314172416 21606 18446744073709551615 4194304 4196468 140734965248672 139843510397328 139843913672405 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32235] ppid=32227 vsize=13978684 memory=796 CPUtime=0 cores=1,3,5,7
/proc/32229/task/32235/stat : 32235 (java) S 32227 32227 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 79099118 14314172416 21606 18446744073709551615 4194304 4196468 140734965248672 139843391691504 139843913673346 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32236] ppid=32227 vsize=13978684 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/32229/task/32236/stat : 32236 (java) S 32227 32227 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 79099118 14314172416 21606 18446744073709551615 4194304 4196468 140734965248672 139843390637728 139843913672405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32237] ppid=32227 vsize=13978684 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/32229/task/32237/stat : 32237 (java) S 32227 32227 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 79099118 14314172416 21606 18446744073709551615 4194304 4196468 140734965248672 139843389584624 139843913672405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32238] ppid=32227 vsize=13978684 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/32229/task/32238/stat : 32238 (java) S 32227 32227 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79099121 14314172416 21606 18446744073709551615 4194304 4196468 140734965248672 139843388533200 139843913680795 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32239] ppid=32227 vsize=13978684 memory=1012 CPUtime=0.26 cores=1,3,5,7
/proc/32229/task/32239/stat : 32239 (java) R 32227 32227 897 0 -1 4202560 1352 0 0 0 26 0 0 0 20 0 15 0 79099121 14314172416 21606 18446744073709551615 4194304 4196468 140734965248672 139843387468784 139843897162582 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32240] ppid=32227 vsize=13978684 memory=10164 CPUtime=0.29 cores=1,3,5,7
/proc/32229/task/32240/stat : 32240 (java) R 32227 32227 897 0 -1 4202560 1236 0 0 0 29 0 0 0 20 0 15 0 79099121 14314172416 21606 18446744073709551615 4194304 4196468 140734965248672 139843386415312 139843897635242 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32241] ppid=32227 vsize=13978684 memory=1440 CPUtime=0.3 cores=1,3,5,7
/proc/32229/task/32241/stat : 32241 (java) S 32227 32227 897 0 -1 1077944384 1925 0 0 0 30 0 0 0 20 0 15 0 79099121 14314172416 21606 18446744073709551615 4194304 4196468 140734965248672 139843385374704 139843913673346 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32242] ppid=32227 vsize=13978684 memory=2000 CPUtime=0 cores=1,3,5,7
/proc/32229/task/32242/stat : 32242 (java) S 32227 32227 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79099121 14314172416 21606 18446744073709551615 4194304 4196468 140734965248672 139843384322400 139843913672405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32243] ppid=32227 vsize=13978684 memory=11000 CPUtime=0 cores=1,3,5,7
/proc/32229/task/32243/stat : 32243 (java) S 32227 32227 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79099125 14314172416 21606 18446744073709551615 4194304 4196468 140734965248672 139843383270448 139843913673346 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 87804 KiB
[startup+1.04072 s]
# the end of solver process 32227 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2.56274 s, system=0.067949 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.80129 s]
/proc/loadavg: 1.71 1.64 1.67 5/212 32243
/proc/meminfo: memFree=29814100/32770624 swapFree=67108860/67108860
[pid=32227] ppid=32224 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/32227/stat : 32227 (xcsp3-exec) S 32224 32227 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 79099110 9740288 345 18446744073709551615 4194304 5098028 140730181660016 140730181658120 140289408950908 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 39178240 140730181665144 140730181665349 140730181665349 140730181668843 0
/proc/32227/statm: 2378 345 289 221 0 87 0
[pid=32229] ppid=32227 vsize=13980732 memory=97808 CPUtime=1.84 cores=1,3,5,7
/proc/32229/stat : 32229 (java) S 32227 32227 897 0 -1 1077944320 13996 0 0 0 179 5 0 0 20 0 15 0 79099115 14316269568 24452 18446744073709551615 4194304 4196468 140734965248672 140734965231216 139843913662199 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
/proc/32229/statm: 3495183 24452 3178 1 0 3483476 0
[pid=32229/tid=32230] ppid=32227 vsize=13980732 memory=3196 CPUtime=0.68 cores=1,3,5,7
/proc/32229/task/32230/stat : 32230 (java) R 32227 32227 897 0 -1 4202560 7964 0 0 0 65 3 0 0 20 0 15 0 79099116 14316269568 24452 18446744073709551615 4194304 4196468 140734965248672 139843917900704 139843552221664 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32231] ppid=32227 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/32229/task/32231/stat : 32231 (java) S 32227 32227 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79099116 14316269568 24452 18446744073709551615 4194304 4196468 140734965248672 139843870628368 139843913672405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32232] ppid=32227 vsize=13980732 memory=1153180 CPUtime=0 cores=1,3,5,7
/proc/32229/task/32232/stat : 32232 (java) S 32227 32227 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79099116 14316269568 24452 18446744073709551615 4194304 4196468 140734965248672 139843869575824 139843913672405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32233] ppid=32227 vsize=13980732 memory=4060 CPUtime=0 cores=1,3,5,7
/proc/32229/task/32233/stat : 32233 (java) S 32227 32227 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79099116 14316269568 24452 18446744073709551615 4194304 4196468 140734965248672 139843868522768 139843913672405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32234] ppid=32227 vsize=13980732 memory=1156 CPUtime=0 cores=1,3,5,7
/proc/32229/task/32234/stat : 32234 (java) S 32227 32227 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 79099116 14316269568 24452 18446744073709551615 4194304 4196468 140734965248672 139843510397328 139843913672405 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32235] ppid=32227 vsize=13980732 memory=2364 CPUtime=0 cores=1,3,5,7
/proc/32229/task/32235/stat : 32235 (java) S 32227 32227 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 79099118 14316269568 24452 18446744073709551615 4194304 4196468 140734965248672 139843391691504 139843913673346 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32236] ppid=32227 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/32229/task/32236/stat : 32236 (java) S 32227 32227 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 79099118 14316269568 24452 18446744073709551615 4194304 4196468 140734965248672 139843390637728 139843913672405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32237] ppid=32227 vsize=13980732 memory=63452 CPUtime=0 cores=1,3,5,7
/proc/32229/task/32237/stat : 32237 (java) S 32227 32227 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 79099118 14316269568 24452 18446744073709551615 4194304 4196468 140734965248672 139843389584624 139843913672405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32238] ppid=32227 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/32229/task/32238/stat : 32238 (java) S 32227 32227 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79099121 14316269568 24452 18446744073709551615 4194304 4196468 140734965248672 139843388533200 139843913680795 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32239] ppid=32227 vsize=13980732 memory=1624 CPUtime=0.36 cores=1,3,5,7
/proc/32229/task/32239/stat : 32239 (java) R 32227 32227 897 0 -1 4202560 1376 0 0 0 36 0 0 0 20 0 15 0 79099121 14316269568 24452 18446744073709551615 4194304 4196468 140734965248672 139843387466736 139843897217040 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32240] ppid=32227 vsize=13980732 memory=928 CPUtime=0.39 cores=1,3,5,7
/proc/32229/task/32240/stat : 32240 (java) R 32227 32227 897 0 -1 4202560 1283 0 0 0 39 0 0 0 20 0 15 0 79099121 14316269568 24452 18446744073709551615 4194304 4196468 140734965248672 139843386419408 139843897952160 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32241] ppid=32227 vsize=13980732 memory=2164 CPUtime=0.36 cores=1,3,5,7
/proc/32229/task/32241/stat : 32241 (java) S 32227 32227 897 0 -1 1077944384 2066 0 0 0 36 0 0 0 20 0 15 0 79099121 14316269568 24452 18446744073709551615 4194304 4196468 140734965248672 139843385374704 139843913673346 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32242] ppid=32227 vsize=13980732 memory=840 CPUtime=0 cores=1,3,5,7
/proc/32229/task/32242/stat : 32242 (java) S 32227 32227 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79099121 14316269568 24452 18446744073709551615 4194304 4196468 140734965248672 139843384322400 139843913672405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32243] ppid=32227 vsize=13980732 memory=16436 CPUtime=0 cores=1,3,5,7
/proc/32229/task/32243/stat : 32243 (java) S 32227 32227 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79099125 14316269568 24452 18446744073709551615 4194304 4196468 140734965248672 139843383270448 139843913673346 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
Current children cumulated CPU time: 1.84 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 99188 KiB
[startup+1.00079 s]*
/proc/loadavg: 1.71 1.64 1.67 5/212 32243
/proc/meminfo: memFree=29763068/32770624 swapFree=67108860/67108860
[pid=32227] ppid=32224 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/32227/stat : 32227 (xcsp3-exec) S 32224 32227 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 79099110 9740288 345 18446744073709551615 4194304 5098028 140730181660016 140730181658120 140289408950908 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 39178240 140730181665144 140730181665349 140730181665349 140730181668843 0
/proc/32227/statm: 2378 345 289 221 0 87 0
[pid=32229] ppid=32227 vsize=13980732 memory=116288 CPUtime=2.56 cores=1,3,5,7
/proc/32229/stat : 32229 (java) S 32227 32227 897 0 -1 1077944320 16061 0 0 0 250 6 0 0 20 0 15 0 79099115 14316269568 29072 18446744073709551615 4194304 4196468 140734965248672 140734965231216 139843913662199 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
/proc/32229/statm: 3495183 29072 3195 1 0 3483476 0
[pid=32229/tid=32230] ppid=32227 vsize=13980732 memory=-6871798056524144002 CPUtime=0.89 cores=1,3,5,7
/proc/32229/task/32230/stat : 32230 (java) R 32227 32227 897 0 -1 4202560 8536 0 0 0 86 3 0 0 20 0 15 0 79099116 14316269568 29072 18446744073709551615 4194304 4196468 140734965248672 139843917899416 139843553167597 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32231] ppid=32227 vsize=13980732 memory=7306073692501926754 CPUtime=0 cores=1,3,5,7
/proc/32229/task/32231/stat : 32231 (java) S 32227 32227 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79099116 14316269568 29072 18446744073709551615 4194304 4196468 140734965248672 139843870628368 139843913672405 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32232] ppid=32227 vsize=13980732 memory=7945176435195705008 CPUtime=0 cores=1,3,5,7
/proc/32229/task/32232/stat : 32232 (java) S 32227 32227 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79099116 14316269568 29072 18446744073709551615 4194304 4196468 140734965248672 139843869575824 139843913672405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32233] ppid=32227 vsize=13980732 memory=-6876324578614615198 CPUtime=0 cores=1,3,5,7
/proc/32229/task/32233/stat : 32233 (java) S 32227 32227 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79099116 14316269568 29072 18446744073709551615 4194304 4196468 140734965248672 139843868522768 139843913672405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32234] ppid=32227 vsize=13980732 memory=3472328296227680303 CPUtime=0 cores=1,3,5,7
/proc/32229/task/32234/stat : 32234 (java) S 32227 32227 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 79099116 14316269568 29072 18446744073709551615 4194304 4196468 140734965248672 139843510397328 139843913672405 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32235] ppid=32227 vsize=13980732 memory=4208303529770355082 CPUtime=0 cores=1,3,5,7
/proc/32229/task/32235/stat : 32235 (java) S 32227 32227 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 79099118 14316269568 29072 18446744073709551615 4194304 4196468 140734965248672 139843391691504 139843913673346 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32236] ppid=32227 vsize=13980732 memory=3833745396274246449 CPUtime=0 cores=1,3,5,7
/proc/32229/task/32236/stat : 32236 (java) S 32227 32227 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 79099118 14316269568 29072 18446744073709551615 4194304 4196468 140734965248672 139843390637728 139843913672405 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32237] ppid=32227 vsize=13980732 memory=-7595754389018297760 CPUtime=0 cores=1,3,5,7
/proc/32229/task/32237/stat : 32237 (java) S 32227 32227 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 79099118 14316269568 29072 18446744073709551615 4194304 4196468 140734965248672 139843389584624 139843913672405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32238] ppid=32227 vsize=13980732 memory=-6151738228677760899 CPUtime=0 cores=1,3,5,7
/proc/32229/task/32238/stat : 32238 (java) S 32227 32227 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79099121 14316269568 29072 18446744073709551615 4194304 4196468 140734965248672 139843388533200 139843913680795 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32239] ppid=32227 vsize=13980732 memory=0 CPUtime=0.57 cores=1,3,5,7
/proc/32229/task/32239/stat : 32239 (java) R 32227 32227 897 0 -1 4202560 2018 0 0 0 57 0 0 0 20 0 15 0 79099121 14316269568 29072 18446744073709551615 4194304 4196468 140734965248672 139843387472824 139843899817486 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32240] ppid=32227 vsize=13980732 memory=-1 CPUtime=0.6 cores=1,3,5,7
/proc/32229/task/32240/stat : 32240 (java) R 32227 32227 897 0 -1 4202560 1578 0 0 0 60 0 0 0 20 0 15 0 79099121 14316269568 29072 18446744073709551615 4194304 4196468 140734965248672 139843386409168 139843897162605 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32241] ppid=32227 vsize=13980732 memory=140179521848960 CPUtime=0.46 cores=1,3,5,7
/proc/32229/task/32241/stat : 32241 (java) R 32227 32227 897 0 -1 1077944384 2623 0 0 0 45 1 0 0 20 0 15 0 79099121 14316269568 29072 18446744073709551615 4194304 4196468 140734965248672 139843385374704 139843913673346 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32242] ppid=32227 vsize=13980732 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32229/task/32242/stat : 32242 (java) S 32227 32227 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79099121 14316269568 29072 18446744073709551615 4194304 4196468 140734965248672 139843384322400 139843913672405 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
[pid=32229/tid=32243] ppid=32227 vsize=13980732 memory=140179521848960 CPUtime=0 cores=1,3,5,7
/proc/32229/task/32243/stat : 32243 (java) R 32227 32227 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79099125 14316269568 29072 18446744073709551615 4194304 4196468 140734965248672 139843383270448 139843913673346 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35844096 140734965252529 140734965252705 140734965252705 140734965256143 0
Current children cumulated CPU time: 2.56 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 117668 KiB
Child status: 0
Real time (s): 1.04078
CPU time (s): 2.63069
CPU user time (s): 2.56274
CPU system time (s): 0.067949
CPU usage (%): 252.76
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 117668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.56274
system time used= 0.067949
maximum resident set size= 122152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17310
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= 1597
involuntary context switches= 15
# summary of solver processes directly reported to runsolver:
# pid: 32227
# total CPU time (s): 2.63069
# total CPU user time (s): 2.56274
# total CPU system time (s): 0.067949
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.023065 second user time and 0.062567 second system time
The end