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 (12495 MiB free)
memory of node 1: 16384 MiB (15431 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283390-1503189533/watcher-4283390-1503189533 -o /tmp/evaluation-result-4283390-1503189533/solver-4283390-1503189533 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1503172133-9103 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 293520524 HOME/instance-4283390-1503189533.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=12144, runsolver pid=12141
[startup+0.100135 s]*
/proc/loadavg: 2.40 2.07 1.88 3/198 12147
/proc/meminfo: memFree=28593156/32770624 swapFree=67108860/67108860
[pid=12144] ppid=12141 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/12144/stat : 12144 (xcsp3-exec) S 12141 12144 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 121146318 9740288 345 18446744073709551615 4194304 5098028 140729068901792 140729068899896 140602062697084 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 17866752 140729068908921 140729068909125 140729068909125 140729068912619 0
/proc/12144/statm: 2378 345 289 221 0 87 0
[pid=12146] ppid=12144 vsize=13358712 memory=16148 CPUtime=0.01 cores=1,3,5,7
/proc/12146/stat : 12146 (java) S 12144 12144 28892 0 -1 1077944320 3295 0 0 0 1 0 0 0 20 0 6 0 121146327 13679321088 4037 18446744073709551615 4194304 4196468 140722033774992 140722033757536 139882142412535 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
/proc/12146/statm: 3339678 4037 1901 1 0 3329175 0
[pid=12146/tid=12147] ppid=12144 vsize=13358712 memory=-8023549066454273880 CPUtime=0.01 cores=1,3,5,7
/proc/12146/task/12147/stat : 12147 (java) R 12144 12144 28892 0 -1 4202560 2068 0 0 0 1 0 0 0 20 0 6 0 121146328 13679321088 4037 18446744073709551615 4194304 4196468 140722033774992 139882146648656 139882128095061 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12148] ppid=12144 vsize=13358712 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/12146/task/12148/stat : 12148 (java) S 12144 12144 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 121146328 13679321088 4037 18446744073709551615 4194304 4196468 140722033774992 139882061826960 139882142422741 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12149] ppid=12144 vsize=13358712 memory=140221053159040 CPUtime=0 cores=1,3,5,7
/proc/12146/task/12149/stat : 12149 (java) S 12144 12144 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 121146328 13679321088 4037 18446744073709551615 4194304 4196468 140722033774992 139882060774160 139882142422741 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12150] ppid=12144 vsize=13358712 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12146/task/12150/stat : 12150 (java) S 12144 12144 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 121146328 13679321088 4037 18446744073709551615 4194304 4196468 140722033774992 139882059721872 139882142422741 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12151] ppid=12144 vsize=13358712 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12146/task/12151/stat : 12151 (java) S 12144 12144 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 121146328 13679321088 4037 18446744073709551615 4194304 4196468 140722033774992 139882058669072 139882142422741 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 17528 KiB
[startup+0.210011 s]*
/proc/loadavg: 2.40 2.07 1.88 2/210 12159
/proc/meminfo: memFree=28587212/32770624 swapFree=67108860/67108860
[pid=12144] ppid=12141 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/12144/stat : 12144 (xcsp3-exec) S 12141 12144 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 121146318 9740288 345 18446744073709551615 4194304 5098028 140729068901792 140729068899896 140602062697084 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 17866752 140729068908921 140729068909125 140729068909125 140729068912619 0
/proc/12144/statm: 2378 345 289 221 0 87 0
[pid=12146] ppid=12144 vsize=13907304 memory=20404 CPUtime=0.05 cores=1,3,5,7
/proc/12146/stat : 12146 (java) S 12144 12144 28892 0 -1 1077944320 4551 0 0 0 4 1 0 0 20 0 14 0 121146327 14241079296 5101 18446744073709551615 4194304 4196468 140722033774992 140722033757536 139882142412535 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
/proc/12146/statm: 3476826 5101 2552 1 0 3466323 0
[pid=12146/tid=12147] ppid=12144 vsize=13907304 memory=7311146985107750967 CPUtime=0.04 cores=1,3,5,7
/proc/12146/task/12147/stat : 12147 (java) D 12144 12144 28892 0 -1 1077944384 2724 0 0 0 4 0 0 0 20 0 14 0 121146328 14241079296 5101 18446744073709551615 4194304 4196468 140722033774992 139882146649920 139882142436413 0 4 1 16800974 18446744072101613092 0 0 -1 5 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12148] ppid=12144 vsize=13907304 memory=13729 CPUtime=0 cores=1,3,5,7
/proc/12146/task/12148/stat : 12148 (java) S 12144 12144 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 121146328 14241079296 5101 18446744073709551615 4194304 4196468 140722033774992 139882061826960 139882142422741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12149] ppid=12144 vsize=13907304 memory=288370597204870784 CPUtime=0 cores=1,3,5,7
/proc/12146/task/12149/stat : 12149 (java) S 12144 12144 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 121146328 14241079296 5101 18446744073709551615 4194304 4196468 140722033774992 139882060774160 139882142422741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12150] ppid=12144 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12146/task/12150/stat : 12150 (java) S 12144 12144 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 121146328 14241079296 5101 18446744073709551615 4194304 4196468 140722033774992 139882059721872 139882142422741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12151] ppid=12144 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12146/task/12151/stat : 12151 (java) S 12144 12144 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 121146328 14241079296 5101 18446744073709551615 4194304 4196468 140722033774992 139882058669072 139882142422741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12152] ppid=12144 vsize=13907304 memory=140221053159040 CPUtime=0 cores=1,3,5,7
/proc/12146/task/12152/stat : 12152 (java) S 12144 12144 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 121146330 14241079296 5101 18446744073709551615 4194304 4196468 140722033774992 139881058388080 139882142423682 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12153] ppid=12144 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12146/task/12153/stat : 12153 (java) S 12144 12144 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 121146330 14241079296 5101 18446744073709551615 4194304 4196468 140722033774992 139881057334048 139882142422741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12154] ppid=12144 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12146/task/12154/stat : 12154 (java) S 12144 12144 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 121146330 14241079296 5101 18446744073709551615 4194304 4196468 140722033774992 139881056281712 139882142422741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12155] ppid=12144 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12146/task/12155/stat : 12155 (java) S 12144 12144 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 121146333 14241079296 5101 18446744073709551615 4194304 4196468 140722033774992 139881055230032 139882142431131 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12156] ppid=12144 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12146/task/12156/stat : 12156 (java) S 12144 12144 28892 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 14 0 121146333 14241079296 5101 18446744073709551615 4194304 4196468 140722033774992 139881054177904 139882142423682 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12157] ppid=12144 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12146/task/12157/stat : 12157 (java) S 12144 12144 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 121146333 14241079296 5101 18446744073709551615 4194304 4196468 140722033774992 139881053125104 139882142423682 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12158] ppid=12144 vsize=13907304 memory=140221053159040 CPUtime=0 cores=1,3,5,7
/proc/12146/task/12158/stat : 12158 (java) S 12144 12144 28892 0 -1 1077944384 214 0 0 0 0 0 0 0 20 0 14 0 121146333 14241079296 5101 18446744073709551615 4194304 4196468 140722033774992 139881052072816 139882142423682 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12159] ppid=12144 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12146/task/12159/stat : 12159 (java) S 12144 12144 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 121146333 14241079296 5101 18446744073709551615 4194304 4196468 140722033774992 139881051020256 139882142422741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 21784 KiB
[startup+0.310084 s]*
/proc/loadavg: 2.40 2.07 1.88 2/210 12159
/proc/meminfo: memFree=28586840/32770624 swapFree=67108860/67108860
[pid=12144] ppid=12141 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/12144/stat : 12144 (xcsp3-exec) S 12141 12144 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 121146318 9740288 345 18446744073709551615 4194304 5098028 140729068901792 140729068899896 140602062697084 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 17866752 140729068908921 140729068909125 140729068909125 140729068912619 0
/proc/12144/statm: 2378 345 289 221 0 87 0
[pid=12146] ppid=12144 vsize=13907304 memory=20664 CPUtime=0.05 cores=1,3,5,7
/proc/12146/stat : 12146 (java) S 12144 12144 28892 0 -1 1077944320 4553 0 0 0 4 1 0 0 20 0 14 0 121146327 14241079296 5166 18446744073709551615 4194304 4196468 140722033774992 140722033757536 139882142412535 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
/proc/12146/statm: 3476826 5166 2571 1 0 3466323 0
[pid=12146/tid=12147] ppid=12144 vsize=13907304 memory=-7677926825137650786 CPUtime=0.04 cores=1,3,5,7
/proc/12146/task/12147/stat : 12147 (java) D 12144 12144 28892 0 -1 4202560 2726 0 0 0 4 0 0 0 20 0 14 0 121146328 14241079296 5166 18446744073709551615 4194304 4196468 140722033774992 139882146650016 139882142434557 0 4 1 16800974 18446744071580418449 0 0 -1 5 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12148] ppid=12144 vsize=13907304 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/12146/task/12148/stat : 12148 (java) S 12144 12144 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 121146328 14241079296 5166 18446744073709551615 4194304 4196468 140722033774992 139882061826960 139882142422741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12149] ppid=12144 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12146/task/12149/stat : 12149 (java) S 12144 12144 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 121146328 14241079296 5166 18446744073709551615 4194304 4196468 140722033774992 139882060774160 139882142422741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12150] ppid=12144 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12146/task/12150/stat : 12150 (java) S 12144 12144 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 121146328 14241079296 5166 18446744073709551615 4194304 4196468 140722033774992 139882059721872 139882142422741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12151] ppid=12144 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12146/task/12151/stat : 12151 (java) S 12144 12144 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 121146328 14241079296 5166 18446744073709551615 4194304 4196468 140722033774992 139882058669072 139882142422741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12152] ppid=12144 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12146/task/12152/stat : 12152 (java) S 12144 12144 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 121146330 14241079296 5166 18446744073709551615 4194304 4196468 140722033774992 139881058388080 139882142423682 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12153] ppid=12144 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12146/task/12153/stat : 12153 (java) S 12144 12144 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 121146330 14241079296 5166 18446744073709551615 4194304 4196468 140722033774992 139881057334048 139882142422741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12154] ppid=12144 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12146/task/12154/stat : 12154 (java) S 12144 12144 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 121146330 14241079296 5166 18446744073709551615 4194304 4196468 140722033774992 139881056281712 139882142422741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12155] ppid=12144 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12146/task/12155/stat : 12155 (java) S 12144 12144 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 121146333 14241079296 5166 18446744073709551615 4194304 4196468 140722033774992 139881055230032 139882142431131 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12156] ppid=12144 vsize=13907304 memory=140220951710400 CPUtime=0 cores=1,3,5,7
/proc/12146/task/12156/stat : 12156 (java) S 12144 12144 28892 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 14 0 121146333 14241079296 5166 18446744073709551615 4194304 4196468 140722033774992 139881054177904 139882142423682 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12157] ppid=12144 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12146/task/12157/stat : 12157 (java) S 12144 12144 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 121146333 14241079296 5166 18446744073709551615 4194304 4196468 140722033774992 139881053125104 139882142423682 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12158] ppid=12144 vsize=13907304 memory=140221053159040 CPUtime=0 cores=1,3,5,7
/proc/12146/task/12158/stat : 12158 (java) S 12144 12144 28892 0 -1 1077944384 214 0 0 0 0 0 0 0 20 0 14 0 121146333 14241079296 5166 18446744073709551615 4194304 4196468 140722033774992 139881052072816 139882142423682 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12159] ppid=12144 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12146/task/12159/stat : 12159 (java) S 12144 12144 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 121146333 14241079296 5166 18446744073709551615 4194304 4196468 140722033774992 139881051020256 139882142422741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 22044 KiB
[startup+0.700674 s]
/proc/loadavg: 2.40 2.07 1.88 2/210 12159
/proc/meminfo: memFree=28586840/32770624 swapFree=67108860/67108860
[pid=12144] ppid=12141 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/12144/stat : 12144 (xcsp3-exec) S 12141 12144 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 121146318 9740288 345 18446744073709551615 4194304 5098028 140729068901792 140729068899896 140602062697084 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 17866752 140729068908921 140729068909125 140729068909125 140729068912619 0
/proc/12144/statm: 2378 345 289 221 0 87 0
[pid=12146] ppid=12144 vsize=13907304 memory=20664 CPUtime=0.05 cores=1,3,5,7
/proc/12146/stat : 12146 (java) S 12144 12144 28892 0 -1 1077944320 4553 0 0 0 4 1 0 0 20 0 14 0 121146327 14241079296 5166 18446744073709551615 4194304 4196468 140722033774992 140722033757536 139882142412535 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
/proc/12146/statm: 3476826 5166 2571 1 0 3466323 0
[pid=12146/tid=12147] ppid=12144 vsize=13907304 memory=546 CPUtime=0.04 cores=1,3,5,7
/proc/12146/task/12147/stat : 12147 (java) D 12144 12144 28892 0 -1 4202560 2726 0 0 0 4 0 0 0 20 0 14 0 121146328 14241079296 5166 18446744073709551615 4194304 4196468 140722033774992 139882146650016 139882142434557 0 4 1 16800974 18446744071580418449 0 0 -1 5 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12148] ppid=12144 vsize=13907304 memory=1543 CPUtime=0 cores=1,3,5,7
/proc/12146/task/12148/stat : 12148 (java) S 12144 12144 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 121146328 14241079296 5166 18446744073709551615 4194304 4196468 140722033774992 139882061826960 139882142422741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12149] ppid=12144 vsize=13907304 memory=110 CPUtime=0 cores=1,3,5,7
/proc/12146/task/12149/stat : 12149 (java) S 12144 12144 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 121146328 14241079296 5166 18446744073709551615 4194304 4196468 140722033774992 139882060774160 139882142422741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12150] ppid=12144 vsize=13907304 memory=140221053159039 CPUtime=0 cores=1,3,5,7
/proc/12146/task/12150/stat : 12150 (java) S 12144 12144 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 121146328 14241079296 5166 18446744073709551615 4194304 4196468 140722033774992 139882059721872 139882142422741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12151] ppid=12144 vsize=13907304 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/12146/task/12151/stat : 12151 (java) S 12144 12144 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 121146328 14241079296 5166 18446744073709551615 4194304 4196468 140722033774992 139882058669072 139882142422741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12152] ppid=12144 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12146/task/12152/stat : 12152 (java) S 12144 12144 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 121146330 14241079296 5166 18446744073709551615 4194304 4196468 140722033774992 139881058388080 139882142423682 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12153] ppid=12144 vsize=13907304 memory=3472328296227679313 CPUtime=0 cores=1,3,5,7
/proc/12146/task/12153/stat : 12153 (java) S 12144 12144 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 121146330 14241079296 5166 18446744073709551615 4194304 4196468 140722033774992 139881057334048 139882142422741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12154] ppid=12144 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12146/task/12154/stat : 12154 (java) S 12144 12144 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 121146330 14241079296 5166 18446744073709551615 4194304 4196468 140722033774992 139881056281712 139882142422741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12155] ppid=12144 vsize=13907304 memory=-1624781813439352349 CPUtime=0 cores=1,3,5,7
/proc/12146/task/12155/stat : 12155 (java) S 12144 12144 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 121146333 14241079296 5166 18446744073709551615 4194304 4196468 140722033774992 139881055230032 139882142431131 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12156] ppid=12144 vsize=13907304 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/12146/task/12156/stat : 12156 (java) S 12144 12144 28892 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 14 0 121146333 14241079296 5166 18446744073709551615 4194304 4196468 140722033774992 139881054177904 139882142423682 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12157] ppid=12144 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12146/task/12157/stat : 12157 (java) S 12144 12144 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 121146333 14241079296 5166 18446744073709551615 4194304 4196468 140722033774992 139881053125104 139882142423682 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12158] ppid=12144 vsize=13907304 memory=3908 CPUtime=0 cores=1,3,5,7
/proc/12146/task/12158/stat : 12158 (java) S 12144 12144 28892 0 -1 1077944384 214 0 0 0 0 0 0 0 20 0 14 0 121146333 14241079296 5166 18446744073709551615 4194304 4196468 140722033774992 139881052072816 139882142423682 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12159] ppid=12144 vsize=13907304 memory=-7677926825137650786 CPUtime=0 cores=1,3,5,7
/proc/12146/task/12159/stat : 12159 (java) S 12144 12144 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 121146333 14241079296 5166 18446744073709551615 4194304 4196468 140722033774992 139881051020256 139882142422741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 22044 KiB
[startup+1.50073 s]
/proc/loadavg: 2.40 2.07 1.88 2/210 12159
/proc/meminfo: memFree=28586444/32770624 swapFree=67108860/67108860
[pid=12144] ppid=12141 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/12144/stat : 12144 (xcsp3-exec) S 12141 12144 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 121146318 9740288 345 18446744073709551615 4194304 5098028 140729068901792 140729068899896 140602062697084 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 17866752 140729068908921 140729068909125 140729068909125 140729068912619 0
/proc/12144/statm: 2378 345 289 221 0 87 0
[pid=12146] ppid=12144 vsize=13907304 memory=20664 CPUtime=0.05 cores=1,3,5,7
/proc/12146/stat : 12146 (java) S 12144 12144 28892 0 -1 1077944320 4553 0 0 0 4 1 0 0 20 0 14 0 121146327 14241079296 5166 18446744073709551615 4194304 4196468 140722033774992 140722033757536 139882142412535 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
/proc/12146/statm: 3476826 5166 2571 1 0 3466323 0
[pid=12146/tid=12147] ppid=12144 vsize=13907304 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/12146/task/12147/stat : 12147 (java) D 12144 12144 28892 0 -1 4202560 2726 0 0 0 4 0 0 0 20 0 14 0 121146328 14241079296 5166 18446744073709551615 4194304 4196468 140722033774992 139882146650016 139882142434557 0 4 1 16800974 18446744071580418449 0 0 -1 5 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12148] ppid=12144 vsize=13907304 memory=4028 CPUtime=0 cores=1,3,5,7
/proc/12146/task/12148/stat : 12148 (java) S 12144 12144 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 121146328 14241079296 5166 18446744073709551615 4194304 4196468 140722033774992 139882061826960 139882142422741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12149] ppid=12144 vsize=13907304 memory=2372 CPUtime=0 cores=1,3,5,7
/proc/12146/task/12149/stat : 12149 (java) S 12144 12144 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 121146328 14241079296 5166 18446744073709551615 4194304 4196468 140722033774992 139882060774160 139882142422741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12150] ppid=12144 vsize=13907304 memory=5937524870553682016 CPUtime=0 cores=1,3,5,7
/proc/12146/task/12150/stat : 12150 (java) S 12144 12144 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 121146328 14241079296 5166 18446744073709551615 4194304 4196468 140722033774992 139882059721872 139882142422741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12151] ppid=12144 vsize=13907304 memory=5937524870553682016 CPUtime=0 cores=1,3,5,7
/proc/12146/task/12151/stat : 12151 (java) S 12144 12144 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 121146328 14241079296 5166 18446744073709551615 4194304 4196468 140722033774992 139882058669072 139882142422741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12152] ppid=12144 vsize=13907304 memory=5937524870553682016 CPUtime=0 cores=1,3,5,7
/proc/12146/task/12152/stat : 12152 (java) S 12144 12144 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 121146330 14241079296 5166 18446744073709551615 4194304 4196468 140722033774992 139881058388080 139882142423682 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12153] ppid=12144 vsize=13907304 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/12146/task/12153/stat : 12153 (java) S 12144 12144 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 121146330 14241079296 5166 18446744073709551615 4194304 4196468 140722033774992 139881057334048 139882142422741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12154] ppid=12144 vsize=13907304 memory=6378575213648978592 CPUtime=0 cores=1,3,5,7
/proc/12146/task/12154/stat : 12154 (java) S 12144 12144 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 121146330 14241079296 5166 18446744073709551615 4194304 4196468 140722033774992 139881056281712 139882142422741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12155] ppid=12144 vsize=13907304 memory=-8984037317817952887 CPUtime=0 cores=1,3,5,7
/proc/12146/task/12155/stat : 12155 (java) S 12144 12144 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 121146333 14241079296 5166 18446744073709551615 4194304 4196468 140722033774992 139881055230032 139882142431131 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12156] ppid=12144 vsize=13907304 memory=140220951469362 CPUtime=0 cores=1,3,5,7
/proc/12146/task/12156/stat : 12156 (java) S 12144 12144 28892 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 14 0 121146333 14241079296 5166 18446744073709551615 4194304 4196468 140722033774992 139881054177904 139882142423682 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12157] ppid=12144 vsize=13907304 memory=-8412654356252036979 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/12146/task/12154/stat : 12154 (java) S 12144 12144 28892 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 121146330 14316269568 107540 18446744073709551615 4194304 4196468 140722033774992 139881056281728 139882142422741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12155] ppid=12144 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12146/task/12155/stat : 12155 (java) S 12144 12144 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121146333 14316269568 107540 18446744073709551615 4194304 4196468 140722033774992 139881055230032 139882142431131 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12156] ppid=12144 vsize=13980732 memory=1897 CPUtime=4.02 cores=1,3,5,7
/proc/12146/task/12156/stat : 12156 (java) S 12144 12144 28892 0 -1 1077944384 23481 0 0 0 399 3 0 0 20 0 15 0 121146333 14316269568 107540 18446744073709551615 4194304 4196468 140722033774992 139881054177904 139882142423682 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12157] ppid=12144 vsize=13980732 memory=0 CPUtime=3.95 cores=1,3,5,7
/proc/12146/task/12157/stat : 12157 (java) S 12144 12144 28892 0 -1 1077944384 22533 0 0 0 392 3 0 0 20 0 15 0 121146333 14316269568 107540 18446744073709551615 4194304 4196468 140722033774992 139881053125104 139882142423682 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12158] ppid=12144 vsize=13980732 memory=9136 CPUtime=0.86 cores=1,3,5,7
/proc/12146/task/12158/stat : 12158 (java) S 12144 12144 28892 0 -1 1077944384 13241 0 0 0 83 3 0 0 20 0 15 0 121146333 14316269568 107540 18446744073709551615 4194304 4196468 140722033774992 139881052072816 139882142423682 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12159] ppid=12144 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/12146/task/12159/stat : 12159 (java) S 12144 12144 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121146333 14316269568 107540 18446744073709551615 4194304 4196468 140722033774992 139881051020256 139882142422741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12162] ppid=12144 vsize=13980732 memory=1380 CPUtime=1.31 cores=1,3,5,7
/proc/12146/task/12162/stat : 12162 (java) S 12144 12144 28892 0 -1 1077944384 794 0 0 0 59 72 0 0 20 0 15 0 121148496 14316269568 107540 18446744073709551615 4194304 4196468 140722033774992 139881049967024 139882142423682 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
Current children cumulated CPU time: 2426.74 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 431540 KiB
[startup+2442.3 s]
/proc/loadavg: 1.47 1.56 1.60 3/212 12505
/proc/meminfo: memFree=29927700/32770624 swapFree=67108860/67108860
[pid=12144] ppid=12141 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/12144/stat : 12144 (xcsp3-exec) S 12141 12144 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 121146318 9740288 345 18446744073709551615 4194304 5098028 140729068901792 140729068899896 140602062697084 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 17866752 140729068908921 140729068909125 140729068909125 140729068912619 0
/proc/12144/statm: 2378 345 289 221 0 87 0
[pid=12146] ppid=12144 vsize=13980732 memory=392796 CPUtime=2488.33 cores=1,3,5,7
/proc/12146/stat : 12146 (java) S 12144 12144 28892 0 -1 1077944320 314625 0 0 0 248389 444 0 0 20 0 15 0 121146327 14316269568 98199 18446744073709551615 4194304 4196468 140722033774992 140722033757536 139882142412535 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
/proc/12146/statm: 3495183 98199 3256 1 0 3483476 0
[pid=12146/tid=12147] ppid=12144 vsize=13980732 memory=397308 CPUtime=2397.9 cores=1,3,5,7
/proc/12146/task/12147/stat : 12147 (java) R 12144 12144 28892 0 -1 4202560 118816 0 0 0 239745 45 0 0 20 0 15 0 121146328 14316269568 98199 18446744073709551615 4194304 4196468 140722033774992 139882146651984 139881738544921 0 4 1 16800974 0 0 0 -1 3 0 0 2153 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12148] ppid=12144 vsize=13980732 memory=399360 CPUtime=19.59 cores=1,3,5,7
/proc/12146/task/12148/stat : 12148 (java) S 12144 12144 28892 0 -1 1077944384 16941 0 0 0 1883 76 0 0 20 0 15 0 121146328 14316269568 98199 18446744073709551615 4194304 4196468 140722033774992 139882061826960 139882142422741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12149] ppid=12144 vsize=13980732 memory=434576 CPUtime=19.57 cores=1,3,5,7
/proc/12146/task/12149/stat : 12149 (java) S 12144 12144 28892 0 -1 1077944384 16598 0 0 0 1884 73 0 0 20 0 15 0 121146328 14316269568 98199 18446744073709551615 4194304 4196468 140722033774992 139882060774160 139882142422741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12150] ppid=12144 vsize=13980732 memory=421752 CPUtime=19.51 cores=1,3,5,7
/proc/12146/task/12150/stat : 12150 (java) S 12144 12144 28892 0 -1 1077944384 18004 0 0 0 1877 74 0 0 20 0 15 0 121146328 14316269568 98199 18446744073709551615 4194304 4196468 140722033774992 139882059721872 139882142422741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12151] ppid=12144 vsize=13980732 memory=412696 CPUtime=19.48 cores=1,3,5,7
/proc/12146/task/12151/stat : 12151 (java) S 12144 12144 28892 0 -1 1077944384 17902 0 0 0 1871 77 0 0 20 0 15 0 121146328 14316269568 98199 18446744073709551615 4194304 4196468 140722033774992 139882058669072 139882142422741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12152] ppid=12144 vsize=13980732 memory=411156 CPUtime=2 cores=1,3,5,7
/proc/12146/task/12152/stat : 12152 (java) S 12144 12144 28892 0 -1 1077944384 64821 0 0 0 160 40 0 0 20 0 15 0 121146330 14316269568 98199 18446744073709551615 4194304 4196468 140722033774992 139881058388080 139882142423682 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12153] ppid=12144 vsize=13980732 memory=407052 CPUtime=0 cores=1,3,5,7
/proc/12146/task/12153/stat : 12153 (java) S 12144 12144 28892 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 121146330 14316269568 98199 18446744073709551615 4194304 4196468 140722033774992 139881057334112 139882142422741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12154] ppid=12144 vsize=13980732 memory=406540 CPUtime=0 cores=1,3,5,7
/proc/12146/task/12154/stat : 12154 (java) S 12144 12144 28892 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 121146330 14316269568 98199 18446744073709551615 4194304 4196468 140722033774992 139881056281728 139882142422741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12155] ppid=12144 vsize=13980732 memory=401924 CPUtime=0 cores=1,3,5,7
/proc/12146/task/12155/stat : 12155 (java) S 12144 12144 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121146333 14316269568 98199 18446744073709551615 4194304 4196468 140722033774992 139881055230032 139882142431131 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12156] ppid=12144 vsize=13980732 memory=1380 CPUtime=4.05 cores=1,3,5,7
/proc/12146/task/12156/stat : 12156 (java) S 12144 12144 28892 0 -1 1077944384 23579 0 0 0 402 3 0 0 20 0 15 0 121146333 14316269568 98199 18446744073709551615 4194304 4196468 140722033774992 139881054177904 139882142423682 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12157] ppid=12144 vsize=13980732 memory=398844 CPUtime=3.95 cores=1,3,5,7
/proc/12146/task/12157/stat : 12157 (java) S 12144 12144 28892 0 -1 1077944384 22563 0 0 0 392 3 0 0 20 0 15 0 121146333 14316269568 98199 18446744073709551615 4194304 4196468 140722033774992 139881053125104 139882142423682 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12158] ppid=12144 vsize=13980732 memory=394848 CPUtime=0.86 cores=1,3,5,7
/proc/12146/task/12158/stat : 12158 (java) S 12144 12144 28892 0 -1 1077944384 13242 0 0 0 83 3 0 0 20 0 15 0 121146333 14316269568 98199 18446744073709551615 4194304 4196468 140722033774992 139881052072816 139882142423682 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12159] ppid=12144 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/12146/task/12159/stat : 12159 (java) S 12144 12144 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121146333 14316269568 98199 18446744073709551615 4194304 4196468 140722033774992 139881051020256 139882142422741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12162] ppid=12144 vsize=13980732 memory=1380 CPUtime=1.34 cores=1,3,5,7
/proc/12146/task/12162/stat : 12162 (java) S 12144 12144 28892 0 -1 1077944384 818 0 0 0 60 74 0 0 20 0 15 0 121148496 14316269568 98199 18446744073709551615 4194304 4196468 140722033774992 139881049967024 139882142423682 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
Current children cumulated CPU time: 2488.33 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 394176 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2473.3 s]
/proc/loadavg: 1.42 1.54 1.59 3/212 12505
/proc/meminfo: memFree=30008356/32770624 swapFree=67108860/67108860
[pid=12144] ppid=12141 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/12144/stat : 12144 (xcsp3-exec) S 12141 12144 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 121146318 9740288 345 18446744073709551615 4194304 5098028 140729068901792 140729068899896 140602062697084 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 17866752 140729068908921 140729068909125 140729068909125 140729068912619 0
/proc/12144/statm: 2378 345 289 221 0 87 0
[pid=12146] ppid=12144 vsize=13980732 memory=400732 CPUtime=2520.01 cores=1,3,5,7
/proc/12146/stat : 12146 (java) S 12144 12144 28892 0 -1 1077944320 317376 0 0 0 251554 447 0 0 20 0 15 0 121146327 14316269568 100183 18446744073709551615 4194304 4196468 140722033774992 140722033757536 139882142412535 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
/proc/12146/statm: 3495183 100183 3256 1 0 3483476 0
[pid=12146/tid=12147] ppid=12144 vsize=13980732 memory=393052 CPUtime=2428.64 cores=1,3,5,7
/proc/12146/task/12147/stat : 12147 (java) R 12144 12144 28892 0 -1 4202560 121056 0 0 0 242818 46 0 0 20 0 15 0 121146328 14316269568 100183 18446744073709551615 4194304 4196468 140722033774992 139882146651936 139881740379482 0 4 1 16800974 0 0 0 -1 5 0 0 2153 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12148] ppid=12144 vsize=13980732 memory=393052 CPUtime=19.81 cores=1,3,5,7
/proc/12146/task/12148/stat : 12148 (java) S 12144 12144 28892 0 -1 1077944384 17042 0 0 0 1905 76 0 0 20 0 15 0 121146328 14316269568 100183 18446744073709551615 4194304 4196468 140722033774992 139882061826960 139882142422741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12149] ppid=12144 vsize=13980732 memory=393028 CPUtime=19.8 cores=1,3,5,7
/proc/12146/task/12149/stat : 12149 (java) S 12144 12144 28892 0 -1 1077944384 16709 0 0 0 1906 74 0 0 20 0 15 0 121146328 14316269568 100183 18446744073709551615 4194304 4196468 140722033774992 139882060774160 139882142422741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12150] ppid=12144 vsize=13980732 memory=393028 CPUtime=19.73 cores=1,3,5,7
/proc/12146/task/12150/stat : 12150 (java) S 12144 12144 28892 0 -1 1077944384 18117 0 0 0 1899 74 0 0 20 0 15 0 121146328 14316269568 100183 18446744073709551615 4194304 4196468 140722033774992 139882059721872 139882142422741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12151] ppid=12144 vsize=13980732 memory=409956 CPUtime=19.7 cores=1,3,5,7
/proc/12146/task/12151/stat : 12151 (java) S 12144 12144 28892 0 -1 1077944384 17984 0 0 0 1893 77 0 0 20 0 15 0 121146328 14316269568 100183 18446744073709551615 4194304 4196468 140722033774992 139882058669072 139882142422741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12152] ppid=12144 vsize=13980732 memory=1380 CPUtime=2.02 cores=1,3,5,7
/proc/12146/task/12152/stat : 12152 (java) S 12144 12144 28892 0 -1 1077944384 64856 0 0 0 162 40 0 0 20 0 15 0 121146330 14316269568 100183 18446744073709551615 4194304 4196468 140722033774992 139881058388080 139882142423682 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12153] ppid=12144 vsize=13980732 memory=413032 CPUtime=0 cores=1,3,5,7
/proc/12146/task/12153/stat : 12153 (java) S 12144 12144 28892 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 121146330 14316269568 100183 18446744073709551615 4194304 4196468 140722033774992 139881057334112 139882142422741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12154] ppid=12144 vsize=13980732 memory=395276 CPUtime=0 cores=1,3,5,7
/proc/12146/task/12154/stat : 12154 (java) S 12144 12144 28892 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 121146330 14316269568 100183 18446744073709551615 4194304 4196468 140722033774992 139881056281728 139882142422741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12155] ppid=12144 vsize=13980732 memory=400732 CPUtime=0 cores=1,3,5,7
/proc/12146/task/12155/stat : 12155 (java) S 12144 12144 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121146333 14316269568 100183 18446744073709551615 4194304 4196468 140722033774992 139881055230032 139882142431131 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12156] ppid=12144 vsize=13980732 memory=1380 CPUtime=4.05 cores=1,3,5,7
/proc/12146/task/12156/stat : 12156 (java) S 12144 12144 28892 0 -1 1077944384 23579 0 0 0 402 3 0 0 20 0 15 0 121146333 14316269568 100183 18446744073709551615 4194304 4196468 140722033774992 139881054177904 139882142423682 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12157] ppid=12144 vsize=13980732 memory=401236 CPUtime=3.95 cores=1,3,5,7
/proc/12146/task/12157/stat : 12157 (java) S 12144 12144 28892 0 -1 1077944384 22630 0 0 0 392 3 0 0 20 0 15 0 121146333 14316269568 100183 18446744073709551615 4194304 4196468 140722033774992 139881053125104 139882142423682 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12158] ppid=12144 vsize=13980732 memory=2420 CPUtime=0.86 cores=1,3,5,7
/proc/12146/task/12158/stat : 12158 (java) S 12144 12144 28892 0 -1 1077944384 13242 0 0 0 83 3 0 0 20 0 15 0 121146333 14316269568 100183 18446744073709551615 4194304 4196468 140722033774992 139881052072816 139882142423682 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12159] ppid=12144 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/12146/task/12159/stat : 12159 (java) S 12144 12144 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121146333 14316269568 100183 18446744073709551615 4194304 4196468 140722033774992 139881051020256 139882142422741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12162] ppid=12144 vsize=13980732 memory=394052 CPUtime=1.36 cores=1,3,5,7
/proc/12146/task/12162/stat : 12162 (java) S 12144 12144 28892 0 -1 1077944384 820 0 0 0 61 75 0 0 20 0 15 0 121148496 14316269568 100183 18446744073709551615 4194304 4196468 140722033774992 139881049967024 139882142423682 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 402112 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2473.31 s]
# the end of solver process 12144 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001898 s, system=0 s
[startup+2473.31 s]
# the end of solver process 12146 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.55 s, system=4.47793 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2473.3 s]
/proc/loadavg: 1.42 1.54 1.59 3/212 12505
/proc/meminfo: memFree=30008356/32770624 swapFree=67108860/67108860
[pid=12144] ppid=12141 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/12144/stat : 12144 (xcsp3-exec) S 12141 12144 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 121146318 9740288 345 18446744073709551615 4194304 5098028 140729068901792 140729068899896 140602062697084 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 8 0 0 7196144 7232144 17866752 140729068908921 140729068909125 140729068909125 140729068912619 0
/proc/12144/statm: 2378 345 289 221 0 87 0
[pid=12146] ppid=12144 vsize=13980732 memory=400732 CPUtime=2520.01 cores=1,3,5,7
/proc/12146/stat : 12146 (java) S 12144 12144 28892 0 -1 1077944320 317376 0 0 0 251554 447 0 0 20 0 15 0 121146327 14316269568 100183 18446744073709551615 4194304 4196468 140722033774992 140722033757536 139882142412535 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
/proc/12146/statm: 3495183 100183 3256 1 0 3483476 0
[pid=12146/tid=12147] ppid=12144 vsize=13980732 memory=393052 CPUtime=2428.64 cores=1,3,5,7
/proc/12146/task/12147/stat : 12147 (java) R 12144 12144 28892 0 -1 4202560 121056 0 0 0 242818 46 0 0 20 0 15 0 121146328 14316269568 100183 18446744073709551615 4194304 4196468 140722033774992 139882146651936 139881740379482 0 4 1 16800974 0 0 0 -1 5 0 0 2153 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12148] ppid=12144 vsize=13980732 memory=393052 CPUtime=19.81 cores=1,3,5,7
/proc/12146/task/12148/stat : 12148 (java) S 12144 12144 28892 0 -1 1077944384 17042 0 0 0 1905 76 0 0 20 0 15 0 121146328 14316269568 100183 18446744073709551615 4194304 4196468 140722033774992 139882061826960 139882142422741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12149] ppid=12144 vsize=13980732 memory=393028 CPUtime=19.8 cores=1,3,5,7
/proc/12146/task/12149/stat : 12149 (java) S 12144 12144 28892 0 -1 1077944384 16709 0 0 0 1906 74 0 0 20 0 15 0 121146328 14316269568 100183 18446744073709551615 4194304 4196468 140722033774992 139882060774160 139882142422741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12150] ppid=12144 vsize=13980732 memory=393028 CPUtime=19.73 cores=1,3,5,7
/proc/12146/task/12150/stat : 12150 (java) S 12144 12144 28892 0 -1 1077944384 18117 0 0 0 1899 74 0 0 20 0 15 0 121146328 14316269568 100183 18446744073709551615 4194304 4196468 140722033774992 139882059721872 139882142422741 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12151] ppid=12144 vsize=13980732 memory=409956 CPUtime=19.7 cores=1,3,5,7
/proc/12146/task/12151/stat : 12151 (java) S 12144 12144 28892 0 -1 1077944384 17984 0 0 0 1893 77 0 0 20 0 15 0 121146328 14316269568 100183 18446744073709551615 4194304 4196468 140722033774992 139882058669072 139882142422741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12152] ppid=12144 vsize=13980732 memory=1380 CPUtime=2.02 cores=1,3,5,7
/proc/12146/task/12152/stat : 12152 (java) S 12144 12144 28892 0 -1 1077944384 64856 0 0 0 162 40 0 0 20 0 15 0 121146330 14316269568 100183 18446744073709551615 4194304 4196468 140722033774992 139881058388080 139882142423682 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12153] ppid=12144 vsize=13980732 memory=413032 CPUtime=0 cores=1,3,5,7
/proc/12146/task/12153/stat : 12153 (java) S 12144 12144 28892 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 121146330 14316269568 100183 18446744073709551615 4194304 4196468 140722033774992 139881057334112 139882142422741 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12154] ppid=12144 vsize=13980732 memory=395276 CPUtime=0 cores=1,3,5,7
/proc/12146/task/12154/stat : 12154 (java) S 12144 12144 28892 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 121146330 14316269568 100183 18446744073709551615 4194304 4196468 140722033774992 139881056281728 139882142422741 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12155] ppid=12144 vsize=13980732 memory=400732 CPUtime=0 cores=1,3,5,7
/proc/12146/task/12155/stat : 12155 (java) S 12144 12144 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121146333 14316269568 100183 18446744073709551615 4194304 4196468 140722033774992 139881055230032 139882142431131 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12156] ppid=12144 vsize=13980732 memory=1380 CPUtime=4.05 cores=1,3,5,7
/proc/12146/task/12156/stat : 12156 (java) S 12144 12144 28892 0 -1 1077944384 23579 0 0 0 402 3 0 0 20 0 15 0 121146333 14316269568 100183 18446744073709551615 4194304 4196468 140722033774992 139881054177904 139882142423682 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12157] ppid=12144 vsize=13980732 memory=401236 CPUtime=3.95 cores=1,3,5,7
/proc/12146/task/12157/stat : 12157 (java) S 12144 12144 28892 0 -1 1077944384 22630 0 0 0 392 3 0 0 20 0 15 0 121146333 14316269568 100183 18446744073709551615 4194304 4196468 140722033774992 139881053125104 139882142423682 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12158] ppid=12144 vsize=13980732 memory=2420 CPUtime=0.86 cores=1,3,5,7
/proc/12146/task/12158/stat : 12158 (java) S 12144 12144 28892 0 -1 1077944384 13242 0 0 0 83 3 0 0 20 0 15 0 121146333 14316269568 100183 18446744073709551615 4194304 4196468 140722033774992 139881052072816 139882142423682 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12159] ppid=12144 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/12146/task/12159/stat : 12159 (java) S 12144 12144 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 121146333 14316269568 100183 18446744073709551615 4194304 4196468 140722033774992 139881051020256 139882142422741 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
[pid=12146/tid=12162] ppid=12144 vsize=13980732 memory=394052 CPUtime=1.36 cores=1,3,5,7
/proc/12146/task/12162/stat : 12162 (java) S 12144 12144 28892 0 -1 1077944384 820 0 0 0 61 75 0 0 20 0 15 0 121148496 14316269568 100183 18446744073709551615 4194304 4196468 140722033774992 139881049967024 139882142423682 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23912448 140722033779121 140722033779297 140722033779297 140722033782735 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 402112 KiB
Child status: 143
Real time (s): 2473.31
CPU time (s): 2520.03
CPU user time (s): 2515.55
CPU system time (s): 4.47793
CPU usage (%): 101.889
Max. virtual memory (cumulated for all children) (KiB): 13992080
Max. memory (cumulated for all children) (KiB): 1178592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.55
system time used= 4.47793
maximum resident set size= 1187696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 318015
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 92133
involuntary context switches= 3618
# summary of solver processes directly reported to runsolver:
# pid: 12144,12146
# total CPU time (s): 2520.03
# total CPU user time (s): 2515.55
# total CPU system time (s): 4.47793
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.3592 second user time and 24.5359 second system time
The end