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 (9602 MiB free)
memory of node 1: 16384 MiB (13531 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269605-1502814663/watcher-4269605-1502814663 -o /tmp/evaluation-result-4269605-1502814663/solver-4269605-1502814663 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1502785522-15706 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 882386317 HOME/instance-4269605-1502814663.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
solver pid=20752, runsolver pid=20749
Current StackSize limit: 8192 KiB
[startup+0.100138 s]*
/proc/loadavg: 1.92 1.96 1.95 3/217 20768
/proc/meminfo: memFree=23672336/32770624 swapFree=67108860/67108860
[pid=20752] ppid=20749 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20752/stat : 20752 (xcsp3-exec) S 20749 20752 15674 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 114537855 9740288 345 33554432000 4194304 5098028 140724365433824 140724365431928 139830083297916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12140544 140724365436015 140724365436219 140724365436219 140724365438955 0
/proc/20752/statm: 2378 345 289 221 0 87 0
[pid=20754] ppid=20752 vsize=13978596 memory=28304 CPUtime=0.12 cores=1,3,5,7
/proc/20754/stat : 20754 (java) S 20752 20752 15674 0 -1 1077944320 5370 0 0 0 11 1 0 0 20 0 15 0 114537855 14314082304 7076 33554432000 4194304 4196468 140721625213568 140721625196112 140187036606199 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
/proc/20754/statm: 3494649 7076 2893 1 0 3482966 0
[pid=20754/tid=20755] ppid=20752 vsize=13978596 memory=-6962121287837372198 CPUtime=0.08 cores=1,3,5,7
/proc/20754/task/20755/stat : 20755 (java) R 20752 20752 15674 0 -1 4202560 3380 0 0 0 8 0 0 0 20 0 15 0 114537855 14314082304 7076 33554432000 4194304 4196468 140721625213568 140187040839472 140186673505757 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20756] ppid=20752 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/20754/task/20756/stat : 20756 (java) S 20752 20752 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114537856 14314082304 7076 33554432000 4194304 4196468 140721625213568 140186631879568 140187036616405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20757] ppid=20752 vsize=13978596 memory=140210546493056 CPUtime=0 cores=1,3,5,7
/proc/20754/task/20757/stat : 20757 (java) S 20752 20752 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114537856 14314082304 7076 33554432000 4194304 4196468 140721625213568 140186630826768 140187036616405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20758] ppid=20752 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20754/task/20758/stat : 20758 (java) S 20752 20752 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114537856 14314082304 7076 33554432000 4194304 4196468 140721625213568 140186629774480 140187036616405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20759] ppid=20752 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20754/task/20759/stat : 20759 (java) S 20752 20752 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114537856 14314082304 7076 33554432000 4194304 4196468 140721625213568 140186628721680 140187036616405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20760] ppid=20752 vsize=13978596 memory=140210546493056 CPUtime=0 cores=1,3,5,7
/proc/20754/task/20760/stat : 20760 (java) S 20752 20752 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114537858 14314082304 7076 33554432000 4194304 4196468 140721625213568 140186510891120 140187036617346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20761] ppid=20752 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20754/task/20761/stat : 20761 (java) S 20752 20752 15674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114537858 14314082304 7076 33554432000 4194304 4196468 140721625213568 140186509837088 140187036616405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20762] ppid=20752 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20754/task/20762/stat : 20762 (java) S 20752 20752 15674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114537858 14314082304 7076 33554432000 4194304 4196468 140721625213568 140186508784752 140187036616405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20763] ppid=20752 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20754/task/20763/stat : 20763 (java) S 20752 20752 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114537861 14314082304 7076 33554432000 4194304 4196468 140721625213568 140186507733072 140187036624795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20764] ppid=20752 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20754/task/20764/stat : 20764 (java) S 20752 20752 15674 0 -1 1077944384 418 0 0 0 0 0 0 0 20 0 15 0 114537861 14314082304 7076 33554432000 4194304 4196468 140721625213568 140186506680944 140187036617346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20765] ppid=20752 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20754/task/20765/stat : 20765 (java) S 20752 20752 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114537861 14314082304 7076 33554432000 4194304 4196468 140721625213568 140186505628144 140187036617346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20766] ppid=20752 vsize=13978596 memory=140210546493056 CPUtime=0.01 cores=1,3,5,7
/proc/20754/task/20766/stat : 20766 (java) R 20752 20752 15674 0 -1 4202560 272 0 0 0 1 0 0 0 20 0 15 0 114537861 14314082304 7076 33554432000 4194304 4196468 140721625213568 140186504575856 140187017843760 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20767] ppid=20752 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20754/task/20767/stat : 20767 (java) S 20752 20752 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114537861 14314082304 7076 33554432000 4194304 4196468 140721625213568 140186503523296 140187036616405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20768] ppid=20752 vsize=13978596 memory=140210546493056 CPUtime=0 cores=1,3,5,7
/proc/20754/task/20768/stat : 20768 (java) S 20752 20752 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114537861 14314082304 7076 33554432000 4194304 4196468 140721625213568 140186502470064 140187036617346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29684 KiB
[startup+0.210764 s]*
/proc/loadavg: 1.92 1.96 1.95 3/217 20768
/proc/meminfo: memFree=23654760/32770624 swapFree=67108860/67108860
[pid=20752] ppid=20749 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20752/stat : 20752 (xcsp3-exec) S 20749 20752 15674 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 114537855 9740288 345 33554432000 4194304 5098028 140724365433824 140724365431928 139830083297916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12140544 140724365436015 140724365436219 140724365436219 140724365438955 0
/proc/20752/statm: 2378 345 289 221 0 87 0
[pid=20754] ppid=20752 vsize=13982852 memory=40284 CPUtime=0.34 cores=1,3,5,7
/proc/20754/stat : 20754 (java) S 20752 20752 15674 0 -1 1077944320 8124 0 0 0 32 2 0 0 20 0 15 0 114537855 14318440448 10071 33554432000 4194304 4196468 140721625213568 140721625196112 140187036606199 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
/proc/20754/statm: 3495713 10071 3062 1 0 3482966 0
[pid=20754/tid=20755] ppid=20752 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/20754/task/20755/stat : 20755 (java) D 20752 20752 15674 0 -1 1077944384 5335 0 0 0 18 2 0 0 20 0 15 0 114537855 14318440448 10091 33554432000 4194304 4196468 140721625213568 140187040807920 140187029285421 0 4 0 16800975 18446744072101613092 0 0 -1 1 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20756] ppid=20752 vsize=13982852 memory=12543 CPUtime=0 cores=1,3,5,7
/proc/20754/task/20756/stat : 20756 (java) S 20752 20752 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114537856 14318440448 10091 33554432000 4194304 4196468 140721625213568 140186631879568 140187036616405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20757] ppid=20752 vsize=13982852 memory=140210546997829 CPUtime=0 cores=1,3,5,7
/proc/20754/task/20757/stat : 20757 (java) S 20752 20752 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114537856 14318440448 10091 33554432000 4194304 4196468 140721625213568 140186630826768 140187036616405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20758] ppid=20752 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20754/task/20758/stat : 20758 (java) S 20752 20752 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114537856 14318440448 10091 33554432000 4194304 4196468 140721625213568 140186629774480 140187036616405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20759] ppid=20752 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20754/task/20759/stat : 20759 (java) S 20752 20752 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114537856 14318440448 10091 33554432000 4194304 4196468 140721625213568 140186628721680 140187036616405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20760] ppid=20752 vsize=13982884 memory=140210546493056 CPUtime=0 cores=1,3,5,7
/proc/20754/task/20760/stat : 20760 (java) S 20752 20752 15674 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 114537858 14318473216 10091 33554432000 4194304 4196468 140721625213568 140186510891120 140187036617346 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20761] ppid=20752 vsize=13982884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20754/task/20761/stat : 20761 (java) S 20752 20752 15674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114537858 14318473216 10091 33554432000 4194304 4196468 140721625213568 140186509837088 140187036616405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20762] ppid=20752 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20754/task/20762/stat : 20762 (java) S 20752 20752 15674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114537858 14318440448 10091 33554432000 4194304 4196468 140721625213568 140186508784752 140187036616405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20763] ppid=20752 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20754/task/20763/stat : 20763 (java) S 20752 20752 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114537861 14318440448 10091 33554432000 4194304 4196468 140721625213568 140186507733072 140187036624795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20764] ppid=20752 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/20754/task/20764/stat : 20764 (java) S 20752 20752 15674 0 -1 1077944384 623 0 0 0 2 0 0 0 20 0 15 0 114537861 14318440448 10091 33554432000 4194304 4196468 140721625213568 140186506680944 140187036617346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20765] ppid=20752 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/20754/task/20765/stat : 20765 (java) S 20752 20752 15674 0 -1 1077944384 159 0 0 0 2 0 0 0 20 0 15 0 114537861 14318440448 10091 33554432000 4194304 4196468 140721625213568 140186505628144 140187036617346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20766] ppid=20752 vsize=13982852 memory=140210546493056 CPUtime=0.08 cores=1,3,5,7
/proc/20754/task/20766/stat : 20766 (java) S 20752 20752 15674 0 -1 1077944384 713 0 0 0 8 0 0 0 20 0 15 0 114537861 14318440448 10091 33554432000 4194304 4196468 140721625213568 140186504575856 140187036617346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20767] ppid=20752 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20754/task/20767/stat : 20767 (java) S 20752 20752 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114537861 14318440448 10091 33554432000 4194304 4196468 140721625213568 140186503523296 140187036616405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20768] ppid=20752 vsize=13982884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20754/task/20768/stat : 20768 (java) S 20752 20752 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114537861 14318473216 10091 33554432000 4194304 4196468 140721625213568 140186502470064 140187036617346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41664 KiB
[startup+0.416248 s]*
/proc/loadavg: 1.92 1.96 1.95 6/217 20768
/proc/meminfo: memFree=23636820/32770624 swapFree=67108860/67108860
[pid=20752] ppid=20749 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20752/stat : 20752 (xcsp3-exec) S 20749 20752 15674 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 114537855 9740288 345 33554432000 4194304 5098028 140724365433824 140724365431928 139830083297916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12140544 140724365436015 140724365436219 140724365436219 140724365438955 0
/proc/20752/statm: 2378 345 289 221 0 87 0
[pid=20754] ppid=20752 vsize=13982928 memory=64096 CPUtime=0.74 cores=1,3,5,7
/proc/20754/stat : 20754 (java) S 20752 20752 15674 0 -1 1077944320 9639 0 0 0 71 3 0 0 20 0 15 0 114537855 14318518272 16024 33554432000 4194304 4196468 140721625213568 140721625196112 140187036606199 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
/proc/20754/statm: 3495732 16024 3153 1 0 3482966 0
[pid=20754/tid=20755] ppid=20752 vsize=13982928 memory=6791534058613427641 CPUtime=0.4 cores=1,3,5,7
/proc/20754/task/20755/stat : 20755 (java) R 20752 20752 15674 0 -1 4202560 6259 0 0 0 38 2 0 0 20 0 15 0 114537855 14318518272 16024 33554432000 4194304 4196468 140721625213568 140187040842272 140187018505975 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20756] ppid=20752 vsize=13982928 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/20754/task/20756/stat : 20756 (java) S 20752 20752 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114537856 14318518272 16024 33554432000 4194304 4196468 140721625213568 140186631879568 140187036616405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20757] ppid=20752 vsize=13982928 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/20754/task/20757/stat : 20757 (java) S 20752 20752 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114537856 14318518272 16024 33554432000 4194304 4196468 140721625213568 140186630826768 140187036616405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20758] ppid=20752 vsize=13982928 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/20754/task/20758/stat : 20758 (java) S 20752 20752 15674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 114537856 14318518272 16024 33554432000 4194304 4196468 140721625213568 140186629774480 140187036616405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20759] ppid=20752 vsize=13982928 memory=4500088472188524148 CPUtime=0 cores=1,3,5,7
/proc/20754/task/20759/stat : 20759 (java) S 20752 20752 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114537856 14318518272 16024 33554432000 4194304 4196468 140721625213568 140186628721680 140187036616405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20760] ppid=20752 vsize=13982928 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/20754/task/20760/stat : 20760 (java) S 20752 20752 15674 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 114537858 14318518272 16024 33554432000 4194304 4196468 140721625213568 140186510891120 140187036617346 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20761] ppid=20752 vsize=13982928 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/20754/task/20761/stat : 20761 (java) S 20752 20752 15674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 114537858 14318518272 16024 33554432000 4194304 4196468 140721625213568 140186509837088 140187036616405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20762] ppid=20752 vsize=13982928 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/20754/task/20762/stat : 20762 (java) S 20752 20752 15674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114537858 14318518272 16024 33554432000 4194304 4196468 140721625213568 140186508784752 140187036616405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20763] ppid=20752 vsize=13982928 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/20754/task/20763/stat : 20763 (java) S 20752 20752 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114537861 14318518272 16024 33554432000 4194304 4196468 140721625213568 140186507733072 140187036624795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20764] ppid=20752 vsize=13982928 memory=4713750055892520310 CPUtime=0.07 cores=1,3,5,7
/proc/20754/task/20764/stat : 20764 (java) R 20752 20752 15674 0 -1 4202560 753 0 0 0 7 0 0 0 20 0 15 0 114537861 14318518272 16024 33554432000 4194304 4196468 140721625213568 140186506671008 140187029706046 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20765] ppid=20752 vsize=13982928 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/20754/task/20765/stat : 20765 (java) R 20752 20752 15674 0 -1 4202560 365 0 0 0 8 0 0 0 20 0 15 0 114537861 14318518272 16024 33554432000 4194304 4196468 140721625213568 140186505618736 140187020995092 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20766] ppid=20752 vsize=13982928 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/20754/task/20766/stat : 20766 (java) R 20752 20752 15674 0 -1 1077944384 957 0 0 0 18 0 0 0 20 0 15 0 114537861 14318518272 16024 33554432000 4194304 4196468 140721625213568 140186504573648 140187036616405 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20767] ppid=20752 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20754/task/20767/stat : 20767 (java) S 20752 20752 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114537861 14318518272 16024 33554432000 4194304 4196468 140721625213568 140186503523296 140187036616405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20768] ppid=20752 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20754/task/20768/stat : 20768 (java) S 20752 20752 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114537861 14318518272 16024 33554432000 4194304 4196468 140721625213568 140186502470064 140187036617346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
Current children cumulated CPU time: 0.74 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 65476 KiB
[startup+0.710567 s]
/proc/loadavg: 2.09 2.00 1.96 4/217 20768
/proc/meminfo: memFree=23549260/32770624 swapFree=67108860/67108860
[pid=20752] ppid=20749 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20752/stat : 20752 (xcsp3-exec) S 20749 20752 15674 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 114537855 9740288 345 33554432000 4194304 5098028 140724365433824 140724365431928 139830083297916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12140544 140724365436015 140724365436219 140724365436219 140724365438955 0
/proc/20752/statm: 2378 345 289 221 0 87 0
[pid=20754] ppid=20752 vsize=13982928 memory=199172 CPUtime=1.63 cores=1,3,5,7
/proc/20754/stat : 20754 (java) S 20752 20752 15674 0 -1 1077944320 11745 0 0 0 157 6 0 0 20 0 15 0 114537855 14318518272 49793 33554432000 4194304 4196468 140721625213568 140721625196112 140187036606199 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
/proc/20754/statm: 3495732 49793 3208 1 0 3482966 0
[pid=20754/tid=20755] ppid=20752 vsize=13982928 memory=14699582244260269 CPUtime=0.67 cores=1,3,5,7
/proc/20754/task/20755/stat : 20755 (java) R 20752 20752 15674 0 -1 4202560 6343 0 0 0 63 4 0 0 20 0 15 0 114537855 14318518272 49793 33554432000 4194304 4196468 140721625213568 140187040842720 140186673400500 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20756] ppid=20752 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20754/task/20756/stat : 20756 (java) S 20752 20752 15674 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 114537856 14318518272 49793 33554432000 4194304 4196468 140721625213568 140186631879568 140187036616405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20757] ppid=20752 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20754/task/20757/stat : 20757 (java) S 20752 20752 15674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 114537856 14318518272 49793 33554432000 4194304 4196468 140721625213568 140186630826768 140187036616405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20758] ppid=20752 vsize=13982928 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/20754/task/20758/stat : 20758 (java) S 20752 20752 15674 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 114537856 14318518272 49793 33554432000 4194304 4196468 140721625213568 140186629774480 140187036616405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20759] ppid=20752 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20754/task/20759/stat : 20759 (java) S 20752 20752 15674 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 114537856 14318518272 49793 33554432000 4194304 4196468 140721625213568 140186628721680 140187036616405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20760] ppid=20752 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20754/task/20760/stat : 20760 (java) S 20752 20752 15674 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 114537858 14318518272 49793 33554432000 4194304 4196468 140721625213568 140186510891120 140187036617346 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20761] ppid=20752 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20754/task/20761/stat : 20761 (java) S 20752 20752 15674 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 114537858 14318518272 49793 33554432000 4194304 4196468 140721625213568 140186509837088 140187036616405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20762] ppid=20752 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20754/task/20762/stat : 20762 (java) S 20752 20752 15674 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 114537858 14318518272 49793 33554432000 4194304 4196468 140721625213568 140186508784752 140187036616405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20763] ppid=20752 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20754/task/20763/stat : 20763 (java) S 20752 20752 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114537861 14318518272 49793 33554432000 4194304 4196468 140721625213568 140186507733072 140187036624795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20764] ppid=20752 vsize=13982928 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/20754/task/20764/stat : 20764 (java) R 20752 20752 15674 0 -1 4202560 1540 0 0 0 32 0 0 0 20 0 15 0 114537861 14318518272 49793 33554432000 4194304 4196468 140721625213568 140186506672272 140187014154019 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20765] ppid=20752 vsize=13982928 memory=0 CPUtime=0.33 cores=1,3,5,7
/proc/20754/task/20765/stat : 20765 (java) R 20752 20752 15674 0 -1 4202560 1137 0 0 0 33 0 0 0 20 0 15 0 114537861 14318518272 49793 33554432000 4194304 4196468 140721625213568 140186505607952 140187020506669 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20766] ppid=20752 vsize=13982928 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/20754/task/20766/stat : 20766 (java) S 20752 20752 15674 0 -1 1077944384 1279 0 0 0 24 0 0 0 20 0 15 0 114537861 14318518272 49793 33554432000 4194304 4196468 140721625213568 140186504575856 140187036617346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20767] ppid=20752 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20754/task/20767/stat : 20767 (java) S 20752 20752 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114537861 14318518272 49793 33554432000 4194304 4196468 140721625213568 140186503523296 140187036616405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20768] ppid=20752 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20754/task/20768/stat : 20768 (java) S 20752 20752 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114537861 14318518272 49793 33554432000 4194304 4196468 140721625213568 140186502470064 140187036617346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
Current children cumulated CPU time: 1.63 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 200552 KiB
[startup+1.43701 s]
# the end of solver process 20752 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2.93119 s, system=0.167447 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.900795 s]
/proc/loadavg: 2.09 2.00 1.96 4/217 20768
/proc/meminfo: memFree=23549260/32770624 swapFree=67108860/67108860
[pid=20752] ppid=20749 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20752/stat : 20752 (xcsp3-exec) S 20749 20752 15674 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 114537855 9740288 345 33554432000 4194304 5098028 140724365433824 140724365431928 139830083297916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12140544 140724365436015 140724365436219 140724365436219 140724365438955 0
/proc/20752/statm: 2378 345 289 221 0 87 0
[pid=20754] ppid=20752 vsize=13982928 memory=228448 CPUtime=2 cores=1,3,5,7
/proc/20754/stat : 20754 (java) S 20752 20752 15674 0 -1 1077944320 11991 0 0 0 190 10 0 0 20 0 15 0 114537855 14318518272 57112 33554432000 4194304 4196468 140721625213568 140721625196112 140187036606199 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
/proc/20754/statm: 3495732 57112 3213 1 0 3482966 0
[pid=20754/tid=20755] ppid=20752 vsize=13982928 memory=280420830678416 CPUtime=0.84 cores=1,3,5,7
/proc/20754/task/20755/stat : 20755 (java) R 20752 20752 15674 0 -1 4202560 6363 0 0 0 80 4 0 0 20 0 15 0 114537855 14318518272 57112 33554432000 4194304 4196468 140721625213568 140187040843824 140186676791693 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20756] ppid=20752 vsize=13982928 memory=10652 CPUtime=0.02 cores=1,3,5,7
/proc/20754/task/20756/stat : 20756 (java) S 20752 20752 15674 0 -1 1077944384 76 0 0 0 1 1 0 0 20 0 15 0 114537856 14318518272 57112 33554432000 4194304 4196468 140721625213568 140186631879568 140187036616405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20757] ppid=20752 vsize=13982928 memory=15876 CPUtime=0.02 cores=1,3,5,7
/proc/20754/task/20757/stat : 20757 (java) S 20752 20752 15674 0 -1 1077944384 94 0 0 0 1 1 0 0 20 0 15 0 114537856 14318518272 57112 33554432000 4194304 4196468 140721625213568 140186630826768 140187036616405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20758] ppid=20752 vsize=13982928 memory=18088 CPUtime=0.02 cores=1,3,5,7
/proc/20754/task/20758/stat : 20758 (java) S 20752 20752 15674 0 -1 1077944384 38 0 0 0 1 1 0 0 20 0 15 0 114537856 14318518272 57112 33554432000 4194304 4196468 140721625213568 140186629774480 140187036616405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20759] ppid=20752 vsize=13982928 memory=16432 CPUtime=0.02 cores=1,3,5,7
/proc/20754/task/20759/stat : 20759 (java) S 20752 20752 15674 0 -1 1077944384 29 0 0 0 1 1 0 0 20 0 15 0 114537856 14318518272 57112 33554432000 4194304 4196468 140721625213568 140186628721680 140187036616405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20760] ppid=20752 vsize=13982928 memory=4040 CPUtime=0 cores=1,3,5,7
/proc/20754/task/20760/stat : 20760 (java) S 20752 20752 15674 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 114537858 14318518272 57112 33554432000 4194304 4196468 140721625213568 140186510891120 140187036617346 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20761] ppid=20752 vsize=13982928 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/20754/task/20761/stat : 20761 (java) S 20752 20752 15674 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 114537858 14318518272 57112 33554432000 4194304 4196468 140721625213568 140186509837152 140187036616405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20762] ppid=20752 vsize=13982928 memory=640 CPUtime=0 cores=1,3,5,7
/proc/20754/task/20762/stat : 20762 (java) S 20752 20752 15674 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 114537858 14318518272 57112 33554432000 4194304 4196468 140721625213568 140186508784768 140187036616405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20763] ppid=20752 vsize=13982928 memory=960 CPUtime=0 cores=1,3,5,7
/proc/20754/task/20763/stat : 20763 (java) S 20752 20752 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114537861 14318518272 57112 33554432000 4194304 4196468 140721625213568 140186507733072 140187036624795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20764] ppid=20752 vsize=13982928 memory=1236 CPUtime=0.38 cores=1,3,5,7
/proc/20754/task/20764/stat : 20764 (java) S 20752 20752 15674 0 -1 1077944384 1554 0 0 0 38 0 0 0 20 0 15 0 114537861 14318518272 57112 33554432000 4194304 4196468 140721625213568 140186506680944 140187036617346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20765] ppid=20752 vsize=13982928 memory=2344 CPUtime=0.38 cores=1,3,5,7
/proc/20754/task/20765/stat : 20765 (java) S 20752 20752 15674 0 -1 1077944384 1150 0 0 0 38 0 0 0 20 0 15 0 114537861 14318518272 57112 33554432000 4194304 4196468 140721625213568 140186505628144 140187036617346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20766] ppid=20752 vsize=13982928 memory=1576 CPUtime=0.25 cores=1,3,5,7
/proc/20754/task/20766/stat : 20766 (java) S 20752 20752 15674 0 -1 1077944384 1304 0 0 0 25 0 0 0 20 0 15 0 114537861 14318518272 57112 33554432000 4194304 4196468 140721625213568 140186504575856 140187036617346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20767] ppid=20752 vsize=13982928 memory=928 CPUtime=0 cores=1,3,5,7
/proc/20754/task/20767/stat : 20767 (java) S 20752 20752 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114537861 14318518272 57112 33554432000 4194304 4196468 140721625213568 140186503523296 140187036616405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20768] ppid=20752 vsize=13982928 memory=2240 CPUtime=0 cores=1,3,5,7
/proc/20754/task/20768/stat : 20768 (java) S 20752 20752 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114537861 14318518272 57112 33554432000 4194304 4196468 140721625213568 140186502470064 140187036617346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
Current children cumulated CPU time: 2 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 229828 KiB
[startup+1.30082 s]
/proc/loadavg: 2.09 2.00 1.96 5/217 20768
/proc/meminfo: memFree=23471308/32770624 swapFree=67108860/67108860
[pid=20752] ppid=20749 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20752/stat : 20752 (xcsp3-exec) S 20749 20752 15674 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 114537855 9740288 345 33554432000 4194304 5098028 140724365433824 140724365431928 139830083297916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12140544 140724365436015 140724365436219 140724365436219 140724365438955 0
/proc/20752/statm: 2378 345 289 221 0 87 0
[pid=20754] ppid=20752 vsize=13984976 memory=315792 CPUtime=2.75 cores=1,3,5,7
/proc/20754/stat : 20754 (java) S 20752 20752 15674 0 -1 1077944320 12358 0 0 0 263 12 0 0 20 0 15 0 114537855 14320615424 78948 33554432000 4194304 4196468 140721625213568 140721625196112 140187036606199 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
/proc/20754/statm: 3496244 78948 3219 1 0 3483478 0
[pid=20754/tid=20755] ppid=20752 vsize=13984976 memory=14699582244260269 CPUtime=1.24 cores=1,3,5,7
/proc/20754/task/20755/stat : 20755 (java) R 20752 20752 15674 0 -1 4202560 6506 0 0 0 119 5 0 0 20 0 15 0 114537855 14320615424 78948 33554432000 4194304 4196468 140721625213568 140187040845128 140186677287939 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20756] ppid=20752 vsize=13984976 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/20754/task/20756/stat : 20756 (java) S 20752 20752 15674 0 -1 1077944384 76 0 0 0 1 1 0 0 20 0 15 0 114537856 14320615424 78948 33554432000 4194304 4196468 140721625213568 140186631879568 140187036616405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20757] ppid=20752 vsize=13984976 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/20754/task/20757/stat : 20757 (java) S 20752 20752 15674 0 -1 1077944384 94 0 0 0 1 1 0 0 20 0 15 0 114537856 14320615424 78948 33554432000 4194304 4196468 140721625213568 140186630826768 140187036616405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20758] ppid=20752 vsize=13984976 memory=6656426216303648864 CPUtime=0.02 cores=1,3,5,7
/proc/20754/task/20758/stat : 20758 (java) S 20752 20752 15674 0 -1 1077944384 38 0 0 0 1 1 0 0 20 0 15 0 114537856 14320615424 78948 33554432000 4194304 4196468 140721625213568 140186629774480 140187036616405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20759] ppid=20752 vsize=13984976 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/20754/task/20759/stat : 20759 (java) S 20752 20752 15674 0 -1 1077944384 29 0 0 0 1 1 0 0 20 0 15 0 114537856 14320615424 78948 33554432000 4194304 4196468 140721625213568 140186628721680 140187036616405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20760] ppid=20752 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20754/task/20760/stat : 20760 (java) S 20752 20752 15674 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 114537858 14320615424 78948 33554432000 4194304 4196468 140721625213568 140186510891120 140187036617346 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20761] ppid=20752 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20754/task/20761/stat : 20761 (java) S 20752 20752 15674 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 114537858 14320615424 78948 33554432000 4194304 4196468 140721625213568 140186509837152 140187036616405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20762] ppid=20752 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20754/task/20762/stat : 20762 (java) S 20752 20752 15674 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 114537858 14320615424 78948 33554432000 4194304 4196468 140721625213568 140186508784768 140187036616405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20763] ppid=20752 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20754/task/20763/stat : 20763 (java) S 20752 20752 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114537861 14320615424 78948 33554432000 4194304 4196468 140721625213568 140186507733072 140187036624795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20764] ppid=20752 vsize=13984976 memory=0 CPUtime=0.52 cores=1,3,5,7
/proc/20754/task/20764/stat : 20764 (java) S 20752 20752 15674 0 -1 1077944384 1601 0 0 0 52 0 0 0 20 0 15 0 114537861 14320615424 78948 33554432000 4194304 4196468 140721625213568 140186506680944 140187036617346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20765] ppid=20752 vsize=13984976 memory=0 CPUtime=0.53 cores=1,3,5,7
/proc/20754/task/20765/stat : 20765 (java) S 20752 20752 15674 0 -1 1077944384 1206 0 0 0 53 0 0 0 20 0 15 0 114537861 14320615424 78948 33554432000 4194304 4196468 140721625213568 140186505628144 140187036617346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20766] ppid=20752 vsize=13984976 memory=0 CPUtime=0.31 cores=1,3,5,7
/proc/20754/task/20766/stat : 20766 (java) S 20752 20752 15674 0 -1 1077944384 1425 0 0 0 31 0 0 0 20 0 15 0 114537861 14320615424 78948 33554432000 4194304 4196468 140721625213568 140186504575856 140187036617346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20767] ppid=20752 vsize=13984976 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/20754/task/20767/stat : 20767 (java) S 20752 20752 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114537861 14320615424 78948 33554432000 4194304 4196468 140721625213568 140186503523296 140187036616405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20768] ppid=20752 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20754/task/20768/stat : 20768 (java) S 20752 20752 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114537861 14320615424 79460 33554432000 4194304 4196468 140721625213568 140186502470064 140187036617346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
Current children cumulated CPU time: 2.75 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 317172 KiB
[startup+1.40242 s]
/proc/loadavg: 2.09 2.00 1.96 5/217 20768
/proc/meminfo: memFree=23471308/32770624 swapFree=67108860/67108860
[pid=20752] ppid=20749 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/20752/stat : 20752 (xcsp3-exec) S 20749 20752 15674 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 114537855 9740288 345 33554432000 4194304 5098028 140724365433824 140724365431928 139830083297916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12140544 140724365436015 140724365436219 140724365436219 140724365438955 0
/proc/20752/statm: 2378 345 289 221 0 87 0
[pid=20754] ppid=20752 vsize=13984976 memory=355968 CPUtime=3.01 cores=1,3,5,7
/proc/20754/stat : 20754 (java) S 20752 20752 15674 0 -1 1077944320 12853 0 0 0 285 16 0 0 20 0 15 0 114537855 14320615424 88992 33554432000 4194304 4196468 140721625213568 140721625196112 140187036606199 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
/proc/20754/statm: 3496244 88992 3221 1 0 3483478 0
[pid=20754/tid=20755] ppid=20752 vsize=13984976 memory=280420830677288 CPUtime=1.32 cores=1,3,5,7
/proc/20754/task/20755/stat : 20755 (java) R 20752 20752 15674 0 -1 1077944384 6711 0 0 0 127 5 0 0 20 0 15 0 114537855 14320615424 88992 33554432000 4194304 4196468 140721625213568 140187040844480 140187036616405 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20756] ppid=20752 vsize=13984976 memory=280420830679552 CPUtime=0.04 cores=1,3,5,7
/proc/20754/task/20756/stat : 20756 (java) S 20752 20752 15674 0 -1 1077944384 97 0 0 0 2 2 0 0 20 0 15 0 114537856 14320615424 88992 33554432000 4194304 4196468 140721625213568 140186631879568 140187036616405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20757] ppid=20752 vsize=13984976 memory=12763 CPUtime=0.03 cores=1,3,5,7
/proc/20754/task/20757/stat : 20757 (java) S 20752 20752 15674 0 -1 1077944384 105 0 0 0 2 1 0 0 20 0 15 0 114537856 14320615424 88992 33554432000 4194304 4196468 140721625213568 140186630826768 140187036616405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20758] ppid=20752 vsize=13984976 memory=22319 CPUtime=0.04 cores=1,3,5,7
/proc/20754/task/20758/stat : 20758 (java) S 20752 20752 15674 0 -1 1077944384 49 0 0 0 2 2 0 0 20 0 15 0 114537856 14320615424 88992 33554432000 4194304 4196468 140721625213568 140186629774480 140187036616405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20759] ppid=20752 vsize=13984976 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/20754/task/20759/stat : 20759 (java) S 20752 20752 15674 0 -1 1077944384 41 0 0 0 2 2 0 0 20 0 15 0 114537856 14320615424 88992 33554432000 4194304 4196468 140721625213568 140186628721680 140187036616405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20760] ppid=20752 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20754/task/20760/stat : 20760 (java) S 20752 20752 15674 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 15 0 114537858 14320615424 88992 33554432000 4194304 4196468 140721625213568 140186510891120 140187036617346 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20761] ppid=20752 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20754/task/20761/stat : 20761 (java) S 20752 20752 15674 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 114537858 14320615424 88992 33554432000 4194304 4196468 140721625213568 140186509837152 140187036616405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20762] ppid=20752 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20754/task/20762/stat : 20762 (java) S 20752 20752 15674 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 114537858 14320615424 88992 33554432000 4194304 4196468 140721625213568 140186508784768 140187036616405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20763] ppid=20752 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20754/task/20763/stat : 20763 (java) S 20752 20752 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114537861 14320615424 88992 33554432000 4194304 4196468 140721625213568 140186507733072 140187036624795 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20764] ppid=20752 vsize=13984976 memory=0 CPUtime=0.55 cores=1,3,5,7
/proc/20754/task/20764/stat : 20764 (java) R 20752 20752 15674 0 -1 4202560 1609 0 0 0 55 0 0 0 20 0 15 0 114537861 14320615424 88992 33554432000 4194304 4196468 140721625213568 140186506667728 140187020162487 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20765] ppid=20752 vsize=13984976 memory=140210415369184 CPUtime=0.56 cores=1,3,5,7
/proc/20754/task/20765/stat : 20765 (java) R 20752 20752 15674 0 -1 4202560 1212 0 0 0 56 0 0 0 20 0 15 0 114537861 14320615424 88992 33554432000 4194304 4196468 140721625213568 140186505616112 140187036620048 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20766] ppid=20752 vsize=13984976 memory=0 CPUtime=0.35 cores=1,3,5,7
/proc/20754/task/20766/stat : 20766 (java) S 20752 20752 15674 0 -1 1077944384 1519 0 0 0 35 0 0 0 20 0 15 0 114537861 14320615424 88992 33554432000 4194304 4196468 140721625213568 140186504575856 140187036617346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20767] ppid=20752 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20754/task/20767/stat : 20767 (java) S 20752 20752 15674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 114537861 14320615424 88992 33554432000 4194304 4196468 140721625213568 140186503523296 140187036616405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
[pid=20754/tid=20768] ppid=20752 vsize=13984976 memory=7235127799038632533 CPUtime=0 cores=1,3,5,7
/proc/20754/task/20768/stat : 20768 (java) S 20752 20752 15674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 114537861 14320615424 88992 33554432000 4194304 4196468 140721625213568 140186502470064 140187036617346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36704256 140721625220247 140721625220423 140721625220423 140721625223119 0
Current children cumulated CPU time: 3.01 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 357348 KiB
Child status: 0
Real time (s): 1.43705
CPU time (s): 3.09864
CPU user time (s): 2.93119
CPU system time (s): 0.167447
CPU usage (%): 215.625
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 357348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.93119
system time used= 0.167447
maximum resident set size= 357172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13457
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1733
involuntary context switches= 11
# summary of solver processes directly reported to runsolver:
# pid: 20752
# total CPU time (s): 3.09864
# total CPU user time (s): 2.93119
# total CPU system time (s): 0.167447
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.031779 second user time and 0.058477 second system time
The end