2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
choco-solver 5a (2017-07-26)	SAT	6.9788198	2.79303
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (14944 MiB free)
  memory of node 1: 16384 MiB (14700 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272711-1502737062/watcher-4272711-1502737062 -o /tmp/evaluation-result-4272711-1502737062/solver-4272711-1502737062 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502662595-11628 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 2103284625 HOME/instance-4272711-1502737062.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=25569, runsolver pid=25566

[startup+0.100174 s]*
/proc/loadavg: 2.53 2.07 1.85 3/205 25579
/proc/meminfo: memFree=30348756/32770624 swapFree=67108860/67108860
[pid=25569] ppid=25566 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25569/stat : 25569 (xcsp3-exec) S 25566 25569 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 75926853 9740288 345 18446744073709551615 4194304 5098028 140730982876784 140730982874888 139976263586428 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 35487744 140730982879608 140730982879813 140730982879813 140730982883307 0
/proc/25569/statm: 2378 345 289 221 0 87 0
[pid=25571] ppid=25569 vsize=13574484 memory=17984 CPUtime=0.03 cores=0,2,4,6
/proc/25571/stat : 25571 (java) S 25569 25569 897 0 -1 1077944320 4370 0 0 0 3 0 0 0 20 0 9 0 75926859 13900271616 4496 18446744073709551615 4194304 4196468 140736396029216 140736396011760 139642877193975 0 0 1 16800970 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
/proc/25571/statm: 3393621 4496 2138 1 0 3383118 0
[pid=25571/tid=25572] ppid=25569 vsize=13574484 memory=7311146985107750967 CPUtime=0.03 cores=0,2,4,6
/proc/25571/task/25572/stat : 25572 (java) R 25569 25569 897 0 -1 4202560 3074 0 0 0 3 0 0 0 20 0 9 0 75926859 13900271616 4496 18446744073709551615 4194304 4196468 140736396029216 139642881429368 139642861274492 0 4 1 16800970 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25573] ppid=25569 vsize=13574484 memory=12619 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25573/stat : 25573 (java) S 25569 25569 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 75926860 13900271616 4496 18446744073709551615 4194304 4196468 140736396029216 139642811628304 139642877204181 0 4 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25574] ppid=25569 vsize=13574484 memory=139622305378419 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25574/stat : 25574 (java) S 25569 25569 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 75926860 13900271616 4496 18446744073709551615 4194304 4196468 140736396029216 139642810575760 139642877204181 0 4 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25575] ppid=25569 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25575/stat : 25575 (java) S 25569 25569 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 75926860 13900271616 4496 18446744073709551615 4194304 4196468 140736396029216 139642474773520 139642877204181 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25576] ppid=25569 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25576/stat : 25576 (java) S 25569 25569 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 75926860 13900271616 4496 18446744073709551615 4194304 4196468 140736396029216 139642473720976 139642877204181 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25577] ppid=25569 vsize=13574484 memory=139622305355392 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25577/stat : 25577 (java) S 25569 25569 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 75926861 13900271616 4496 18446744073709551615 4194304 4196468 140736396029216 139642422863856 139642877205122 0 0 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25578] ppid=25569 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25578/stat : 25578 (java) S 25569 25569 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 75926862 13900271616 4496 18446744073709551615 4194304 4196468 140736396029216 139642421810080 139642877204181 0 4 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25579] ppid=25569 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25579/stat : 25579 (java) S 25569 25569 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 75926862 13900271616 4496 18446744073709551615 4194304 4196468 140736396029216 139642420757488 139642877204181 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 19364 KiB

