runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4254341-1501612364/watcher-4254341-1501612364 -o /tmp/evaluation-result-4254341-1501612364/solver-4254341-1501612364 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1501610539-18991 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1402338713 HOME/instance-4254341-1501612364.xml
pid=19700
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.78 1.89 1.30 3/198 19703
/proc/meminfo: memFree=31750916/32770624 swapFree=0/206064
[pid=19703] ppid=19700 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/19703/stat : 19703 (runsolver) D 19700 19703 18930 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 60889952 24240128 106 18446744073709551615 4194304 4338465 140720484178960 140720484176600 139766896243415 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 38359040 140720484184155 140720484184645 140720484184645 140720484188106 0
/proc/19703/statm: 5918 106 53 36 0 2156 0
[startup+0.100156 s]
/proc/loadavg: 1.78 1.89 1.30 3/198 19703
/proc/meminfo: memFree=31750916/32770624 swapFree=0/206064
[pid=19703] ppid=19700 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/19703/stat : 19703 (xcsp3-exec) S 19700 19703 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 60889952 9740288 345 18446744073709551615 4194304 5098028 140726060441600 140726060439704 139654757659260 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 40316928 140726060450202 140726060450406 140726060450406 140726060453867 0
/proc/19703/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200289 s]
/proc/loadavg: 1.78 1.89 1.30 3/198 19703
/proc/meminfo: memFree=31750916/32770624 swapFree=0/206064
[pid=19703] ppid=19700 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/19703/stat : 19703 (xcsp3-exec) S 19700 19703 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 60889952 9740288 345 18446744073709551615 4194304 5098028 140726060441600 140726060439704 139654757659260 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 40316928 140726060450202 140726060450406 140726060450406 140726060453867 0
/proc/19703/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.304139 s]
/proc/loadavg: 1.78 1.89 1.30 3/198 19703
/proc/meminfo: memFree=31750916/32770624 swapFree=0/206064
[pid=19703] ppid=19700 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/19703/stat : 19703 (xcsp3-exec) S 19700 19703 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 60889952 9740288 345 18446744073709551615 4194304 5098028 140726060441600 140726060439704 139654757659260 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 40316928 140726060450202 140726060450406 140726060450406 140726060453867 0
/proc/19703/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700679 s]
/proc/loadavg: 1.78 1.89 1.30 3/198 19703
/proc/meminfo: memFree=31750916/32770624 swapFree=0/206064
[pid=19703] ppid=19700 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/19703/stat : 19703 (xcsp3-exec) S 19700 19703 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 60889952 9740288 345 18446744073709551615 4194304 5098028 140726060441600 140726060439704 139654757659260 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 40316928 140726060450202 140726060450406 140726060450406 140726060453867 0
/proc/19703/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50074 s]
/proc/loadavg: 1.78 1.89 1.30 5/214 19719
/proc/meminfo: memFree=31674736/32770624 swapFree=0/206064
[pid=19703] ppid=19700 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/19703/stat : 19703 (xcsp3-exec) S 19700 19703 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 60889952 9740288 345 18446744073709551615 4194304 5098028 140726060441600 140726060439704 139654757659260 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 40316928 140726060450202 140726060450406 140726060450406 140726060453867 0
/proc/19703/statm: 2378 345 289 221 0 87 0
[pid=19705] ppid=19703 vsize=13980732 CPUtime=3.77 cores=1,3,5,7
/proc/19705/stat : 19705 (java) S 19703 19703 18930 0 -1 1077944320 25480 0 0 0 372 5 0 0 20 0 15 0 60889959 14316269568 24987 18446744073709551615 4194304 4196468 140721162098064 140721162080608 139679657664247 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
/proc/19705/statm: 3495183 24987 3177 1 0 3483484 0
[pid=19705/tid=19706] ppid=19703 vsize=13980732 CPUtime=1.37 cores=1,3,5,7
/proc/19705/task/19706/stat : 19706 (java) R 19703 19703 18930 0 -1 4202560 10107 0 0 0 134 3 0 0 20 0 15 0 60889959 14316269568 24987 18446744073709551615 4194304 4196468 140721162098064 139679661901536 139679270181740 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19707] ppid=19703 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19705/task/19707/stat : 19707 (java) S 19703 19703 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 60889960 14316269568 24987 18446744073709551615 4194304 4196468 140721162098064 139679592098832 139679657674453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19708] ppid=19703 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19705/task/19708/stat : 19708 (java) S 19703 19703 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 60889960 14316269568 24987 18446744073709551615 4194304 4196468 140721162098064 139679591046288 139679657674453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19709] ppid=19703 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19705/task/19709/stat : 19709 (java) S 19703 19703 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 60889960 14316269568 24987 18446744073709551615 4194304 4196468 140721162098064 139679589993232 139679657674453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19710] ppid=19703 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19705/task/19710/stat : 19710 (java) S 19703 19703 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 60889960 14316269568 24987 18446744073709551615 4194304 4196468 140721162098064 139679588940688 139679657674453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19711] ppid=19703 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19705/task/19711/stat : 19711 (java) S 19703 19703 18930 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 15 0 60889961 14316269568 24987 18446744073709551615 4194304 4196468 140721162098064 139679135910128 139679657675394 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19712] ppid=19703 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19705/task/19712/stat : 19712 (java) S 19703 19703 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 60889962 14316269568 24987 18446744073709551615 4194304 4196468 140721162098064 139679134856352 139679657674453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19713] ppid=19703 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19705/task/19713/stat : 19713 (java) S 19703 19703 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 60889962 14316269568 24987 18446744073709551615 4194304 4196468 140721162098064 139679133803248 139679657674453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19714] ppid=19703 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19705/task/19714/stat : 19714 (java) S 19703 19703 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60889964 14316269568 24987 18446744073709551615 4194304 4196468 140721162098064 139679132751824 139679657682843 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19715] ppid=19703 vsize=13980732 CPUtime=0.94 cores=1,3,5,7
/proc/19705/task/19715/stat : 19715 (java) R 19703 19703 18930 0 -1 4202560 6562 0 0 0 94 0 0 0 20 0 15 0 60889964 14316269568 24987 18446744073709551615 4194304 4196468 140721162098064 139679131686272 139679639012626 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19716] ppid=19703 vsize=13980732 CPUtime=0.93 cores=1,3,5,7
/proc/19705/task/19716/stat : 19716 (java) R 19703 19703 18930 0 -1 4202560 4858 0 0 0 93 0 0 0 20 0 15 0 60889964 14316269568 24987 18446744073709551615 4194304 4196468 140721162098064 139679130638384 139679643719504 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19717] ppid=19703 vsize=13980732 CPUtime=0.5 cores=1,3,5,7
/proc/19705/task/19717/stat : 19717 (java) S 19703 19703 18930 0 -1 1077944384 2618 0 0 0 50 0 0 0 20 0 15 0 60889964 14316269568 24987 18446744073709551615 4194304 4196468 140721162098064 139679129594352 139679657675394 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19718] ppid=19703 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19705/task/19718/stat : 19718 (java) S 19703 19703 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60889965 14316269568 24987 18446744073709551615 4194304 4196468 140721162098064 139679128542048 139679657674453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19719] ppid=19703 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19705/task/19719/stat : 19719 (java) S 19703 19703 18930 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 60889969 14316269568 24987 18446744073709551615 4194304 4196468 140721162098064 139679127489072 139679657675394 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
Current children cumulated CPU time (s) 3.77
Current children cumulated vsize (KiB) 13990244
[startup+3.10067 s]
/proc/loadavg: 1.78 1.89 1.30 3/214 19719
/proc/meminfo: memFree=31647396/32770624 swapFree=0/206056
[pid=19703] ppid=19700 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/19703/stat : 19703 (xcsp3-exec) S 19700 19703 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 60889952 9740288 345 18446744073709551615 4194304 5098028 140726060441600 140726060439704 139654757659260 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 40316928 140726060450202 140726060450406 140726060450406 140726060453867 0
/proc/19703/statm: 2378 345 289 221 0 87 0
[pid=19705] ppid=19703 vsize=13980732 CPUtime=6.74 cores=1,3,5,7
/proc/19705/stat : 19705 (java) S 19703 19703 18930 0 -1 1077944320 26990 0 0 0 668 6 0 0 20 0 15 0 60889959 14316269568 32391 18446744073709551615 4194304 4196468 140721162098064 140721162080608 139679657664247 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
/proc/19705/statm: 3495183 32391 3185 1 0 3483484 0
[pid=19705/tid=19706] ppid=19703 vsize=13980732 CPUtime=2.96 cores=1,3,5,7
/proc/19705/task/19706/stat : 19706 (java) R 19703 19703 18930 0 -1 4202560 10275 0 0 0 293 3 0 0 20 0 15 0 60889959 14316269568 32391 18446744073709551615 4194304 4196468 140721162098064 139679661901120 139679270983688 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19707] ppid=19703 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19705/task/19707/stat : 19707 (java) S 19703 19703 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 60889960 14316269568 32391 18446744073709551615 4194304 4196468 140721162098064 139679592098832 139679657674453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19708] ppid=19703 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19705/task/19708/stat : 19708 (java) S 19703 19703 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 60889960 14316269568 32391 18446744073709551615 4194304 4196468 140721162098064 139679591046288 139679657674453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19709] ppid=19703 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19705/task/19709/stat : 19709 (java) S 19703 19703 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 60889960 14316269568 32391 18446744073709551615 4194304 4196468 140721162098064 139679589993232 139679657674453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19710] ppid=19703 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19705/task/19710/stat : 19710 (java) S 19703 19703 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 60889960 14316269568 32391 18446744073709551615 4194304 4196468 140721162098064 139679588940688 139679657674453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19711] ppid=19703 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19705/task/19711/stat : 19711 (java) S 19703 19703 18930 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 60889961 14316269568 32391 18446744073709551615 4194304 4196468 140721162098064 139679135910128 139679657675394 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19712] ppid=19703 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19705/task/19712/stat : 19712 (java) S 19703 19703 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 60889962 14316269568 32391 18446744073709551615 4194304 4196468 140721162098064 139679134856352 139679657674453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19713] ppid=19703 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19705/task/19713/stat : 19713 (java) S 19703 19703 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 60889962 14316269568 32391 18446744073709551615 4194304 4196468 140721162098064 139679133803248 139679657674453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19714] ppid=19703 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19705/task/19714/stat : 19714 (java) S 19703 19703 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60889964 14316269568 32391 18446744073709551615 4194304 4196468 140721162098064 139679132751824 139679657682843 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19715] ppid=19703 vsize=13980732 CPUtime=1.64 cores=1,3,5,7
/proc/19705/task/19715/stat : 19715 (java) S 19703 19703 18930 0 -1 1077944384 7616 0 0 0 163 1 0 0 20 0 15 0 60889964 14316269568 32391 18446744073709551615 4194304 4196468 140721162098064 139679131699952 139679657675394 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19716] ppid=19703 vsize=13980732 CPUtime=1.54 cores=1,3,5,7
/proc/19705/task/19716/stat : 19716 (java) S 19703 19703 18930 0 -1 1077944384 4982 0 0 0 154 0 0 0 20 0 15 0 60889964 14316269568 32391 18446744073709551615 4194304 4196468 140721162098064 139679130647408 139679657675394 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19717] ppid=19703 vsize=13980732 CPUtime=0.55 cores=1,3,5,7
/proc/19705/task/19717/stat : 19717 (java) S 19703 19703 18930 0 -1 1077944384 2756 0 0 0 55 0 0 0 20 0 15 0 60889964 14316269568 32391 18446744073709551615 4194304 4196468 140721162098064 139679129594352 139679657675394 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19718] ppid=19703 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19705/task/19718/stat : 19718 (java) S 19703 19703 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60889965 14316269568 32391 18446744073709551615 4194304 4196468 140721162098064 139679128542048 139679657674453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19719] ppid=19703 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19705/task/19719/stat : 19719 (java) S 19703 19703 18930 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 60889969 14316269568 32391 18446744073709551615 4194304 4196468 140721162098064 139679127489072 139679657675394 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
Current children cumulated CPU time (s) 6.74
Current children cumulated vsize (KiB) 13990244
[startup+6.30059 s]
/proc/loadavg: 1.72 1.88 1.30 2/193 19770
/proc/meminfo: memFree=31774284/32770624 swapFree=0/205864
[pid=19703] ppid=19700 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/19703/stat : 19703 (xcsp3-exec) S 19700 19703 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 60889952 9740288 345 18446744073709551615 4194304 5098028 140726060441600 140726060439704 139654757659260 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 40316928 140726060450202 140726060450406 140726060450406 140726060453867 0
/proc/19703/statm: 2378 345 289 221 0 87 0
[pid=19705] ppid=19703 vsize=13980732 CPUtime=10.23 cores=1,3,5,7
/proc/19705/stat : 19705 (java) S 19703 19703 18930 0 -1 1077944320 31562 0 0 0 1016 7 0 0 20 0 15 0 60889959 14316269568 46330 18446744073709551615 4194304 4196468 140721162098064 140721162080608 139679657664247 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
/proc/19705/statm: 3495183 46330 3193 1 0 3483484 0
[pid=19705/tid=19706] ppid=19703 vsize=13980732 CPUtime=6.17 cores=1,3,5,7
/proc/19705/task/19706/stat : 19706 (java) R 19703 19703 18930 0 -1 4202560 11022 0 0 0 613 4 0 0 20 0 15 0 60889959 14316269568 46330 18446744073709551615 4194304 4196468 140721162098064 139679661900456 139679270688285 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19707] ppid=19703 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19705/task/19707/stat : 19707 (java) S 19703 19703 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 60889960 14316269568 46330 18446744073709551615 4194304 4196468 140721162098064 139679592098832 139679657674453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19708] ppid=19703 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19705/task/19708/stat : 19708 (java) S 19703 19703 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 60889960 14316269568 46330 18446744073709551615 4194304 4196468 140721162098064 139679591046288 139679657674453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19709] ppid=19703 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19705/task/19709/stat : 19709 (java) S 19703 19703 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 60889960 14316269568 46330 18446744073709551615 4194304 4196468 140721162098064 139679589993232 139679657674453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19710] ppid=19703 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19705/task/19710/stat : 19710 (java) S 19703 19703 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 60889960 14316269568 46330 18446744073709551615 4194304 4196468 140721162098064 139679588940688 139679657674453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19711] ppid=19703 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19705/task/19711/stat : 19711 (java) S 19703 19703 18930 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 60889961 14316269568 46330 18446744073709551615 4194304 4196468 140721162098064 139679135910128 139679657675394 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19712] ppid=19703 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19705/task/19712/stat : 19712 (java) S 19703 19703 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 60889962 14316269568 46330 18446744073709551615 4194304 4196468 140721162098064 139679134856352 139679657674453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19713] ppid=19703 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19705/task/19713/stat : 19713 (java) S 19703 19703 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 60889962 14316269568 46330 18446744073709551615 4194304 4196468 140721162098064 139679133803248 139679657674453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19714] ppid=19703 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19705/task/19714/stat : 19714 (java) S 19703 19703 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60889964 14316269568 46330 18446744073709551615 4194304 4196468 140721162098064 139679132751824 139679657682843 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19715] ppid=19703 vsize=13980732 CPUtime=1.77 cores=1,3,5,7
/proc/19705/task/19715/stat : 19715 (java) S 19703 19703 18930 0 -1 1077944384 8645 0 0 0 176 1 0 0 20 0 15 0 60889964 14316269568 46330 18446744073709551615 4194304 4196468 140721162098064 139679131699952 139679657675394 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19716] ppid=19703 vsize=13980732 CPUtime=1.68 cores=1,3,5,7
/proc/19705/task/19716/stat : 19716 (java) S 19703 19703 18930 0 -1 1077944384 6661 0 0 0 168 0 0 0 20 0 15 0 60889964 14316269568 46330 18446744073709551615 4194304 4196468 140721162098064 139679130647408 139679657675394 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19717] ppid=19703 vsize=13980732 CPUtime=0.57 cores=1,3,5,7
/proc/19705/task/19717/stat : 19717 (java) S 19703 19703 18930 0 -1 1077944384 3324 0 0 0 57 0 0 0 20 0 15 0 60889964 14316269568 46330 18446744073709551615 4194304 4196468 140721162098064 139679129594352 139679657675394 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19718] ppid=19703 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19705/task/19718/stat : 19718 (java) S 19703 19703 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60889965 14316269568 46330 18446744073709551615 4194304 4196468 140721162098064 139679128542048 139679657674453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19719] ppid=19703 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19705/task/19719/stat : 19719 (java) S 19703 19703 18930 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 60889969 14316269568 46330 18446744073709551615 4194304 4196468 140721162098064 139679127489072 139679657675394 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
Current children cumulated CPU time (s) 10.23
Current children cumulated vsize (KiB) 13990244
[startup+12.7006 s]
/proc/loadavg: 1.74 1.88 1.30 3/214 19800
/proc/meminfo: memFree=31536040/32770624 swapFree=0/205892
[pid=19703] ppid=19700 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/19703/stat : 19703 (xcsp3-exec) S 19700 19703 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 60889952 9740288 345 18446744073709551615 4194304 5098028 140726060441600 140726060439704 139654757659260 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 40316928 140726060450202 140726060450406 140726060450406 140726060453867 0
/proc/19703/statm: 2378 345 289 221 0 87 0
[pid=19705] ppid=19703 vsize=13980732 CPUtime=16.68 cores=1,3,5,7
/proc/19705/stat : 19705 (java) S 19703 19703 18930 0 -1 1077944320 33930 0 0 0 1661 7 0 0 20 0 15 0 60889959 14316269568 51528 18446744073709551615 4194304 4196468 140721162098064 140721162080608 139679657664247 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
/proc/19705/statm: 3495183 51528 3209 1 0 3483484 0
[pid=19705/tid=19706] ppid=19703 vsize=13980732 CPUtime=12.56 cores=1,3,5,7
/proc/19705/task/19706/stat : 19706 (java) R 19703 19703 18930 0 -1 4202560 11080 0 0 0 1252 4 0 0 20 0 15 0 60889959 14316269568 51528 18446744073709551615 4194304 4196468 140721162098064 139679661900560 139679270349545 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19707] ppid=19703 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19705/task/19707/stat : 19707 (java) S 19703 19703 18930 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 60889960 14316269568 51528 18446744073709551615 4194304 4196468 140721162098064 139679592098832 139679657674453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19708] ppid=19703 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19705/task/19708/stat : 19708 (java) S 19703 19703 18930 0 -1 1077944384 678 0 0 0 0 0 0 0 20 0 15 0 60889960 14316269568 51528 18446744073709551615 4194304 4196468 140721162098064 139679591046288 139679657674453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
################
# More data... #
################
[pid=19705/tid=19712] ppid=19703 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19705/task/19712/stat : 19712 (java) S 19703 19703 18930 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 60889962 14316269568 45781 18446744073709551615 4194304 4196468 140721162098064 139679134856352 139679657674453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19713] ppid=19703 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19705/task/19713/stat : 19713 (java) S 19703 19703 18930 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 60889962 14316269568 45781 18446744073709551615 4194304 4196468 140721162098064 139679133803248 139679657674453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19714] ppid=19703 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19705/task/19714/stat : 19714 (java) S 19703 19703 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60889964 14316269568 45781 18446744073709551615 4194304 4196468 140721162098064 139679132751824 139679657682843 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19715] ppid=19703 vsize=13980732 CPUtime=2.06 cores=1,3,5,7
/proc/19705/task/19715/stat : 19715 (java) S 19703 19703 18930 0 -1 1077944384 14625 0 0 0 205 1 0 0 20 0 15 0 60889964 14316269568 45781 18446744073709551615 4194304 4196468 140721162098064 139679131699952 139679657675394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19716] ppid=19703 vsize=13980732 CPUtime=1.89 cores=1,3,5,7
/proc/19705/task/19716/stat : 19716 (java) S 19703 19703 18930 0 -1 1077944384 10533 0 0 0 188 1 0 0 20 0 15 0 60889964 14316269568 45781 18446744073709551615 4194304 4196468 140721162098064 139679130647408 139679657675394 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19717] ppid=19703 vsize=13980732 CPUtime=0.63 cores=1,3,5,7
/proc/19705/task/19717/stat : 19717 (java) S 19703 19703 18930 0 -1 1077944384 6980 0 0 0 62 1 0 0 20 0 15 0 60889964 14316269568 45781 18446744073709551615 4194304 4196468 140721162098064 139679129594352 139679657675394 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19718] ppid=19703 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19705/task/19718/stat : 19718 (java) S 19703 19703 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60889965 14316269568 45781 18446744073709551615 4194304 4196468 140721162098064 139679128542048 139679657674453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19719] ppid=19703 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/19705/task/19719/stat : 19719 (java) S 19703 19703 18930 0 -1 1077944384 756 0 0 0 0 1 0 0 20 0 15 0 60889969 14316269568 45781 18446744073709551615 4194304 4196468 140721162098064 139679127489072 139679657675394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
Current children cumulated CPU time (s) 106.9
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.90 1.88 1.39 3/216 19812
/proc/meminfo: memFree=31549852/32770624 swapFree=0/205992
[pid=19703] ppid=19700 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/19703/stat : 19703 (xcsp3-exec) S 19700 19703 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 60889952 9740288 345 18446744073709551615 4194304 5098028 140726060441600 140726060439704 139654757659260 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 40316928 140726060450202 140726060450406 140726060450406 140726060453867 0
/proc/19703/statm: 2378 345 289 221 0 87 0
[pid=19705] ppid=19703 vsize=13980732 CPUtime=166.98 cores=1,3,5,7
/proc/19705/stat : 19705 (java) S 19703 19703 18930 0 -1 1077944320 57929 0 0 0 16683 15 0 0 20 0 15 0 60889959 14316269568 36576 18446744073709551615 4194304 4196468 140721162098064 140721162080608 139679657664247 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
/proc/19705/statm: 3495183 36576 3227 1 0 3483484 0
[pid=19705/tid=19706] ppid=19703 vsize=13980732 CPUtime=162.06 cores=1,3,5,7
/proc/19705/task/19706/stat : 19706 (java) R 19703 19703 18930 0 -1 4202560 15718 0 0 0 16201 5 0 0 20 0 15 0 60889959 14316269568 36576 18446744073709551615 4194304 4196468 140721162098064 139679661903680 139679270984096 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19707] ppid=19703 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/19705/task/19707/stat : 19707 (java) S 19703 19703 18930 0 -1 1077944384 678 0 0 0 3 1 0 0 20 0 15 0 60889960 14316269568 36576 18446744073709551615 4194304 4196468 140721162098064 139679592098832 139679657674453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19708] ppid=19703 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/19705/task/19708/stat : 19708 (java) S 19703 19703 18930 0 -1 1077944384 2514 0 0 0 3 1 0 0 20 0 15 0 60889960 14316269568 36576 18446744073709551615 4194304 4196468 140721162098064 139679591046288 139679657674453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19709] ppid=19703 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/19705/task/19709/stat : 19709 (java) S 19703 19703 18930 0 -1 1077944384 1276 0 0 0 4 1 0 0 20 0 15 0 60889960 14316269568 36576 18446744073709551615 4194304 4196468 140721162098064 139679589993232 139679657674453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19710] ppid=19703 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/19705/task/19710/stat : 19710 (java) S 19703 19703 18930 0 -1 1077944384 1282 0 0 0 4 0 0 0 20 0 15 0 60889960 14316269568 36576 18446744073709551615 4194304 4196468 140721162098064 139679588940688 139679657674453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19711] ppid=19703 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/19705/task/19711/stat : 19711 (java) S 19703 19703 18930 0 -1 1077944384 1807 0 0 0 3 0 0 0 20 0 15 0 60889961 14316269568 36576 18446744073709551615 4194304 4196468 140721162098064 139679135910128 139679657675394 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19712] ppid=19703 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19705/task/19712/stat : 19712 (java) S 19703 19703 18930 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 60889962 14316269568 36576 18446744073709551615 4194304 4196468 140721162098064 139679134856352 139679657674453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19713] ppid=19703 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19705/task/19713/stat : 19713 (java) S 19703 19703 18930 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 60889962 14316269568 36576 18446744073709551615 4194304 4196468 140721162098064 139679133803248 139679657674453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19714] ppid=19703 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19705/task/19714/stat : 19714 (java) S 19703 19703 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60889964 14316269568 36576 18446744073709551615 4194304 4196468 140721162098064 139679132751824 139679657682843 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19715] ppid=19703 vsize=13980732 CPUtime=2.09 cores=1,3,5,7
/proc/19705/task/19715/stat : 19715 (java) S 19703 19703 18930 0 -1 1077944384 14870 0 0 0 208 1 0 0 20 0 15 0 60889964 14316269568 36576 18446744073709551615 4194304 4196468 140721162098064 139679131699952 139679657675394 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19716] ppid=19703 vsize=13980732 CPUtime=1.89 cores=1,3,5,7
/proc/19705/task/19716/stat : 19716 (java) S 19703 19703 18930 0 -1 1077944384 10576 0 0 0 188 1 0 0 20 0 15 0 60889964 14316269568 36576 18446744073709551615 4194304 4196468 140721162098064 139679130647408 139679657675394 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19717] ppid=19703 vsize=13980732 CPUtime=0.63 cores=1,3,5,7
/proc/19705/task/19717/stat : 19717 (java) S 19703 19703 18930 0 -1 1077944384 7049 0 0 0 62 1 0 0 20 0 15 0 60889964 14316269568 36576 18446744073709551615 4194304 4196468 140721162098064 139679129594352 139679657675394 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19718] ppid=19703 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19705/task/19718/stat : 19718 (java) S 19703 19703 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60889965 14316269568 36576 18446744073709551615 4194304 4196468 140721162098064 139679128542048 139679657674453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19719] ppid=19703 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/19705/task/19719/stat : 19719 (java) S 19703 19703 18930 0 -1 1077944384 787 0 0 0 0 2 0 0 20 0 15 0 60889969 14316269568 36576 18446744073709551615 4194304 4196468 140721162098064 139679127489072 139679657675394 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
Current children cumulated CPU time (s) 166.98
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.84 1.86 1.41 3/216 19814
/proc/meminfo: memFree=31554308/32770624 swapFree=0/206028
[pid=19703] ppid=19700 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/19703/stat : 19703 (xcsp3-exec) S 19700 19703 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 60889952 9740288 345 18446744073709551615 4194304 5098028 140726060441600 140726060439704 139654757659260 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 40316928 140726060450202 140726060450406 140726060450406 140726060453867 0
/proc/19703/statm: 2378 345 289 221 0 87 0
[pid=19705] ppid=19703 vsize=13980732 CPUtime=227.04 cores=1,3,5,7
/proc/19705/stat : 19705 (java) S 19703 19703 18930 0 -1 1077944320 58594 0 0 0 22688 16 0 0 20 0 15 0 60889959 14316269568 35678 18446744073709551615 4194304 4196468 140721162098064 140721162080608 139679657664247 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
/proc/19705/statm: 3495183 35678 3227 1 0 3483484 0
[pid=19705/tid=19706] ppid=19703 vsize=13980732 CPUtime=222.02 cores=1,3,5,7
/proc/19705/task/19706/stat : 19706 (java) R 19703 19703 18930 0 -1 4202560 15877 0 0 0 22197 5 0 0 20 0 15 0 60889959 14316269568 35678 18446744073709551615 4194304 4196468 140721162098064 139679661902944 139679271110006 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19707] ppid=19703 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/19705/task/19707/stat : 19707 (java) S 19703 19703 18930 0 -1 1077944384 682 0 0 0 5 1 0 0 20 0 15 0 60889960 14316269568 35678 18446744073709551615 4194304 4196468 140721162098064 139679592098832 139679657674453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19708] ppid=19703 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/19705/task/19708/stat : 19708 (java) S 19703 19703 18930 0 -1 1077944384 2519 0 0 0 5 1 0 0 20 0 15 0 60889960 14316269568 35678 18446744073709551615 4194304 4196468 140721162098064 139679591046288 139679657674453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19709] ppid=19703 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/19705/task/19709/stat : 19709 (java) S 19703 19703 18930 0 -1 1077944384 1280 0 0 0 5 1 0 0 20 0 15 0 60889960 14316269568 35678 18446744073709551615 4194304 4196468 140721162098064 139679589993232 139679657674453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19710] ppid=19703 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/19705/task/19710/stat : 19710 (java) S 19703 19703 18930 0 -1 1077944384 1289 0 0 0 6 0 0 0 20 0 15 0 60889960 14316269568 35678 18446744073709551615 4194304 4196468 140721162098064 139679588940688 139679657674453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19711] ppid=19703 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/19705/task/19711/stat : 19711 (java) S 19703 19703 18930 0 -1 1077944384 1821 0 0 0 5 1 0 0 20 0 15 0 60889961 14316269568 35678 18446744073709551615 4194304 4196468 140721162098064 139679135910128 139679657675394 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19712] ppid=19703 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19705/task/19712/stat : 19712 (java) S 19703 19703 18930 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 60889962 14316269568 35678 18446744073709551615 4194304 4196468 140721162098064 139679134856352 139679657674453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19713] ppid=19703 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19705/task/19713/stat : 19713 (java) S 19703 19703 18930 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 60889962 14316269568 35678 18446744073709551615 4194304 4196468 140721162098064 139679133803248 139679657674453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19714] ppid=19703 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19705/task/19714/stat : 19714 (java) S 19703 19703 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60889964 14316269568 35678 18446744073709551615 4194304 4196468 140721162098064 139679132751824 139679657682843 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19715] ppid=19703 vsize=13980732 CPUtime=2.1 cores=1,3,5,7
/proc/19705/task/19715/stat : 19715 (java) S 19703 19703 18930 0 -1 1077944384 14870 0 0 0 208 2 0 0 20 0 15 0 60889964 14316269568 35678 18446744073709551615 4194304 4196468 140721162098064 139679131699952 139679657675394 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19716] ppid=19703 vsize=13980732 CPUtime=1.89 cores=1,3,5,7
/proc/19705/task/19716/stat : 19716 (java) S 19703 19703 18930 0 -1 1077944384 10576 0 0 0 188 1 0 0 20 0 15 0 60889964 14316269568 35678 18446744073709551615 4194304 4196468 140721162098064 139679130647408 139679657675394 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19717] ppid=19703 vsize=13980732 CPUtime=0.63 cores=1,3,5,7
/proc/19705/task/19717/stat : 19717 (java) S 19703 19703 18930 0 -1 1077944384 7516 0 0 0 62 1 0 0 20 0 15 0 60889964 14316269568 35678 18446744073709551615 4194304 4196468 140721162098064 139679129594352 139679657675394 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19718] ppid=19703 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19705/task/19718/stat : 19718 (java) S 19703 19703 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60889965 14316269568 35678 18446744073709551615 4194304 4196468 140721162098064 139679128542048 139679657674453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19719] ppid=19703 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/19705/task/19719/stat : 19719 (java) S 19703 19703 18930 0 -1 1077944384 792 0 0 0 1 3 0 0 20 0 15 0 60889969 14316269568 35678 18446744073709551615 4194304 4196468 140721162098064 139679127489072 139679657675394 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
Current children cumulated CPU time (s) 227.04
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.81 1.85 1.42 3/216 19815
/proc/meminfo: memFree=31552348/32770624 swapFree=0/206040
[pid=19703] ppid=19700 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/19703/stat : 19703 (xcsp3-exec) S 19700 19703 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 60889952 9740288 345 18446744073709551615 4194304 5098028 140726060441600 140726060439704 139654757659260 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 6 0 0 7196144 7232144 40316928 140726060450202 140726060450406 140726060450406 140726060453867 0
/proc/19703/statm: 2378 345 289 221 0 87 0
[pid=19705] ppid=19703 vsize=13980732 CPUtime=244.78 cores=1,3,5,7
/proc/19705/stat : 19705 (java) S 19703 19703 18930 0 -1 1077944320 59573 0 0 0 24462 16 0 0 20 0 15 0 60889959 14316269568 35678 18446744073709551615 4194304 4196468 140721162098064 140721162080608 139679657664247 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
/proc/19705/statm: 3495183 35678 3227 1 0 3483484 0
[pid=19705/tid=19706] ppid=19703 vsize=13980732 CPUtime=239.69 cores=1,3,5,7
/proc/19705/task/19706/stat : 19706 (java) R 19703 19703 18930 0 -1 4202560 15899 0 0 0 23964 5 0 0 20 0 15 0 60889959 14316269568 35678 18446744073709551615 4194304 4196468 140721162098064 139679661904032 139679271160235 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19707] ppid=19703 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/19705/task/19707/stat : 19707 (java) S 19703 19703 18930 0 -1 1077944384 684 0 0 0 6 1 0 0 20 0 15 0 60889960 14316269568 35678 18446744073709551615 4194304 4196468 140721162098064 139679592098832 139679657674453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19708] ppid=19703 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/19705/task/19708/stat : 19708 (java) S 19703 19703 18930 0 -1 1077944384 2521 0 0 0 6 1 0 0 20 0 15 0 60889960 14316269568 35678 18446744073709551615 4194304 4196468 140721162098064 139679591046288 139679657674453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19709] ppid=19703 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/19705/task/19709/stat : 19709 (java) S 19703 19703 18930 0 -1 1077944384 1283 0 0 0 6 1 0 0 20 0 15 0 60889960 14316269568 35678 18446744073709551615 4194304 4196468 140721162098064 139679589993232 139679657674453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19710] ppid=19703 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/19705/task/19710/stat : 19710 (java) S 19703 19703 18930 0 -1 1077944384 1291 0 0 0 7 0 0 0 20 0 15 0 60889960 14316269568 35678 18446744073709551615 4194304 4196468 140721162098064 139679588940688 139679657674453 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19711] ppid=19703 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/19705/task/19711/stat : 19711 (java) S 19703 19703 18930 0 -1 1077944384 1821 0 0 0 5 1 0 0 20 0 15 0 60889961 14316269568 35678 18446744073709551615 4194304 4196468 140721162098064 139679135910128 139679657675394 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19712] ppid=19703 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19705/task/19712/stat : 19712 (java) S 19703 19703 18930 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 60889962 14316269568 35678 18446744073709551615 4194304 4196468 140721162098064 139679134856352 139679657674453 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19713] ppid=19703 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19705/task/19713/stat : 19713 (java) S 19703 19703 18930 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 60889962 14316269568 35678 18446744073709551615 4194304 4196468 140721162098064 139679133803248 139679657674453 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19714] ppid=19703 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19705/task/19714/stat : 19714 (java) S 19703 19703 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60889964 14316269568 35678 18446744073709551615 4194304 4196468 140721162098064 139679132751824 139679657682843 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19715] ppid=19703 vsize=13980732 CPUtime=2.1 cores=1,3,5,7
/proc/19705/task/19715/stat : 19715 (java) S 19703 19703 18930 0 -1 1077944384 14870 0 0 0 208 2 0 0 20 0 15 0 60889964 14316269568 35678 18446744073709551615 4194304 4196468 140721162098064 139679131699952 139679657675394 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19716] ppid=19703 vsize=13980732 CPUtime=1.9 cores=1,3,5,7
/proc/19705/task/19716/stat : 19716 (java) S 19703 19703 18930 0 -1 1077944384 11521 0 0 0 189 1 0 0 20 0 15 0 60889964 14316269568 35678 18446744073709551615 4194304 4196468 140721162098064 139679130647408 139679657675394 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19717] ppid=19703 vsize=13980732 CPUtime=0.63 cores=1,3,5,7
/proc/19705/task/19717/stat : 19717 (java) S 19703 19703 18930 0 -1 1077944384 7516 0 0 0 62 1 0 0 20 0 15 0 60889964 14316269568 35678 18446744073709551615 4194304 4196468 140721162098064 139679129594352 139679657675394 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19718] ppid=19703 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/19705/task/19718/stat : 19718 (java) S 19703 19703 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60889965 14316269568 35678 18446744073709551615 4194304 4196468 140721162098064 139679128542048 139679657674453 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
[pid=19705/tid=19719] ppid=19703 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/19705/task/19719/stat : 19719 (java) S 19703 19703 18930 0 -1 1077944384 795 0 0 0 1 3 0 0 20 0 15 0 60889969 14316269568 35678 18446744073709551615 4194304 4196468 140721162098064 139679127489072 139679657675394 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18395136 140721162105299 140721162105474 140721162105474 140721162108879 0
Current children cumulated CPU time (s) 244.78
Current children cumulated vsize (KiB) 13990244
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 19705 sig 9
??? kill 19703 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19703 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1801
# CPU time returned by wait4() is 0.001801
# while last known CPU time is 244.78
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 240.01
CPU time (s): 244.78
CPU user time (s): 244.62
CPU system time (s): 0.16
CPU usage (%): 101.987
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.001801
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 510
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.1983 second user time and 1.29055 second system time
The end