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-4254053-1501612895/watcher-4254053-1501612895 -o /tmp/evaluation-result-4254053-1501612895/solver-4254053-1501612895 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501610360-3273 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1112799560 HOME/instance-4254053-1501612895.xml
pid=4686
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.45 1.68 1.53 4/199 4689
/proc/meminfo: memFree=31934244/32770624 swapFree=0/159812
[pid=4689] ppid=4686 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/4689/stat : 4689 (runsolver) D 4686 4689 3187 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 3200142 24240128 108 18446744073709551615 4194304 4338465 140729044516752 140729044514392 140061757866711 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 27910144 140729044521054 140729044521543 140729044521543 140729044525002 0
/proc/4689/statm: 5918 108 54 36 0 2156 0
[startup+0.100136 s]
/proc/loadavg: 1.45 1.68 1.53 4/199 4689
/proc/meminfo: memFree=31934244/32770624 swapFree=0/159812
[pid=4689] ppid=4686 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/4689/stat : 4689 (xcsp3-exec) S 4686 4689 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3200142 9740288 345 18446744073709551615 4194304 5098028 140736483713328 140736483711432 139639691850364 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 35295232 140736483717532 140736483717736 140736483717736 140736483721195 0
/proc/4689/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200205 s]
/proc/loadavg: 1.45 1.68 1.53 4/199 4689
/proc/meminfo: memFree=31934244/32770624 swapFree=0/159812
[pid=4689] ppid=4686 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/4689/stat : 4689 (xcsp3-exec) S 4686 4689 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3200142 9740288 345 18446744073709551615 4194304 5098028 140736483713328 140736483711432 139639691850364 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 35295232 140736483717532 140736483717736 140736483717736 140736483721195 0
/proc/4689/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.303449 s]
/proc/loadavg: 1.45 1.68 1.53 4/199 4689
/proc/meminfo: memFree=31934244/32770624 swapFree=0/159812
[pid=4689] ppid=4686 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/4689/stat : 4689 (xcsp3-exec) S 4686 4689 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3200142 9740288 345 18446744073709551615 4194304 5098028 140736483713328 140736483711432 139639691850364 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 35295232 140736483717532 140736483717736 140736483717736 140736483721195 0
/proc/4689/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.70181 s]
/proc/loadavg: 1.45 1.68 1.53 4/199 4689
/proc/meminfo: memFree=31934244/32770624 swapFree=0/159812
[pid=4689] ppid=4686 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/4689/stat : 4689 (xcsp3-exec) S 4686 4689 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3200142 9740288 345 18446744073709551615 4194304 5098028 140736483713328 140736483711432 139639691850364 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 35295232 140736483717532 140736483717736 140736483717736 140736483721195 0
/proc/4689/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50058 s]
/proc/loadavg: 1.45 1.68 1.53 5/215 4705
/proc/meminfo: memFree=31724584/32770624 swapFree=0/159876
[pid=4689] ppid=4686 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/4689/stat : 4689 (xcsp3-exec) S 4686 4689 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3200142 9740288 345 18446744073709551615 4194304 5098028 140736483713328 140736483711432 139639691850364 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 35295232 140736483717532 140736483717736 140736483717736 140736483721195 0
/proc/4689/statm: 2378 345 289 221 0 87 0
[pid=4691] ppid=4689 vsize=13980732 CPUtime=3.8 cores=0,2,4,6
/proc/4691/stat : 4691 (java) S 4689 4689 3187 0 -1 1077944320 18928 0 0 0 368 12 0 0 20 0 15 0 3200149 14316269568 61774 18446744073709551615 4194304 4196468 140730354068672 140730354051216 140064629305079 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
/proc/4691/statm: 3495183 61774 3198 1 0 3483484 0
[pid=4691/tid=4692] ppid=4689 vsize=13980732 CPUtime=1.31 cores=0,2,4,6
/proc/4691/task/4692/stat : 4692 (java) R 4689 4689 3187 0 -1 4202560 8605 0 0 0 126 5 0 0 20 0 15 0 3200149 14316269568 61774 18446744073709551615 4194304 4196468 140730354068672 140064633542352 140064270146264 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4693] ppid=4689 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/4691/task/4693/stat : 4693 (java) S 4689 4689 3187 0 -1 1077944384 94 0 0 0 2 1 0 0 20 0 15 0 3200150 14316269568 61774 18446744073709551615 4194304 4196468 140730354068672 140064590203664 140064629315285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4694] ppid=4689 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/4691/task/4694/stat : 4694 (java) S 4689 4689 3187 0 -1 1077944384 97 0 0 0 3 1 0 0 20 0 15 0 3200150 14316269568 61774 18446744073709551615 4194304 4196468 140730354068672 140064589151120 140064629315285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4695] ppid=4689 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/4691/task/4695/stat : 4695 (java) S 4689 4689 3187 0 -1 1077944384 65 0 0 0 2 0 0 0 20 0 15 0 3200150 14316269568 61774 18446744073709551615 4194304 4196468 140730354068672 140064227519504 140064629315285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4696] ppid=4689 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/4691/task/4696/stat : 4696 (java) S 4689 4689 3187 0 -1 1077944384 98 0 0 0 3 1 0 0 20 0 15 0 3200150 14316269568 61774 18446744073709551615 4194304 4196468 140730354068672 140064226466960 140064629315285 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4697] ppid=4689 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4691/task/4697/stat : 4697 (java) S 4689 4689 3187 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 3200151 14316269568 61774 18446744073709551615 4194304 4196468 140730354068672 140064197576688 140064629316226 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4698] ppid=4689 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4691/task/4698/stat : 4698 (java) S 4689 4689 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3200151 14316269568 61774 18446744073709551615 4194304 4196468 140730354068672 140064196522912 140064629315285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4699] ppid=4689 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4691/task/4699/stat : 4699 (java) S 4689 4689 3187 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 3200152 14316269568 61774 18446744073709551615 4194304 4196468 140730354068672 140064195470320 140064629315285 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4700] ppid=4689 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4691/task/4700/stat : 4700 (java) S 4689 4689 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3200154 14316269568 61774 18446744073709551615 4194304 4196468 140730354068672 140064194418896 140064629323675 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4701] ppid=4689 vsize=13980732 CPUtime=0.95 cores=0,2,4,6
/proc/4691/task/4701/stat : 4701 (java) S 4689 4689 3187 0 -1 1077944384 3288 0 0 0 95 0 0 0 20 0 15 0 3200154 14316269568 61774 18446744073709551615 4194304 4196468 140730354068672 140064193366512 140064629316226 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4702] ppid=4689 vsize=13980732 CPUtime=0.91 cores=0,2,4,6
/proc/4691/task/4702/stat : 4702 (java) S 4689 4689 3187 0 -1 1077944384 3349 0 0 0 91 0 0 0 20 0 15 0 3200154 14316269568 61774 18446744073709551615 4194304 4196468 140730354068672 140064192313968 140064629316226 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4703] ppid=4689 vsize=13980732 CPUtime=0.42 cores=0,2,4,6
/proc/4691/task/4703/stat : 4703 (java) R 4689 4689 3187 0 -1 4202560 1952 0 0 0 42 0 0 0 20 0 15 0 3200154 14316269568 61774 18446744073709551615 4194304 4196468 140730354068672 140064191261424 140064609493707 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4704] ppid=4689 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4691/task/4704/stat : 4704 (java) S 4689 4689 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3200154 14316269568 61774 18446744073709551615 4194304 4196468 140730354068672 140064190209120 140064629315285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4705] ppid=4689 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4691/task/4705/stat : 4705 (java) S 4689 4689 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3200159 14316269568 61774 18446744073709551615 4194304 4196468 140730354068672 140064189155632 140064629316226 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
Current children cumulated CPU time (s) 3.8
Current children cumulated vsize (KiB) 13990244
[startup+3.10062 s]
/proc/loadavg: 1.45 1.68 1.53 5/215 4705
/proc/meminfo: memFree=31544344/32770624 swapFree=0/159876
[pid=4689] ppid=4686 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/4689/stat : 4689 (xcsp3-exec) S 4686 4689 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3200142 9740288 345 18446744073709551615 4194304 5098028 140736483713328 140736483711432 139639691850364 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 35295232 140736483717532 140736483717736 140736483717736 140736483721195 0
/proc/4689/statm: 2378 345 289 221 0 87 0
[pid=4691] ppid=4689 vsize=13980732 CPUtime=7.5 cores=0,2,4,6
/proc/4691/stat : 4691 (java) S 4689 4689 3187 0 -1 1077944320 20260 0 0 0 732 18 0 0 20 0 15 0 3200149 14316269568 100278 18446744073709551615 4194304 4196468 140730354068672 140730354051216 140064629305079 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
/proc/4691/statm: 3495183 100278 3229 1 0 3483484 0
[pid=4691/tid=4692] ppid=4689 vsize=13980732 CPUtime=2.86 cores=0,2,4,6
/proc/4691/task/4692/stat : 4692 (java) R 4689 4689 3187 0 -1 4202560 8970 0 0 0 280 6 0 0 20 0 15 0 3200149 14316269568 100278 18446744073709551615 4194304 4196468 140730354068672 140064633540544 140064275844499 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4693] ppid=4689 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/4691/task/4693/stat : 4693 (java) S 4689 4689 3187 0 -1 1077944384 130 0 0 0 5 2 0 0 20 0 15 0 3200150 14316269568 100278 18446744073709551615 4194304 4196468 140730354068672 140064590203664 140064629315285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4694] ppid=4689 vsize=13980732 CPUtime=0.08 cores=0,2,4,6
/proc/4691/task/4694/stat : 4694 (java) S 4689 4689 3187 0 -1 1077944384 133 0 0 0 6 2 0 0 20 0 15 0 3200150 14316269568 100278 18446744073709551615 4194304 4196468 140730354068672 140064589151120 140064629315285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4695] ppid=4689 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/4691/task/4695/stat : 4695 (java) S 4689 4689 3187 0 -1 1077944384 85 0 0 0 5 2 0 0 20 0 15 0 3200150 14316269568 100278 18446744073709551615 4194304 4196468 140730354068672 140064227519504 140064629315285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4696] ppid=4689 vsize=13980732 CPUtime=0.08 cores=0,2,4,6
/proc/4691/task/4696/stat : 4696 (java) S 4689 4689 3187 0 -1 1077944384 118 0 0 0 6 2 0 0 20 0 15 0 3200150 14316269568 100278 18446744073709551615 4194304 4196468 140730354068672 140064226466960 140064629315285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4697] ppid=4689 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4691/task/4697/stat : 4697 (java) S 4689 4689 3187 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 15 0 3200151 14316269568 100278 18446744073709551615 4194304 4196468 140730354068672 140064197576688 140064629316226 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4698] ppid=4689 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4691/task/4698/stat : 4698 (java) S 4689 4689 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3200151 14316269568 100278 18446744073709551615 4194304 4196468 140730354068672 140064196522976 140064629315285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4699] ppid=4689 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4691/task/4699/stat : 4699 (java) S 4689 4689 3187 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 3200152 14316269568 100278 18446744073709551615 4194304 4196468 140730354068672 140064195470336 140064629315285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4700] ppid=4689 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4691/task/4700/stat : 4700 (java) S 4689 4689 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3200154 14316269568 100278 18446744073709551615 4194304 4196468 140730354068672 140064194418896 140064629323675 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4701] ppid=4689 vsize=13980732 CPUtime=1.84 cores=0,2,4,6
/proc/4691/task/4701/stat : 4701 (java) R 4689 4689 3187 0 -1 4202560 3471 0 0 0 184 0 0 0 20 0 15 0 3200154 14316269568 100278 18446744073709551615 4194304 4196468 140730354068672 140064193355552 140064612799257 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4702] ppid=4689 vsize=13980732 CPUtime=1.84 cores=0,2,4,6
/proc/4691/task/4702/stat : 4702 (java) R 4689 4689 3187 0 -1 4202560 3672 0 0 0 184 0 0 0 20 0 15 0 3200154 14316269568 100278 18446744073709551615 4194304 4196468 140730354068672 140064192302528 140064610849168 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4703] ppid=4689 vsize=13980732 CPUtime=0.57 cores=0,2,4,6
/proc/4691/task/4703/stat : 4703 (java) S 4689 4689 3187 0 -1 1077944384 2175 0 0 0 56 1 0 0 20 0 15 0 3200154 14316269568 100278 18446744073709551615 4194304 4196468 140730354068672 140064191261424 140064629316226 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4704] ppid=4689 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4691/task/4704/stat : 4704 (java) S 4689 4689 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3200154 14316269568 100278 18446744073709551615 4194304 4196468 140730354068672 140064190209120 140064629315285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4705] ppid=4689 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4691/task/4705/stat : 4705 (java) S 4689 4689 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3200159 14316269568 100278 18446744073709551615 4194304 4196468 140730354068672 140064189155632 140064629316226 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
Current children cumulated CPU time (s) 7.5
Current children cumulated vsize (KiB) 13990244
[startup+6.30075 s]
/proc/loadavg: 1.41 1.66 1.52 3/215 4705
/proc/meminfo: memFree=31541588/32770624 swapFree=0/159884
[pid=4689] ppid=4686 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/4689/stat : 4689 (xcsp3-exec) S 4686 4689 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3200142 9740288 345 18446744073709551615 4194304 5098028 140736483713328 140736483711432 139639691850364 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 35295232 140736483717532 140736483717736 140736483717736 140736483721195 0
/proc/4689/statm: 2378 345 289 221 0 87 0
[pid=4691] ppid=4689 vsize=13980732 CPUtime=11.54 cores=0,2,4,6
/proc/4691/stat : 4691 (java) S 4689 4689 3187 0 -1 1077944320 26287 0 0 0 1135 19 0 0 20 0 15 0 3200149 14316269568 100344 18446744073709551615 4194304 4196468 140730354068672 140730354051216 140064629305079 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
/proc/4691/statm: 3495183 100344 3231 1 0 3483484 0
[pid=4691/tid=4692] ppid=4689 vsize=13980732 CPUtime=6.06 cores=0,2,4,6
/proc/4691/task/4692/stat : 4692 (java) R 4689 4689 3187 0 -1 4202560 9619 0 0 0 599 7 0 0 20 0 15 0 3200149 14316269568 100344 18446744073709551615 4194304 4196468 140730354068672 140064633541104 140064275845382 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4693] ppid=4689 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/4691/task/4693/stat : 4693 (java) S 4689 4689 3187 0 -1 1077944384 130 0 0 0 5 2 0 0 20 0 15 0 3200150 14316269568 100344 18446744073709551615 4194304 4196468 140730354068672 140064590203664 140064629315285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4694] ppid=4689 vsize=13980732 CPUtime=0.08 cores=0,2,4,6
/proc/4691/task/4694/stat : 4694 (java) S 4689 4689 3187 0 -1 1077944384 133 0 0 0 6 2 0 0 20 0 15 0 3200150 14316269568 100344 18446744073709551615 4194304 4196468 140730354068672 140064589151120 140064629315285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4695] ppid=4689 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/4691/task/4695/stat : 4695 (java) S 4689 4689 3187 0 -1 1077944384 85 0 0 0 5 2 0 0 20 0 15 0 3200150 14316269568 100344 18446744073709551615 4194304 4196468 140730354068672 140064227519504 140064629315285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4696] ppid=4689 vsize=13980732 CPUtime=0.08 cores=0,2,4,6
/proc/4691/task/4696/stat : 4696 (java) S 4689 4689 3187 0 -1 1077944384 118 0 0 0 6 2 0 0 20 0 15 0 3200150 14316269568 100344 18446744073709551615 4194304 4196468 140730354068672 140064226466960 140064629315285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4697] ppid=4689 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4691/task/4697/stat : 4697 (java) S 4689 4689 3187 0 -1 1077944384 245 0 0 0 0 0 0 0 20 0 15 0 3200151 14316269568 100344 18446744073709551615 4194304 4196468 140730354068672 140064197576688 140064629316226 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4698] ppid=4689 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4691/task/4698/stat : 4698 (java) S 4689 4689 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3200151 14316269568 100344 18446744073709551615 4194304 4196468 140730354068672 140064196522976 140064629315285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4699] ppid=4689 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4691/task/4699/stat : 4699 (java) S 4689 4689 3187 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 3200152 14316269568 100344 18446744073709551615 4194304 4196468 140730354068672 140064195470336 140064629315285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4700] ppid=4689 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4691/task/4700/stat : 4700 (java) S 4689 4689 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3200154 14316269568 100344 18446744073709551615 4194304 4196468 140730354068672 140064194418896 140064629323675 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4701] ppid=4689 vsize=13980732 CPUtime=2.3 cores=0,2,4,6
/proc/4691/task/4701/stat : 4701 (java) S 4689 4689 3187 0 -1 1077944384 5434 0 0 0 230 0 0 0 20 0 15 0 3200154 14316269568 100344 18446744073709551615 4194304 4196468 140730354068672 140064193366512 140064629316226 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4702] ppid=4689 vsize=13980732 CPUtime=2.16 cores=0,2,4,6
/proc/4691/task/4702/stat : 4702 (java) S 4689 4689 3187 0 -1 1077944384 4890 0 0 0 216 0 0 0 20 0 15 0 3200154 14316269568 100344 18446744073709551615 4194304 4196468 140730354068672 140064192313968 140064629316226 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4703] ppid=4689 vsize=13980732 CPUtime=0.63 cores=0,2,4,6
/proc/4691/task/4703/stat : 4703 (java) S 4689 4689 3187 0 -1 1077944384 3856 0 0 0 62 1 0 0 20 0 15 0 3200154 14316269568 100344 18446744073709551615 4194304 4196468 140730354068672 140064191261424 140064629316226 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4704] ppid=4689 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4691/task/4704/stat : 4704 (java) S 4689 4689 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3200154 14316269568 100344 18446744073709551615 4194304 4196468 140730354068672 140064190209120 140064629315285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4705] ppid=4689 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4691/task/4705/stat : 4705 (java) S 4689 4689 3187 0 -1 1077944384 481 0 0 0 0 0 0 0 20 0 15 0 3200159 14316269568 100344 18446744073709551615 4194304 4196468 140730354068672 140064189155632 140064629316226 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
Current children cumulated CPU time (s) 11.54
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 1.38 1.65 1.52 3/215 4705
/proc/meminfo: memFree=31497344/32770624 swapFree=0/159896
[pid=4689] ppid=4686 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/4689/stat : 4689 (xcsp3-exec) S 4686 4689 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3200142 9740288 345 18446744073709551615 4194304 5098028 140736483713328 140736483711432 139639691850364 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 35295232 140736483717532 140736483717736 140736483717736 140736483721195 0
/proc/4689/statm: 2378 345 289 221 0 87 0
[pid=4691] ppid=4689 vsize=13980732 CPUtime=18.25 cores=0,2,4,6
/proc/4691/stat : 4691 (java) S 4689 4689 3187 0 -1 1077944320 28156 0 0 0 1801 24 0 0 20 0 15 0 3200149 14316269568 110812 18446744073709551615 4194304 4196468 140730354068672 140730354051216 140064629305079 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
/proc/4691/statm: 3495183 110812 3233 1 0 3483484 0
[pid=4691/tid=4692] ppid=4689 vsize=13980732 CPUtime=12.41 cores=0,2,4,6
/proc/4691/task/4692/stat : 4692 (java) R 4689 4689 3187 0 -1 4202560 9708 0 0 0 1234 7 0 0 20 0 15 0 3200149 14316269568 110812 18446744073709551615 4194304 4196468 140730354068672 140064633543768 140064276657661 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4693] ppid=4689 vsize=13980732 CPUtime=0.11 cores=0,2,4,6
/proc/4691/task/4693/stat : 4693 (java) S 4689 4689 3187 0 -1 1077944384 373 0 0 0 8 3 0 0 20 0 15 0 3200150 14316269568 110812 18446744073709551615 4194304 4196468 140730354068672 140064590203664 140064629315285 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4694] ppid=4689 vsize=13980732 CPUtime=0.13 cores=0,2,4,6
/proc/4691/task/4694/stat : 4694 (java) S 4689 4689 3187 0 -1 1077944384 223 0 0 0 10 3 0 0 20 0 15 0 3200150 14316269568 110812 18446744073709551615 4194304 4196468 140730354068672 140064589151120 140064629315285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
################
# More data... #
################
[pid=4691/tid=4698] ppid=4689 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4691/task/4698/stat : 4698 (java) S 4689 4689 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3200151 14316269568 554918 18446744073709551615 4194304 4196468 140730354068672 140064196522976 140064629315285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4699] ppid=4689 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4691/task/4699/stat : 4699 (java) S 4689 4689 3187 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 3200152 14316269568 554918 18446744073709551615 4194304 4196468 140730354068672 140064195470336 140064629315285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4700] ppid=4689 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4691/task/4700/stat : 4700 (java) S 4689 4689 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3200154 14316269568 554918 18446744073709551615 4194304 4196468 140730354068672 140064194418896 140064629323675 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4701] ppid=4689 vsize=13980732 CPUtime=2.61 cores=0,2,4,6
/proc/4691/task/4701/stat : 4701 (java) S 4689 4689 3187 0 -1 1077944384 8869 0 0 0 261 0 0 0 20 0 15 0 3200154 14316269568 554918 18446744073709551615 4194304 4196468 140730354068672 140064193366512 140064629316226 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4702] ppid=4689 vsize=13980732 CPUtime=2.37 cores=0,2,4,6
/proc/4691/task/4702/stat : 4702 (java) S 4689 4689 3187 0 -1 1077944384 8117 0 0 0 237 0 0 0 20 0 15 0 3200154 14316269568 554918 18446744073709551615 4194304 4196468 140730354068672 140064192313968 140064629316226 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4703] ppid=4689 vsize=13980732 CPUtime=0.66 cores=0,2,4,6
/proc/4691/task/4703/stat : 4703 (java) S 4689 4689 3187 0 -1 1077944384 4493 0 0 0 65 1 0 0 20 0 15 0 3200154 14316269568 554918 18446744073709551615 4194304 4196468 140730354068672 140064191261424 140064629316226 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4704] ppid=4689 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4691/task/4704/stat : 4704 (java) S 4689 4689 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3200154 14316269568 554918 18446744073709551615 4194304 4196468 140730354068672 140064190209120 140064629315285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4705] ppid=4689 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/4691/task/4705/stat : 4705 (java) S 4689 4689 3187 0 -1 1077944384 591 0 0 0 3 2 0 0 20 0 15 0 3200159 14316269568 554918 18446744073709551615 4194304 4196468 140730354068672 140064189155632 140064629316226 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
Current children cumulated CPU time (s) 108.55
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.67 1.72 1.57 3/215 4798
/proc/meminfo: memFree=28457832/32770624 swapFree=0/160040
[pid=4689] ppid=4686 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/4689/stat : 4689 (xcsp3-exec) S 4686 4689 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3200142 9740288 345 18446744073709551615 4194304 5098028 140736483713328 140736483711432 139639691850364 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 35295232 140736483717532 140736483717736 140736483717736 140736483721195 0
/proc/4689/statm: 2378 345 289 221 0 87 0
[pid=4691] ppid=4689 vsize=13980732 CPUtime=168.61 cores=0,2,4,6
/proc/4691/stat : 4691 (java) S 4689 4689 3187 0 -1 1077944320 48409 0 0 0 16778 83 0 0 20 0 15 0 3200149 14316269568 863490 18446744073709551615 4194304 4196468 140730354068672 140730354051216 140064629305079 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
/proc/4691/statm: 3495183 863490 3238 1 0 3483484 0
[pid=4691/tid=4692] ppid=4689 vsize=13980732 CPUtime=161.91 cores=0,2,4,6
/proc/4691/task/4692/stat : 4692 (java) R 4689 4689 3187 0 -1 4202560 18813 0 0 0 16139 52 0 0 20 0 15 0 3200149 14316269568 863490 18446744073709551615 4194304 4196468 140730354068672 140064633543880 140064276730291 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4693] ppid=4689 vsize=13980732 CPUtime=0.2 cores=0,2,4,6
/proc/4691/task/4693/stat : 4693 (java) S 4689 4689 3187 0 -1 1077944384 858 0 0 0 15 5 0 0 20 0 15 0 3200150 14316269568 863490 18446744073709551615 4194304 4196468 140730354068672 140064590203664 140064629315285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4694] ppid=4689 vsize=13980732 CPUtime=0.22 cores=0,2,4,6
/proc/4691/task/4694/stat : 4694 (java) S 4689 4689 3187 0 -1 1077944384 1066 0 0 0 16 6 0 0 20 0 15 0 3200150 14316269568 863490 18446744073709551615 4194304 4196468 140730354068672 140064589151120 140064629315285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4695] ppid=4689 vsize=13980732 CPUtime=0.21 cores=0,2,4,6
/proc/4691/task/4695/stat : 4695 (java) S 4689 4689 3187 0 -1 1077944384 543 0 0 0 16 5 0 0 20 0 15 0 3200150 14316269568 863490 18446744073709551615 4194304 4196468 140730354068672 140064227519504 140064629315285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4696] ppid=4689 vsize=13980732 CPUtime=0.22 cores=0,2,4,6
/proc/4691/task/4696/stat : 4696 (java) S 4689 4689 3187 0 -1 1077944384 514 0 0 0 16 6 0 0 20 0 15 0 3200150 14316269568 863490 18446744073709551615 4194304 4196468 140730354068672 140064226466960 140064629315285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4697] ppid=4689 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/4691/task/4697/stat : 4697 (java) S 4689 4689 3187 0 -1 1077944384 2357 0 0 0 1 0 0 0 20 0 15 0 3200151 14316269568 863490 18446744073709551615 4194304 4196468 140730354068672 140064197576688 140064629316226 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4698] ppid=4689 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4691/task/4698/stat : 4698 (java) S 4689 4689 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3200151 14316269568 863490 18446744073709551615 4194304 4196468 140730354068672 140064196522976 140064629315285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4699] ppid=4689 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4691/task/4699/stat : 4699 (java) S 4689 4689 3187 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 3200152 14316269568 863490 18446744073709551615 4194304 4196468 140730354068672 140064195470336 140064629315285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4700] ppid=4689 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4691/task/4700/stat : 4700 (java) S 4689 4689 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3200154 14316269568 863490 18446744073709551615 4194304 4196468 140730354068672 140064194418896 140064629323675 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4701] ppid=4689 vsize=13980732 CPUtime=2.61 cores=0,2,4,6
/proc/4691/task/4701/stat : 4701 (java) S 4689 4689 3187 0 -1 1077944384 8869 0 0 0 261 0 0 0 20 0 15 0 3200154 14316269568 863490 18446744073709551615 4194304 4196468 140730354068672 140064193366512 140064629316226 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4702] ppid=4689 vsize=13980732 CPUtime=2.38 cores=0,2,4,6
/proc/4691/task/4702/stat : 4702 (java) S 4689 4689 3187 0 -1 1077944384 8211 0 0 0 238 0 0 0 20 0 15 0 3200154 14316269568 863490 18446744073709551615 4194304 4196468 140730354068672 140064192313968 140064629316226 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4703] ppid=4689 vsize=13980732 CPUtime=0.67 cores=0,2,4,6
/proc/4691/task/4703/stat : 4703 (java) S 4689 4689 3187 0 -1 1077944384 5287 0 0 0 66 1 0 0 20 0 15 0 3200154 14316269568 863490 18446744073709551615 4194304 4196468 140730354068672 140064191261424 140064629316226 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4704] ppid=4689 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4691/task/4704/stat : 4704 (java) S 4689 4689 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3200154 14316269568 863490 18446744073709551615 4194304 4196468 140730354068672 140064190209120 140064629315285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4705] ppid=4689 vsize=13980732 CPUtime=0.09 cores=0,2,4,6
/proc/4691/task/4705/stat : 4705 (java) S 4689 4689 3187 0 -1 1077944384 595 0 0 0 5 4 0 0 20 0 15 0 3200159 14316269568 863490 18446744073709551615 4194304 4196468 140730354068672 140064189155632 140064629316226 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
Current children cumulated CPU time (s) 168.61
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.71 1.73 1.59 3/215 4800
/proc/meminfo: memFree=28416476/32770624 swapFree=0/160076
[pid=4689] ppid=4686 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/4689/stat : 4689 (xcsp3-exec) S 4686 4689 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3200142 9740288 345 18446744073709551615 4194304 5098028 140736483713328 140736483711432 139639691850364 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 35295232 140736483717532 140736483717736 140736483717736 140736483721195 0
/proc/4689/statm: 2378 345 289 221 0 87 0
[pid=4691] ppid=4689 vsize=13980732 CPUtime=228.67 cores=0,2,4,6
/proc/4691/stat : 4691 (java) S 4689 4689 3187 0 -1 1077944320 51859 0 0 0 22783 84 0 0 20 0 15 0 3200149 14316269568 850666 18446744073709551615 4194304 4196468 140730354068672 140730354051216 140064629305079 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
/proc/4691/statm: 3495183 850666 3238 1 0 3483484 0
[pid=4691/tid=4692] ppid=4689 vsize=13980732 CPUtime=221.92 cores=0,2,4,6
/proc/4691/task/4692/stat : 4692 (java) R 4689 4689 3187 0 -1 4202560 20430 0 0 0 22140 52 0 0 20 0 15 0 3200149 14316269568 850666 18446744073709551615 4194304 4196468 140730354068672 140064633541784 140064276306051 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4693] ppid=4689 vsize=13980732 CPUtime=0.21 cores=0,2,4,6
/proc/4691/task/4693/stat : 4693 (java) S 4689 4689 3187 0 -1 1077944384 909 0 0 0 16 5 0 0 20 0 15 0 3200150 14316269568 850666 18446744073709551615 4194304 4196468 140730354068672 140064590203664 140064629315285 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4694] ppid=4689 vsize=13980732 CPUtime=0.22 cores=0,2,4,6
/proc/4691/task/4694/stat : 4694 (java) S 4689 4689 3187 0 -1 1077944384 1087 0 0 0 16 6 0 0 20 0 15 0 3200150 14316269568 850666 18446744073709551615 4194304 4196468 140730354068672 140064589151120 140064629315285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4695] ppid=4689 vsize=13980732 CPUtime=0.21 cores=0,2,4,6
/proc/4691/task/4695/stat : 4695 (java) S 4689 4689 3187 0 -1 1077944384 612 0 0 0 16 5 0 0 20 0 15 0 3200150 14316269568 850666 18446744073709551615 4194304 4196468 140730354068672 140064227519504 140064629315285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4696] ppid=4689 vsize=13980732 CPUtime=0.23 cores=0,2,4,6
/proc/4691/task/4696/stat : 4696 (java) S 4689 4689 3187 0 -1 1077944384 930 0 0 0 17 6 0 0 20 0 15 0 3200150 14316269568 850666 18446744073709551615 4194304 4196468 140730354068672 140064226466960 140064629315285 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4697] ppid=4689 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/4691/task/4697/stat : 4697 (java) S 4689 4689 3187 0 -1 1077944384 2604 0 0 0 1 0 0 0 20 0 15 0 3200151 14316269568 850666 18446744073709551615 4194304 4196468 140730354068672 140064197576688 140064629316226 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4698] ppid=4689 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4691/task/4698/stat : 4698 (java) S 4689 4689 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3200151 14316269568 850666 18446744073709551615 4194304 4196468 140730354068672 140064196522976 140064629315285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4699] ppid=4689 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4691/task/4699/stat : 4699 (java) S 4689 4689 3187 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 3200152 14316269568 850666 18446744073709551615 4194304 4196468 140730354068672 140064195470336 140064629315285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4700] ppid=4689 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4691/task/4700/stat : 4700 (java) S 4689 4689 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3200154 14316269568 850666 18446744073709551615 4194304 4196468 140730354068672 140064194418896 140064629323675 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4701] ppid=4689 vsize=13980732 CPUtime=2.61 cores=0,2,4,6
/proc/4691/task/4701/stat : 4701 (java) S 4689 4689 3187 0 -1 1077944384 8871 0 0 0 261 0 0 0 20 0 15 0 3200154 14316269568 850666 18446744073709551615 4194304 4196468 140730354068672 140064193366512 140064629316226 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4702] ppid=4689 vsize=13980732 CPUtime=2.38 cores=0,2,4,6
/proc/4691/task/4702/stat : 4702 (java) S 4689 4689 3187 0 -1 1077944384 8632 0 0 0 238 0 0 0 20 0 15 0 3200154 14316269568 850666 18446744073709551615 4194304 4196468 140730354068672 140064192313968 140064629316226 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4703] ppid=4689 vsize=13980732 CPUtime=0.67 cores=0,2,4,6
/proc/4691/task/4703/stat : 4703 (java) S 4689 4689 3187 0 -1 1077944384 5858 0 0 0 66 1 0 0 20 0 15 0 3200154 14316269568 850666 18446744073709551615 4194304 4196468 140730354068672 140064191261424 140064629316226 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4704] ppid=4689 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4691/task/4704/stat : 4704 (java) S 4689 4689 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3200154 14316269568 850666 18446744073709551615 4194304 4196468 140730354068672 140064190209120 140064629315285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4705] ppid=4689 vsize=13980732 CPUtime=0.12 cores=0,2,4,6
/proc/4691/task/4705/stat : 4705 (java) S 4689 4689 3187 0 -1 1077944384 630 0 0 0 7 5 0 0 20 0 15 0 3200159 14316269568 850666 18446744073709551615 4194304 4196468 140730354068672 140064189155632 140064629316226 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
Current children cumulated CPU time (s) 228.67
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.70 1.72 1.59 3/215 4800
/proc/meminfo: memFree=28419756/32770624 swapFree=0/160080
[pid=4689] ppid=4686 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/4689/stat : 4689 (xcsp3-exec) S 4686 4689 3187 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 3200142 9740288 345 18446744073709551615 4194304 5098028 140736483713328 140736483711432 139639691850364 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 6 0 0 7196144 7232144 35295232 140736483717532 140736483717736 140736483717736 140736483721195 0
/proc/4689/statm: 2378 345 289 221 0 87 0
[pid=4691] ppid=4689 vsize=13980732 CPUtime=246.37 cores=0,2,4,6
/proc/4691/stat : 4691 (java) S 4689 4689 3187 0 -1 1077944320 53461 0 0 0 24553 84 0 0 20 0 15 0 3200149 14316269568 850666 18446744073709551615 4194304 4196468 140730354068672 140730354051216 140064629305079 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
/proc/4691/statm: 3495183 850666 3238 1 0 3483484 0
[pid=4691/tid=4692] ppid=4689 vsize=13980732 CPUtime=239.61 cores=0,2,4,6
/proc/4691/task/4692/stat : 4692 (java) R 4689 4689 3187 0 -1 4202560 22030 0 0 0 23909 52 0 0 20 0 15 0 3200149 14316269568 850666 18446744073709551615 4194304 4196468 140730354068672 140064633544512 140064276731321 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4693] ppid=4689 vsize=13980732 CPUtime=0.21 cores=0,2,4,6
/proc/4691/task/4693/stat : 4693 (java) S 4689 4689 3187 0 -1 1077944384 909 0 0 0 16 5 0 0 20 0 15 0 3200150 14316269568 850666 18446744073709551615 4194304 4196468 140730354068672 140064590203664 140064629315285 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4694] ppid=4689 vsize=13980732 CPUtime=0.23 cores=0,2,4,6
/proc/4691/task/4694/stat : 4694 (java) S 4689 4689 3187 0 -1 1077944384 1089 0 0 0 17 6 0 0 20 0 15 0 3200150 14316269568 850666 18446744073709551615 4194304 4196468 140730354068672 140064589151120 140064629315285 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4695] ppid=4689 vsize=13980732 CPUtime=0.21 cores=0,2,4,6
/proc/4691/task/4695/stat : 4695 (java) S 4689 4689 3187 0 -1 1077944384 612 0 0 0 16 5 0 0 20 0 15 0 3200150 14316269568 850666 18446744073709551615 4194304 4196468 140730354068672 140064227519504 140064629315285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4696] ppid=4689 vsize=13980732 CPUtime=0.23 cores=0,2,4,6
/proc/4691/task/4696/stat : 4696 (java) S 4689 4689 3187 0 -1 1077944384 930 0 0 0 17 6 0 0 20 0 15 0 3200150 14316269568 850666 18446744073709551615 4194304 4196468 140730354068672 140064226466960 140064629315285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4697] ppid=4689 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/4691/task/4697/stat : 4697 (java) S 4689 4689 3187 0 -1 1077944384 2604 0 0 0 1 0 0 0 20 0 15 0 3200151 14316269568 850666 18446744073709551615 4194304 4196468 140730354068672 140064197576688 140064629316226 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4698] ppid=4689 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4691/task/4698/stat : 4698 (java) S 4689 4689 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3200151 14316269568 850666 18446744073709551615 4194304 4196468 140730354068672 140064196522976 140064629315285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4699] ppid=4689 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4691/task/4699/stat : 4699 (java) S 4689 4689 3187 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 3200152 14316269568 850666 18446744073709551615 4194304 4196468 140730354068672 140064195470336 140064629315285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4700] ppid=4689 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4691/task/4700/stat : 4700 (java) S 4689 4689 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3200154 14316269568 850666 18446744073709551615 4194304 4196468 140730354068672 140064194418896 140064629323675 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4701] ppid=4689 vsize=13980732 CPUtime=2.61 cores=0,2,4,6
/proc/4691/task/4701/stat : 4701 (java) S 4689 4689 3187 0 -1 1077944384 8871 0 0 0 261 0 0 0 20 0 15 0 3200154 14316269568 850666 18446744073709551615 4194304 4196468 140730354068672 140064193366512 140064629316226 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4702] ppid=4689 vsize=13980732 CPUtime=2.38 cores=0,2,4,6
/proc/4691/task/4702/stat : 4702 (java) S 4689 4689 3187 0 -1 1077944384 8632 0 0 0 238 0 0 0 20 0 15 0 3200154 14316269568 850666 18446744073709551615 4194304 4196468 140730354068672 140064192313968 140064629316226 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4703] ppid=4689 vsize=13980732 CPUtime=0.67 cores=0,2,4,6
/proc/4691/task/4703/stat : 4703 (java) S 4689 4689 3187 0 -1 1077944384 5858 0 0 0 66 1 0 0 20 0 15 0 3200154 14316269568 850666 18446744073709551615 4194304 4196468 140730354068672 140064191261424 140064629316226 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4704] ppid=4689 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/4691/task/4704/stat : 4704 (java) S 4689 4689 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3200154 14316269568 850666 18446744073709551615 4194304 4196468 140730354068672 140064190209120 140064629315285 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
[pid=4691/tid=4705] ppid=4689 vsize=13980732 CPUtime=0.13 cores=0,2,4,6
/proc/4691/task/4705/stat : 4705 (java) S 4689 4689 3187 0 -1 1077944384 630 0 0 0 7 6 0 0 20 0 15 0 3200159 14316269568 850666 18446744073709551615 4194304 4196468 140730354068672 140064189155632 140064629316226 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34447360 140730354069973 140730354070148 140730354070148 140730354073551 0
Current children cumulated CPU time (s) 246.37
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 4691 sig 9
??? kill 4689 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 4689 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1899
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=120
# CPU time returned by wait4() is 0.002019
# while last known CPU time is 246.37
#
# 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): 246.37
CPU user time (s): 245.53
CPU system time (s): 0.84
CPU usage (%): 102.65
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001899
system time used= 0.00012
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 509
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.03672 second user time and 1.59662 second system time
The end