[startup+0.210472 s]*
/proc/loadavg: 2.53 2.07 1.85 5/211 25585
/proc/meminfo: memFree=30338628/32770624 swapFree=67108860/67108860
[pid=25569] ppid=25566 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25569/stat : 25569 (xcsp3-exec) S 25566 25569 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 75926853 9740288 345 18446744073709551615 4194304 5098028 140730982876784 140730982874888 139976263586428 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 35487744 140730982879608 140730982879813 140730982879813 140730982883307 0
/proc/25569/statm: 2378 345 289 221 0 87 0
[pid=25571] ppid=25569 vsize=13974352 memory=31912 CPUtime=0.18 cores=0,2,4,6
/proc/25571/stat : 25571 (java) S 25569 25569 897 0 -1 1077944320 6363 0 0 0 17 1 0 0 20 0 15 0 75926859 14309736448 7978 18446744073709551615 4194304 4196468 140736396029216 140736396011760 139642877193975 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
/proc/25571/statm: 3493588 7978 2964 1 0 3482964 0
[pid=25571/tid=25572] ppid=25569 vsize=13974352 memory=7311146985107750967 CPUtime=0.12 cores=0,2,4,6
/proc/25571/task/25572/stat : 25572 (java) R 25569 25569 897 0 -1 4202560 3623 0 0 0 11 1 0 0 20 0 15 0 75926859 14309736448 7978 18446744073709551615 4194304 4196468 140736396029216 139642881420168 139642869431102 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25573] ppid=25569 vsize=13974352 memory=12619 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25573/stat : 25573 (java) S 25569 25569 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75926860 14309736448 7978 18446744073709551615 4194304 4196468 140736396029216 139642811628304 139642877204181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25574] ppid=25569 vsize=13974352 memory=139622305378419 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25574/stat : 25574 (java) S 25569 25569 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75926860 14309736448 7978 18446744073709551615 4194304 4196468 140736396029216 139642810575760 139642877204181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25575] ppid=25569 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25575/stat : 25575 (java) S 25569 25569 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75926860 14309736448 7978 18446744073709551615 4194304 4196468 140736396029216 139642474773520 139642877204181 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25576] ppid=25569 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25576/stat : 25576 (java) S 25569 25569 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75926860 14309736448 7978 18446744073709551615 4194304 4196468 140736396029216 139642473720976 139642877204181 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25577] ppid=25569 vsize=13974352 memory=139622305355392 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25577/stat : 25577 (java) S 25569 25569 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75926861 14309736448 7978 18446744073709551615 4194304 4196468 140736396029216 139642422863856 139642877205122 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25578] ppid=25569 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25578/stat : 25578 (java) S 25569 25569 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 75926862 14309736448 7978 18446744073709551615 4194304 4196468 140736396029216 139642421810080 139642877204181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25579] ppid=25569 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25579/stat : 25579 (java) S 25569 25569 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75926862 14309736448 7978 18446744073709551615 4194304 4196468 140736396029216 139642420757488 139642877204181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25580] ppid=25569 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25580/stat : 25580 (java) S 25569 25569 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75926864 14309736448 7978 18446744073709551615 4194304 4196468 140736396029216 139642419706064 139642877212571 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25581] ppid=25569 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/25571/task/25581/stat : 25581 (java) R 25569 25569 897 0 -1 4202560 737 0 0 0 1 0 0 0 20 0 15 0 75926864 14309736448 7978 18446744073709551615 4194304 4196468 140736396029216 139642418634568 139642856437760 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25582] ppid=25569 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25582/stat : 25582 (java) R 25569 25569 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75926864 14309736448 7978 18446744073709551615 4194304 4196468 140736396029216 139642417601136 139642877205122 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25583] ppid=25569 vsize=13974352 memory=139622305355392 CPUtime=0.03 cores=0,2,4,6
/proc/25571/task/25583/stat : 25583 (java) R 25569 25569 897 0 -1 4202560 695 0 0 0 3 0 0 0 20 0 15 0 75926864 14309736448 7978 18446744073709551615 4194304 4196468 140736396029216 139642416544760 139642856148565 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25584] ppid=25569 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25584/stat : 25584 (java) S 25569 25569 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75926864 14309736448 7978 18446744073709551615 4194304 4196468 140736396029216 139642415496288 139642877204181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25585] ppid=25569 vsize=13974352 memory=139622305355392 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25585/stat : 25585 (java) S 25569 25569 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75926868 14309736448 7978 18446744073709551615 4194304 4196468 140736396029216 139642414442800 139642877205122 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 33292 KiB

[startup+0.310916 s]*
/proc/loadavg: 2.53 2.07 1.85 3/211 25585
/proc/meminfo: memFree=30326716/32770624 swapFree=67108860/67108860
[pid=25569] ppid=25566 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25569/stat : 25569 (xcsp3-exec) S 25566 25569 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 75926853 9740288 345 18446744073709551615 4194304 5098028 140730982876784 140730982874888 139976263586428 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 35487744 140730982879608 140730982879813 140730982879813 140730982883307 0
/proc/25569/statm: 2378 345 289 221 0 87 0
[pid=25571] ppid=25569 vsize=13978608 memory=40476 CPUtime=0.36 cores=0,2,4,6
/proc/25571/stat : 25571 (java) S 25569 25569 897 0 -1 1077944320 9345 0 0 0 33 3 0 0 20 0 15 0 75926859 14314094592 10119 18446744073709551615 4194304 4196468 140736396029216 140736396011760 139642877193975 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
/proc/25571/statm: 3494652 10119 3027 1 0 3482964 0
[pid=25571/tid=25572] ppid=25569 vsize=13978608 memory=-8774313645642428999 CPUtime=0.21 cores=0,2,4,6
/proc/25571/task/25572/stat : 25572 (java) R 25569 25569 897 0 -1 4202560 6443 0 0 0 19 2 0 0 20 0 15 0 75926859 14314094592 10119 18446744073709551615 4194304 4196468 140736396029216 139642881416000 139642877215901 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25573] ppid=25569 vsize=13978608 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25573/stat : 25573 (java) S 25569 25569 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75926860 14314094592 10119 18446744073709551615 4194304 4196468 140736396029216 139642811628304 139642877204181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25574] ppid=25569 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25574/stat : 25574 (java) S 25569 25569 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75926860 14314094592 10119 18446744073709551615 4194304 4196468 140736396029216 139642810575760 139642877204181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25575] ppid=25569 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25575/stat : 25575 (java) S 25569 25569 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75926860 14314094592 10119 18446744073709551615 4194304 4196468 140736396029216 139642474773520 139642877204181 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25576] ppid=25569 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25576/stat : 25576 (java) S 25569 25569 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75926860 14314094592 10119 18446744073709551615 4194304 4196468 140736396029216 139642473720976 139642877204181 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25577] ppid=25569 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25577/stat : 25577 (java) S 25569 25569 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75926861 14314094592 10119 18446744073709551615 4194304 4196468 140736396029216 139642422863856 139642877205122 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25578] ppid=25569 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25578/stat : 25578 (java) S 25569 25569 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 75926862 14314094592 10119 18446744073709551615 4194304 4196468 140736396029216 139642421810080 139642877204181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25579] ppid=25569 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25579/stat : 25579 (java) S 25569 25569 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75926862 14314094592 10119 18446744073709551615 4194304 4196468 140736396029216 139642420757488 139642877204181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25580] ppid=25569 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25580/stat : 25580 (java) S 25569 25569 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75926864 14314094592 10119 18446744073709551615 4194304 4196468 140736396029216 139642419706064 139642877212571 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25581] ppid=25569 vsize=13978608 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/25571/task/25581/stat : 25581 (java) S 25569 25569 897 0 -1 1077944384 747 0 0 0 2 0 0 0 20 0 15 0 75926864 14314094592 10119 18446744073709551615 4194304 4196468 140736396029216 139642418653680 139642877205122 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25582] ppid=25569 vsize=13978608 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/25571/task/25582/stat : 25582 (java) S 25569 25569 897 0 -1 1077944384 112 0 0 0 2 0 0 0 20 0 15 0 75926864 14314094592 10119 18446744073709551615 4194304 4196468 140736396029216 139642417601136 139642877205122 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25583] ppid=25569 vsize=13978608 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25571/task/25583/stat : 25583 (java) S 25569 25569 897 0 -1 1077944384 737 0 0 0 8 0 0 0 20 0 15 0 75926864 14314094592 10119 18446744073709551615 4194304 4196468 140736396029216 139642416548592 139642877205122 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25584] ppid=25569 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25584/stat : 25584 (java) S 25569 25569 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75926864 14314094592 10119 18446744073709551615 4194304 4196468 140736396029216 139642415496288 139642877204181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25585] ppid=25569 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25585/stat : 25585 (java) S 25569 25569 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75926868 14314094592 10119 18446744073709551615 4194304 4196468 140736396029216 139642414442800 139642877205122 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 41856 KiB

[startup+0.700765 s]
/proc/loadavg: 2.53 2.07 1.85 5/211 25585
/proc/meminfo: memFree=30310984/32770624 swapFree=67108860/67108860
[pid=25569] ppid=25566 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25569/stat : 25569 (xcsp3-exec) S 25566 25569 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 75926853 9740288 345 18446744073709551615 4194304 5098028 140730982876784 140730982874888 139976263586428 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 35487744 140730982879608 140730982879813 140730982879813 140730982883307 0
/proc/25569/statm: 2378 345 289 221 0 87 0
[pid=25571] ppid=25569 vsize=13980732 memory=78564 CPUtime=1.41 cores=0,2,4,6
/proc/25571/stat : 25571 (java) S 25569 25569 897 0 -1 1077944320 13659 0 0 0 136 5 0 0 20 0 15 0 75926859 14316269568 19641 18446744073709551615 4194304 4196468 140736396029216 140736396011760 139642877193975 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
/proc/25571/statm: 3495183 19641 3167 1 0 3483476 0
[pid=25571/tid=25572] ppid=25569 vsize=13980732 memory=6935649255759568960 CPUtime=0.58 cores=0,2,4,6
/proc/25571/task/25572/stat : 25572 (java) R 25569 25569 897 0 -1 4202560 8355 0 0 0 55 3 0 0 20 0 15 0 75926859 14316269568 19641 18446744073709551615 4194304 4196468 140736396029216 139642881431136 139642493060967 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25573] ppid=25569 vsize=13980732 memory=6935652631620640832 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25573/stat : 25573 (java) S 25569 25569 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75926860 14316269568 19641 18446744073709551615 4194304 4196468 140736396029216 139642811628304 139642877204181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25574] ppid=25569 vsize=13980732 memory=7100839861566347365 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25574/stat : 25574 (java) S 25569 25569 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75926860 14316269568 19641 18446744073709551615 4194304 4196468 140736396029216 139642810575760 139642877204181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25575] ppid=25569 vsize=13980732 memory=5859278125529317472 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25575/stat : 25575 (java) S 25569 25569 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75926860 14316269568 19641 18446744073709551615 4194304 4196468 140736396029216 139642474773520 139642877204181 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25576] ppid=25569 vsize=13980732 memory=6935649255759568981 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25576/stat : 25576 (java) S 25569 25569 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75926860 14316269568 19641 18446744073709551615 4194304 4196468 140736396029216 139642473720976 139642877204181 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25577] ppid=25569 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25577/stat : 25577 (java) S 25569 25569 897 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 75926861 14316269568 19641 18446744073709551615 4194304 4196468 140736396029216 139642422863856 139642877205122 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25578] ppid=25569 vsize=13980732 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25578/stat : 25578 (java) S 25569 25569 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 75926862 14316269568 19641 18446744073709551615 4194304 4196468 140736396029216 139642421810080 139642877204181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25579] ppid=25569 vsize=13980732 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25579/stat : 25579 (java) S 25569 25569 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75926862 14316269568 19641 18446744073709551615 4194304 4196468 140736396029216 139642420757488 139642877204181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25580] ppid=25569 vsize=13980732 memory=1700 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25580/stat : 25580 (java) S 25569 25569 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75926864 14316269568 19641 18446744073709551615 4194304 4196468 140736396029216 139642419706064 139642877212571 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25581] ppid=25569 vsize=13980732 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/25571/task/25581/stat : 25581 (java) R 25569 25569 897 0 -1 4202560 1288 0 0 0 21 0 0 0 20 0 15 0 75926864 14316269568 19641 18446744073709551615 4194304 4196468 140736396029216 139642418653680 139642870299706 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25582] ppid=25569 vsize=13980732 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/25571/task/25582/stat : 25582 (java) R 25569 25569 897 0 -1 1077944384 969 0 0 0 25 0 0 0 20 0 15 0 75926864 14316269568 19641 18446744073709551615 4194304 4196468 140736396029216 139642417601136 139642877205122 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25583] ppid=25569 vsize=13980732 memory=2529 CPUtime=0.33 cores=0,2,4,6
/proc/25571/task/25583/stat : 25583 (java) R 25569 25569 897 0 -1 4202560 1737 0 0 0 33 0 0 0 20 0 15 0 75926864 14316269568 19641 18446744073709551615 4194304 4196468 140736396029216 139642416548592 139642861717635 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25584] ppid=25569 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25584/stat : 25584 (java) S 25569 25569 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75926864 14316269568 19641 18446744073709551615 4194304 4196468 140736396029216 139642415496288 139642877204181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25585] ppid=25569 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25585/stat : 25585 (java) S 25569 25569 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75926868 14316269568 19641 18446744073709551615 4194304 4196468 140736396029216 139642414442800 139642877205122 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 79944 KiB

[startup+1.50094 s]
/proc/loadavg: 2.53 2.07 1.85 5/211 25585
/proc/meminfo: memFree=30270532/32770624 swapFree=67108860/67108860
[pid=25569] ppid=25566 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25569/stat : 25569 (xcsp3-exec) S 25566 25569 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 75926853 9740288 345 18446744073709551615 4194304 5098028 140730982876784 140730982874888 139976263586428 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 35487744 140730982879608 140730982879813 140730982879813 140730982883307 0
/proc/25569/statm: 2378 345 289 221 0 87 0
[pid=25571] ppid=25569 vsize=13980732 memory=129276 CPUtime=4.01 cores=0,2,4,6
/proc/25571/stat : 25571 (java) S 25569 25569 897 0 -1 1077944320 24256 0 0 0 394 7 0 0 20 0 15 0 75926859 14316269568 32319 18446744073709551615 4194304 4196468 140736396029216 140736396011760 139642877193975 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
/proc/25571/statm: 3495183 32319 3197 1 0 3483476 0
[pid=25571/tid=25572] ppid=25569 vsize=13980732 memory=0 CPUtime=1.37 cores=0,2,4,6
/proc/25571/task/25572/stat : 25572 (java) R 25569 25569 897 0 -1 4202560 9548 0 0 0 133 4 0 0 20 0 15 0 75926859 14316269568 32319 18446744073709551615 4194304 4196468 140736396029216 139642881430904 139642495615679 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25573] ppid=25569 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25573/stat : 25573 (java) S 25569 25569 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75926860 14316269568 32319 18446744073709551615 4194304 4196468 140736396029216 139642811628304 139642877204181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25574] ppid=25569 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25574/stat : 25574 (java) S 25569 25569 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75926860 14316269568 32319 18446744073709551615 4194304 4196468 140736396029216 139642810575760 139642877204181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25575] ppid=25569 vsize=13980732 memory=78564 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25575/stat : 25575 (java) S 25569 25569 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75926860 14316269568 32319 18446744073709551615 4194304 4196468 140736396029216 139642474773520 139642877204181 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25576] ppid=25569 vsize=13980732 memory=219713347045330 CPUtime=0 cores=0,2,4,6

################
# More data... #
################

/proc/25569/stat : 25569 (xcsp3-exec) S 25566 25569 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 75926853 9740288 345 18446744073709551615 4194304 5098028 140730982876784 140730982874888 139976263586428 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 35487744 140730982879608 140730982879813 140730982879813 140730982883307 0
/proc/25569/statm: 2378 345 289 221 0 87 0
[pid=25571] ppid=25569 vsize=13980732 memory=135548 CPUtime=4.32 cores=0,2,4,6
/proc/25571/stat : 25571 (java) S 25569 25569 897 0 -1 1077944320 24313 0 0 0 425 7 0 0 20 0 15 0 75926859 14316269568 33887 18446744073709551615 4194304 4196468 140736396029216 140736396011760 139642877193975 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
/proc/25571/statm: 3495183 33887 3197 1 0 3483476 0
[pid=25571/tid=25572] ppid=25569 vsize=13980732 memory=1712 CPUtime=1.47 cores=0,2,4,6
/proc/25571/task/25572/stat : 25572 (java) R 25569 25569 897 0 -1 4202560 9558 0 0 0 143 4 0 0 20 0 15 0 75926859 14316269568 33887 18446744073709551615 4194304 4196468 140736396029216 139642881430904 139642495248714 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25573] ppid=25569 vsize=13980732 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25573/stat : 25573 (java) S 25569 25569 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75926860 14316269568 33887 18446744073709551615 4194304 4196468 140736396029216 139642811628304 139642877204181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25574] ppid=25569 vsize=13980732 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25574/stat : 25574 (java) S 25569 25569 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75926860 14316269568 33887 18446744073709551615 4194304 4196468 140736396029216 139642810575760 139642877204181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25575] ppid=25569 vsize=13980732 memory=10164 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25575/stat : 25575 (java) S 25569 25569 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75926860 14316269568 33887 18446744073709551615 4194304 4196468 140736396029216 139642474773520 139642877204181 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25576] ppid=25569 vsize=13980732 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25576/stat : 25576 (java) S 25569 25569 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75926860 14316269568 33887 18446744073709551615 4194304 4196468 140736396029216 139642473720976 139642877204181 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25577] ppid=25569 vsize=13980732 memory=2000 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25577/stat : 25577 (java) S 25569 25569 897 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 75926861 14316269568 33887 18446744073709551615 4194304 4196468 140736396029216 139642422863856 139642877205122 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25578] ppid=25569 vsize=13980732 memory=11000 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25578/stat : 25578 (java) S 25569 25569 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 75926862 14316269568 33887 18446744073709551615 4194304 4196468 140736396029216 139642421810080 139642877204181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25579] ppid=25569 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25579/stat : 25579 (java) S 25569 25569 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75926862 14316269568 33887 18446744073709551615 4194304 4196468 140736396029216 139642420757488 139642877204181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25580] ppid=25569 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25580/stat : 25580 (java) S 25569 25569 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75926864 14316269568 33887 18446744073709551615 4194304 4196468 140736396029216 139642419706064 139642877212571 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25581] ppid=25569 vsize=13980732 memory=0 CPUtime=1.08 cores=0,2,4,6
/proc/25571/task/25581/stat : 25581 (java) R 25569 25569 897 0 -1 4202560 5453 0 0 0 108 0 0 0 20 0 15 0 75926864 14316269568 33887 18446744073709551615 4194304 4196468 140736396029216 139642418645328 139642856529280 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25582] ppid=25569 vsize=13980732 memory=-3040564339105353098 CPUtime=1.12 cores=0,2,4,6
/proc/25571/task/25582/stat : 25582 (java) R 25569 25569 897 0 -1 4202560 4444 0 0 0 112 0 0 0 20 0 15 0 75926864 14316269568 33887 18446744073709551615 4194304 4196468 140736396029216 139642417589008 139642858718948 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25583] ppid=25569 vsize=13980732 memory=-6654736624938269017 CPUtime=0.61 cores=0,2,4,6
/proc/25571/task/25583/stat : 25583 (java) S 25569 25569 897 0 -1 1077944384 3527 0 0 0 60 1 0 0 20 0 15 0 75926864 14316269568 33887 18446744073709551615 4194304 4196468 140736396029216 139642416548592 139642877205122 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25584] ppid=25569 vsize=13980732 memory=-6368199152461293606 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25584/stat : 25584 (java) S 25569 25569 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75926864 14316269568 33887 18446744073709551615 4194304 4196468 140736396029216 139642415496288 139642877204181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25585] ppid=25569 vsize=13980732 memory=-7161732098441943118 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25585/stat : 25585 (java) S 25569 25569 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 75926868 14316269568 33887 18446744073709551615 4194304 4196468 140736396029216 139642414442800 139642877205122 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
Current children cumulated CPU time: 4.32 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 136928 KiB

[startup+2.40082 s]
/proc/loadavg: 2.53 2.07 1.85 4/211 25585
/proc/meminfo: memFree=30209132/32770624 swapFree=67108860/67108860
[pid=25569] ppid=25566 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25569/stat : 25569 (xcsp3-exec) S 25566 25569 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 75926853 9740288 345 18446744073709551615 4194304 5098028 140730982876784 140730982874888 139976263586428 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 35487744 140730982879608 140730982879813 140730982879813 140730982883307 0
/proc/25569/statm: 2378 345 289 221 0 87 0
[pid=25571] ppid=25569 vsize=13980732 memory=187976 CPUtime=6.2 cores=0,2,4,6
/proc/25571/stat : 25571 (java) S 25569 25569 897 0 -1 1077944320 25372 0 0 0 613 7 0 0 20 0 15 0 75926859 14316269568 46994 18446744073709551615 4194304 4196468 140736396029216 140736396011760 139642877193975 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
/proc/25571/statm: 3495183 46994 3200 1 0 3483476 0
[pid=25571/tid=25572] ppid=25569 vsize=13980732 memory=0 CPUtime=2.27 cores=0,2,4,6
/proc/25571/task/25572/stat : 25572 (java) R 25569 25569 897 0 -1 4202560 9786 0 0 0 223 4 0 0 20 0 15 0 75926859 14316269568 46994 18446744073709551615 4194304 4196468 140736396029216 139642881432320 139642495337972 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25573] ppid=25569 vsize=13980732 memory=4421814279458114745 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25573/stat : 25573 (java) S 25569 25569 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75926860 14316269568 46994 18446744073709551615 4194304 4196468 140736396029216 139642811628304 139642877204181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25574] ppid=25569 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25574/stat : 25574 (java) S 25569 25569 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75926860 14316269568 46994 18446744073709551615 4194304 4196468 140736396029216 139642810575760 139642877204181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25575] ppid=25569 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25575/stat : 25575 (java) S 25569 25569 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 75926860 14316269568 46994 18446744073709551615 4194304 4196468 140736396029216 139642474773520 139642877204181 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25576] ppid=25569 vsize=13980732 memory=7372786582024121444 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25576/stat : 25576 (java) S 25569 25569 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 75926860 14316269568 46994 18446744073709551615 4194304 4196468 140736396029216 139642473720976 139642877204181 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25577] ppid=25569 vsize=13980732 memory=-7453528518462155811 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25577/stat : 25577 (java) S 25569 25569 897 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 75926861 14316269568 46994 18446744073709551615 4194304 4196468 140736396029216 139642422863856 139642877205122 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25578] ppid=25569 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25578/stat : 25578 (java) S 25569 25569 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 75926862 14316269568 46994 18446744073709551615 4194304 4196468 140736396029216 139642421810080 139642877204181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25579] ppid=25569 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25579/stat : 25579 (java) S 25569 25569 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 75926862 14316269568 46994 18446744073709551615 4194304 4196468 140736396029216 139642420757488 139642877204181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25580] ppid=25569 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25580/stat : 25580 (java) S 25569 25569 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75926864 14316269568 46994 18446744073709551615 4194304 4196468 140736396029216 139642419706064 139642877212571 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25581] ppid=25569 vsize=13980732 memory=0 CPUtime=1.57 cores=0,2,4,6
/proc/25571/task/25581/stat : 25581 (java) S 25569 25569 897 0 -1 1077944384 5781 0 0 0 157 0 0 0 20 0 15 0 75926864 14316269568 46994 18446744073709551615 4194304 4196468 140736396029216 139642418653680 139642877205122 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25582] ppid=25569 vsize=13980732 memory=0 CPUtime=1.65 cores=0,2,4,6
/proc/25571/task/25582/stat : 25582 (java) S 25569 25569 897 0 -1 1077944384 4743 0 0 0 165 0 0 0 20 0 15 0 75926864 14316269568 46994 18446744073709551615 4194304 4196468 140736396029216 139642417601136 139642877205122 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25583] ppid=25569 vsize=13980732 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/25571/task/25583/stat : 25583 (java) S 25569 25569 897 0 -1 1077944384 3728 0 0 0 67 1 0 0 20 0 15 0 75926864 14316269568 46994 18446744073709551615 4194304 4196468 140736396029216 139642416548592 139642877205122 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25584] ppid=25569 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25584/stat : 25584 (java) S 25569 25569 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75926864 14316269568 46994 18446744073709551615 4194304 4196468 140736396029216 139642415496288 139642877204181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25585] ppid=25569 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25585/stat : 25585 (java) S 25569 25569 897 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 75926868 14316269568 46994 18446744073709551615 4194304 4196468 140736396029216 139642414442800 139642877205122 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 189356 KiB

[startup+2.60082 s]
/proc/loadavg: 2.53 2.07 1.85 4/211 25585
/proc/meminfo: memFree=30209132/32770624 swapFree=67108860/67108860
[pid=25569] ppid=25566 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25569/stat : 25569 (xcsp3-exec) S 25566 25569 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 75926853 9740288 345 18446744073709551615 4194304 5098028 140730982876784 140730982874888 139976263586428 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 35487744 140730982879608 140730982879813 140730982879813 140730982883307 0
/proc/25569/statm: 2378 345 289 221 0 87 0
[pid=25571] ppid=25569 vsize=13980732 memory=206740 CPUtime=6.53 cores=0,2,4,6
/proc/25571/stat : 25571 (java) S 25569 25569 897 0 -1 1077944320 26786 0 0 0 645 8 0 0 20 0 15 0 75926859 14316269568 51685 18446744073709551615 4194304 4196468 140736396029216 140736396011760 139642877193975 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
/proc/25571/statm: 3495183 51685 3218 1 0 3483476 0
[pid=25571/tid=25572] ppid=25569 vsize=13980732 memory=0 CPUtime=2.45 cores=0,2,4,6
/proc/25571/task/25572/stat : 25572 (java) R 25569 25569 897 0 -1 4202560 9820 0 0 0 241 4 0 0 20 0 15 0 75926859 14316269568 51685 18446744073709551615 4194304 4196468 140736396029216 139642881433488 139642496563785 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25573] ppid=25569 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25573/stat : 25573 (java) S 25569 25569 897 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 75926860 14316269568 51685 18446744073709551615 4194304 4196468 140736396029216 139642811628304 139642877204181 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25574] ppid=25569 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25574/stat : 25574 (java) S 25569 25569 897 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 75926860 14316269568 51685 18446744073709551615 4194304 4196468 140736396029216 139642810575760 139642877204181 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25575] ppid=25569 vsize=13980732 memory=6944656592455350634 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25575/stat : 25575 (java) S 25569 25569 897 0 -1 1077944384 405 0 0 0 0 0 0 0 20 0 15 0 75926860 14316269568 51685 18446744073709551615 4194304 4196468 140736396029216 139642474773520 139642877204181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25576] ppid=25569 vsize=13980732 memory=1401077605014145941 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25576/stat : 25576 (java) S 25569 25569 897 0 -1 1077944384 208 0 0 0 0 0 0 0 20 0 15 0 75926860 14316269568 51685 18446744073709551615 4194304 4196468 140736396029216 139642473720976 139642877204181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25577] ppid=25569 vsize=13980732 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25577/stat : 25577 (java) S 25569 25569 897 0 -1 1077944384 151 0 0 0 0 0 0 0 20 0 15 0 75926861 14316269568 51685 18446744073709551615 4194304 4196468 140736396029216 139642422863856 139642877205122 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25578] ppid=25569 vsize=13980732 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25578/stat : 25578 (java) S 25569 25569 897 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 75926862 14316269568 51685 18446744073709551615 4194304 4196468 140736396029216 139642421810080 139642877204181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25579] ppid=25569 vsize=13980732 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25579/stat : 25579 (java) S 25569 25569 897 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 75926862 14316269568 51685 18446744073709551615 4194304 4196468 140736396029216 139642420757488 139642877204181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25580] ppid=25569 vsize=13980732 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25580/stat : 25580 (java) S 25569 25569 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75926864 14316269568 51685 18446744073709551615 4194304 4196468 140736396029216 139642419706064 139642877212571 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25581] ppid=25569 vsize=13980732 memory=6944652177228980320 CPUtime=1.6 cores=0,2,4,6
/proc/25571/task/25581/stat : 25581 (java) S 25569 25569 897 0 -1 1077944384 5811 0 0 0 160 0 0 0 20 0 15 0 75926864 14316269568 51685 18446744073709551615 4194304 4196468 140736396029216 139642418653680 139642877205122 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25582] ppid=25569 vsize=13980732 memory=0 CPUtime=1.71 cores=0,2,4,6
/proc/25571/task/25582/stat : 25582 (java) R 25569 25569 897 0 -1 4202560 4759 0 0 0 171 0 0 0 20 0 15 0 75926864 14316269568 51685 18446744073709551615 4194304 4196468 140736396029216 139642417601136 139642857895446 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25583] ppid=25569 vsize=13980732 memory=4420 CPUtime=0.69 cores=0,2,4,6
/proc/25571/task/25583/stat : 25583 (java) S 25569 25569 897 0 -1 1077944384 4165 0 0 0 68 1 0 0 20 0 15 0 75926864 14316269568 51685 18446744073709551615 4194304 4196468 140736396029216 139642416548592 139642877205122 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25584] ppid=25569 vsize=13980732 memory=6628 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25584/stat : 25584 (java) S 25569 25569 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75926864 14316269568 51685 18446744073709551615 4194304 4196468 140736396029216 139642415496288 139642877204181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25585] ppid=25569 vsize=13980732 memory=8836 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25585/stat : 25585 (java) S 25569 25569 897 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 75926868 14316269568 51685 18446744073709551615 4194304 4196468 140736396029216 139642414442800 139642877205122 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
Current children cumulated CPU time: 6.53 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 208120 KiB

[startup+2.70077 s]
/proc/loadavg: 2.53 2.07 1.85 4/211 25585
/proc/meminfo: memFree=30209132/32770624 swapFree=67108860/67108860
[pid=25569] ppid=25566 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25569/stat : 25569 (xcsp3-exec) S 25566 25569 897 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 75926853 9740288 345 18446744073709551615 4194304 5098028 140730982876784 140730982874888 139976263586428 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 5 0 0 7196144 7232144 35487744 140730982879608 140730982879813 140730982879813 140730982883307 0
/proc/25569/statm: 2378 345 289 221 0 87 0
[pid=25571] ppid=25569 vsize=13980732 memory=207180 CPUtime=6.82 cores=0,2,4,6
/proc/25571/stat : 25571 (java) S 25569 25569 897 0 -1 1077944320 27127 0 0 0 674 8 0 0 20 0 15 0 75926859 14316269568 51795 18446744073709551615 4194304 4196468 140736396029216 140736396011760 139642877193975 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
/proc/25571/statm: 3495183 51795 3218 1 0 3483476 0
[pid=25571/tid=25572] ppid=25569 vsize=13980732 memory=0 CPUtime=2.55 cores=0,2,4,6
/proc/25571/task/25572/stat : 25572 (java) R 25569 25569 897 0 -1 4202560 9822 0 0 0 251 4 0 0 20 0 15 0 75926859 14316269568 51795 18446744073709551615 4194304 4196468 140736396029216 139642881433488 139642496137986 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25573] ppid=25569 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25573/stat : 25573 (java) S 25569 25569 897 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 75926860 14316269568 51795 18446744073709551615 4194304 4196468 140736396029216 139642811628304 139642877204181 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25574] ppid=25569 vsize=13980732 memory=56 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25574/stat : 25574 (java) S 25569 25569 897 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 75926860 14316269568 51795 18446744073709551615 4194304 4196468 140736396029216 139642810575760 139642877204181 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25575] ppid=25569 vsize=13980732 memory=300615520779252030 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25575/stat : 25575 (java) S 25569 25569 897 0 -1 1077944384 405 0 0 0 0 0 0 0 20 0 15 0 75926860 14316269568 51795 18446744073709551615 4194304 4196468 140736396029216 139642474773520 139642877204181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25576] ppid=25569 vsize=13980732 memory=4955585388230777962 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25576/stat : 25576 (java) S 25569 25569 897 0 -1 1077944384 208 0 0 0 0 0 0 0 20 0 15 0 75926860 14316269568 51795 18446744073709551615 4194304 4196468 140736396029216 139642473720976 139642877204181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25577] ppid=25569 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25577/stat : 25577 (java) S 25569 25569 897 0 -1 1077944384 151 0 0 0 0 0 0 0 20 0 15 0 75926861 14316269568 51795 18446744073709551615 4194304 4196468 140736396029216 139642422863856 139642877205122 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25578] ppid=25569 vsize=13980732 memory=7668338700478343001 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25578/stat : 25578 (java) S 25569 25569 897 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 75926862 14316269568 51795 18446744073709551615 4194304 4196468 140736396029216 139642421810080 139642877204181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25579] ppid=25569 vsize=13980732 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25579/stat : 25579 (java) S 25569 25569 897 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 75926862 14316269568 51795 18446744073709551615 4194304 4196468 140736396029216 139642420757488 139642877204181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25580] ppid=25569 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25580/stat : 25580 (java) S 25569 25569 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75926864 14316269568 51795 18446744073709551615 4194304 4196468 140736396029216 139642419706064 139642877212571 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25581] ppid=25569 vsize=13980732 memory=-8182579116673178997 CPUtime=1.69 cores=0,2,4,6
/proc/25571/task/25581/stat : 25581 (java) R 25569 25569 897 0 -1 4202560 5995 0 0 0 169 0 0 0 20 0 15 0 75926864 14316269568 51795 18446744073709551615 4194304 4196468 140736396029216 139642418653680 139642855613078 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25582] ppid=25569 vsize=13980732 memory=4132769004644038186 CPUtime=1.81 cores=0,2,4,6
/proc/25571/task/25582/stat : 25582 (java) R 25569 25569 897 0 -1 4202560 4914 0 0 0 181 0 0 0 20 0 15 0 75926864 14316269568 51795 18446744073709551615 4194304 4196468 140736396029216 139642417601136 139642857829908 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25583] ppid=25569 vsize=13980732 memory=4209357772117481859 CPUtime=0.69 cores=0,2,4,6
/proc/25571/task/25583/stat : 25583 (java) S 25569 25569 897 0 -1 1077944384 4165 0 0 0 68 1 0 0 20 0 15 0 75926864 14316269568 51795 18446744073709551615 4194304 4196468 140736396029216 139642416548592 139642877205122 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25584] ppid=25569 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25584/stat : 25584 (java) S 25569 25569 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 75926864 14316269568 51795 18446744073709551615 4194304 4196468 140736396029216 139642415496288 139642877204181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
[pid=25571/tid=25585] ppid=25569 vsize=13980732 memory=78564 CPUtime=0 cores=0,2,4,6
/proc/25571/task/25585/stat : 25585 (java) S 25569 25569 897 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 75926868 14316269568 51795 18446744073709551615 4194304 4196468 140736396029216 139642414442800 139642877205122 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14524416 140736396034481 140736396034657 140736396034657 140736396038095 0
Current children cumulated CPU time: 6.82 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 208560 KiB

Child status: 0
Real time (s): 2.79303
CPU time (s): 6.97882
CPU user time (s): 6.8852
CPU system time (s): 0.093619
CPU usage (%): 249.865
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 208560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.8852
system time used= 0.093619
maximum resident set size= 212548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28808
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2321
involuntary context switches= 24


# summary of solver processes directly reported to runsolver:
#   pid: 25569
#   total CPU time (s): 6.97882
#   total CPU user time (s): 6.8852
#   total CPU system time (s): 0.093619

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.032815 second user time and 0.073834 second system time

The end
Name	Sat/ Sat-sum-flat200-479/Sat-flat200-65-sum.xml
MD5SUM	509258906292bc50c375c4c8839ad257
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	0.513255
Satisfiable
(Un)Satisfiability was proved
Number of variables	600
Number of constraints	2237
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":600}]
Minimum variable degree	3
Maximum variable degree	11
Distribution of variable degrees	[{"degree":3,"count":3},{"degree":4,"count":21},{"degree":5,"count":42},{"degree":6,"count":93},{"degree":7,"count":96},{"degree":8,"count":126},{"degree":9,"count":99},{"degree":10,"count":78},{"degree":11,"count":42}]
Minimum constraint arity	2
Maximum constraint arity	3
Distribution of constraint arities	[{"arity":2,"count":2037},{"arity":3,"count":200}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":2237}]
Optimization problem	NO
Type of objective
Trace number 4272711

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
